MA 21 Resoluo de Problemas

Prof : Rafael Grisi

Lista de Exerccios

Aluno: Jos Xavier Batista R.A: 13016011

Captulo 1 Exerccio 10 - Os nmeros 1, 2, 3, . . . , 99 so escritos no quadro-negro e
permitido realizar a seguinte operao: apagar dois deles e substitu-los pela diferena do maior
com o menor. Fazemos esta operao sucessivamente at restar apenas um ltimo nmero no
quadro. Pode o ltimo nmero que restou ser o zero?

Resoluo

Sim. Vamos proceder da seguinte maneira: Vamos primeiramente subtrair os mpares

consecutivos. O resultado de cada subtrao ser o 2. Como temos 50 nmeros impares teremos,
ao final desse primeiro processo 26 nmeros 2 ( 25 nmeros 2 das subtraes dos mpares mais o
2 que pertencia a sequencia dada inicialmente) mais a sequencia dos pares de 4 ao 98. Agora
vamos subtrair os pares consecutivos que no sejam o 2. Ao final desse segundo processo teremos
escrito mais 24 nmeros dois, logo teremos 50 nmeros 2. Logo sobraram apenas nmeros que
subtrados dois a dois do resultado zero.

Captulo 1 Exerccio 12 possvel cobrir um tabuleiro de xadrez com 31 domins onde

removemos as casas dos vrtices superior esquerdo e inferior direito?

Resoluo

No. Primeiramente observemos que foram excludas as extremidades de uma das diagonais
maiores do tabuleiro, logo as casas so da mesma cor e vamos supor, sem perda de generalidade,
que foram retiradas da diagonal branca. Observemos tambm que cada domin sempre ir cobrir
duas casas na horizontal ou duas casas na vertical (supondo que o domin corresponda a um
retngulo igual a duas casas do tabuleiro), logo cada domin sempre cobrir duas casas adjacentes,
sendo uma casa de cada cor. Como sobraram 32 casas pretas e 30 casas brancas impossvel
cobrir esse tabuleiro com 31 domins, pois com 30 domins cobriramos 30 casas pretas e trinta
brancas, sobrando duas casas pretas, e no possvel cobrir essas duas casas com o domin
restante.
Captulo 2 Exerccio 28 - (OBM) Mostre que a equao
 +   +   = 3
 tem infinitas
solues onde
, ,  so nmeros inteiros.

Resoluo

Observemos primeiramente que (1,1,1) uma soluo dessa equao. Vamos mostrar que sempre
que tivermos uma soluo possvel encontrar outra soluo diferente e assim, recursivamente,
demonstramos que existem infinitas solues para a equao.
Seja (
 ,  ,  ) uma soluo da equao
 +   +   = 3
.
Substituindo  ,  na equao obtemos:

 +   +   = 3
 
 (3  )
+ (  +   ) = 0 (I)

Como
 soluo da equao original, segue que
 raiz de (I). Portanto existe
 tal que:

 (3  )
+ (  +   ) = (

 ). (

 )

Como
 +
 = 3  temos
 = 3 
 .
Conclumos assim que se (
 ,  ,  ) soluo ento (3 
 ,  ,  ) tambm soluo da
equao original.
Por simetria sabemos que se (
 ,  ,  ) uma soluo, toda permutao deste trio, por
exemplo, ( ,
 ,  ), tambm soluo.
Tome ( ,  ,  ) uma soluo com 0   . Como (1,1,1) soluo, sabemos que tal
soluo existe. Defina ( ,  ,  ) como a permutao da soluo (3   ,  ,  ) onde
   .
Da mesma forma, recursivamente, defina a sequncia de solues ( ,  ,  ).
Primeiro observe que se 0    ento 3   0 pois 3   e portanto a
sequencia de solues ( ,  ,  ) composta apenas de valores positivos.
Tome  =  ,  ,  ,  e suponha que o total de solues finito. Segue que  finito e pelo
principio da boa ordem,  possui um elemento mximo .
Seja (, , ) uma soluo com 0 <    e observe que :

3  > 3  > 3  = 2 > 

Mas (, , 3 ) soluo e portanto 3   o que contradiz  ser o mximo de .
 Captulo 2 Exerccio 41 Resolver a equao:

#
$
 +
= 2
 + 10,

Onde #
$denota a parte inteira de
e 
 chamado parte fracionria de
e definido por

 =
#
$.

Resoluo

Como 
 =
#
$, vamos substituir na equao que queremos resolver. Assim

#
$
 +
= 2
 + 10

#
$(
#
$) +
= 2(
#
$) + 10

#
$
#
$ +
= 2
2#
$ + 10

#
$

= #
$ 2#
$ + 10

#
$ 2#
$ + 10

= ()
#
$ 1

Mas sabemos que
1 < #
$
, logo:

#
$ 2#
$ + 10 #
$ 2#
$ + 10

1 < #
$
#
$ 1 #
$ 1

Temos ento duas desigualdades a considerar. Vamos consider-las separadamente.

#
$ 2#
$ + 10 #
$ 2#
$ + 10

1 < #
$ < #
$ + 1
#
$ 1 #
$ 1

#
$ 2#
$ + 10 < (#
$ + 1)(#
$ 1) #
$ 2#
$ + 10 < #
$ 1

''
2#
$ + 10 < 1 2#
$ < 11 #&$ >
(

#
$ 2#
$ + 10
#
$ #
$ #
$ #
$ 2#
$ + 10 #&$ ')
#
$ 1
Logo temos que

11
< #
$ 10
2

Como #
$ um nmero inteiro, ento #
$ 6, 7, 8, 9, 10. Agora podemos determinar o valor de
x. Portanto, utilizando (*), temos:

Para #
$ = 6

#
$ 2#
$ + 10 6 2.6 + 10 ./

=
= & =
#
$ 1 61 0

Para #
$ = 7

#
$ 2#
$ + 10 7 2.7 + 10 45 '0

=
=
= & =
#
$ 1 71 6 (

Para #
$ = 8

#
$ 2#
$ + 10 8 2.8 + 10 03

=
= & =
#
$ 1 81 4

Para #
$ = 9

#
$ 2#
$ + 10 9 2.9 + 10 4.

=
= & =
#
$ 1 91 3

Para #
$ = 10

#
$ 2#
$ + 10 10 2.10 + 10 90

=
=
= & = ')
#
$ 1 10 1 9

Captulo 3 Exerccio 9 Dados trs inteiros,
, ,  tais que
 +   =   , mostre que
e  no
so ambos mpares e que
 mltiplo de 6.

Resoluo

Vamos iniciar nossa resoluo provando o seguinte:

Lema: Todo quadrado perfeito deixa resto 0 ou 1 quando divididos por 3 ou 4.

Provemos primeiro que todo quadrado perfeito deixa resto 0 ou 1 quando dividido por 4. Todo
nmero natural ou par ou mpar, logo pode ser escrito como 2a ou 2a + 1.
Se for par temos (2) = 4 , logo deixa resto 0 quando dividido por 4
Se for mpar temos (2 + 1) = 4 + 4 + 1 = 4( + ) + 1, logo deixa resto 1
quando divido por 4.
Provemos agora que todo quadrado perfeito deixa resto 0 ou 1 quando divido por trs.
Todo nmero inteiro pode ser escrito numa dessas trs formas 3b, 3b + 1 ou 3b + 2.
Se for 3b ento temos (3) = 9  = 3(3  ), logo deixa resto 0 quando dividido por 3.
Se for 3b + 1 ento, (3 + 1) = 9  + 6 + 1 = 3(3  + 2) + 1, ento deixa resto 1
quando dividido por 3.
Se for 3b + 2 temos, (3 + 2) = 9  + 12 + 4 = 9  + 12 + 3 + 1 = 3(3  + 4 +
1) + 1 que mostra que deixa resto 1 quando dividido por 3.

Vamos voltar agora ao nosso problema. Vamos supor por absurdo que
e  so ambos mpares,
ou seja, 2
e 2 . Isso significa que
= 26 + 1 e  = 27 + 1 para algum 6, 7 . Logo:

 +   =   (26 + 1) + (27 + 1) =  

46  + 46 + 1 + 47 + 47 + 1 =  

4(6  + 6 + 7 + 7) + 2 =  

Logo   par e do tipo 49 + 2, o que absurdo pois todo quadrado do tipo 49 + 1 ou 49 como
demonstrado no lema.Portanto
e  no so ambos mpares.

Como
ou  par basta provar que
ou  mltiplo de 3 para provar que
 mltiplo de 6. A
prova ser p reduo ao absurdo. Vamos supor que
e  no so mltiplos de 3, ou seja, 3
e
3
. Logo
= 39 + 1 ou
= 39 + 2 e  = 3: + 1 ou  = 3: + 2 para algum 9, : .
Vamos analisar caso a caso:

= 39 + 1 e  = 3: + 1. Logo
 +   = (39 + 1) + (3: + 1) =
= 99  + 69 + 1 + 9:  + 6: + 1 = 3(39  + 29 + 3:  + 2:) + 2 =   .

= 39 + 1 e  = 3: + 2. Logo
 +   = (39 + 1) + (3: + 2) =

= 99  + 69 + 1 + 9:  + 6: + 4 = 99 + 69 + 9:  + 6: + 3 + 2 =

= 3(39  + 29 + 3:  + 2: + 1) + 2 =   .

= 39 + 2 e  = 3: + 1. Logo
 +   = (39 + 2) + (3: + 1) =
= 99  + 69 + 4 + 9:  + 6: + 1 = 99 + 69 + 9:  + 6: + 3 + 2 =

= 3(39  + 29 + 3:  + 2: + 1) + 2 =   .

= 39 + 2 e  = 3: + 2. Logo
 +   = (39 + 2) + (3: + 2) =

= 99  + 69 + 4 + 9:  + 6: + 4 = 99 + 69 + 9:  + 6: + 6 + 2 =

= 3(39  + 29 + 3:  + 2: + 2) + 2 =   .

Em todos os casos temos que   do tipo 36 + 2 o que um absurdo pelo lema provado
anteriormente.
Portando temos que
ou  par e mltiplo de 3, logo o produto
 mltiplo de 6.

Captulo 3 Exerccio 21 Prove que se (
 ,  ) uma soluo da equao diofantina

linear 
 = 1, ento a rea do tringulo cujos vrtices so (0,0), (, ) e (
 ,  ) 1/2.

Resoluo

Da Geometria Analtica temos que a rea  de um tringulo com vrtices (7 , ; ), (7 , ; ) e
(7 , ; ) :
7 ; 1
<7 ; 1<
7 ; 1
=
2

Substituindo nossos pontos nessa equao temos:

0 0 1
<  1<

  1 | 
 | |
  |
=  =  =
2 2 2

Mas por hiptese (
 ,  ) soluo da equao 
 = 1. Logo

|1| 1
= =
2 2
Captulo 4 Exerccio 3 Prove que se N mpar ento para qualquer bijeo

>: @A @A

do conjunto @A = 1,2, C o produto D(>) = E1 >(1)FE2 >(2)F EC >(C)F

necessariamente par.

Resoluo

Como N impar ento C = 26 + 1.

Queremos provar que o produto das diferenas da abscissa com a ordenada de cada um dos pares
ordenados par. Logo precisamos garantir que existe pelo menos um par ordenado tendo abscissa
e ordenada com a mesma paridade.
Como a funo p uma bijeo, temos exatamente 26 + 1 pares ordenados, com 6 pares e 6 + 1
mpares. Sendo x as casas de pombos e y os pombos, o princpio das casas dos pombos nos garante
que pelo menos um par ordenado ser formado por dois nmeros mpares o que finaliza a
demonstrao.

Captulo 4 Exerccio 3 Prove que se N mpar ento para qualquer bijeo

>: @A @A

do conjunto @A = 1,2, C o produto D(>) = E1 >(1)FE2 >(2)F EC >(C)F

necessariamente par.

Resoluo

Como N impar ento C = 26 + 1.

Queremos provar que o produto das diferenas da abscissa com a ordenada de cada um dos pares
ordenados par. Logo precisamos garantir que existe pelo menos um par ordenado tendo abscissa
e ordenada com a mesma paridade.
Como a funo p uma bijeo, temos exatamente 26 + 1 pares ordenados, com 6 pares e 6 + 1
mpares. Sendo x as casas de pombos e y os pombos, o princpio das casas dos pombos nos garante
que pelo menos um par ordenado ser formado por dois nmeros mpares o que finaliza a
demonstrao.
Captulo 4 Exerccio 9 - Seja x um nmero real arbitrrio. Prove que entre os nmeros

, 2
, 3
, , 101

Existe um nmero, tal que sua diferena com certo nmero inteiro menor que 0,011.

Resoluo

Vamos denotar por 
 a parte fracionria de
, isto , o nmero real que satisfaz 0 
 < 1 e

= 7 + 
 para algum 7 .
Considere 6
 para 6 = 1, 2, 3 , , 101. Vamos particionar o intervalo #0,1# em 102 partes de

tamanho :


1 1 2 2 3 101
#0,1# = G0, GG , GG , G G , 1G
102 102 102 102 102 102
 
Se 6
 I0, I ou 6
 I , 1I para algum 6 = 1, 2, , 101, o problema acabou pois cada
 
intervalo te tamanho menor que 0,011(na verdade menor que 0,01). Caso contrrio, pelo princpio
das casas dos pombos haver duas partes fracionrias, digamos 7
 e ;
 com 1 7 < ;
101 pertencentes a um mesmo intervalinho dentre os 100 restantes. Sendo J = (; 7)
,
teremos

;
 7
 MN ;
 7
 O

 = L
1 + ;
 7
 MN ;
 < 7

 
E portanto  I0, I ou  I , 1I , assim ; 7 satisfaz as condies do problema.
Captulo 5 Exerccio 1 De quantos modos podemos escolher trs nmeros distintos do
conjunto @P = 1, 2, 3, , 49, 50 de modo que sua soma seja:
a) Um mltiplo de 3?
b) Um nmero par?

Resoluo

a) Considere os conjuntos  ,  e  os conjuntos formados pelos nmeros de @P que deixam,

respectivamente, resto 0, 1 e 2 quando divididos por 3. Logo:
# = 16
# = 17
# = 17
Para que a soma de trs nmeros seja mltiplo de 3 temos quatro casos a considerar:

1) Escolher um nmero de cada grupo. Logo temos 16.17.17 = 4624 modos.

16
2) Escolher os trs nmeros de  . Logo temosR S = 560 modos.
3
17
3) Escolher os trs nmeros de  . Logo temos R S = 680 modos
3
17
4) Escolher os trs nmeros de  . Logo temos R S = 680 modos.
3

Como esses conjuntos so disjuntos o total de modos 560 + 680 + 680 + 4624 = 6544
maneiras modos de escolher trs nmeros de @P cuja soma mltiplo de 3.

b) Considere os conjuntos I e P os conjuntos formados pelos nmeros de @P que so,

respectivamente, mpares e pares. Logo #@ = 25 e #D = 25.
Para que a soma seja par temos apenas dois casos a considerar:
25
1) Escolher um par e dois mpares. Logo temos25. R S = 7500 modos.
2
25
2) Escolher os trs pares. Logo temosR S = 2300 modos.
3

Como esses casos so disjuntos temos no total 7500 + 2300 = 9800 modos de escolher trs
nmeros de @P cuja soma seja par.
Captulo 5 Exerccio 14 - Quantas so as permutaes das letras da palavra BRASIL em que o B
ocupa o primeiro lugar, ou o R ocupa o segundo lugar, ou o L ocupa o sexto lugar?

Resoluo

Sejam , T, U os conjuntos formados, respectivamente, pelas palavras que comeam com B, que o
R a segunda letra e o L a ltima letra. Logo:
# = #T = #U = 5.4.3.2.1 = 120 permutaes.
#( T) = #(T U) = ( U) = 4.3.2.1 = 24 permutaes.
#( T U) = 3.2.1 = 6 permutaes.
Pelo Principio da Incluso-Excluso temos:
#( T U) = # + #T + #U E#( T) + #(T U) + ( U)F + #( T U)
#( T U) = 3.120 3.24 + 6 = 360 72 + 6 = 294 permutaes no total.

Captulo 6 Exerccio 3 Use o princpio da induo finita para provar as seguintes

desigualdades: (observao: a desigualdade original do exerccio estava errada e na minha
resoluo estou utilizando a desigualdade j corrigida)

a) 2W ( +   ) ( + ) , ; , com ,  ,  +  > 0 e  ;

(i) A afirmao verdadeira para n=1, pois:
2W ( +  ) =  +  = ( + )

(ii) Hiptese de induo: 2[W ([ +  [ ) ( + )[ para algum 6

Tese de induo: 2[ ([\ +  [\ ) ( + )[\

Demonstrao: comeamos nossa demonstrao observando que

([  [ ). ( ) > 0
Pois se  >  ento [  [ e   so ambos positivos e se  <  ento [  [
e   so ambos positivos. Logo:

(  ). ( ) > 0
[ [

[ ( )  [ ( ) > 0
[\ +  [\ [   [ > 0
[\ +  [\ [   [ + [\ +  [\ [\  [\ > 0
2[\ + 2 [\ > [  +  [ + [\ +  [\
2 ([\ +  [\ ) > ([ +  [ ). ( + )
2[ ([\ +  [\ ) > 2[W ([ +  [ ). ( + ) > ( + )[ . ( + ) = ( + )[\
    
b) + + + + ;, para todo ; .
   

(i) A afirmao vlida para n = 1, pois:

1
= 1 = 1
1
   
(ii) Hiptese de Induo: + + + + 6 para algum 6
   [

    
Tese de Induo: : + + + + + 6 + 1
   [ [\

Demonstrao: como k natural temos que 6 > 0. Logo:

6(6 + 1) > 6 

_6(6 + 1) > 6

_6(6 + 1) + 1 > 6 + 1

_6(6 + 1) + 1 > 6 + 1. 6 + 1

_6(6 + 1) + 1
> 6 + 1
6 + 1
1
6 + > 6 + 1
6 + 1
1 1 1 1 1
+ + ++ + > 6 + 1
1 2 3 6 6 + 1
     
c) + + + + > , para todo ; .
`\ `\ `\ ` a

(i) A proposio no verdadeira para n = 1, pois:

1 1 13
= <
1+1 2 24

Mas verdadeira para n=2, pois

1 1 7 13
+ = >
2 + 1 2 + 2 12 24
    
(ii) Hiptese de Induo: b\
+ b\ + b\ + + b > a para algum 6

    
Tese de Induo: b\ + b\ + b\a + + b\ > a

Demonstrao:

1 1 1 1 1 1 13 1 1
+ + ++ + + > + +
6+1 6+2 6+3 26 26 + 1 26 + 2 24 26 + 1 26 + 2

1 1 1 1 1 1 1 13 1 1 1
+ + + + + + > + +
6+1 6+2 6+3 26 26 + 1 26 + 2 6 + 1 24 26 + 1 26 + 2 6 + 1

6+2 + 6+3 + + 26 + 26+1 + 26+2 > 24 + 26+1 + 26+2 6+1

1 1 1 1 1 13 1 1 1

  
[\
Vamos mostrar que + >
[\ [\

  [\\ [\ a[\ a[\\

[\
+
[\
= [\ [\
= [\ [\ = [\ [\ =

a[\   [\ 
= [\ [\ + [\ [\
= [\ [\
+ [\ [\ =
  
= [\ [\ + [\ [\
> [\