Indução Matemática

inducaonal
2009/6/30
page 1
Estilo OBMEP
i
i
i
i
i
i
i
i
Induo Matemtica
Abramo Hefez
inducaonal
2009/6/30
page 2
Estilo OBMEP
i
i
i
i
i
i
i
i
Texto j revisado pela nova ortograa.
inducaonal
2009/6/30
page 3
Estilo OBMEP
i
i
i
i
i
i
i
i
Sobre o Autor
Abramo Hefez nasceu no Egito, mas brasileiro por opo e ca-
rioca de corao. Cursou o ginasial e cientco no Rio de Janeiro,
graduou-se na PUC-Rio em Matemtica e prosseguiu seus estudos
na Universidade de Pisa, Itlia e nos Estados Unidos, doutorando-se,
em Geometria Algbrica no Massachusetts Institute of Technology.
Professor Titular no Instituto de Matemtica da Universidade Fe-
deral Fluminense, onde desenvolve atividades de pesquisa e leciona
na graduao e ps-graduao. Foi eleito recentemente membro da
Academia Brasileira de Cincias.
inducaonal
2009/6/30
page 4
Estilo OBMEP
i
i
i
i
i
i
i
i
inducaonal
2009/6/30
page i
Estilo OBMEP
i
i
i
i
i
i
i
i
Sumrio
1 Induo Matemtica 1
1.1 O Princpio de Induo Matemtica . . . . . . . . . . 1
1.2 Denio por Recorrncia . . . . . . . . . . . . . . . . 14
1.3 Progresses . . . . . . . . . . . . . . . . . . . . . . . . 24
2 Induo e Mundo Material 31
2.1 A Torre de Hani . . . . . . . . . . . . . . . . . . . . . 31
2.2 O Enigma do Cavalo de Alexandre . . . . . . . . . . . 35
2.3 Descobrindo a Moeda Falsa . . . . . . . . . . . . . . . 37
2.4 A Pizza de Steiner . . . . . . . . . . . . . . . . . . . . 38
2.5 Os Coelhos de Fibonacci . . . . . . . . . . . . . . . . . 40
3 Induo e Matemtica 45
3.1 Somatrios . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2 Binmio de Newton . . . . . . . . . . . . . . . . . . . . 54
i
inducaonal
2009/6/30
page ii
Estilo OBMEP
i
i
i
i
i
i
i
i
ii SUMRIO
3.3 Princpio do Menor Inteiro . . . . . . . . . . . . . . . . 59
3.4 O Princpio das Gavetas . . . . . . . . . . . . . . . . . 68
3.5 Desigualdades . . . . . . . . . . . . . . . . . . . . . . . 73
Respostas 83
inducaonal
2009/6/30
page iii
Estilo OBMEP
i
i
i
i
i
i
i
i
Introduo
Se algum me perguntasse o que que todo estudante de Ensino
Mdio deveria saber de matemtica, sem sombra de dvida, o tema
Induo guraria na minha lista.
com o conceito de Induo que se estabelece o primeiro con-
tato com a noo de innito em Matemtica, e por isso ele muito
importante; porm, , ao mesmo tempo, sutil e delicado.
O material aqui apresentado uma pequena seleo de assuntos
relacionados com esse tema, cujo desenvolvimento se espalha por cerca
de dois mil anos, originando-se nos magncos trabalhos dos Gregos
Antigos, que tm em Os Elementos de Euclides, de aproximadamente
300 a.C., o seu ponto culminante.
Estas notas se destinam a voc, aluno do Ensino Mdio, que est
envolvido em atividades promovidas pela OBMEP. Elas cobrem as-
suntos que provavelmente no lhe foram ensinados, pelo menos com
este grau de detalhe nem de profundidade, na escola, mas que, na
minha opinio, como mencionado acima, deveriam fazer parte de sua
bagagem cultural.
No tenho a expectativa de que voc absorva todo o material
iii
inducaonal
2009/6/30
page iv
Estilo OBMEP
i
i
i
i
i
i
i
i
iv
aqui apresentado numa primeira leitura, pois ele possui um grau de
abstrao um pouco maior do que o costumeiro nessa fase de sua
formao. Estude estas notas, procure entender os exemplos e, sobre-
tudo, tente seriamente resolver os problemas, pois nunca esquea que
a Matemtica s se aprende fazendo. Se necessrio, volte a elas depois
de algum tempo, pois, assim procedendo, voc estar plantando uma
semente que lhe trar valiosos frutos.
Finalmente, no poderia encerrar essa introduo antes de agrade-
cer Coordenao da OBMEP pelo convite para escrever este texto e
ao meu colega Dinamrico Pereira Pombo Jr. pela leitura cuidadosa
do manuscrito.
Niteri, julho de 2007.
Abramo Hefez
Departamento de Matemtica Aplicada
Universidade Federal Fluminense
inducaonal
2009/6/30
page v
Estilo OBMEP
i
i
i
i
i
i
i
i
v
Para o Professor
O nosso ponto de vista, nessas notas, que o estudante do Ensino
Mdio tem, de modo intuitivo e bastante vago, uma certa familiari-
dade com os nmeros, sejam eles naturais, inteiros, racionais ou reais.
Apesar disso, ele no tem a menor dvida sobre a sua existncia (as
dvidas so em geral de outra natureza: racionais versus irracionais)
e conhece bem algumas de suas propriedades como, por exemplo, o
fato desses conjuntos possurem uma adio e uma multiplicao com
as propriedades usuais. Optamos por no ignorar esse conhecimento;
muito pelo contrrio, utiliz-lo-emos como ponto de partida (ou seja,
implicitamente, como axioma zero) do nosso estudo.
Enfatizamos, logo no incio do texto, que esse conhecimento in-
suciente para provar qualquer fato signicativo. Mostramos ento,
na melhor tradio das teorias axiomticas, como, isolando algumas
propriedades (no nosso caso, as propriedades (1), (2) e (3), no in-
cio do Captulo 1) que caracterizam os nmeros naturais dentro do
conjunto dos nmeros reais, possvel demonstrar muitas das suas
demais propriedades. Assim, esperamos convencer o jovem leitor da
necessidade de fundamentar melhor os seus conceitos e das vantagens
do mtodo axiomtico.
Decidimos, deliberadamente, nessas notas no descrever a tra-
jetria do desenvolvimento dos nmeros reais e de sua fundamen-
tao rigorosa, pois, nesse caso, o caminho seria longo e certamente
prematuro para a grande maioria dos leitores aos quais se destinam
estas notas. Por outro lado, se tivssemos iniciado a exposio com
os axiomas de Peano, teramos que arcar com o nus da construo
inducaonal
2009/6/30
page vi
Estilo OBMEP
i
i
i
i
i
i
i
i
vi
das operaes de adio e de multiplicao e da prova de suas pro-
priedades, trabalho esse que consumiria algum esforo e desinteres-
saria a maioria dos leitores. Por outro lado, para poder prosseguir
com as notas, a um certo momento, teramos de aceitar a existncia
dos nmeros reais, pois estes so livremente utilizados no texto, o que
recairia no mesmo impasse do incio.
A ttulo de conforto para os mais ortodoxos sobre os Fundamentos
da Matemtica, pedimos que imaginem que o que estamos fazendo
moralmente (i.e. de modo implcito) nestas notas axiomatizar a
existncia dos nmeros reais como corpo ordenado completo (veja
Elon Lages Lima, Anlise Real, Volume 1, Seo 3, Captulo 2) e
admitir que N subconjunto de R (ib. Teorema 3 (i), pgina 17),
que ser por ns caracterizado univocamente por trs propriedades
explicitadas logo no incio do texto.
inducaonal
2009/6/30
page 1
Estilo OBMEP
i
i
i
i
i
i
i
i
Captulo 1
Induo Matemtica
Dentre todos os nmeros que o ser humano j considerou, os
nmeros naturais foram os primeiros a serem criados, inicialmente
com o intuito de contar. Apesar desses nmeros serem os mais sim-
ples, isso, absolutamente, no quer dizer que eles sejam totalmente
entendidos, havendo ainda muitos mistrios que os cercam a serem
desvendados.
1.1 O Princpio de Induo Matemtica
Mas, anal, o que o conjunto N dos nmeros naturais?
Bem, podemos intuitivamente descrev-lo dizendo quais so os
seus elementos; eles so os nmeros reais da forma:
1, 2 = 1+1, 3 = 2+1 = (1+1)+1, 4 = 3+1 = (1+1+1)+1,
1
inducaonal
2009/6/30
page 2
Estilo OBMEP
i
i
i
i
i
i
i
i
2 CAP. 1: INDUO MATEMTICA
Ocorre, porm, que dicilmente poderemos provar alguma pro-
priedade desses nmeros utilizando apenas esta descrio, pois, ape-
sar de sabermos intuitivamente quais so os nmeros que os pontinhos
acima representam, teramos diculdade de descrev-los de modo su-
cientemente explcito.
Uma alternativa consiste em dar algumas propriedades que carac-
terizem de modo inequvoco o conjunto dos naturais dentro do con-
junto dos nmeros reais.
Inicialmente, considere um subconjunto S dos nmeros reais que
possui as seguintes propriedades:
(1) S contm o nmero 1.
(2) Toda vez que S contm um nmero n, ele necessariamente contm
o nmero n + 1.
(3) No existe subconjunto prprio de S satisfazendo as condies (1)
e (2).
Em outras palavras, (3) nos diz que se S possui as propriedades
(1), (2) e (3), acima, e se S
um subconjunto de S que possui as

propriedades (1) e (2), ento S
= S.
Vamos provar que se existe um subconjunto S dos nmeros reais
satisfazendo s trs condies acima, ento esse conjunto nico. De
fato, se S
1
e S
2
so dois os subconjuntos, temos que S
1
S
2
possui
as propriedades (1) e (2), logo pela propriedade (3) segue que
S
1
= S
1
S
2
= S
2
.
inducaonal
2009/6/30
page 3
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA 3
No estgio em que estamos no temos como provar que tal con-
junto S existe. Portanto, admitiremos o seguinte axioma:
Axioma: Existe um subconjunto dos reais que possui as propriedades
(1), (2) e (3).
Esse nico subconjunto ser chamado de conjunto dos nmeros
naturais e denotado por N.
A propriedade (3) o que se chama de Princpio de Induo
Matemtica. Mais precisamente:
Princpio de Induo Matemtica: Dado um subconjunto S do
conjunto dos nmeros naturais N, tal que 1 pertence a S e sempre
que um nmero n pertence a S, o nmero n + 1 tambm pertence a
S, tem-se que S = N.
Esta simples propriedade fornece uma das mais poderosas tcnicas
de demonstrao em Matemtica: a demonstrao por induo.
Suponha que seja dada uma sentena matemtica P(n) que de-
penda de uma varivel natural n, a qual se torna verdadeira ou falsa
quando substitumos n por um nmero natural dado qualquer. Tais
sentenas sero ditas sentenas abertas denidas sobre o conjunto dos
naturais.
A seguir damos alguns exemplos de sentenas abertas denidas
sobre N:
(a) P(n) : n par.
claro que a armao P(1) falsa, pois ela diz que 1 par;
inducaonal
2009/6/30
page 4
Estilo OBMEP
i
i
i
i
i
i
i
i
P(3), P(5) e P(9) so falsas, pois armam, respectivamente, que 3, 5
e 9 so pares.
Por outro lado, tambm claro que P(2), P(4), P(8) e P(22) so
verdadeiras, pois 2, 4, 8 e 22 so pares.
(b) P(n) : n mltiplo de 3.
Temos, por exemplo, que P(1), P(2), P(4) e P(5) so falsas, en-
quanto P(3) e P(6) so verdadeiras.
(c) P(n) : 1 + 3 + 5 + 7 + + (2n 1) = n
2
.
Temos que P(1), P(2), P(3), P(4), . . . , P(10) so verdadeiras.
Aqui sabemos precisamente o que signica a sentena aberta P(n),
apesar dos pontinhos na sua denio. Ela signica:
A soma dos n primeiros nmeros mpares igual a n
2
.
Voc consegue visualizar algum nmero natural m tal que P(m)
seja falsa? Bem, aps mais algumas tentativas, voc se convencer
de que esta frmula tem grandes chances de ser verdadeira para todo
nmero natural n; ou seja, P(n) verdadeira para todo n N.
(d) P(n) : n
2
n + 41 um nmero primo, para todo n N.
fcil vericar que as sentenas P(1), P(2), P(3) so verdadeiras.
Com algum trabalho, possvel ir alm, vericando tambm que P(4),
P(5), . . ., P(35) so verdadeiras.
Portanto, plausvel que tenhamos encontrado um polinmio cu-
jos valores nos nmeros inteiros sejam sempre nmeros primos.
inducaonal
2009/6/30
page 5
Estilo OBMEP
i
i
i
i
i
i
i
i
Mais alguns testes para conrmar a nossa suspeita? L vai, P(36),
P(37), P(38) e P(40) so verdadeiras.
Podemos parar por aqui e nos sentir felizes com a nossa descober-
ta? Bom, para satisfazer os mais cticos, faremos s mais um teste
com n = 41.
Note que 41
2
41 + 41 = 41
2
no primo. Logo, para a nossa
desiluso, P(41) falsa!
Para a sua informao, pode-se provar que no existe nenhum
polinmio em uma varivel com coecientes inteiros cujos valores nos
naturais sejam sempre nmeros primos. Portanto, no havia a priori
nenhuma chance de P(n) ser verdadeira para todo nmero natural n.
Como provar ento que uma sentena aberta denida sobre os
naturais sempre verdadeira? Voc h de convir que no seria possvel
testar, um por um, todos os nmeros naturais, pois eles so em nmero
innito. Portanto, ser preciso encontrar algum outro mtodo.
Vamos a seguir expor a tcnica da demonstrao por induo
matemtica que resolver esse nosso problema.
Seja P(n) uma sentena aberta sobre os naturais e denote por V o
seu conjunto verdade em N, isto , o subconjunto de N, denido como
V = {n N; P(n) verdadeira}.
Para provar que P(n) verdadeira para todo n N, basta mostrar
que V = N.
Isso pode ser feito usando o Princpio de Induo Matemtica.
inducaonal
2009/6/30
page 6
Estilo OBMEP
i
i
i
i
i
i
i
i
Basta, para isto, mostrar que 1 pertence a V e que n + 1 pertence a
V , toda vez que n pertence a V .
Provamos, assim, o seguinte teorema:
Teorema 1.1.1 (Prova por Induo Matemtica). Seja P(n) uma
sentena aberta sobre N. Suponha que
(i) P(1) verdadeira; e
(ii) qualquer que seja n N, sempre que P(n) verdadeira, segue que
P(n + 1) verdadeira.
Ento, P(n) verdadeira para todo n N.
Vejamos como usar esse mtodo para mostrar a validade, para
todo natural n, da frmula
1 + 3 + + (2n 1) = n
2
.
Observe que P(1) verdadeira, j que a frmula trivialmente
vlida para n = 1. Suponha agora que, para algum n natural, P(n)
seja verdadeira; ou seja, que
1 + 3 + + (2n 1) = n
2
.
Queremos provar que P(n+1) verdadeira. Somando 2n+1, que
o prximo nmero mpar aps 2n1, a ambos os lados da igualdade
acima, obtemos a igualdade tambm verdadeira:
1 + 3 + + (2n 1) + (2n + 1) = n
2
+ (2n + 1) = (n + 1)
2
.
inducaonal
2009/6/30
page 7
Estilo OBMEP
i
i
i
i
i
i
i
i
Isso mostra que P(n+1) verdadeira, toda vez que P(n) verda-
deira. Pelo teorema, a frmula vlida para todo nmero natural n.
Voc tem ideia de quando foi feita pela primeira vez a demons-
trao acima? Bem, o primeiro registro que se tem de 1575 e foi
realizada por Francesco Maurolycos.
Note que, na demonstrao acima, poderia parecer que estamos
usando o fato de P(n) ser verdadeira para deduzir que P(n + 1)
verdadeira para em seguida concluir que P(n) verdadeira. O que
est ocorrendo? Estamos usando a tese para provar o teorema?
A resposta no! Preste bem ateno, pois essa a parte mais
delicada de toda a histria.
Dado um nmero natural n, temos duas possibilidades:
(a) P(n) verdadeira, ou (b) P(n) falsa.
A hiptese (ii) do Teorema no exige em absoluto que assumamos
P(n) verdadeira para todo n N, podendo eventualmente ser falsa
para algum valor de n, ou mesmo para todos os valores de n. O que
a hiptese (ii) exige que sempre que algum n pertena categoria
(a) acima, ento n+1 tambm pertena a essa mesma categoria; no
exigindo nada quando n pertencer categoria (b).
Por exemplo, a sentena aberta P(n) : n = n + 1 satisfaz (por
vacuidade) hiptese (ii) do Teorema, j que nenhum n N pertence
categoria (a). O que falha para que o Teorema nos garanta que
P(n) verdadeira para todo n que a hiptese (i) no vericada,
pois P(1) : 1 = 2 falsa!
preciso ter clareza que a Induo Matemtica diferente da
inducaonal
2009/6/30
page 8
Estilo OBMEP
i
i
i
i
i
i
i
i
induo emprica das cincias naturais, em que comum, aps um
certo nmero, necessariamente nito, de experimentos, enunciar leis
gerais que governam o fenmeno em estudo. Essas leis so tidas como
verdades, at prova em contrrio. Na matemtica, no h lugar para
armaes verdadeiras at prova em contrrio. A Prova por Induo
Matemtica trata de estabelecer que determinada sentena aberta
sobre os naturais sempre verdadeira.
A induo emprica foi batizada, de modo irnico, pelo
matemtico, lsofo e grande humanista ingls do sculo passado,
Bertrand Russel (1872-1970), de induo galincea, com base na
seguinte historinha:
Havia uma galinha nova no quintal de uma velha senhora. Dia-
riamente, ao entardecer, a boa senhora levava milho s galinhas. No
primeiro dia, a galinha, desconada, esperou que a senhora se reti-
rasse para se alimentar. No segundo dia, a galinha, prudentemente,
foi se alimentando enquanto a senhora se retirava. No nonagsimo
dia, a galinha, cheia de intimidade, j no fazia caso da velha se-
nhora. No centsimo dia, ao se aproximar a senhora, a galinha, por
induo, foi ao encontro dela para reclamar o seu milho. Qual no foi
a sua surpresa quando a senhora pegou-a pelo pescoo com a inteno
de p-la na panela.
Exemplo 1.1.1. Queremos determinar uma frmula para a soma
dos n primeiros nmeros naturais.
Conta-se a seguinte histria sobre o matemtico alemo Carl
Friedrich Gauss (1777-1855)
1
, quando ainda garoto. Na escola, o pro-
1
Gauss considerado um dos maiores gnios da matemtica de todos os tempos.
inducaonal
2009/6/30
page 9
Estilo OBMEP
i
i
i
i
i
i
i
i
fessor, para aquietar a turma de Gauss, mandou os alunos calcularem
a soma de todos os nmeros naturais de 1 a 100. Qual no foi a sur-
presa quando, pouco tempo depois, o menino deu a resposta: 5 050.
Indagado como tinha descoberto to rapidamente o resultado, Gauss,
ento com nove anos de idade, descreveu o mtodo a seguir.
Sendo
S
n
= 1 + 2 + +n,
o objetivo encontrar uma frmula fechada
2
para S
n
.
Somando a igualdade acima, membro a membro, com ela mesma,
porm com as parcelas do segundo membro em ordem invertida, temos
que
S
n
= 1 + 2 + + n
S
n
= n + (n 1) + + 1
2S
n
= (n + 1) + (n + 1) + + (n + 1)
.
Da segue-se que 2S
n
= n(n + 1) e, portanto,
S
n
=
n(n + 1)
2
.
Vamos ser crticos com relao prova acima. Para a maioria das
pessoas, essa prova parece impecvel, mas se algum nos perguntasse
o que est escondido atrs dos pontinhos, talvez nos sentssemos em-
baraados. Tambm, como ter absoluta certeza de que nada acontece
2
Uma frmula fechada, a grosso modo, uma frmula que depende dos dados
iniciais do problema e que permite calcular diretamente os valores do objeto em
estudo fazendo um nmero pequeno de contas.
inducaonal
2009/6/30
page 10
Estilo OBMEP
i
i
i
i
i
i
i
i
fora do nosso controle, exatamente na imensa regio coberta pelos
pontinhos?
Para no pairar nenhuma dvida sobre o nosso resultado, vamos
provar a frmula utilizando Induo Matemtica.
Considere a sentena aberta sobre os naturais
P(n) : 1 + 2 + +n =
n(n + 1)
2
. (1.1)
Note que
P(1) : 1 =
1(1 + 1)
2
verdadeira.
Observe tambm que
P(n + 1) : 1 + 2 + +n + (n + 1) =
(n + 1)(n + 2)
2
.
Agora, suponhamos que para algum n N, tenhamos P(n) ver-
dadeira, isto , a frmula (1.1) vlida para tal valor de n. Somando
n + 1 a ambos os lados dessa igualdade, temos que verdadeira a
igualdade
1 + 2 + +n + (n + 1) =
n(n + 1)
2
+n + 1
=
n(n + 1) + 2(n + 1)
2
=
(n + 1)(n + 2)
2
,
o que estabelece a veracidade de P(n + 1).
inducaonal
2009/6/30
page 11
Estilo OBMEP
i
i
i
i
i
i
i
i
Pelo teorema, tem-se que a frmula P(n) verdadeira para todo
n N.
Exemplo 1.1.2. Queremos validar a frmula
P(n) : 1
2
+ 2
2
+ +n
2
=
n(n + 1)(2n + 1)
6
. (1.2)
Note que
P(1) : 1
2
=
1(1 + 1)(2 + 1)
6
verdadeira.
Suponha que, para algum n N, se tenha que P(n) verdadeira,
isto , (1.2) vlida. Somando (n+1)
2
a ambos os lados da igualdade
(1.2), temos que
1
2
+ 2
2
+ +n
2
+ (n + 1)
2
=
n(n + 1)(2n + 1)
6
+ (n + 1)
2
=
n(n + 1)(2n + 1) + 6(n + 1)
2
6
=
(n + 1)[n(2n + 1) + 6(n + 1)]
6
=
(n + 1)[(n + 1) + 1][2(n + 1) + 1]
6
,
estabelecendo assim a veracidade de P(n + 1).
Portanto, a frmula vlida para todo n N.
Exemplo 1.1.3. Vamos provar que verdadeira, para todo n N, a
inducaonal
2009/6/30
page 12
Estilo OBMEP
i
i
i
i
i
i
i
i
frmula:
P(n) :
1
1.2
+
1
2.3
+ +
1
n(n + 1)
=
n
n + 1
. (1.3)
Observemos inicialmente que
P(1) :
1
1.2
=
1
1 + 1
verdadeira.
Suponhamos que, para algum n, tem-se que P(n) verdadeira,
ou seja, que a frmula (1.3) seja verdadeira para esse valor de n.
Somando a ambos os lados dessa igualdade
1
(n + 1)(n + 2)
, temos
que
1
1.2
+
1
2.3
+ +
1
n(n + 1)
+
1
(n + 1)(n + 2)
=
n
n + 1
+
1
(n + 1)(n + 2)
=
n + 1
n + 2
,
mostrando, assim, que P(n + 1) verdadeira.
Portanto, pelo Teorema 1.1.1, temos que a frmula vale para todo
n N.
Problemas
1.1.1 Mostre, por induo, a validade das seguintes frmulas:
(a) 1 2
2
+ 3
2
+ (1)
n1
n
2
= (1)
n1
n(n + 1)
2
.
inducaonal
2009/6/30
page 13
Estilo OBMEP
i
i
i
i
i
i
i
i
(b) 1
2
+ 3
2
+ + (2n 1)
2
=
1
3
n(2n 1)(2n + 1).
(c) 1
3
+ 2
3
+ +n
3
=
n(n + 1)
2
2
.
(a)
1
1.3
+
1
3.5
+ +
1
(2n 1)(2n + 1)
=
n
2n + 1
.
(b)
1
1.4
+
1
4.7
+
1
7.10
+ +
1
(3n 2)(3n + 1)
=
n
3n + 1
.
(c)
1
1.5
+
1
5.9
+
1
9.13
+ +
1
(4n 3)(4n + 1)
=
n
4n + 1
.
(d)
1
1.2.3
+
1
2.3.4
+ +
1
n(n + 1)(n + 2)
=
n(n + 3)
4(n + 1)(n + 2)
.
(e)
1
2
1.3
+
2
2
3.5
+ +
n
2
(2n 1)(2n + 1)
=
n(n + 1)
2(2n + 1)
.
1.1.3 Mostre, para n, m N, que
1 2 m+ 2 3 m(m+ 1) + +n(n + 1) (n +m1) =
1
m+ 1
n(n + 1) (n +m).
Sugesto: Fixe m arbitrrio e proceda por induo sobre n.
inducaonal
2009/6/30
page 14
Estilo OBMEP
i
i
i
i
i
i
i
i
1.1.4 Mostre que a soma dos cubos de trs nmeros naturais conse-
cutivos sempre divisvel por 9.
Sugesto: Considere a sentena aberta
P(n) : n
3
+ (n + 1)
3
+ (n + 2)
3
divisvel por 9,
e mostre, por induo, que ela verdadeira para todo n N.
1.1.5 Dada a sentena aberta em N:
P(n) : 1 + 2 + +n =
n(n + 1)
2
+ 1,
mostre que:
(i) Qualquer que seja n N, se P(n) verdadeira, ento P(n + 1)
verdadeira.
(ii) P(n) no verdadeira para nenhum valor de n N.
1.2 Denio por Recorrncia
Recorde que zemos objees na seo anterior ao uso dos ponti-
nhos nas demonstraes de algumas frmulas; no que sejamos con-
tra, eles ajudam muito a representar situaes em que h um nmero
grande (eventualmente innito) de objetos a serem descritos e a visu-
alizar propriedades desses objetos.
Nessas notas, estamos tentando mostrar como se pode estabele-
cer um maior padro de rigor no tratamento de certos problemas
matemticos, mas isso no deve ser tomado ao p da letra. Certos ar-
gumentos informais, quando acompanhados de um raciocnio correto,
inducaonal
2009/6/30
page 15
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 1.2: DEFINIO POR RECORRNCIA 15
so corriqueiramente aceitos. Por exemplo, o argumento utilizado por
Gauss para somar os n primeiros nmeros naturais perfeitamente
aceitvel. Portanto, um conselho: use o formalismo para ajudar e no
para atrapalhar; nunca deixe ele se sobrepor criatividade, pois, em
regra, primeiro vem a descoberta, e depois, a formalizao.
Voltemos agora ao problema que queremos abordar. O que real-
mente signica uma expresso da forma
1 + 3 + 5 + + (2n 1),
que consideramos no Exemplo 1.1.1?
Apesar de intuirmos o que se quer dizer, isso formalmente ainda
no faz sentido, pois a operao de adio de nmeros denida para
um par de nmeros, e aqui temos n nmeros sendo somados de uma
s vez, alm do inconveniente dos pontinhos, claro. Para dar um
sentido preciso a esse tipo de expresso, vamos ver como a Induo
Matemtica pode nos ajudar.
Para denir uma expresso E
n
, para todo nmero natural n, basta
denirmos E
1
e mostrar como obter E
n+1
a partir de E
n
, para todo
n N.
De fato, para vericar que temos efetivamente uma denio para
todo nmero natural n, consideremos a sentena aberta
P(n) : E
n
est denido
e provemos, por Induo Matemtica, que P(n) verdadeira para
todo n N.
inducaonal
2009/6/30
page 16
Estilo OBMEP
i
i
i
i
i
i
i
i
Por construo dos E
n
, temos que:
(i) P(1) verdadeira.
(ii) Qualquer que seja n N, se P(n) verdadeira, ento P(n + 1)
tambm verdadeira.
Portanto, pelo Teorema 1.1.1, temos que P(n) verdadeira para
todo nmero natural n.
Nesse caso, dizemos que E
n
foi denido por recorrncia.
Para continuarmos a nossa discusso, precisaremos de um conceito
que no introduzimos ainda, mas do qual voc certamente j ouviu
falar.
Voc sabe o que uma sequncia? Certamente voc j foi apre-
sentado seguinte denio:
Seja a
1
, a
2
, . . . , a
n
, . . . uma sequncia de nmeros em que cada
elemento a
n
, a partir do segundo, igual ao anterior a
n1
somado
com um nmero constante r.
Isso o que se chama de Progresso Aritmtica.
Mas, o que uma sequncia em geral? Uma sequncia, como
sugere o nome, uma coleo de elementos de natureza qualquer,
ordenados. Na verdade, trata-se apenas de elementos de um conjunto
etiquetados com os nmeros naturais.
Etiquetar com os nmeros naturais os elementos de um conjunto
inducaonal
2009/6/30
page 17
Estilo OBMEP
i
i
i
i
i
i
i
i
A, signica dar uma funo
a : N A
n a(n)
A denio formal de uma sequncia em um conjunto A apenas
uma funo a de N em A.
Como uma funo dada quando se conhece a imagem de todos
os elementos do seu domnio, uma sequncia a pode ser representada
como
a(1), a(2), . . . , a(n), . . . ;
ou ainda, denotando a(n) por a
n
, podemos represent-la por
(a
n
) : a
1
, a
2
, . . . , a
n
, . . .
Quando dissermos que um conjunto A possui uma adio ou uma
multiplicao satisfazendo s leis bsicas da aritmtica, estaremos
supondo que em A est denida uma operao com propriedades
semelhantes correspondente operao nos reais.
Exemplo 1.2.1. Seja (a
n
) uma sequncia de elementos de um con-
junto munido de uma adio sujeita s leis bsicas da aritmtica. Para
dar sentido s somas
S
n
= a
1
+a
2
+ +a
n
,
basta denir recorrentemente S
n
.
inducaonal
2009/6/30
page 18
Estilo OBMEP
i
i
i
i
i
i
i
i
Pomos S
1
= a
1
e, supondo S
n
denido, denimos
S
n+1
= S
n
+a
n+1
.
Somas como S
n
sero tambm denotadas com a notao de so-
matrios:
S
n
=
n
i=1
a
i
,
que se l como somatrio quando i varia de 1 at n de a
i
.
Um conceito que se dene naturalmente por recorrncia o fatorial
de um nmero natural.
Exemplo 1.2.2. Dene-se o fatorial n! de um nmero natural n
como:
1! = 1, e (n + 1)! = n! (n + 1).
Outro conceito que, naturalmente, denido por recorrncia o
de potncia.
Exemplo 1.2.3. Seja a um elemento de um conjunto A munido de
uma multiplicao sujeita s leis bsicas da aritmtica. Vamos denir
as potncias a
n
, com n N, por recorrncia.
Ponhamos a
1
= a. Supondo a
n
denido, dena
a
n+1
= a
n
a.
Vamos estabelecer, por meio de induo, as propriedades usuais
das potncias.
inducaonal
2009/6/30
page 19
Estilo OBMEP
i
i
i
i
i
i
i
i
Proposio 1.2.1. Sejam a, b A e m, n N. Ento,
(i) a
m
a
n
= a
n+m
;
(ii) (a
m
)
n
= a
mn
;
(iii) (a b)
n
= a
n
b
n
.
Demonstrao. Provaremos (i), deixando o restante como exerccio.
Fixemos a A e m N, arbitrariamente. Demonstremos a pro-
priedade por induo sobre n.
Para n = 1, a propriedade vlida, pois, pelas denies,
a
m
a
1
= a
m
a = a
m+1
.
Por outro lado, supondo que a
m
a
n
= a
m+n
, temos que:
a
m
a
n+1
= a
m
(a
n
a) = (a
m
a
n
) a = a
m+n
a = a
m+n+1
.
Isso, pelo Teorema 1.1.1, prova a nossa propriedade.
Exemplo 1.2.4. Vamos provar que 3 divide 5
n
+2 11
n
, nos inteiros,
para todo n N.
De fato, para n = 1, temos que 3 divide 5
1
+ 2 11
1
= 27.
Suponha, agora, que, para algum n 1, saibamos que 3 divide
5
n
+ 2 11
n
. Logo, existe um nmero inteiro a tal que
5
n
+ 2 11
n
= 3a.
inducaonal
2009/6/30
page 20
Estilo OBMEP
i
i
i
i
i
i
i
i
Multiplicando por 5 ambos os lados da igualdade acima, temos
5 3a = 5
n+1
+ 5 2 11
n
= 5
n+1
+ 2 11 11
n
12 11
n
.
Da segue a igualdade
5
n+1
+ 2 11
n+1
= 5 3a + 12 11
n
,
cujo segundo membro divisvel por 3 por ser igual a 3(5a +4 11
n
).
Assim, provamos que 3 divide 5
n+1
+211
n+1
, o que, pelo Teorema
1.1.1, acarreta que 3 divide 5
n
+2 11
n
, para todo nmero natural n.
Pode ocorrer que uma determinada propriedade seja vlida para
todos os nmeros naturais a partir de um determinado valor a, mas
no necessariamente para valores menores. Como proceder nesses
casos?
Por exemplo, como provar que a desigualdade 2
n
> n
2
verdadeira
para todo valor de n natural maior do que ou igual a 5?
Fazemos isso baseados na seguinte pequena generalizao do Teo-
rema 1.1.1:
Teorema 1.2.1. Seja P(n) uma sentena aberta sobre N, e seja
a N. Suponha que
(i) P(a) verdadeira, e
(ii) qualquer que seja n N, com n a, sempre que P(n) ver-
dadeira, segue-se que P(n + 1) verdadeira.
inducaonal
2009/6/30
page 21
Estilo OBMEP
i
i
i
i
i
i
i
i
Ento, P(n) verdadeira para todo nmero natural n a.
Demonstrao. Dena o conjunto
S = {m N; P(m+a 1) verdadeira}.
Por (i) temos que 1 S. Por outro lado, se m S, temos que
P(m+a1) verdadeira. Logo, por (ii), P(m+1+a1) verdadeira.
Portanto, m + 1 S. Em vista do Teorema 1.1.1, temos que S = N.
Consequentemente, P(n) verdadeira para todo n a.
Exemplo 1.2.5. Vamos mostrar que a desigualdade na sentena
aberta P(n) : 2
n
> n
2
verdadeira, para todo nmero natural n 5.
Note que P(1) : 2
1
> 1
2
verdadeira, P(2) : 2
2
> 2
2
falsa,
P(3) : 2
3
> 3
2
falsa e P(4) : 2
4
> 4
2
falsa. Tudo isso no importa,
pois queremos vericar a veracidade dessa desigualdade para n 5.
De fato, temos que P(5) : 2
5
> 5
2
verdadeira. Seja n 5 tal
que 2
n
> n
2
. Multiplicando ambos os lados da desigualdade acima
por 2, obtemos 2
n+1
> 2n
2
. Note que 2n
2
> (n + 1)
2
, se n 3, pois
tal desigualdade equivalente a n(n 2) > 1. Da, deduzimos que
2
n+1
> (n + 1)
2
, o que signica que P(n + 1) verdadeira, estabele-
cendo o resultado em vista do Teorema 1.2.1.
Exemplo 1.2.6. Vamos mostrar que a sentena aberta:
a equao 3x + 5y = n tem soluo em (N {0})
2
,
verdadeira para todo n 8.
De fato, ela verdadeira para n = 8, pois a equao 3x + 5y = 8
admite a soluo (x, y) = (1, 1).
inducaonal
2009/6/30
page 22
Estilo OBMEP
i
i
i
i
i
i
i
i
Suponha agora que a equao 3x + 5y = n tenha uma soluo
(a, b) para algum n 8; isto , 3a +5b = n. Note que, para qualquer
soluo (a, b), devemos ter a 1 ou b 1.
Se b 1, observando que 3 2 5 1 = 1, segue que
3(a + 2) + 5(b 1) = 3a + 5b + 3 2 5 1 = 3a + 5b + 1 = n + 1,
o que mostra que a equao 3x + 5y = n + 1 admite a soluo
(a + 2, b 1) em (N {0})
2
.
Se, por acaso, b = 0, ento, a 3; usando a igualdade
3 3 + 5 2 = 1,
temos
3(a 3) + 5 2 = 3a 3 3 + 5 2 = 3a + 5b + 1 = n + 1,
o que mostra que a equao 3x + 5y = n + 1 admite a soluo
(a 3, b + 2) em (N {0})
2
.
Mostramos assim que, em qualquer caso, a equao 3x+5y = n+1
admite soluo, sempre que a equao 3x+5y = n, para algum n 8,
tenha soluo. Como o resultado vale para n = 8, segue a concluso
desejada pelo Teorema 1.2.1.
Note que n
0
= 8 o menor valor de n para o qual a equao tem
soluo para todo n n
0
.
inducaonal
2009/6/30
page 23
Estilo OBMEP
i
i
i
i
i
i
i
i
Problemas
(a) 1.2
0
+ 2.2
1
+ 3.2
2
+ +n.2
n1
= 1 + (n 1)2
n
.
(b)
1 +
1
1
1 +
1
2
1 +
1
n 1
n1
=
n
n1
(n 1)!
.
(c) 1.1! + 2.2! + 3.3! + +n.n! = (n + 1)! 1.
1.2.2 Sejam a e b nmeros reais distintos. Mostre que, para todo
n N, vale a igualdade:
b
n
+ab
n1
+a
2
b
n2
+ +a
n1
b +a
n
=
b
n+1
a
n+1
b a
.
1.2.3 Se sen = 0, mostre que, para todo n N, vale a igualdade:
cos cos 2 cos 2
2
cos 2
n
=
sen 2
n+1
2
n+1
sen
Sugesto: Use a frmula sen 2 = 2 sen cos .
1.2.4 Para todo n N, mostre que, nos inteiros,
(a) 80 divide 3
4n
1; (b) 9 divide 4
n
+ 6n 1;
(c) 8 divide 3
2n
+ 7; (d) 9 divide n4
n+1
(n + 1)4
n
+ 1.
inducaonal
2009/6/30
page 24
Estilo OBMEP
i
i
i
i
i
i
i
i
1.2.5 Mostre que:
(a) n! > 2
n
, se n 4.
(b) n! > 3
n
, se n 7.
(c) n! > 4
n
, se n 9.
1.2.6 Prove que, para todo n natural, vale a desigualdade:
1
2

3
4

5
6

2n 1
2n

1
3n + 1
.
1.2.7 Mostre que o nmero de diagonais de um polgono convexo de
n lados dado por
d
n
=
n(n 3)
2
.
1.2.8 Mostre que n
0
= 32 o menor valor para o qual a equao
5x + 9y = n possui soluo em (N {0})
2
para todo n n
0
.
1.3 Progresses
Iremos agora, usando recorrncia, denir progresses aritmticas
e progresses geomtricas.
Exemplo 1.3.1. Uma Progresso Aritmtica (P.A.) uma sequncia
de nmeros (a
n
) tal que, a partir do segundo termo, cada termo a
n

igual ao anterior a
n1
somado a um nmero xo r chamado de razo.
inducaonal
2009/6/30
page 25
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 1.3: PROGRESSES 25
Portanto, dado o primeiro termo a
1
e dene-se recorrentemente
a
n
= a
n1
+r, se n 2.
Para achar uma frmula fechada para o termo de ordem n da
sequncia, observe que
a
2
= a
1
+r, a
3
= a
2
+r = a
1
+ 2r, a
4
= a
3
+r = a
1
+ 3r.
Pelo mtodo da galinha de Bertrand Russel, j podemos adivi-
nhar os prximos termos:
a
5
= a
4
+r = a
1
+ 4r, a
6
= a
1
+ 5r, . . . , a
n
= a
1
+ (n 1)r, . . .
Portanto, parece plausvel que a frmula para o termo geral de
uma P.A. de primeiro termo a
1
e razo r seja
a
n
= a
1
+ (n 1)r, para todo n N.
Vamos agora demonstrar essa frmula por induo.
Inicialmente, observe que a frmula verdadeira para n = 1, pois
ela se reduz igualdade a
1
= a
1
.
Suponha agora que a frmula seja correta para algum n N;
isto , que a
n
= a
1
+ (n 1)r. Somando r a ambos os lados dessa
igualdade, segue a igualdade:
a
n+1
= a
n
+r = a
1
+ (n 1)r +r = a
1
+nr,
inducaonal
2009/6/30
page 26
Estilo OBMEP
i
i
i
i
i
i
i
i
o que mostra que a frmula verdadeira para n + 1. Portanto, ela
correta para todo n N.
Note que, numa P.A., tem-se que
a
i
+a
ni+1
= [a
1
+ (i 1)r] + [a
1
+ (n i)r]
= a
1
+a
1
+ (n 1)r (1.4)
= a
1
+a
n
.
Agora, nos propomos a achar uma frmula para a soma
S
n
= a
1
+a
2
+ +a
n
dos n primeiros termos de uma P.A. (a
n
).
Vamos usar, para isso, o mtodo de Gauss que exibimos no Exem-
plo 1.1.1.
Somando a igualdade acima, membro a membro, com ela mesma,
porm com as parcelas do segundo membro em ordem invertida,
temos, por (1.4) que
S
n
= a
1
+ a
2
+ + a
n
S
n
= a
n
+ a
n1
+ + a
1
2S
n
= (a
1
+a
n
) + (a
2
+a
n1
) + + (a
n
+a
1
)
.
Da, segue-se que 2S
n
= (a
1
+a
n
)n e, portanto,
S
n
=
(a
1
+a
n
)n
2
.
inducaonal
2009/6/30
page 27
Estilo OBMEP
i
i
i
i
i
i
i
i
Deixamos a validao dessa frmula por induo como exerccio.
Exemplo 1.3.2. Uma Progresso Geomtrica (P.G.) uma sequn-
cia de nmeros (a
n
) tal que, a partir do segundo termo, cada termo a
n
igual ao anterior a
n1
multiplicado por um nmero xo q chamado
de razo.
Portanto, dado o primeiro termo a
1
e dene-se recorrentemente
a
n
= a
n1
q, se n 2.
Para achar uma frmula fechada para o termo de ordem n da
sequncia, observe que
a
2
= a
1
q, a
3
= a
2
q = a
1
q
2
, a
4
= a
3
q = a
1
q
3
, a
5
= a
4
q = a
1
q
4
.
Novamente, pelo mtodo da galinha de Bertrand Russel, pode-
mos adivinhar os prximos termos:
a
6
= a
1
q
5
, a
7
= a
1
q
6
, . . . , a
n
= a
1
q
n1
, . . .
Portanto, plausvel que a frmula para o termo geral de uma
P.G. de primeiro termo a
1
e razo q seja a
n
= a
1
q
n1
, para todo
n N.
Vamos demonstrar essa frmula por induo.
Inicialmente, observe que a frmula verdadeira para n = 1, pois
ela se reduz igualdade a
1
= a
1
.
Suponha, agora, que a frmula seja correta para algum n N,
isto , que a
n
= a
1
q
n1
. Multiplicando por q ambos os lados dessa
inducaonal
2009/6/30
page 28
Estilo OBMEP
i
i
i
i
i
i
i
i
igualdade, segue que
a
n+1
= a
n
q = a
1
q
n1
q = a
1
q
n
,
o que mostra que a frmula correta para n + 1. Portanto, ela
correta para todo n N.
Vamos, a seguir, achar uma frmula para a soma S
n
dos n
primeiros termos de uma P.G.
Vejamos se, animados pelo truque de Gauss, achamos uma
soluo inteligente para esse problema.
Escreva
S
n
= a
1
+a
1
q +a
1
q
2
+ +a
1
q
n1
.
Note que
qS
n
S
n
= a
1
q +a
1
q
2
+ +a
1
q
n1
+a
1
q
n
a
1
a
1
q a
1
q
2
a
1
q
n1
= a
1
q
n
a
1
.
Portanto,
S
n
=
a
1
q
n
a
1
q 1
=
a
n
q a
1
q 1
.
Problemas
1.3.1 Ache uma frmula fechada para cada uma das somas:
inducaonal
2009/6/30
page 29
Estilo OBMEP
i
i
i
i
i
i
i
i
(a) 2 + 4 + + 2n.
(b) 2 + 5 + 8 + + (3n 1).
1.3.2 Ache uma frmula fechada para cada uma das somas:
(a) 2 + 4 + + 2
n
.
(b)
1
2
+
1
4
+ +
1
2
n
.
Para quanto tende a soma em (b) quando o nmero de parcelas au-
menta indenidamente?
1.3.3 Uma vitria rgia encontra-se em um tanque de gua. Sabendo
que ela dobra de rea a cada dia e que, no nal de 20 dias, ocupa toda
a superfcie do tanque, em qual dia ela ocupar a metade da superfcie
do tanque?
Comentrio: Esse problema admite duas solues, uma usando fr-
mulas, outra usando a cabea.
1.3.4 Em uma cidade de 5 000 habitantes, algum resolve espalhar
um boato. Considerando que, a cada 10 minutos, uma pessoa capaz
de contar o caso para 3 pessoas desinformadas, determine em quanto
tempo toda a cidade ca conhecendo o boato.
1.3.5 Uma progresso aritmtico-geomtrica uma sequncia (a
n
)
tal que a
1
, q e r so nmeros reais dados, com q = 1, e, para todo
n N, tem-se que
a
n+1
= qa
n
+r.
inducaonal
2009/6/30
page 30
Estilo OBMEP
i
i
i
i
i
i
i
i
(a) Mostre que a
n
= a
1
q
n1
+r
q
n1
1
q 1
.
(b) Se S
n
= a
1
+ +a
n
, mostre que
S
n
= a
1
q
n
1
q 1
+r
q
n
1
(q 1)
2
+r
n
1 q
.
(c) Ache o termo geral e a soma dos n primeiros termos da pro-
gresso aritmtico-geomtrica onde a
1
= 1, q = 2 e r = 1.
inducaonal
2009/6/30
page 31
Estilo OBMEP
i
i
i
i
i
i
i
i
Captulo 2
Induo e Mundo Material
Neste captulo, mostraremos algumas aplicaes da induo
matemtica ao mundo material.
2.1 A Torre de Hani
Voc provavelmente j conhece esse jogo, pois trata-se de um jogo
bastante popular que pode ser facilmente fabricado ou ainda encon-
trado em lojas de brinquedos de madeira.
O jogo formado por n discos de dimetros distintos com um furo
no seu centro e uma base onde esto ncadas trs hastes. Numa das
hastes, esto enados os discos, de modo que nenhum disco esteja
sobre um outro de dimetro menor (veja gura a seguir).
31
inducaonal
2009/6/30
page 32
Estilo OBMEP
i
i
i
i
i
i
i
i
32 CAP. 2: INDUO E MUNDO MATERIAL
O jogo consiste em transferir a pilha de discos para uma outra

haste, deslocando um disco de cada vez, de modo que, a cada passo,
a regra acima seja observada.
As perguntas naturais que surgem so as seguintes:
1. O jogo tem soluo para cada n N?
2. Em caso armativo, qual o nmero mnimo j
n
de movimentos
para resolver o problema com n discos?
Usando Induo Matemtica, vamos ver que a resposta primeira
pergunta armativa, qualquer que seja o valor de n. Em seguida,
deduziremos uma frmula que nos fornecer o nmero j
n
.
Considere a sentena aberta
P(n) : O jogo com n discos tem soluo.
Obviamente, P(1) verdade. Suponha que P(n) seja verdadeiro,
para algum n; ou seja, que o jogo com n discos tem soluo. Vamos
provar que o jogo com n + 1 discos tem soluo.
Para ver isso, resolva inicialmente o problema para os n discos
inducaonal
2009/6/30
page 33
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 2.1: A TORRE DE HANI 33
superiores da pilha, transferindo-os para uma das hastes livre (isso
possvel, pois estamos admitindo que o problema com n discos possua
soluo):
Em seguida, transra o disco que restou na pilha original (o maior

dos discos) para a haste vazia:
Feito isto, resolva novamente o problema para os n discos que

esto juntos, transferindo-os para a haste que contm o maior dos
discos:
Isso mostra que o problema com n + 1 discos tambm possui
soluo, e, portanto, por Induo Matemtica, que P(n) verdadeira
inducaonal
2009/6/30
page 34
Estilo OBMEP
i
i
i
i
i
i
i
i
para todo n N.
Para determinar uma frmula para j
n
, veja que, para resolver o
problema para n + 1 discos com o menor nmero de passos, temos,
necessariamente, que passar duas vezes pela soluo mnima do pro-
blema com n discos. Temos, ento, que
j
n+1
= 2j
n
+ 1.
Obtemos, assim, uma progresso aritmtico-geomtrica (j
n
) cujo
termo geral , pelo Problema 1.3.5 (c), dado por
j
n
= 2
n
1.
Esse jogo foi idealizado e publicado pelo matemtico francs
Edouard Lucas, em 1882, que, para dar mais sabor sua criao,
inventou a seguinte lenda:
Na origem do tempo, num templo oriental, Deus colocou 64 discos
perfurados de ouro puro ao redor de uma de trs colunas de diamante
e ordenou a um grupo de sacerdotes que movessem os discos de uma
inducaonal
2009/6/30
page 35
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 2.2: O ENIGMA DO CAVALO DE ALEXANDRE 35
coluna para outra, respeitando as regras acima explicadas. Quando
todos os 64 discos fossem transferidos para uma outra coluna, o mundo
acabaria.
Voc no deve se preocupar com a iminncia do m do mundo,
pois, se, a cada segundo, um sacerdote movesse um disco, o tempo
mnimo para que ocorresse a fatalidade seria de 2
64
1 segundos e
isto daria, aproximadamente, um bilho de sculos!
2.2 O Enigma do Cavalo de Alexandre
Num mosaico romano, Bucfalo, o cavalo de Alexandre, o Grande,
representado como um fogoso corcel cor de bronze. Nesse exemplo,
vamos provar que isso uma falcia (uma grande mentira).
Inicialmente, provaremos que todos os cavalos tm mesma cor.
De fato, considere a sentena aberta:
P(n): Num conjunto com n cavalos, todos tm a mesma cor.
Note que P(1) obviamente verdadeira. Agora, suponha o resul-
tado vlido para conjuntos contendo n cavalos. Considere um con-
junto
C = {C
1
, C
2
, . . . , C
n
, C
n+1
}
com n + 1 cavalos. Decompomos o conjunto C numa unio de dois
conjuntos:
C = C
= {C
1
, . . . , C
n
} {C
2
, . . . , C
n+1
},
inducaonal
2009/6/30
page 36
Estilo OBMEP
i
i
i
i
i
i
i
i
cada um dos quais contm n cavalos.
Pela hiptese indutiva, segue-se que os cavalos em C
tm mesma
cor, ocorrendo o mesmo para os cavalos em C
. Como
C
2
C
,
segue-se que os cavalos de C
tm a mesma cor dos cavalos de C
,
permitindo assim concluir que todos os cavalos em C tm a mesma
cor.
Assim, a nossa demonstrao por induo est terminada,
provando que P(n) verdadeira para todo n N.
Agora, todo mundo sabe (voc sabia?) que Marengo, o famoso
cavalo de Napoleo, era branco. Logo, Bucfalo deveria ser branco.
Onde est o erro nessa prova? Para ach-lo, sugerimos que voc
tente provar que, se P(1) verdadeira, ento P(2) verdadeira.
Esse problema foi inventado pelo matemtico hngaro George
Plya (1887-1985).
Problemas
2.2.1 Ache o erro na prova do seguinte Teorema:
Todos os numeros naturais so iguais.
Demonstrao. Vamos provar o resultado mostrando que, para todo
n N, verdadeira a sentena aberta
inducaonal
2009/6/30
page 37
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 2.3: DESCOBRINDO A MOEDA FALSA 37
P(n): Dado n N, todos os nmero naturais menores ou iguais
do que n so iguais.
(i) P(1) claramente verdadeira.
(ii) Suponha que P(n) seja verdadeira, logo n 1 = n. Somando 1
a ambos os lados dessa igualdade, obtemos n = n + 1. Como n era
igual a todos os naturais anteriores, segue que P(n+1) verdadeira.
Portanto, P(n) verdadeira para todo n N.
2.3 Descobrindo a Moeda Falsa
Tm-se 2
n
moedas de ouro, sendo uma delas falsa, com peso menor
do que as demais. Dispe-se de uma balana de dois pratos, sem ne-
nhum peso. Vamos mostrar, por induo sobre n, que possvel achar
a moeda falsa com n pesagens.
Para n = 1, isso fcil de ver, pois, dadas as duas moedas, basta
pr uma moeda em cada prato da balana e descobre-se imediata-
mente qual a moeda falsa.
Suponha, agora, que o resultado seja vlido para algum valor de
n e que se tenha que achar a moeda falsa dentre 2
n+1
moedas dadas.
Separemos as 2
n+1
moedas em 2 grupos de 2
n
moedas cada. Coloca-se
um grupo de 2
n
moedas em cada prato da balana. Assim, poderemos
descobrir em que grupo de 2
n
moedas encontra-se a moeda falsa.
Agora, pela hiptese de induo, descobre-se a moeda falsa com n
pesagens, que, junto com a pesagem j efetuada, perfazem o total de
n + 1 pesagens.
No Captulo 3, iremos generalizar esse problema, resolvendo-o
inducaonal
2009/6/30
page 38
Estilo OBMEP
i
i
i
i
i
i
i
i
para um nmero qualquer de moedas.
Problemas
2.3.1 Mostre que o problema da moeda falsa para 3
n
moedas tambm
se resolve com n pesagens.
2.4 A Pizza de Steiner
O grande gemetra alemo Jacob Steiner (1796-1863) props e
resolveu, em 1826, o seguinte problema:
Qual o maior nmero de partes em que se pode dividir o plano
com n cortes retos?
Pensando o plano como se fosse uma grande pizza, temos uma
explicao para o nome do problema.
Denotando o nmero mximo de pedaos com n cortes por p
n
,
vamos provar por induo a frmula:
p
n
=
n(n + 1)
2
+ 1.
Para n = 1, ou seja, com apenas um corte, claro que s podemos
obter dois pedaos. Portanto, a frmula est correta, pois
p
1
=
1(1 + 1)
2
+ 1 = 2.
Admitamos agora que, para algum valor de n, a frmula para p
n
inducaonal
2009/6/30
page 39
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 2.4: A PIZZA DE STEINER 39
esteja correta. Vamos mostrar que a frmula para p
n+1
tambm est
correta.
Suponhamos que, com n cortes, obtivemos o nmero mximo
n(n + 1)/2 + 1 de pedaos e queremos fazer mais um corte, de modo
a obter o maior nmero possvel de pedaos.
Vamos conseguir isso se o (n + 1)-simo corte encontrar cada um
dos n cortes anteriores em pontos que no so de interseo de dois
cortes (faa um desenho para se convencer disso).
Por outro lado, se o (n+1)-simo corte encontra todos os n cortes
anteriores, ele produz n + 1 novos pedaos: o corte comea em um
determinado pedao e, ao encontrar o primeiro corte, ele separa em
dois o pedao em que est, entrando em outro pedao. Ao encontrar
o segundo corte, ele separa em dois o pedao em que est, entrando
em outro pedao, e assim sucessivamente, at encontrar o n-simo
corte separando o ltimo pedao em que entrar em dois. Assim, so
obtidos n + 1 pedaos a mais dos que j existiam; logo,
p
n+1
= p
n
+n + 1 =
n(n + 1)
2
+ 1 +n + 1 =
(n + 1)(n + 2)
2
+ 1,
mostrando que a frmula est correta para n + 1 cortes. O resultado
segue ento do Teorema 1.1.1.
Problemas
2.4.1 (O queijo de Steiner) Para fazer a sua pizza, Steiner teve que
cortar, primeiro, o queijo. Imaginando que o espao um enorme
queijo, voc seria capaz de achar uma frmula para o nmero mximo
de pedaos que poderamos obter ao cort-lo por n planos?
inducaonal
2009/6/30
page 40
Estilo OBMEP
i
i
i
i
i
i
i
i
2.5 Os Coelhos de Fibonacci
Trata-se do seguinte problema proposto e resolvido pelo
matemtico italiano Leonardo de Pisa em seu livro Liber Abacci, de
1202:
Quot paria coniculorum in uno anno ex uno pario germinentur.
Como no se ensina mais latim nas escolas, a vai uma explicao:
um casal de coelhos recm-nascidos foi posto num lugar cercado. De-
terminar quantos casais de coelhos ter-se-o aps um ano, supondo
que, a cada ms, um casal de coelhos produz outro casal e que um
casal comea a procriar dois meses aps o seu nascimento.
Leonardo apresenta a seguinte soluo:
ms
nmero de casais
do ms anterior
nmero de casais
recm-nascidos
total
1
o
0 1 1
2
o
1 0 1
3
o
1 1 2
4
o
2 1 3
5
o
3 2 5
6
o
5 3 8
7
o
8 5 13
8
o
13 8 21
9
o
21 13 34
10
o
34 21 55
11
o
55 34 89
12
o
89 55 144
inducaonal
2009/6/30
page 41
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 2.5: OS COELHOS DE FIBONACCI 41
Portanto, o nmero de casais de coelhos num determinado ms
igual ao nmero total de casais do ms anterior acrescido do nmero
de casais nascidos no ms em curso, que igual ao nmero total de
casais do ms anterior ao anterior.
Se denotarmos o nmero de coelhos existentes no n-simo ms por
u
n
, temos, ento, que
u
n
= u
n1
+u
n2
, u
1
= u
2
= 1.
Essas relaes denem, por recorrncia, uma sequncia de nmeros
naturais, chamada de sequncia de Fibonacci, cujos elementos, chama-
dos de nmeros de Fibonacci, possuem propriedades aritmticas
notveis, que ainda hoje so objeto de investigao.
Uma recorrncia
1
do tipo
x
n
= x
n1
+x
n2
(2.1)
s permite determinar o elemento x
n
se conhecermos os elementos
anteriores x
n1
e x
n2
, que, para serem calculados, necessitam do
conhecimento dos dois elementos anteriores, e assim por diante. Fica,
portanto, univocamente denida a sequncia quando so dados x
1
e
x
2
. A sequncia de Fibonacci corresponde recorrncia (2.1), onde
x
1
= x
2
= 1.
Quando dada uma recorrncia, um problema importante de-
terminar uma frmula fechada para o termo geral da sequncia, isto
, uma frmula que no recorre aos termos anteriores. No caso da
1
Uma recorrncia uma frmula que dene um elemento de uma sequncia a
partir de termos anteriores.
inducaonal
2009/6/30
page 42
Estilo OBMEP
i
i
i
i
i
i
i
i
sequncia de Fibonacci, existe uma tal frmula, chamada frmula de
Binet, que apresentamos a seguir.
Proposio 2.5.1. Para todo n N, tem-se que
u
n
=
1+
5
2
5
2
5
.
Demonstrao. Procuremos as progresses geomtricas v
n
= q
n
, com
q = 0, que satisfazem recorrncia (2.1). Temos que
q
n
= q
n1
+q
n2
,
cujas solues so
q
1
=
1 +
5
2
e q
2
=
1
5
2
.
Dena v
n
= q
n
1
e w
n
= q
n
2
. Note que, como as duas sequncias v
n
e w
n
satisfazem recorrncia (2.1), ento, para quaisquer e reais,
a sequncia u
n
= v
n
+ w
n
tambm satisfaz recorrncia. Agora,
impomos u
1
= u
2
= 1, o que nos d um sistema de duas equaes com
as duas incgnitas e , cujas solues so =
1
5
e =
1
5
.
notvel que seja necessrio recorrer a frmulas envolvendo
nmeros irracionais para representar os elementos da sequncia de
Fibonacci, que so nmeros naturais. Mais notvel, ainda, que o
nmero
1+
5
2
seja a proporo urea que aparece nas artes, e que
1
5
2
seja o simtrico de seu inverso
1
. Intrigante essa inesperada
relao entre criar coelhos e a divina proporo, no?
inducaonal
2009/6/30
page 43
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 2.5: OS COELHOS DE FIBONACCI 43
Leonardo de Pisa (1170-1250), lho de Bonacci, e por isso apeli-
dado Fibonacci, teve um papel fundamental no desenvolvimento da
Matemtica no Ocidente. Em 1202, publicou o livro Liber Abacci,
que continha grande parte do conhecimento sobre nmeros e lgebra
da poca. Esta obra foi responsvel pela introduo na Europa do
sistema de numerao indo-arbico e pelo posterior desenvolvimento
da lgebra e da aritmtica no mundo ocidental.
Problemas
2.5.1 Mostre que a sequncia de Fibonacci satisfaz s seguintes iden-
tidades:
(a) u
1
+u
2
+ +u
n
= u
n+2
1.
(b) u
1
+u
3
+ +u
2n1
= u
2n
.
(c) u
2
+u
4
+ +u
2n
= u
2n+1
1.
(d) u
2
1
+u
2
2
+ +u
2
n
= u
n
u
n+1
.
2.5.2 Sabendo que q =
1 +
5
2
raiz da equao x
2
= x+1, mostre
que q
n
= u
n
q +u
n1
.
2.5.3 Prove que
u
3
+u
6
+u
9
+ +u
3n
=
u
3n+2
1
2
.
2.5.4 Dada a recorrncia a
n+2
= 2a
n+1
+ a
n
, com a
1
= 1 e a
2
= 3,
ache uma frmula para a
n
.
inducaonal
2009/6/30
page 44
Estilo OBMEP
i
i
i
i
i
i
i
i
2.5.5 Mostre que a recorrncia v
n
= 3v
n1
2v
n2
, v
0
= 2 e v
1
= 3
tem por soluo v
n
= 2
n
+ 1.
inducaonal
2009/6/30
page 45
Estilo OBMEP
i
i
i
i
i
i
i
i
Captulo 3
Induo e Matemtica
O Princpio de Induo Matemtica possui inmeras aplicaes
em Matemtica. Neste captulo, veremos algumas delas.
3.1 Somatrios
Vamos recordar a noo de somatrio que introduzimos na Seo
2 do Captulo 1.
Seja A um conjunto com duas operaes satisfazendo s leis bsi-
cas da aritmtica.
Se (a
n
) uma sequncia em A, denimos o somatrio dos seus n
primeiros termos como sendo
n
i=1
a
i
= a
1
+a
2
+ +a
n
.
45
inducaonal
2009/6/30
page 46
Estilo OBMEP
i
i
i
i
i
i
i
i
46 CAP. 3: INDUO E MATEMTICA
Para apreciar o poder do que iremos apresentar, tente, neste exato
momento, calcular a soma:
1 2 + 2 3 + 3 4 + +n(n + 1).
Se conseguiu, parabns! Se no conseguiu, no desanime, pois,
com os instrumentos de que voc dispe at o momento, o problema
difcil. Veremos adiante como isso vai se transformar, como num
passe de mgica, em algo fcil de calcular.
Provaremos a seguir alguns resultados bem simples sobre so-
matrios que iro nos ajudar a resolver este e muitos outros problemas
do mesmo tipo.
Proposio 3.1.1. Sejam (a
i
), (b
i
) duas sequncias de elementos do
conjunto A e seja c A. Ento,
(i)
n
i=1
(a
i
+b
i
) =
n
i=1
a
i
+
n
i=1
b
i
;
(ii)
n
i=1
c a
i
= c
n
i=1
a
i
;
(iii)
n
i=1
(a
i+1
a
i
) = a
n+1
a
1
;
(iv)
n
i=1
c = nc.
Demonstrao. (i) O que signica a soma

n
i=1
(a
i
+b
i
)? Signica
que estamos somando os n primeiros termos da nova sequncia (c
n
),
inducaonal
2009/6/30
page 47
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 3.1: SOMATRIOS 47
onde, para cada n N, dene-se c
n
= a
n
+b
n
.
Provemos o resultado por induo sobre n. Para n = 1, temos que
1
i=1
(a
i
+b
i
) = a
1
+b
1
=
1
i=1
a
i
+
1
i=1
b
i
,
mostrando que a frmula vlida nesse caso.
Suponha a frmula vlida para algum nmero natural n. Temos
ento que
n+1
i=1
(a
i
+b
i
) =
n
i=1
(a
i
+b
i
) + (a
n+1
+b
n+1
) =
n
i=1
a
i
+
n
i=1
b
i
+ (a
n+1
+b
n+1
) =
n
i=1
a
i
+a
n+1
+
n
i=1
b
i
+b
n+1
=
n+1
i=1
a
i
+
n+1
i=1
b
i
,
mostrando assim que a frmula vlida para n + 1. Pelo Teorema
1.1.1, temos que a frmula vlida para todo n N.
(ii) A prova tambm se faz por induo e a deixamos como exerccio.
(iii) Vamos provar, tambm por induo sobre n, esta frmula. Para
n = 1, temos que
1
i=1
(a
i+1
a
i
) = a
2
a
1
,
o que mostra a validade da frmula neste caso.
Suponhamos que a frmula seja vlida para um nmero natural
inducaonal
2009/6/30
page 48
Estilo OBMEP
i
i
i
i
i
i
i
i
n. Logo,
n+1
i=1
(a
i+1
a
i
) =
n
i=1
(a
i+1
a
i
) + (a
n+2
a
n+1
) =
a
n+1
a
1
+a
n+2
a
n+1
= a
n+2
a
1
,
mostrando que a frmula vale para n + 1 e, portanto, vale para todo
n N.
(iv) O somatrio

n
i=1
c representa a soma de n parcelas iguais a c,
e, portanto, igual a nc.
Vejamos agora, com alguns exemplos, como podemos tirar partido
deste resultado.
Exemplo 3.1.1. Vamos ao desao, que lanamos acima, de calcular
a soma:
S
n
= 1 2 + 2 3 + 3 4 + +n(n + 1).
Com a notao de somatrio, podemos escrever
S
n
=
n
i=1
i(i + 1).
Ora, aplicando o item (i) da proposio acima, temos
S
n
=

n
i=1
i(i + 1). =
n
i=1
i
2
+
n
i=1
i =
(1
2
+ 2
2
+ +n
2
) + (1 + 2 + +n),
inducaonal
2009/6/30
page 49
Estilo OBMEP
i
i
i
i
i
i
i
i
somas estas que j calculamos nos Exemplos 1.1.1 e 1.1.2. Portanto,
temos que
S
n
=
n(n + 1)(2n + 1)
6
+
n(n + 1)
2
=
n(n + 1)(n + 2)
3
.
A frmula do item (iii) da Proposio 3.1.1, chamada de soma
telescpica, nos fornece um mtodo para calcular termos gerais de
certas recorrncias e somas, como veremos nos dois exemplos a seguir.
Exemplo 3.1.2. Vamos deduzir a expresso do termo geral da recor-
rncia da Pizza de Steiner:
p
n+1
= p
n
+n + 1, p
1
= 2.
A expresso acima pode ser escrita do seguinte modo:
p
i+1
p
i
= i + 1.
Tomando somatrios de ambos os lados, obtemos
n1
i=1
(p
i+1
p
i
) =
n1
i=1
(i + 1).
O primeiro membro da igualdade acima uma soma telescpica e
vale p
n
p
1
, enquanto o segundo membro por ns conhecido e vale
inducaonal
2009/6/30
page 50
Estilo OBMEP
i
i
i
i
i
i
i
i
(n 1)n
2
+n 1. Portanto, temos que
p
n
=
(n 1)n
2
+n 1 + 2 =
n(n + 1)
2
+ 1.
Exemplo 3.1.3. Seja i N e considere a seguinte identidade:
1
(i + 1)
4
= i
4
+ 4i
3
+ 6i
2
+ 4i + 1.
Da, segue que
(i + 1)
4
i
4
= 4i
3
+ 6i
2
+ 4i + 1.
Tomando os somatrios de ambos os membros da igualdade acima
e notando que o lado esquerdo uma soma telescpica, obtemos
(n + 1)
4
1 =
n
i=1
[(i + 1)
4
i
4
] =
n
i=1
(4i
3
+ 6i
2
+ 4i + 1).
Usando agora as propriedades (i) e (ii) dos somatrios enunciados
na Proposio 3.1.1 e as frmulas obtidas nos Exemplos 1.1.1 e 1.1.2,
1
Esta identidade, que pode ser vericada diretamente, um caso particular da
frmula do binmio de Newton, que estudaremos em geral na prxima seo.
inducaonal
2009/6/30
page 51
Estilo OBMEP
i
i
i
i
i
i
i
i
obtemos
(n + 1)
4
1 =
n
i=1
(4i
3
+ 6i
2
+ 4i + 1) =
4
n
i=1
i
3
+ 6
n
i=1
i
2
+ 4
n
i=1
i +n =
4
n
i=1
i
3
+n(n + 1)(2n + 1) + 2n(n + 1) +n.
Da, segue que
n
i=1
i
3
=
(n + 1)
4
1 n(n + 1)(2n + 1) 2n(n + 1) n
4
=
n
4
+ 2n
3
+n
2
4
=
n(n + 1)
2
2
.
Obtemos, assim, a frmula do Problema 1.1.1 (i):
1
3
+ 2
3
+ +n
3
=
n(n + 1)
2
2
.
possvel generalizar este procedimento para obter frmulas
recorrentes para as somas
1
p
+ 2
p
+ +n
p
,
quando p varia nos naturais (veja Problema 3.1.2).
inducaonal
2009/6/30
page 52
Estilo OBMEP
i
i
i
i
i
i
i
i
Problemas
3.1.1 Calcule frmulas fechadas para as seguintes somas:
(a) 1 + (1 + 2) + (1 + 2 + 3) + + (1 + 2 + +n).
(b) 1 2 3 + 2 3 4 + 3 4 5 + +n(n + 1)(n + 2).
(c) 1 3 + 3 5 + 5 7 + + (2n 1)(2n + 1).
(d) 1 + (1 + 2
2
) + (1 + 2
2
+ 3
2
) + + (1 + 2
2
+ 3
2
+ +n
2
).
(e) 1
2
+ 3
2
+ 5
2
+ + (2n 1)
2
.
(f) 1
3
+ 3
3
+ + (2n 1)
3
.
3.1.2
(a) Considere, para i N, a seguinte identidade:
(i + 1)
5
i
5
= 5i
4
+ 10i
3
+ 10i
2
+ 5i + 1.
Efetue o somatrio de ambos os lados para i variando de 1 at n.
Utilizando os Problemas 1.1.1 e 1.1.2, determine uma frmula
para

n
i=1
i
4
.
inducaonal
2009/6/30
page 53
Estilo OBMEP
i
i
i
i
i
i
i
i
(b) Pense em um modo de calcular
n
i=1
i
5
. Mostre como isto pode
ser generalizado.
3.1.3 Demonstre a Propriedade (ii) na Proposio 3.1.1.
3.1.4 Prove as desigualdades:
2(
n + 1 1) < 1 +
1
2
+
1
3
+ +
1
n
< 2
n.
Sugesto: Mostre inicialmente que
2
n + 1 2
n <
1
n
< 2
n 2
n 1
e em seguida use somas telescpicas.
3.1.5 Seja a
1
, a
2
, . . . , a
n+1
uma P.A. com de razo r. Calcule a soma
S
n
=
1
a
1
a
2
+
1
a
2
a
3
+ +
1
a
n
a
n+1
.
Este problema generaliza os Problemas 1.1.2 (a), (b) e (c).
Sugesto: Mostre inicialmente que
1
a
i
a
i+1
=
1
r
1
a
i+1
1
a
i
.
Tome o somatrio, para i variando de 1 at n, em ambos o lados da
igualdade acima e note que o somatrio do lado direito um mltiplo
inducaonal
2009/6/30
page 54
Estilo OBMEP
i
i
i
i
i
i
i
i
de uma soma telescpica. Conclua que
S
n
=
1
r
1
a
n+1
1
a
1
=
n
a
1
a
n+1
.
3.2 Binmio de Newton
Considere a expresso (1+X)
n
, onde X uma indeterminada e n
um nmero natural. claro que o desenvolvimento dessa potncia
um polinmio de grau n em X, cujos coecientes so nmeros naturais
(voc pode provar esta armao por induo sobre n):
(1 +X)
n
= a
0
+a
1
X +a
2
X
2
+ +a
n1
X
n1
+a
n
X
n
.
Os coecientes a
i
, i = 0, . . . , n, sero chamados de nmeros bi-
nomiais e denotados pelos smbolos a
i
=
n
i
. Se i > n, cmodo
denir
n
i
= 0.
Observe que, tomando X = 1 no desenvolvimento de (1 + X)
n
,
obtemos a seguinte identidade:
2
n
=
n
0
n
1
+ +
n
n
.
Queremos determinar frmulas explcitas para esses nmeros bi-
nomiais.
Como os coecientes do termo independente de X, do termo em
X e do termo em X
n
no desenvolvimento de (1 + X)
n
so, respecti-
inducaonal
2009/6/30
page 55
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 3.2: BINMIO DE NEWTON 55
vamente, 1, n e 1, temos que
n
0
= 1,
n
1
= n e
n
n
= 1.
Lema 3.2.1 (Relao de Stifel). Para todo n N e todo i N com
0 i n, tem-se que
n
i
n
i + 1
n + 1
i + 1
.
Demonstrao. Para i = n, a relao acima trivialmente vericada.
Para 0 i < n, as relaes decorrem, imediatamente, das seguintes
igualdades:
n + 1
0
n + 1
1
X + +
n + 1
n
X
n
+
n + 1
n + 1
X
n+1
=
(1 +X)
n+1
= (1 +X)
n
0
n
1
X + +
n
n 1
X
n1
+
n
n
X
n
n
0
n
0
n
1
X + +
n
n 1
n
n
X
n
+
n
n
X
n+1
.
Lema 3.2.2. Para todos n, i N, com 1 i n, tem-se que
i!
n
i
= n(n 1) (n i + 1).
Demonstrao. Vamos provar isto por induo sobre n. A igualdade
inducaonal
2009/6/30
page 56
Estilo OBMEP
i
i
i
i
i
i
i
i
trivialmente vericada para n = 1. Suponha que as igualdades sejam
vlidas para algum n N e todo i com 1 i n. Pela relao de
Stifel, temos, para i n, que
i!
n + 1
i
= i(i 1)!
n
i 1
+i!
n
i
=
in(n 1) (n i + 2) +n(n 1) (n i + 1) =
n(n 1) (n i + 2)(i +n i + 1) =
(n + 1)n(n 1) (n + 1 i + 1),
o que prova a igualdade para n+1 e para todo i com 1 i n. Uma
vericao direta mostra que a frmula tambm vale para i = n + 1.
Portanto, a igualdade vale para todo n e todo i com 1 i n.
Segue-se do Lema 3.2.2 que, para n, i N, com 1 i n, vale a
seguinte frmula para os coecientes binomiais:
n
i
=
n(n 1) (n i + 1)
i!
=
n!
i!(n i)!
.
Note que os termos extremos nas igualdades acima tm sentido e
so iguais quando i = 0.
Da frmula acima, decorre imediatamente, para todo n N e todo
i com 0 i n, a seguinte identidade fundamental:
n
i
n
n i
.
inducaonal
2009/6/30
page 57
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 3.2: BINMIO DE NEWTON 57
Seja A um conjunto com duas operaes, uma adio e uma mul-
tiplicao, sujeitas s leis bsicas da aritmtica.
Teorema 3.2.1 (Binmio de Newton). Sejam a e b elementos do
conjunto A e seja n N. Tem-se que
(a +b)
n
= a
n
+
n
1
a
n1
b +
n
2
a
n2
b
2
+ +
n
n 1
ab
n1
+b
n
.
Demonstrao. Se a = 0, o resultado bvio. Se a = 0, substitua X
por
b
a
na expanso de (1 + X)
n
e multiplique ambos os lados por
a
n
.
Exemplo 3.2.1.
(a +b)
2
= a
2
+ 2ab +b
2
.
(a +b)
3
= a
3
+ 3a
2
b + 3ab
2
+b
3
.
(a +b)
4
= a
4
+ 4a
3
b + 6a
2
b
2
+ 4ab
3
+b
4
.
(a +b)
5
= a
5
+ 5a
4
b + 10a
3
b
2
+ 10a
2
b
3
+ 5ab
4
+b
5
.
Problemas
3.2.1 Demonstre a identidade das colunas:
i
i
i + 1
i
+ +
n
i
n + 1
i + 1
.
inducaonal
2009/6/30
page 58
Estilo OBMEP
i
i
i
i
i
i
i
i
3.2.2 Demonstre a identidade das diagonais:
n
0
n + 1
1
n + 2
2
+ +
n +m
m
n +m+ 1
m
.
3.2.3
(a) Demonstre, para todos n, m, k N, a identidade de Euler:
k
i=0
m
i
n
k i
n +m
k
.
(b) Em particular, deduza a identidade de Lagrange:
n
i=0
n
i
2
=
2n
n
.
3.2.4
(a) Mostre que
n
i
o nmero de subconjuntos distintos com i

elementos de um conjunto com n elementos.
(b) Mostre que o conjunto das partes de um conjunto com n ele-
mentos tem 2
n
elementos.
(c) Usando os itens acima, d uma outra prova para a igualdade:
n
0
n
1
+ +
n
n
= 2
n
.
inducaonal
2009/6/30
page 59
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 3.3: PRINCPIO DO MENOR INTEIRO 59
3.2.5 Seja n N. Mostre que
n
i
<
n
i + 1
, se 0 i <
n 1
2
; e que
n
i
>
n
i + 1
, se i >
n 1
2
.
3.3 Princpio do Menor Inteiro
Seja S um subconjunto no vazio de N. Dizemos que um nmero
natural a um menor elemento de S se possui as seguintes pro-
priedades:
i) a S,
ii) a n, para todo n S.
imediato vericar que, se S possui um menor elemento, este
nico. De fato, se a e a
so menores elementos de S, ento a a
,
pois a um menor elemento de S, e a
um elemento de S, e, analoga-
mente, a
a, o que implica que a = a
.
O menor elemento de S, quando existe, denotado por minS.
Por que zemos a ressalva acima sobre a existncia de minS? Se
lhe parece to bvio que todo subconjunto no vazio dos naturais
possua um menor elemento, tente prov-lo!
preciso ter muito cuidado com as armaes do tipo bvio que,
pois devem ser utilizadas apenas quando qualquer um possa veric-
las sem grande esforo.
inducaonal
2009/6/30
page 60
Estilo OBMEP
i
i
i
i
i
i
i
i
Vamos, agora, efetivamente provar o que parece bvio.
Teorema 3.3.1 (Princpio do Menor Inteiro). Todo subconjunto no
vazio de N possui um menor elemento.
Demonstrao. A demonstrao ser feita por reduo ao absurdo.
Seja S um subconjunto no vazio de N. Suponha, por absurdo,
que S no possua um menor elemento. Mostraremos que S vazio,
conduzindo a uma contradio.
Considere o conjunto T, complementar de S em N, ou seja, o con-
junto dos nmeros naturais que no esto em S. Queremos, portanto,
mostrar que T = N, ou seja, que S = .
Dena o conjunto
I
n
= {k N; k n},
e considere a sentena aberta
P(n) : I
n
T.
Como 1 n, para todo n N, segue-se que 1 T, pois, caso
contrrio, 1 seria um menor elemento de S. Logo, P(1) verdadeira.
Suponha agora que P(n) seja verdadeira, para algum n. Se
n + 1 S, como nenhum elemento de I
n
est em S, teramos que
n + 1 um menor elemento de S, o que no permitido. Logo,
n + 1 T, seguindo da que
I
n+1
= I
n
{n + 1} T,
inducaonal
2009/6/30
page 61
Estilo OBMEP
i
i
i
i
i
i
i
i
o que prova que, para todo n, temos que I
n
T; portanto, N T N
e, consequentemente, T = N.
Voc entendeu a demonstrao acima? Se no entendeu, no de-
sanime, pois certamente ainda no est na hora de voc apreciar todas
estas sutilezas. Isto vir naturalmente com o tempo. Qual o rem-
dio, ento? Bem, faa de conta que realmente a armao contida no
teorema bvia e siga em frente.
O Princpio do Menor Inteiro tem vrias aplicaes, conforme ve-
remos ao longo deste captulo. Como primeira aplicao, provaremos
uma variante da Induo Matemtica que muito til.
Teorema 3.3.2 (Induo Completa). Sejam a N e P(n) uma sen-
tena aberta. Suponha que:
i) P(a) verdadeira, e que;
ii) qualquer que seja n a, se P(i) verdadeira para todo a i n,
ento P(n + 1) verdadeira.
Ento, P(n) verdadeira para todo n a.
Demonstrao. Considere o conjunto
V = {n N; n a e P(n) verdadeira}.
Queremos provar que o conjunto W = {n N; n a}\V vazio.
Suponha, por absurdo, que vale o contrrio. Logo, pelo Princpio do
Menor Inteiro, W teria um menor elemento k, e, como sabemos de (i)
que a W, segue-se que existe n tal que k = a + n > a. Portanto,
inducaonal
2009/6/30
page 62
Estilo OBMEP
i
i
i
i
i
i
i
i
a, a+1, . . . , k1 W; logo a, a+1, . . . , k1 V . Por (ii), conclui-se
que k = k 1 + 1 V , o que contradiz o fato de k W.
O fato que apresentaremos a seguir j era conhecido de Euclides,
cerca de trezentos anos antes de Cristo, enunciado, porm sem de-
monstrao, em Os Elementos.
Teorema 3.3.3. Sejam dados nmeros naturais n e m. Existem dois
nicos nmeros inteiros no negativos q e r, com r < m, tais que
n = mq +r.
Demonstrao. Existncia Se n < m, basta tomar q = 0 e r = n.
Se n = m, basta tomar q = 1 e r = 0. Portanto, resta apenas provar
a propriedade quando n > m.
A demonstrao ser por induo completa sobre n. Se n = 1, o
resultado vlido, pelas consideraes acima, pois 1 = n m.
Suponha agora que o resultado seja vlido para todo i, com
1 i n. Seja m < n, logo 1 n + 1 m n e, portanto,
pela hiptese de induo, existem q
e r, com r < m, tais que

n + 1 m = q
m + r; logo n + 1 = (q
+ 1)m + r, e o resultado
vlido para n + 1, tomando q = q
+ 1.
Unicidade Se n = m, s h um jeito de escrever n da forma mq +r,
com r < m, que : n = m 1 + 0. Se n < m, tambm s h um
jeito de escrever n nessa forma: n = 0q + n. O resultado portanto
verdadeiro quando n = 1, j que, neste caso, 1 = n m.
inducaonal
2009/6/30
page 63
Estilo OBMEP
i
i
i
i
i
i
i
i
A prova ser tambm por induo completa sobre n. Vimos acima
que a unicidade est garantida quando n = 1. Suponha o resultado
vlido para todos os nmeros naturais menores ou iguais a n.
Suponha agora que n + 1 = qm + r = q
m + r
, com r, r
< m.
Podemos supor que n + 1 > m, j que o resultado est garantido
quando n + 1 m.
Subtraindo na igualdade acima m, obtemos que
n + 1 m = (q 1)m+r = (q
1)m+r
,
e, pela hiptese de induo, temos que q 1 = q
1 e r = r
, da
seguindo a unicidade da escrita de n + 1.
Pelo Teorema da Induo Completa, o resultado ca estabelecido
para todo nmero natural n.
O resultado a seguir a base sobre a qual se apoiam os sistemas
de numerao.
Teorema 3.3.4. Seja dado um nmero natural b > 1. Todo nmero
natural a se escreve de modo nico na forma
a = a
0
+a
1
b +a
2
b
2
+ +a
n
b
n
,
onde n um inteiro no negativo, todos os a
i
satisfazem s desigual-
dades 0 a
i
< b e a
n
= 0.
Demonstrao. Note que a = 1 se escreve na forma acima, pois, para
isto, basta tomar n = 0 e a
0
= 1.
inducaonal
2009/6/30
page 64
Estilo OBMEP
i
i
i
i
i
i
i
i
Seja S o subconjunto dos naturais que no admitem uma repre-
sentao como acima. Queremos mostrar que S = .
Note que N \ S = , pois vimos acima que 1 S.
Suponha agora, por absurdo, que S = , logo, S possui um menor
elemento, que certamente maior do que 1. Seja a
este menor ele-

mento. Pelo algoritmo euclidiano da diviso, temos que a
= bq + r,
onde 0 r < b. Mas, ento q < a
e, portanto, q S. Logo, q se
escreve na forma do teorema e, portanto, a
tambm, o que uma

contradio, provando assim que S = .
Deixaremos a prova da unicidade da escrita como um desao para
voc.
Podemos agora generalizar o problema da moeda falsa que apre-
sentamos na Seo 2.3.
Exemplo 3.4.1. Seja m o nmero total de moedas das quais sabe-se
que uma falsa, mais leve do que as demais. No Teorema acima,
tomando b = 2, temos que todo nmero natural m se escreve como
somas de potncias de 2 (note que, neste caso, cada a
i
0 ou
1), chamada de expanso binria. Isto , existem nmeros inteiros
0 n
1
< n
2
< < n
r
tais que
m = 2
n
1
+ 2
n
2
+ + 2
n
r
.
Vamos provar, usando Induo Completa sobre n
r
, que bastam n
r
pesagens para descobrir a moeda falsa.
Suponha n
r
= 1, ou seja, temos, no mximo, trs moedas. Pondo
inducaonal
2009/6/30
page 65
Estilo OBMEP
i
i
i
i
i
i
i
i
uma moeda em cada prato da balana, descobre-se imediatamente
a moeda falsa e, portanto, o resultado trivialmente vericado.
Suponha o resultado verdadeiro para todo n
< n
r
.
Sejam agora 2
n
1
+ 2
n
2
+ + 2
n
r
moedas, das quais uma
falsa. Separemos as moedas em 2 lotes com, respectivamente, 2
n
r
e
2
n
1
+ +2
n
r1
moedas cada um. Comeamos analisando o primeiro
lote com 2
n
r
moedas. Colocamos metade dessas moedas em cada pra-
to da balana. Se a moeda falsa est neste lote, com o mtodo discu-
tido no Captulo 2, aplicado s 2
n
r
1
moedas que esto no prato mais
leve, sabemos que podemos descobrir a moeda falsa com, no mximo,
n
r
1 pesagens, com a pesagem j efetuada, descobrimos a moeda
com no mximo n
r
pesagens. Se a moeda falsa no est nesse lote,
descartamos o lote todo. Sobram, ento, 2
n
1
+ + 2
n
r1
moedas a
serem analisadas. Pela hiptese de induo, bastam n
r1
pesagens
para descobrir a moeda falsa, que, juntamente com a pesagem j
realizada, perfazem um total de n
r1
+ 1 pesagens, que certamente
menor do que ou igual a n
r
.
A frmula do binmio de Newton se generaliza para m parcelas,
conforme veremos a seguir.
Teorema 3.3.5 (Frmula de Leibniz). Sejam a
1
, a
2
, . . . , a
m
elemen-
tos de um conjunto A munido de uma adio e de uma multiplicao
sujeitas s leis bsicas da aritmtica, e seja n N. Tem-se que
(a
1
+a
2
+ +a
m
)
n
=
i
1
+i
2
++i
m
=n
n!
i
1
!i
2
! i
m
!
a
i
1
1
a
i
2
2
a
i
m
m
.
Demonstrao. A prova ser por induo completa sobre m. Se
inducaonal
2009/6/30
page 66
Estilo OBMEP
i
i
i
i
i
i
i
i
m = 2, esta a frmula do binmio de Newton.
Suponha a frmula vlida para todos os naturais menores do que
ou iguais a m, e vamos mostrar que tambm vlida para m+1. Pela
frmula do binmio de Newton,
(a
1
+ +a
m
+a
m+1
)
n
=
i+j=n
n
i
(a
1
+ +a
m
)
i
a
j
m+1
.
A hiptese de induo nos fornece
(a
1
+ +a
m
)
i
=
i
1
+i
2
++i
m
=i
i!
i
1
!i
2
! i
m
!
a
i
1
1
a
i
2
2
a
i
m
m
;
logo,
(a
1
+ +a
m
+a
m+1
)
n
=
i+j=n
n
i

i
1
+i
2
++i
m
=i
i!
i
1
!i
2
! i
m
!
a
i
1
1
a
i
2
2
a
i
m
m
a
j
m+1
=
i+j=n
i
1
+i
2
++i
m
=i
n
i
i!
i
1
!i
2
! i
m
!
a
i
1
1
a
i
2
2
a
i
m
m
a
j
m+1
=
i
1
+i
2
++i
m
+i
m+1
=n
n!
i
1
!i
2
! i
m
!i
m+1
!
a
i
1
1
a
i
2
2
a
i
m
m
a
i
m+1
m+1
,
pois
n
i
i!
i
1
!i
2
! i
m
!
=
n!
i!(n i)!
i!
i
1
!i
2
! i
m
!
=
n!
i
1
!i
2
! i
m
!i
m+1
!
,
onde pusemos i
m+1
= n i = j.
Se voc no entendeu a manipulao com os duplos somatrios,
inducaonal
2009/6/30
page 67
Estilo OBMEP
i
i
i
i
i
i
i
i
acima, pergunte a algum. Caso a dvida persista, no faz mal, ca
para uma prxima leitura.
A frmula do teorema acima tem o nome de frmula de Leibniz
em homenagem ao matemtico e lsofo alemo Gottfried Wilhelm
von Leibniz (1646-1716), que compartilha com Newton o crdito pela
inveno do Clculo Diferencial.
Problemas
3.3.1 Um nmero natural p > 1 primo quando os nicos divisores
dele so 1 e o prprio p. Mostre que todo nmero natural n 2
possui algum divisor primo.
3.3.2 Mostre que todo nmero natural n 2 se decompe como
produto de nmeros primos.
3.3.3 Usando a frmula do binmio de Newton e Induo Completa,
mostre que, para cada r N, a soma
S
r
(n) =
n
i=1
i
r
um polinmio de grau r + 1 em n com termo de maior grau igual a
1
r + 1
n
r+1
.
3.3.4 Para n, m N, demonstre a igualdade:
i
1
+i
2
++i
m
=n
n!
i
1
!i
2
! i
m
!
= m
n
.
inducaonal
2009/6/30
page 68
Estilo OBMEP
i
i
i
i
i
i
i
i
3.3.5 Seja (u
n
) a sequncia de Fibonacci. Dados n, m N, com
n 2, mostre que:
(a) u
n+m
= u
n1
u
m
+u
n
u
m+1
;
(b) u
2n1
= u
2
n1
+u
2
n
;
(c) u
2n
= u
2
n+1
u
2
n1
;
(d) u
3n
= u
3
n+1
+u
3
n
u
3
n1
.
3.4 O Princpio das Gavetas
Em 1834, o destacado matemtico alemo Johann Peter Gustav
Lejeune Dirichlet (1805-1859), criador do conceito moderno de funo,
enunciou o seguinte princpio, apelidado de Princpio da Casa de
Pombos:
Seja dada uma casa de pombos com n buracos e suponha que haja
m pombos querendo ocup-los. Se m > n, ento algum buraco dever
ser ocupado por mais de um pombo.
Isto parece realmente bvio, pois tem todo o respaldo da nossa
experincia do dia a dia. Tente ento provar esta armao.
Conseguiu? Parabns. Se no conseguiu, mos obra!
Este princpio tambm leva o nome de Princpio das Gavetas, pois
pode ser reenunciado, de modo equivalente, como segue:
Teorema 3.4.1 (Princpio de Dirichlet). Queremos guardar m obje-
inducaonal
2009/6/30
page 69
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 3.4: O PRINCPIO DAS GAVETAS 69
tos em n gavetas. Se m > n, ento alguma gaveta dever conter mais
de um objeto.
Demonstrao. Vamos provar este resultado por Induo Matemtica
sobre o nmero n de gavetas.
Para n = 1, o resultado bvio pois, se temos mais de um objeto
e uma s gaveta, teremos que acomodar nesta gaveta mais de um
objeto.
Suponha ento o resultado vlido para um certo nmero n de
gavetas e consideremos a situao de termos n+1 gavetas e m > n+1
objetos. Queremos mostrar que o resultado vale tambm neste caso,
para aplicar a Induo Matemtica e concluir que vale para todo
nmero natural n.
Depois de acomodar todos os objetos nas n + 1 gavetas, escolha
uma gaveta ao acaso. Se nesta gaveta h mais de um objeto, a nossa
assero est provada. Se nesta gaveta no h nenhum objeto, nas n
gavetas restantes esto acomodados m > n + 1 > n objetos, o que,
pela hiptese de induo, acarreta que em uma das gavetas h mais de
um objeto. Se na gaveta escolhida h um objeto, logo, nas n gavetas
restantes, esto distribudos m 1 > n objetos, o que, novamente,
pela hiptese de induo, acarreta que em uma das gavetas h mais
de um objeto.
Este simples princpio tem inmeras aplicaes, matemticas ou
no, algumas das quais veremos a seguir.
Exemplo 3.4.1. Na regio metropolitana de So Paulo, existem pelo
inducaonal
2009/6/30
page 70
Estilo OBMEP
i
i
i
i
i
i
i
i
menos duas mulheres com a mesma quantidade de os de cabelo, o
mesmo ocorrendo com, pelo menos, dois homens.
De fato, uma estimativa por cima nos diz que uma pessoa pode
ter, no mximo, 7.10
6
os de cabelo. Na regio metropolitana de
So Paulo, existem mais de 10.10
6
mulheres e mais de 9.10
6
homens
(fonte: PNAD 2004). O Princpio das Gavetas agora permite concluir
o desejado.
Exemplo 3.4.2. Existemn pessoas em uma festa. Algumas se conhe-
cem, outras no. Mostre que na festa existem duas pessoas que tm
mesmo nmero de conhecidos, supondo que a relao de conhecido
simtrica: se x conhecido de y, ento y conhecido de x; e no
reexiva: ningum conhecido de si mesmo (ser essa relao transi-
tiva?).
De fato, cada pessoa tem um nmero de conhecidos que varia de
0 a n 1 (uma pessoa no conhecida de si mesma!), as duas si-
tuaes no podendo ocorrer ao mesmo tempo, pois, se uma pessoa
conhece todo mundo, pela simetria, no pode haver uma pessoa que
no conhea ningum. Portanto, ao associarmos os n indivduos s
n 1 possibilidades de nmero de conhecidos, pelo princpio de
Dirichlet, duas pessoas devero ter o mesmo nmero de conhecidos.
Vejamos agora algumas aplicaes mais srias.
Exemplo 3.4.3. Dentre cinco pontos escolhidos no interior de um
tringulo equiltero de lado 1 cm, existem dois pontos que distam
entre si menos do que 0, 5 cm.
De fato, divida o tringulo em quatro tringulos menores,
inducaonal
2009/6/30
page 71
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 3.4: O PRINCPIO DAS GAVETAS 71
conectando os pontos mdios dos lados do tringulo original. A dis-
tncia entre dois pontos que esto em um dos tringulos pequenos e
no interior do tringulo maior menor do que o seu lado que mede
0, 5 cm. Ao escolhermos cinco pontos no interior do tringulo dado,
pelo Princpio das Gavetas, dois dos pontos pertencero a um dos
tringulos pequenos, o que prova a nossa armao.
Exemplo 3.4.4. Se cada ponto do plano pintado de vermelho ou
de azul, ento algum retngulo no plano tem seus vrtices de uma
mesma cor.
Trace trs retas horizontais. Acharemos um retngulo com vrtices
sobre duas destas retas. Os outros lados so verticais. Uma reta verti-
cal, ao cortar as trs paralelas, tem trs candidatos a vrtice do retn-
gulo procurado.
Trs pontos podem ser coloridos com 2 cores de 8 modos distin-
tos. Portanto, se voc escolher 9 retas verticais, pelo Princpio das
Gavetas, duas dessas retas vo encontrar cada uma das trs retas ho-
rizontais em um par de pontos de mesma cor. Agora, dos trs pares de
pontos, certamente dois tero a mesma cor, o que fornece os vrtices
do retngulo.
Exemplo 3.4.5. Existem duas potncias de 3 cuja diferena divi-
svel por 2 007.
Existem 2 007 possveis restos pela diviso por 2 007. Considere a
sequncia das potncias de 3:
1, 3, 3
2
, . . . , 3
2 007
.
inducaonal
2009/6/30
page 72
Estilo OBMEP
i
i
i
i
i
i
i
i
Esta sequncia composta de 2 008 nmeros. Portanto, pelo Prin-
cpio das Gavetas, dois desses, digamos 3
n
e 3
m
, com n > m, tm
mesmo resto quando divididos por 2 007. Logo, a sua diferena 3
n
3
m
divisvel por 2 007 (voc saberia justicar isso?).
Exemplo 3.4.6. Existe uma potncia de 3 que termina em 001.
Argumentando como no exemplo anterior, conclui-se que existem
m e n com n > m tais que 3
n
e 3
m
tm mesmo resto quando divididos
por 1 000. Logo, 3
n
3
m
= 3
m
(3
nm
1) divisvel por 1 000. Como
1 000 e 3
m
no tm fatores comuns, 1 000 deve dividir o segundo fator
3
nm
1. Isto signica que 3
nm
termina em 001.
Exemplo 3.4.7. Suponha que n + 1 inteiros so tomados ao acaso
dentre os inteiros 1, 2, . . . , 2n. Pelo menos um desses inteiros mlti-
plo de um outro.
De fato, sejam a
1
, . . . , a
n+1
os inteiros escolhidos. Note que cada
nmero a
i
pode ser escrito como 2
n
i
b
i
, onde b
i
um nmero mpar.
Como no intervalo 1, . . . , 2n existem n nmeros mpares, e os n + 1
nmeros b
i
necessariamente se encontram neste intervalo, pelo princ-
pio de Dirichlet, devemos ter b
r
= b
s
para algum par de inteiros r
e s variando no conjunto {1, . . . , n + 1}, com n
r
> n
s
. claro que
a
r
= 2
n
r
b
r
um mltiplo de a
s
= 2
n
s
b
r
.
Alguns dos exemplos acima foram tomados emprestados de
www.cut the knot.org/do
you
know/pigeon.shtml,
onde voc poder encontrar muitos outros.
inducaonal
2009/6/30
page 73
Estilo OBMEP
i
i
i
i
i
i
i
i
SEC. 3.5: DESIGUALDADES 73
Problemas
3.4.1 Pode-se armar, com toda certeza, que em So Paulo existem
um homem e uma mulher com a mesma quantidade de os de cabelo?
3.4.2 Mostre que existem duas potncias de 3 cuja diferena di-
visvel pelo ano em que voc nasceu.
3.4.3 Dados quaisquer seis inteiros de 1 a 10, mostre que dois deles
possuem soma mpar.
3.5 Desigualdades
Nesta seo, estabeleceremos algumas desigualdades importantes
que tm inmeras aplicaes em vrios contextos.
Teorema 3.5.1 (Desigualdade de Bernoulli). Se c um nmero real
tal que c > 1 e c = 0, ento para todo nmero natural n 2 vale a
desigualdade:
(1 +c)
n
> 1 +nc.
Demonstrao. Seja P(n) a desigualdade acima; vamos prov-la por
induo sobre n. claro que P(2) verdadeira, pois
(1 +c)
2
= 1 + 2c +c
2
> 1 + 2c.
Suponha P(n) verdadeira para algumn 2. Multiplicando ambos
inducaonal
2009/6/30
page 74
Estilo OBMEP
i
i
i
i
i
i
i
i
os lados da desigualdade acima por 1 +c (que > 0), obtemos
(1 +c)
n+1
> (1 +n c)(1 +c) = 1 + (n + 1)c +nc
2
> 1 + (n + 1)c,
donde conclumos que P(n + 1) verdadeira.
Por Induo Matemtica, segue que P(n) verdadeira para todo
nmero natural n.
Mdias so objetos matemticos que tm muitas aplicaes na
vida real. H vrias mdias; deniremos aqui trs delas, que relacio-
naremos entre si.
Dados nmeros reais positivos a
1
, a
2
, . . . , a
n
, os nmeros
A
n
=
a
1
+a
2
+ +a
n
n
, G
n
=
n
a
1
a
2
a
n
, e
H
n
=
n
1
a
1
+
1
a
2
+ +
1
a
n
,
so chamados, respectivamente, de Mdia Aritmtica, Mdia Geom-
trica e Mdia Harmnica dos nmeros dados.
Existe uma relao entre essas trs mdias dada por
H
n
G
n
A
n
, (3.1)
cuja demonstrao pode ser feita por induo, mas que no trivial
se tentarmos faz-la diretamente.
No caso em que n = 2, a propriedade (3.1) fcil de provar. o
inducaonal
2009/6/30
page 75
Estilo OBMEP
i
i
i
i
i
i
i
i
que faremos a seguir.
Note que
0
a
1
2

a
2
2
2
=
a
2
1
4
+
a
2
2
4

a
1
a
2
2
,
o que implica
a
1
a
2

a
2
1
4
+
a
2
2
4
+
a
1
a
2
2
=
a
1
2
+
a
2
2
2
, (3.2)
seguindo da que
a
1
a
2

a
1
+a
2
2
.
Na desigualdade acima, valer a igualdade se, e somente se,
a
1
a
2
=
a
1
+a
2
2
2
=
a
2
1
4
+
a
2
2
4
+
a
1
a
2
2
,
o que ocorre se, e somente se,
a
1
2

a
2
2
2
=
a
2
1
4
+
a
2
2
4

a
1
a
2
2
= 0,
o que equivale a ter a
1
= a
2
.
Por outro lado, de (3.2) segue facilmente que
4a
2
1
a
2
2
(a
1
+a
2
)
2
a
1
a
2
;
logo,
2a
1
a
2
(a
1
+a
2
)
a
1
a
2
inducaonal
2009/6/30
page 76
Estilo OBMEP
i
i
i
i
i
i
i
i
e, portanto,
2
1
a
1
+
1
a
2

a
1
a
2
.
No difcil vericar (faa-o) que, tambm neste caso, vale a igual-
dade na desigualdade acima se, e somente se, a
1
= a
2
.
Os dois prximos exemplos nos daro aplicaes geomtricas da
desigualdade entre Mdia Geomtrica e Mdia Aritmtica.
Exemplo 3.5.1. De todos os retngulos de permetro p dado, o qua-
drado o que tem maior rea.
De fato, suponha que os lados do retngulo tenham medidas a e
b. Pela desigualdade G
2
A
2
, segue que
ab
a +b
2
=
p
4
.
Da, segue que a rea do retngulo de permetro p dado limitada
superiormente pela constante p
2
/16. Segundo o que provamos acima,
a igualdade e, portanto, o mximo, ocorre s quando a = b, ou seja,
s quando o retngulo um quadrado.
Voc saberia dizer se, nessa situao, existe um retngulo de rea
mnima?
Exemplo 3.5.2. De todos os retngulos de rea dada A, o de menor
permetro o quadrado.
Suponha que os lados do retngulo tenham medidas a e b. Nova-
inducaonal
2009/6/30
page 77
Estilo OBMEP
i
i
i
i
i
i
i
i
mente, pela desigualdade G
2
A
2
, segue que
A =

ab
a +b
2
=
p
4
.
Da, segue que o permetro mnimo de todos os retngulos de
rea dada A ocorre quando a = b, ou seja, quando o retngulo um
quadrado. Ser que existe um retngulo de permetro mximo?
A prova da desigualdade (3.1) ser enormemente facilitada com a
demonstrao do seguinte resultado intermedirio.
Teorema 3.5.2. Sejam a
1
, . . . , a
n
nmeros reais positivos dados, tais
que a
1
a
n
= 1, ento a
1
+ + a
n
n, valendo a igualdade se, e
somente se, a
1
= = a
n
= 1.
Demonstrao. A demonstrao ser feita por induo sobre n. Para
n = 1, o resultado trivialmente vericado.
Suponha o resultado vlido para algum n, e sejam a
1
, . . . , a
n+1
nmeros reais positivos tais que a
1
a
n
a
n+1
= 1. Dois casos podem
se apresentar.
1
o
Caso: Todos os nmeros so iguais, ou seja,
a
1
= a
2
= = a
n+1
.
Neste caso, eles tm que ser iguais a 1. Portanto,
a
1
+ +a
n+1
= n + 1,
e o resultado, neste caso, vale para n + 1.
inducaonal
2009/6/30
page 78
Estilo OBMEP
i
i
i
i
i
i
i
i
2
o
Caso: Nem todos os nmeros so iguais. Neste caso, certamente
um dos nmeros maior do que 1 e um outro menor do que 1
(justique). Podemos ento supor que a
1
< 1 e a
n+1
> 1. Denotando
a
1
a
n+1
por b
1
, temos que b
1
a
2
a
n
= 1. Logo, pela hiptese de
induo, segue que b
1
+a
2
+ +a
n
n, logo,
a
1
+a
2
+ +a
n+1
= b
1
+a
2
+ +a
n
+a
1
b
1
+a
n+1
n+a
1
b
1
+a
n+1
.
(3.3)
Mas,
a
1
b
1
+a
n+1
= a
1
a
1
a
n+1
+a
n+1
= 1 (1 a
1
)(1 a
n+1
) > 1, (3.4)
j que a
1
< 1 e a
n+1
> 1. Juntando (3.3) e (3.4), obtemos que
a
1
+a
2
+ +a
n+1
> n + 1,
como queramos provar.
Corolrio 1. Sejam a
1
, a
2
, . . . , a
n
nmeros reais positivos, ento,
a
1
a
2
+
a
2
a
3
+ +
a
n1
a
n
+
a
n
a
1
n,
valendo a igualdade se, e somente se, a
1
= a
2
= = a
n
.
Demonstrao. claro que
a
1
a
2
a
2
a
3

a
n1
a
n
a
n
a
1
= 1; logo, pelo teorema
anterior, segue a desigualdade desejada. A igualdade vale se, e so-
mente se,
a
1
a
2
=
a
2
a
3
= =
a
n1
a
n
=
a
n
a
1
= 1,
o que equivale a dizer que a
1
= a
2
= = a
n
.
inducaonal
2009/6/30
page 79
Estilo OBMEP
i
i
i
i
i
i
i
i
Exemplo 3.5.3. Para todo x real, vale a desigualdade:
x
2
+ 2
x
2
+ 1
2.
De fato, temos que
x
2
+ 2
x
2
+ 1
=
x
2
+ 1
x
2
+ 1
+
1
x
2
+ 1
=
x
2
+ 1 +
1
x
2
+ 1
.
Visto que o produto das duas ltimas parcelas 1, a desigualdade
segue do teorema anterior.
Exemplo 3.5.4. Seja a > 1 um nmero real. Temos que
log
10
a + log
a
10 2.
Esta desigualdade tambm segue do teorema anterior, tendo em
vista que log
10
a log
a
10 = 1.
Teorema 3.5.3. Temos que G
n
A
n
, valendo a igualdade se, e
somente se, a
1
= a
2
= = a
n
.
Demonstrao. Ponhamos g = G
n
. Logo, da igualdade
g = G
n
=
n
a
1
a
n
,
segue que
1 =
n
a
1
g

a
n
g
,
isto ,
a
1
g

a
n
g
= 1.
inducaonal
2009/6/30
page 80
Estilo OBMEP
i
i
i
i
i
i
i
i
Portanto, pelo Teorema 3.5.2, temos que
a
1
g
+ +
a
n
g
n,
o que nos d a desigualdade requerida. A igualdade vale se, e so-
mente se, a
1
/g = a
2
/g = = a
n
/g, o que ocorre se, e somente se,
a
1
= a
2
= = a
n
.
Exemplo 3.5.5. Para n 2, vale a desigualdade:
n! <
n + 1
2
n
.
De fato, pelo Teorema 3.5.2, temos que
n
n! =
n
1 2 n <
1 + 2 + +n
n
=
n + 1
2
.
O resultado segue elevando potncia n ambos os lados da de-
sigualdade acima.
Teorema 3.5.4. Temos que H
n
G
n
, valendo a igualdade se, e
somente se, a
1
= a
2
= = a
n
.
Demonstrao. Pelo Teorema 3.5.3, temos que
1
G
n
=
n
a
1
1
a
1
n

a
1
1
+ +a
1
n
n
=
1
H
n
,
provando assim a desigualdade. A igualdade vale se, e somente se,
a
1
1
= a
1
2
= = a
1
n
, o que equivale ao fato de que a
1
= a
2
= =
a
n
.
inducaonal
2009/6/30
page 81
Estilo OBMEP
i
i
i
i
i
i
i
i
O mtodo da prova da desigualdade (3.1) que utilizamos aqui, bem
como alguns dos exemplos, foram tomados emprestado do livrinho
Desigualdades, de autoria de P. P. Korovkin, Editorial MIR Moscou,
1976.
Problemas
3.5.1 Se x um nmero real positivo, mostre que:
x
n
+x
n2
+ +
1
x
n2
+
1
x
n
n + 1.
3.5.2 Prove que, para todo x real, vale a desigualdade
x
2
1 +x
4

1
2
.
3.5.3 Sejam a, b R, com a +b > 0 e a = b. Mostre que, para todo
n N, com n 2,
2
n1
(a
n
+b
n
) > (a +b)
n
.
3.5.4 Prove que se a
1
, . . . , a
n
e p so nmeros reais positivos, ento
n
a
1
a
n

p
a
p
1
+ +a
p
n
n
,
valendo a igualdade se, e somente se, a
1
= = a
n
.
3.5.5 Prove, para c 0, a seguinte generalizao da desigualdade de
inducaonal
2009/6/30
page 82
Estilo OBMEP
i
i
i
i
i
i
i
i
Bernouilli
(1 +c)
n
1 +nc +
n(n 1)
2
c
2
.
3.5.6 Dena a sequncia (x
n
), n N, pela regra x
n
=
n
n 1.
(a) Mostre que, para todo n 2, tem-se que x
n
> 0.
(b) Mostre que, para todo n 2, tem-se que
n = (1 +x
n
)
n
n(n 1)x
2
n
2
.
(c) Conclua que
0 x
n

2
n 1
.
(d) Voc saberia dizer para quanto tende
n
n quando n cresce in-

denidamente?
Sugesto: para (b): use o Problema 3.5.5.
inducaonal
2009/6/30
page 83
Estilo OBMEP
i
i
i
i
i
i
i
i
Respostas
Captulo 1
1.3.1 (a) n(n + 1)
1.3.1 (b)
n(3n + 1)
2
1.3.2 (a) 2
n+1
2
1.3.2 (b) 1
1
2
n
. A soma tende para 1 quando n cresce indenida-
mente.
1.3.3) A vitria rgia ocupar toda a superfcie do tanque no penl-
timo dia; ou seja, no dcimo nono dia.
1.3.4) O boato leva 80 minutos para tomar conta de toda a cidade.
1.3.5 (c) a
n
= 2
n
1 e S
n
= 2
n+1
(n + 2)
83
inducaonal
2009/6/30
page 84
Estilo OBMEP
i
i
i
i
i
i
i
i
Captulo 2
2.4.1)
n(n + 1)
2
+ 1
2.5.4) a
n
=
(
2 1)(1 +
2)
n
3(1 +
2)(1
2)
n
4
Captulo 3
3.1.1 (a)
n(n + 1)(2n + 7)
12
3.1.1 (b)
n(n + 1)(n + 2)(n + 3)
4
3.1.1 (c)
n(4n
2
+ 6n 1)
3
3.1.1 (d)
n(n + 1)
24
(n
2
+ 5n + 2)
3.1.1 (e)
n(4n
2
1)
3
3.1.1 (f) n(2n
3
n + 2)
inducaonal
2009/6/30
page 85
Estilo OBMEP
i
i
i
i
i
i
i
i
3.1.2 (a)
n
i=1
i
4
=
1
5
(n + 1)
5
1 10
n(n + 1)
2
10
n(n + 1)(2n + 1)
6
5
n(n + 1)
2
n
.
3.4.1) No.
3.5.6 (d)
n
n tende a 1 quando n cresce indenidamente.

Indução Matemática

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Indução Matemática

Enviado por

Direitos autorais:

Formatos disponíveis

inducaonal

um subconjunto de S que possui as

O jogo consiste em transferir a pilha de discos para uma outra

Em seguida, transra o disco que restou na pilha original (o maior

Feito isto, resolva novamente o problema para os n discos que

tm a mesma cor dos cavalos de C

o nmero de subconjuntos distintos com i

so menores elementos de S, ento a a

a, o que implica que a = a

e r, com r < m, tais que

este menor ele-

tambm, o que uma

n quando n cresce in-

n tende a 1 quando n cresce indenidamente.

Você também pode gostar