Inducao Matematica - Abramo Hefez

inducaofinal
2008/8/13
page 1
Estilo OBMEP
Induo Matemtica
Abramo Hefez
inducaofinal
2008/8/13
page i
Estilo OBMEP
i
Sobre o autor
Abramo Hefez nasceu no Egito, mas brasileiro por opo e carioca de corao. Cursou o ginasial e cientfico 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 Federal Fluminense, onde desenvolve atividades de pesquisa e leciona
na graduao e ps-graduao. Foi eleito recentemente membro da
Academia Brasileira de Cincias.
inducaofinal
2008/8/13
page ii
Estilo OBMEP
Sumrio
1 Induo Matemtica
1.1
O Princpio de Induo Matemtica
. . . . . . . . . .
1.2
Definio por Recorrncia . . . . . . . . . . . . . . . .
14
1.3
Progresses . . . . . . . . . . . . . . . . . . . . . . . .
23
2 Induo e Mundo Material
29
2.1
A Torre de Hani . . . . . . . . . . . . . . . . . . . . .
29
2.2
O Enigma do Cavalo de Alexandre . . . . . . . . . . .
33
2.3
Descobrindo a Moeda Falsa . . . . . . . . . . . . . . .
35
2.4
A Pizza de Steiner . . . . . . . . . . . . . . . . . . . .
36
2.5
Os Coelhos de Fibonacci . . . . . . . . . . . . . . . . .
37
3 Induo e Matemtica
42
3.1
Somatrios . . . . . . . . . . . . . . . . . . . . . . . .
42
3.2
Binmio de Newton . . . . . . . . . . . . . . . . . . . .
49
ii
inducaofinal
2008/8/13
page iii
Estilo OBMEP
iii
SUMRIO
3.3
Princpio do Menor Inteiro . . . . . . . . . . . . . . . .
54
3.4
O Princpio das Gavetas . . . . . . . . . . . . . . . . .
63
3.5
Desigualdades . . . . . . . . . . . . . . . . . . . . . . .
68
Respostas
77
inducaofinal
2008/8/13
page iv
Estilo OBMEP
Introduo
Se algum me perguntasse o que que todo estudante de ensino
mdio deveria saber de matemtica, sem sombra de dvida, o tema
Induo figuraria na minha lista.
com o conceito de Induo que se estabelece o primeiro contato com a noo de infinito 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 magnficos trabalhos dos Gregos
Antigos, que tm em Os Elementos de Euclides, de aproximadamente
300 AC, o seu ponto culminante.
Estas notas se destinam a voc, aluno do Ensino Mdio, que est
envolvido em atividades promovidas pela OBMEP. Elas cobrem assuntos 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
iv
inducaofinal
2008/8/13
page v
Estilo OBMEP
v
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, sobretudo, 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 agradecer 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
inducaofinal
2008/8/13
page vi
Estilo OBMEP
vi
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 familiaridade 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 insuficiente para provar qualquer fato significativo. Mostramos ento,
na melhor tradio das teorias axiomticas, como, isolando algumas
propriedades (no nosso caso, as propriedades (1), (2) e (3), no incio 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 trajetria do desenvolvimento dos nmeros reais e de sua fundamentao rigorosa, pois, nesse caso, o caminho seria longo e certamente
prematuro para a grande maioria dos leitores aos quais se detinam
essas notas. Por outro lado, se tivessemos iniciado a exposio com
os axiomas de Peano, teramos que arcar com o nus da construo
inducaofinal
2008/8/13
page vii
Estilo OBMEP
vii
das operaes de adio e de multiplicao e da prova de suas propriedades, trabalho esse que consumiria algum esforo e desinteressaria a maioria dos leitores. Por outro lado, para poder prosseguir
com as notas, a um certo momento, teramos que aceitar a existncia
dos nmeros reais, pois esses 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) nessas notas axiomatizar a
existncia dos nmeros reais como corpo ordenado completo (veja
Elon 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.
inducaofinal
2008/8/13
page 1
Estilo OBMEP
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 simples, 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, afinal, o que o conjunto N dos nmeros naturais?

Bem, podemos intutivamente 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,
inducaofinal
2008/8/13
page 2
Estilo OBMEP
CAP. 1: INDUO MATEMTICA
Ocorre, porm, que dificilmente poderemos provar alguma propriedade desses nmeros utilizando apenas esta descrio, pois, apesar de sabermos intuitivamente quais so os nmeros que os pontinhos
acima representam, teramos dificuldade de descrev-los de modo suficientemente explcito.
Uma alternativa consiste em dar algumas propriedades que caracterizem de modo inequvoco o conjunto dos naturais dentro do conjunto 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 0 um subconjunto de S que possui as
propriedades (1) e (2), ento S 0 = S.
Vamos provar que se existe um subconjunto S dos nmeros reais
satisfazendo s trs condies acima, ento esse conjunto nico. De
fato, se S1 e S2 so dois tais subconjuntos, temos que S1 S2 possui
as propriedades (1) e (2), logo pela propriedade (3) segue que
S1 = S1 S2 = S2 .
inducaofinal
2008/8/13
page 3
Estilo OBMEP
N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA
No estgio em que estamos no temos como provar que tal conjunto 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.
Essa 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 dependa 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 definidas sobre o conjunto dos
naturais.
A seguir damos alguns exemplos de sentenas abertas definidas
sobre N:
a)
P (n) : n par.
claro que a afirmao P (1) falsa, pois ela diz que 1 par;
inducaofinal
2008/8/13
page 4
Estilo OBMEP
P (3), P (5) e P (9) so falsas, pois afirmam, 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, enquanto P (3) e P (6) so verdadeiras.
c)
P (n) : 1 + 3 + 5 + 7 + + (2n 1) = n2 .
Temos que P (1), P (2), P (3), P (4), . . . , P (10) so verdadeiras.
Aqui sabemos precisamente o que significa a sentena aberta P (n),

apesar dos pontinhos na sua definio. Ela significa:
A soma dos n primeiros nmeros mpares igual a n2 .
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) : n2 n + 41 um nmero primo, para todo n N.
fcil verificar que as sentenas P (1), P (2), P (3) so verdadeiras.

Com algum trabalho, possvel ir alm, verificando tambm que P (4),
P (5), . . ., P (35) so verdadeiras.
Portanto, plausvel que tenhamos encontrado um polinmio cujos valores nos nmeros inteiros sejam sempre nmeros primos.
inducaofinal
2008/8/13
page 5
Estilo OBMEP
Mais alguns testes para confirmar 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 descoberta? Bom, para satisfazer os mais cticos, faremos s mais um teste
com n = 41.
Note que 412 41 + 41 = 412 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 coeficientes 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 definida 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
infinito. 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, definido 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.
Basta, para isto, mostrar que 1 pertence a V e que n + 1 pertence a
inducaofinal
2008/8/13
page 6
Estilo OBMEP
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) = n2 .
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) = n2 .
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) = n2 + (2n + 1) = (n + 1)2 .
Isso mostra que P (n + 1) verdadeira, toda vez que P (n) verdadeira. Pelo teorema, a frmula vlida para todo nmero natural
n.
inducaofinal
2008/8/13
page 7
Estilo OBMEP
Voc tem idia de quando foi feita pela primeira vez a demonstrao 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 verificada,
pois P (1) : 1 = 2 falsa!
preciso ter clareza que a Induo Matemtica diferente da
induo emprica das cincias naturais, em que comum, aps um
certo nmero, necessariamente finito, de experimentos, enunciar leis
inducaofinal
2008/8/13
page 8
Estilo OBMEP
gerais que governam o fenmeno em estudo. Essas leis so tidas como

verdades, at prova em contrrio. Na matemtica, no h lugar para
afirmaes 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, filsofo 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. Diariamente, ao entardecer, a boa senhora levava milho s galinhas. No
primeiro dia, a galinha, desconfiada, esperou que a senhora se retirasse 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 senhora. 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
professor, para aquietar a turma de Gauss, mandou os alunos calcularem a soma de todos os nmeros naturais de 1 a 100. Qual no
1
Gauss considerado um dos maiores gnios da matemtica de todos os tempos.
inducaofinal
2008/8/13
page 9
Estilo OBMEP
foi a surpresa quando, pouco tempo depois, o menino deu a resposta:

5050. Indagado como tinha descoberto to rapidamente o resultado,
Gauss, ento com nove anos de idade, descreveu o mtodo a seguir.
Sendo
Sn = 1 + 2 + + n,
o objetivo encontrar uma frmula fechada2 para Sn .
Somando a igualdade acima, membro a membro, com ela mesma,
porm com as parcelas do segundo membro em ordem invertida, temos
que
Sn =
1
+
2
+ +
n
Sn =
n
+ (n 1) + +
1
2Sn = (n + 1) + (n + 1) + + (n + 1)
Da segue-se que 2Sn = n(n + 1) e, portanto,
Sn =
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 embaraados. Tambm, como ter absoluta certeza de que nada acontece
fora do nosso controle, exatamente na imensa regio coberta pelos
pontinhos?
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.
inducaofinal
2008/8/13
page 10
Estilo OBMEP
10
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 =
Note que
P (1) :
1=
n(n + 1)
.
2
(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) verdadeira, 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)
+n+1=
2
n(n + 1) + 2(n + 1)
(n + 1)(n + 2)
=
,
2
2
o que estabelece a veracidade de P (n + 1).
Pelo teorema, tem-se que a frmula P (n) verdadeira para todo
n N.
Exemplo 1.1.2. Queremos validar a frmula
P (n) : 12 + 22 + + n2 =
n(n + 1)(2n + 1)
.
6
(1.2)
inducaofinal
2008/8/13
page 11
Estilo OBMEP
11
Note que
P (1) : 12 =
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
12 + 22 + + n2 + (n + 1)2 =
n(n + 1)(2n + 1)
+ (n + 1)2 =
6
n(n + 1)(2n + 1) + 6(n + 1)2

(n + 1)[n(2n + 1) + 6(n + 1)]
=
=
6
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
frmula:
P (n) :
1
1
n
1
+
+ +
=
.
1.2 2.3
n(n + 1)
n+1
(1.3)
Observemos inicialmente que

P (1) :
1
1
=
1.2
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.
inducaofinal
2008/8/13
page 12
Estilo OBMEP
12
1
Somando a ambos os lados dessa igualdade
, temos
(n + 1)(n + 2)
que
1
1
1
1
+
+ +
+
=
1.2 2.3
n(n + 1) (n + 1)(n + 2)
n
1
n+1
+
=
,
n + 1 (n + 1)(n + 2)
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 22 + 32 + (1)n1 n2 = (1)n1
n(n + 1)
.
2
1
b) 12 + 32 + + (2n 1)2 = n(2n 1)(2n + 1).
3
n(n + 1) 2
3
3
3
c) 1 + 2 + + n =
.
2
a)
1
1
1
n
+
+ +
=
.
1.3 3.5
(2n 1)(2n + 1)
2n + 1
b)
1
1
1
1
n
+
+
+ +
=
.
1.4 4.7 7.10
(3n 2)(3n + 1)
3n + 1
c)
1
1
1
1
n
+
+
+ +
=
.
1.5 5.9 9.13
(4n 3)(4n + 1)
4n + 1
inducaofinal
2008/8/13
page 13
Estilo OBMEP
d)
1
1
1
n(n + 3)
+
+ +
=
.
1.2.3 2.3.4
n(n + 1)(n + 2)
4(n + 1)(n + 2)
e)
12
22
n2
n(n + 1)
+
+ +
=
.
1.3 3.5
(2n 1)(2n + 1)
2(2n + 1)
13
1.1.3 Mostre, para n, m N, que

1 2 m + 2 3 m(m + 1) + + n(n + 1) (n + m 1) =
1
n(n + 1) (n + m).
m+1
Sugesto: Fixe m arbitrrio e proceda por induo sobre n.
1.1.4 Mostre que a soma dos cubos de trs nmeros naturais consecutivos sempre divisvel por 9.
Sugesto: Considere a sentena aberta
P (n) : n3 + (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)
+ 1,
2
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.
inducaofinal
2008/8/13
page 14
Estilo OBMEP
14
1.2
Definio por Recorrncia
Recorde que fizemos objees na seo anterior ao uso dos pontinhos

nas demonstraes de algumas frmulas; no que sejamos contra, eles
ajudam muito a representar situaes em que h um nmero grande
(eventualmente infinito) de objetos a serem descritos e a visualizar
propriedades desses objetos.
Nessas notas, estamos tentando mostrar como se pode estabelecer um maior padro de rigor no tratamento de certos problemas
matemticos, mas isso no deve ser tomado ao p da letra. Certos argumentos informais, quando acompanhados de um raciocnio correto,
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, via
de regra, primeiro vem a descoberta, e depois, a formalizao.
Voltemos agora ao problema que queremos abordar. O que realmente significa 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 definida 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.
inducaofinal
2008/8/13
page 15
Estilo OBMEP
N SEC. 1.2: DEFINIO POR RECORRNCIA
15
Para definir uma expresso En , para todo nmero natural n, basta

definirmos E1 e mostrar como obter En+1 a partir de En , para todo
n N.
De fato, para verificar que temos efetivamente uma definio para
todo nmero natural n, consideremos a sentena aberta
P (n) : En est definido
e provemos, por Induo Matemtica, que P (n) verdadeira para
todo n N.
Por construo dos En , 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 En foi definido 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 seqncia? Certamente voc j foi apresentado seguinte definio:
Seja a1 , a2 , . . . , an , . . . uma seqncia de nmeros em que cada
elemento an , a partir do segundo, igual ao anterior an1 somado
com um nmero constante r.
inducaofinal
2008/8/13
page 16
Estilo OBMEP
16
Isso o que se chama de Progresso Aritmtica.

Mas, o que uma seqncia em geral? Uma seqncia, 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
A, significa dar uma funo
a : N A
n 7 a(n)
A definio formal de uma seqncia 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 seqncia a pode ser representada
como
a(1), a(2), . . . , a(n), . . . ;
ou ainda, denotando a(n) por an , podemos represent-la por
(an ) : a1 , a2 , . . . , an , . . .
Quando dissermos que um conjunto A possui uma adio ou uma
multiplicao satisfazendo s leis bsicas da aritmtica, estaremos
supondo que em A est definida uma operao com propriedades
semelhantes correspondente operao nos reais.
Exemplo 1.2.1. Seja (an ) uma seqncia de elementos de um conjunto munido de uma adio sujeita s leis bsicas da aritmtica. Para
inducaofinal
2008/8/13
page 17
Estilo OBMEP
17
dar sentido s somas

Sn = a1 + a2 + + an ,
basta definir recorrentemente Sn .
Pomos S1 = a1 e, supondo Sn definido, definimos
Sn+1 = Sn + an+1 .
Somas como Sn sero tambm denotadas com a notao de somatrios:
n
X
Sn =
ai ,
i=1
que se l como somatrio quando i varia de 1 at n de ai .

Um conceito que se define naturalmente por recorrncia o fatorial
de um nmero natural.
Exemplo 1.2.2. Define-se o fatorial n! de um nmero natural n
como:
1! = 1, e (n + 1)! = n! (n + 1).
Outro conceito que, naturalmente, definido 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 definir
as potncias an , com n N, por recorrncia.
Ponhamos a1 = a. Supondo an definido, defina
an+1 = an a.
inducaofinal
2008/8/13
page 18
Estilo OBMEP
18
Vamos estabelecer, por meio de induo, as propriedades usuais

das potncias.
Proposio 1.2.1. Sejam a, b A e m, n N. Ento,
(i) am an = an+m .
(ii) (am )n = amn .
(iii) (a b)n = an bn .
Demonstrao: Provaremos (i), deixando o restante como exerccio.
Fixemos a A e m N, arbitrariamente. Demonstremos a propriedade por induo sobre n.
Para n = 1, a propriedade vlida, pois, pelas definies,
am a1 = am a = am+1 .
Por outro lado, supondo que am an = am+n , temos que
am an+1 = am (an a) = (am an ) a = am+n a = am+n+1 .
Isso, pelo Teorema 1.1.1, prova a nossa propriedade.
Exemplo 1.2.4. Vamos provar que 3 divide 5n +2 11n , nos inteiros,

para todo n N.
De fato, para n = 1, temos que 3 divide 51 + 2 111 = 27.
5n
Suponha, agora, que, para algum n 1, saibamos que 3 divide

+ 2 11n . Logo, existe um nmero inteiro a tal que
5n + 2 11n = 3a.
inducaofinal
2008/8/13
page 19
Estilo OBMEP
19
Mutiplicando por 5 ambos os lados da igualdade acima, temos

5 3a = 5n+1 + 5 2 11n = 5n+1 + 2 11 11n 12 11n .
Da segue a igualdade
5n+1 + 2 11n+1 = 5 3a + 12 11n ,
cujo segundo membro divisvel por 3 por ser igual a 3(5a + 4 11n ).
Assim, provamos que 3 divide 5n+1 +211n+1 , o que, pelo Teorema
1.1.1, acarreta que 3 divide 5n + 2 11n , 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 2n > n2 verdadeira
para todo valor de n natural maior do que ou igual a 5?
Fazemos isso baseados na seguinte pequena generalizao do Teorema 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) verdadeira, segue-se que P (n + 1) verdadeira.
Ento, P (n) verdadeira para todo nmero natural n a
inducaofinal
2008/8/13
page 20
Estilo OBMEP
20
Demonstrao: Defina 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.
Conseqentemente, P (n) verdadeira para todo n a.
2
Exemplo 1.2.5. Vamos mostrar que a desigualdade na sentena
aberta P (n) : 2n > n2 verdadeira, para todo nmero natural n 5.
Note que P (1) : 21 > 12 verdadeira, P (2) : 22 > 22 falsa,
P (3) : 23 > 32 falsa e P (4) : 24 > 42 falsa. Tudo isso no importa,
pois queremos verificar a veracidade dessa desigualdade para n 5.
De fato, temos que P (5) : 25 > 52 verdadeira. Seja n 5 tal
que 2n > n2 . Multiplicando ambos os lados da desigualdade acima
por 2, obtemos 2n+1 > 2n2 . Note que 2n2 > (n + 1)2 , se n 3, pois
tal desigualdade equivalente a n(n 2) > 1. Da, deduzimos que
2n+1 > (n + 1)2 , o que significa que P (n + 1) verdadeira, estabelecendo 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).
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
inducaofinal
2008/8/13
page 21
Estilo OBMEP
21
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 n0 = 8 o menor valor de n para o qual a equao tem
soluo para todo n n0 .
Problemas
a) 1.20 + 2.21 + 3.22 + + n.2n1 = 1 + (n 1)2n .
n1
1
1 2
1
nn1
b) 1 +
1+
1 +
=
.
1
2
n1
(n 1)!
inducaofinal
2008/8/13
page 22
Estilo OBMEP
22
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:
bn + abn1 + a2 bn2 + + an1 b + an =
bn+1 an+1
.
ba
1.2.3 Se sen 6= 0, mostre que, para todo n N, vale a igualdade:

sen 2n+1
2n+1 sen
Sugesto: Use a frmula sen 2 = 2 sen cos .
cos cos 2 cos 22 cos 2n =
1.2.4 Para todo n N, mostre que, nos inteiros,

a) 80 divide 34n 1.
b) 9 divide 4n + 6n 1.
c) 8 divide 32n + 7.
d) 9 divide n4n+1 (n + 1)4n + 1.
1.2.5 Mostre que

a) n! > 2n , se n 4.
b) n! > 3n , se n 7.
c) n! > 4n , se n 9.
1.2.6 Prove que, para todo n natural, vale a desigualdade:
1 3 5
2n 1
1

.
2 4 6
2n
3n + 1
1.2.7 Mostre que o nmero de diagonais de um polgono convexo de
n lados dado por
n(n 3)
dn =
.
2
inducaofinal
2008/8/13
page 23
Estilo OBMEP
23
N SEC. 1.3: PROGRESSES
1.2.8 Mostre que n0 = 32 o menor valor para o qual a equao

5x + 9y = n possui soluo em (N {0})2 para todo n n0 .
1.3
Progresses
Iremos agora, usando recorrncia, definir progresses aritmticas e

progresses geomtricas.
Exemplo 1.3.1. Uma Progresso Aritmtica (P.A.) uma seqncia
de nmeros (an ) tal que, a partir do segundo termo, cada termo an
igual ao anterior an1 somado a um nmero fixo r chamado de razo.
Portanto, dado o primeiro termo a1 e define-se recorrentemente
an = an1 + r,
se n 2.
Para achar uma frmula fechada para o termo de ordem n da

seqncia, observe que
a2 = a1 + r,
a3 = a2 + r = a1 + 2r,
a4 = a3 + r = a1 + 3r.
Pelo mtodo da galinha de Bertrand Russel, j podemos adivinhar os prximos termos:

a5 = a4 + r = a1 + 4r, a6 = a1 + 5r, . . . , an = a1 + (n 1)r, . . .
Portanto, parece plausvel que a frmula para o termo geral de
uma P.A. de primeiro termo a1 e razo r seja
an = a1 + (n 1)r, para todo n N.
inducaofinal
2008/8/13
page 24
Estilo OBMEP
24
Vamos agora demonstrar essa frmula por induo.

Inicialmente, observe que a frmula verdadeira para n = 1, pois
ela se reduz igualdade a1 = a1 .
Suponha agora que a frmula seja correta para algum n N;
isto , que an = a1 + (n 1)r. Somando r a ambos os lados dessa
igualdade, segue a igualdade:
an+1 = an + r = a1 + (n 1)r + r = a1 + nr,
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
ai + ani+1 = [a1 + (i 1)r] + [a1 + (n i)r] =
a1 + a1 + (n 1)r = a1 + an .
(1.4)
Agora, nos propomos a achar uma frmula para a soma

Sn = a1 + a2 + + an
dos n primeiros termos de uma P.A. (an ).
Vamos usar, para isso, o mtodo de Gauss que exibimos no Exemplo 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
Sn
Sn
=
=
a1
an
+
+
a2
an1
+ +
+ +
an
a1
2Sn = (a1 + an ) + (a2 + an1 ) + + (an + a1 )
inducaofinal
2008/8/13
page 25
Estilo OBMEP
25
Da, segue-se que 2Sn = (a1 + an )n e, portanto,

Sn =
(a1 + an )n
.
2
Deixamos a validao dessa frmula por induo como exerccio.

Exemplo 1.3.2. Uma Progresso Geomtrica (P.G.) uma seqncia de nmeros (an ) tal que, a partir do segundo termo, cada termo an
igual ao anterior an1 multiplicado por um nmero fixo q chamado
de razo.
Portanto, dado o primeiro termo a1 e define-se recorrentemente
an = an1 q,
se n 2.
Para achar uma frmula fechada para o termo de ordem n da

seqncia, observe que
a2 = a1 q,
a3 = a2 q = a1 q 2 ,
a4 = a3 q = a1 q 3 ,
a5 = a4 q = a1 q 4 .
Novamente, pelo mtodo da galinha de Bertrand Russel, podemos adivinhar os prximos termos:
a6 = a1 q 5 ,
a7 = a1 q 6 ,
...,
an = a1 q n1 ,
...
Portanto, plausvel que a frmula para o termo geral de uma

P.G. de primeiro termo a1 e razo q seja an = a1 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 a1 = a1 .
inducaofinal
2008/8/13
page 26
Estilo OBMEP
26
Suponha, agora, que a frmula seja correta para algum n N,

isto , que an = a1 q n1 . Multiplicando por q ambos os lados dessa
igualdade, segue que
an+1 = an q = a1 q n1 q = a1 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 Sn dos n
primeiros termos de uma P.G.
Vejamos se, animados pelo truque de Gauss, achamos uma
soluo inteligente para esse problema.
Escreva
Sn = a1 + a1 q + a1 q 2 + + a1 q n1 .
Note que
qSn Sn =
a1
a1
qn
a1 q +a1 q 2 +
a1 q a1 q 2
+a1 q n1 +a1 q n
a1 q n1
a1 .
Portanto,
Sn =
a1 q n a1
an q a1
=
.
q1
q1
Problemas
1.3.1 Ache uma frmula fechada para cada uma das somas:
+
=
inducaofinal
2008/8/13
page 27
Estilo OBMEP
27
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 + + 2n .
1 1
1
+ + + n.
2 4
2
Para quanto tende a soma em (b) quando o nmero de parcelas aumenta indefinidamente?
b)
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 final 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 frmulas, outra usando a cabea.
1.3.4 Em uma cidade de 5000 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 fica conhecendo o boato.
1.3.5 Uma progresso aritmtico-geomtrica uma seqncia (an )
tal que a1 , q e r so nmeros reais dados, com q 6= 1, e, para todo
n N, tem-se que
an+1 = qan + r.
a) Mostre que an = a1 q n1 + r
q n1 1
.
q1
inducaofinal
2008/8/13
page 28
Estilo OBMEP
28
b) Se Sn = a1 + + an , mostre que
Sn = a1
qn 1
n
qn 1
+r
+r
.
2
q1
(q 1)
1q
c) Ache o termo geral e a soma dos n primeiros termos da progresso

aritmtico-geomtrica onde a1 = 1, q = 2 e r = 1.
inducaofinal
2008/8/13
page 29
Estilo OBMEP
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 encontrado
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 fincadas trs hastes. Numa das
hastes, esto enfiados os discos, de modo que nenhum disco esteja
sobre um outro de dimetro menor (veja figura abaixo).
29
inducaofinal
2008/8/13
page 30
Estilo OBMEP
30
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 afirmativo, qual o nmero mnimo jn de movimentos
para resolver o problema com n discos?
Usando Induo Matemtica, vamos ver que a resposta primeira
pergunta afirmativa, qualquer que seja o valor de n. Em seguida,
deduziremos uma frmula que nos fornecer o nmero jn .
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
superiores da pilha, transferindo-os para uma das hastes livre (isso
inducaofinal
2008/8/13
page 31
Estilo OBMEP
N SEC. 2.1: A TORRE DE HANI
31
possvel, pois estamos admitindo que o problema com n discos possua

soluo):
Em seguida, transfira 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
para todo n N.
inducaofinal
2008/8/13
page 32
Estilo OBMEP
32
Para determinar uma frmula para jn , 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 problema com n discos. Temos, ento, que
jn+1 = 2jn + 1.
Obtemos, assim, uma progresso aritmtico-geomtrica (jn ) cujo
termo geral , pelo Problema 1.3.5 (c), dado por
jn = 2n 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
coluna para outra, respeitando as regras acima explicadas. Quando
todos os 64 discos fossem transferidos para uma outra coluna, o mundo
acabaria.
inducaofinal
2008/8/13
page 33
Estilo OBMEP
N SEC. 2.2: O ENIGMA DO CAVALO DE ALEXANDRE
33
Voc no deve se preocupar com a iminncia do fim do mundo,

pois, se, a cada segundo, um sacerdote movesse um disco, o tempo
mnimo para que ocorresse a fatalidade seria de 264 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 resultado vlido para conjuntos contendo n cavalos. Considere um conjunto
C = {C1 , C2 , . . . , Cn , Cn+1 }
com n + 1 cavalos. Decompomos o conjunto C numa unio de dois
conjuntos:
C = C 0 C 00 = {C1 , . . . , Cn } {C2 , . . . , Cn+1 },
cada um dos quais contm n cavalos.
Pela hiptese indutiva, segue-se que os cavalos em C 0 tm mesma
cor, ocorrendo o mesmo para os cavalos em C 00 . Como
C2 C 0 C 00 ,
inducaofinal
2008/8/13
page 34
Estilo OBMEP
34
segue-se que os cavalos de C 0 tm a mesma cor dos cavalos de C 00 ,

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
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) vedadeira para todo n N .
inducaofinal
2008/8/13
page 35
Estilo OBMEP
N SEC. 2.3: DESCOBRINDO A MOEDA FALSA
2.3
35
Descobrindo a Moeda Falsa
Tm-se 2n moedas de ouro, sendo uma delas falsa, com peso menor
do que as demais. Dispe-se de uma balana de dois pratos, sem
nenhum 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 imediatamente 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 2n+1 moedas dadas.
Separemos as 2n+1 moedas em 2 grupos de 2n moedas cada. Coloca-se
um grupo de 2n moedas em cada prato da balana. Assim, poderemos
descobrir em que grupo de 2n 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
para um nmero qualquer de moedas.
Problemas
2.3.1 Mostre que o problema da moeda falsa para 3n moedas tambm

se resolve com n pesagens.
inducaofinal
2008/8/13
page 36
Estilo OBMEP
36
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 pn ,
vamos provar por induo a frmula:
pn =
n(n + 1)
+ 1.
2
Para n = 1, ou seja, com apenas um corte, claro que s podemos

obter dois pedaos. Portanto, a frmula est correta, pois
p1 =
1(1 + 1)
+ 1 = 2.
2
Admitamos agora que, para algum valor de n, a frmula para pn

esteja correta. Vamos mostrar que a frmula para pn+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).
inducaofinal
2008/8/13
page 37
Estilo OBMEP
N SEC. 2.5: OS COELHOS DE FIBONACCI
37
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 encontar 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,
pn+1 = pn + n + 1 =
n(n + 1)
(n + 1)(n + 2)
+1+n+1=
+ 1,
2
2
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?
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-
inducaofinal
2008/8/13
page 38
Estilo OBMEP
38
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
10
20
30
40
50
60
70
13
80
13
21
90
21
13
34
100
34
21
55
110
55
34
89
120
89
55
144
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
un , temos, ento, que
un = un1 + un2 ,
u1 = u2 = 1.
inducaofinal
2008/8/13
page 39
Estilo OBMEP
39
Essas relaes definem, por recorrncia, uma seqncia de nmeros

naturais, chamada de seqncia de Fibonacci, cujos elementos, chamados de nmeros de Fibonacci, possuem propriedades aritmticas
notveis, que ainda hoje so objeto de investigao.
Uma recorrncia1 do tipo
xn = xn1 + xn2
(2.1)
s permite determinar o elemento xn se conhecermos os elementos

anteriores xn1 e xn2 , que, para serem calculados, necessitam do
conhecimento dos dois elementos anteriores, e assim por diante. Fica,
portanto, univocamente definida a seqncia quando so dados x1 e
x2 . A seqncia de Fibonacci corresponde recorrncia (2.1), onde
x1 = x2 = 1.
Quando dada uma recorrncia, um problema importante determinar uma frmula fechada para o termo geral da seqncia, isto
, uma frmula que no recorre aos termos anteriores. No caso da
seqncia 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
n n
1+ 5
12 5
2
un =
5
Demonstrao: Procuremos as progresses geomtricas vn = q n ,
com q 6= 0, que satisfazem recorrncia (2.1). Temos que
q n = q n1 + q n2 ,
1
Uma recorrncia uma frmula que define um elemento de uma seqncia a

partir de termos anteriores.
inducaofinal
2008/8/13
page 40
Estilo OBMEP
40
cujas solues so
1+ 5
q1 =
2
1 5
e q2 =
.
2
Defina vn = q1n e wn = q2n . Note que, como as duas seqncias vn

e wn satisfazem recorrncia (2.1), ento, para quaisquer e reais,
a seqncia un = vn + wn tambm satisfaz recorrncia. Agora,
impomos u1 = u2 = 1, o que nos d um sistema de duas equaes
com as duas incgnitas e , cujas solues so = 15 e = 15 .
2
notvel que seja necessrio recorrer a frmulas envolvendo
nmeros irracionais para representar os elementos da seqncia de
Fibonacci, que so nmeros naturais. Mais notvel, ainda, que o
1+ 5
nmero
seja a proporo urea que aparece nas artes, e que
2
1 5
seja o simtrico de seu inverso 1 . Intrigante essa inesperada
2
relao entre criar coelhos e a divina proporo, no?
Leonardo de Pisa (1170-1250), filho de Bonacci, e por isso apelidado 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.
inducaofinal
2008/8/13
page 41
Estilo OBMEP
41
Problemas
2.5.1 Mostre que a seqncia de Fibonacci satisfaz s seguintes identidades:
a) u1 + u2 + + un = un+2 1.
b) u1 + u3 + + u2n1 = u2n .
c) u2 + u4 + + u2n = u2n+1 1.
d) u21 + u22 + + u2n = un un+1 .
1+ 5
2.5.2 Sabendo que q =
raiz da equao x2 = x + 1, mostre
2
que q n = un q + un1 .
2.5.3 Prove que
u3 + u6 + u9 + + u3n =
u3n+2 1
.
2
2.5.4 Dada a recorrncia an+2 = 2an+1 + an , com a1 = 1 e a2 = 3,

ache uma frmula para an .
2.5.5 Mostre que a recorrncia vn = 3vn1 2vn2 , v0 = 2 e v1 = 3
tem por soluo vn = 2n + 1.
inducaofinal
2008/8/13
page 42
Estilo OBMEP
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 bsicas da aritmtica.
Se (an ) uma seqncia em A, definimos o somatrio dos seus n
primeiros termos como sendo
n
X
ai = a1 + a2 + + an .
i=1
Para apreciar o poder do que iremos apresentar, tente, neste exato

42
inducaofinal
2008/8/13
page 43
Estilo OBMEP
43
N SEC. 3.1: SOMATRIOS
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 somatrios que iro nos ajudar a resolver este e muitos outros problemas
do mesmo tipo.
Proposio 3.1.1. Sejam (ai ), (bi ) duas seqncias de elementos do
conjunto A e seja c A. Ento,
n
n
n
X
X
X
(i)
(ai + bi ) =
ai +
bi .
i=1
(ii)
n
X
i=1
c ai = c
i=1
n
X
i=1
ai .
i=1
n
X
(iii)
(ai+1 ai ) = an+1 a1 .
i=1
(iv)
n
X
c = nc
i=1
P
Demonstrao: (i) O que significa a soma ni=1 (ai + bi )? Significa que estamos somando os n primeiros termos da nova seqncia
(cn ), onde, para cada n N, define-se cn = an + bn .
inducaofinal
2008/8/13
page 44
Estilo OBMEP
44
CAP. 3: INDUO E MATEMTICA
Provemos o resultado por induo sobre n. Para n = 1, temos que

1
1
1
X
X
X
(ai + bi ) = a1 + b1 =
ai +
bi ,
i=1
i=1
i=1
mostrando que a frmula vlida nesse caso.

Suponha a frmula vlida para algum nmero natural n. Temos
ento que
Pn+1
i=1
(ai + bi ) =
Pn
i=1 ai
Pn
i=1 ai
Pn
i=1 (ai
Pn
i=1 bi
+ an+1 +
+ bi ) + (an+1 + bn+1 ) =
+ (an+1 + bn+1 ) =
Pn
i=1 bi
+ bn+1 =
Pn+1
i=1
ai +
Pn+1
i=1
bi ,
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
X
(ai+1 ai ) = a2 a1 ,
i=1
o que mostra a validade da frmula neste caso.

Suponhamos que a frmula seja vlida para um nmero natural
n. Logo,
n+1
X
n
X
i=1
i=1
(ai+1 ai ) =
(ai+1 ai ) + (an+2 an+1 ) =
an+1 a1 + an+2 an+1 = an+2 a1 ,
inducaofinal
2008/8/13
page 45
Estilo OBMEP
45
mostrando que a frmula vale para n + 1 e, portanto, vale para todo

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

Pn 2 Pn
Pn
Sn =
i=1 i =
i=1 i +
i=1 i(i + 1). =
(12 + 22 + + n2 ) + (1 + 2 + + n),
somas estas que j calculamos nos Exemplos 1.1.1 e 1.1.2. Portanto,
temos que
Sn =
n(n + 1)(2n + 1) n(n + 1)

n(n + 1)(n + 2)
+
=
.
6
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.
inducaofinal
2008/8/13
page 46
Estilo OBMEP
46
Exemplo 3.1.2. Vamos deduzir a expresso do termo geral da recorrncia da Pizza de Steiner:
pn+1 = pn + n + 1,
p1 = 2.
A expresso acima pode ser escrita do seguinte modo:

pi+1 pi = i + 1.
Tomando somatrios de ambos os lados, obtemos
n1
X
i=1
(pi+1 pi ) =
n1
X
(i + 1).
i=1
O primeiro membro da igualdade acima uma soma telescpica e

vale pn p1 , enquanto o segundo membro por ns conhecido e vale
(n 1)n
+ n 1. Portanto, temos que
2
(n 1)n
n(n + 1)
+n1+2=
+ 1.
2
2
pn =
Exemplo 3.1.3. Seja i N e considere a seguinte identidade1 :

(i + 1)4 = i4 + 4i3 + 6i2 + 4i + 1.
Da, segue que
(i + 1)4 i4 = 4i3 + 6i2 + 4i + 1.
1
Esta identidade, que pode ser verificada diretamente, um caso particular da

frmula do binmio de Newton, que estudaremos em geral na prxima seo.
inducaofinal
2008/8/13
page 47
Estilo OBMEP
47
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
n
X
X
[(i + 1)4 i4 ] =
(4i3 + 6i2 + 4i + 1).
i=1
i=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,
obtemos
P
(n + 1)4 1 = ni=1 (4i3 + 6i2 + 4i + 1) =
4
4
Pn
Pn
Pn
+6
Pn
+ n(n + 1)(2n + 1) + 2n(n + 1) + n.
i=1 i
i=1 i
2
i=1 i
+4
i=1 i
+n=
Da, segue que

Pn
3
i=1 i =
(n + 1)4 1 n(n + 1)(2n + 1) 2n(n + 1) n

=
4
n4 + 2n3 + n2
n(n + 1) 2
=
.
4
2
Obtemos, assim, a frmula do Problema 1.1.1 (i):
n(n + 1) 2
3
3
3
1 + 2 + + n =
.
2
possvel generalizar este procedimento para obter frmulas
recorrentes para as somas
1p + 2p + + np ,
inducaofinal
2008/8/13
page 48
Estilo OBMEP
48
quando p varia nos naturais (veja Problema 3.1.2).
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 + 22 ) + (1 + 22 + 32 ) + + (1 + 22 + 32 + + n2 ).
e) 12 + 32 + 52 + + (2n 1)2 .
f) 13 + 33 + + (2n 1)3 .
3.1.2 a) Considere, para i N, a seguinte identidade:
(i + 1)5 i5 = 5i4 + 10i3 + 10i2 + 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
Pn 4
i=1 i .
b) Pense em um modo de calcular
ser generalizado.
Pn
i=1 i
5.
Mostre como isto pode
inducaofinal
2008/8/13
page 49
Estilo OBMEP
N SEC. 3.2: BINMIO DE NEWTON
49
3.1.3 Demonstre a Propriedade (ii) na Proposio 3.1.1.

3.1.4 Prove as desigualdades:
1
1
1
2( n + 1 1) < 1 + + + + < 2 n.
n
2
3
Sugesto: Mostre inicialmente que
1
2 n+12 n< <2 n2 n1
n
e em seguida use somas telescpicas.
3.1.5 Seja a1 , a2 , . . . , an+1 uma P.A. com de razo r. Calcule a soma
Sn =
1
1
1
+
+ +
.
a1 a2 a2 a3
an an+1
Este problema generaliza os Problemas 1.1.2 (a), (b) e (c).

Sugesto: Mostre inicialmente que
1
1
1
1
=
.
ai ai+1
r ai+1 ai
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
de uma soma telescpica. Conclua que
1
1
1
n
Sn =
=
.
r an+1 a1
a1 an+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
inducaofinal
2008/8/13
page 50
Estilo OBMEP
50
um polinmio de grau n em X, cujos coeficientes so nmeros naturais

(voc pode provar esta afirmao por induo sobre n):
(1 + X)n = a0 + a1 X + a2 X 2 + + an1 X n1 + an X n .
Os coeficientes ai , i = 0, . . . , n, serochamados
de nmeros bi
nomiais e denotados pelos smbolos ai =

n
definir
= 0.
i
n
. Se i > n, cmodo
i
Observe que, tomando X = 1 no desenvolvimento de (1 + X)n ,

obtemos a seguinte identidade:

n
n
n
2 =
+
+ +
.
0
1
n
n
Queremos determinar frmulas explcitas para esses nmeros binomiais.

Como os coeficientes do termo independente de X, do termo em
X e do termo em X n no desenvolvimento de (1 + X)n so, respectivamente, 1, n e 1, temos que

n
= 1,
0

n
=n e
1

n
=1
n
Lema 3.2.1 (Relao de Stifel). Para todo n N e todo i N com

0 i n, tem-se que

n
n
n+1
+
=
.
i
i+1
i+1
inducaofinal
2008/8/13
page 51
Estilo OBMEP
51
Demonstrao: Para i = n, a relao acima trivialmente verificada. Para 0 i < n, as relaes decorrem, imediatamente, das
seguintes igualdades:
n+1
n+1
n+1
n+1
n
+
X + +
X +
X n+1 =
0
1
n
n+1

n
n
n
n
n+1
n1
(1 + X)
= (1 + X)
+
X + +
X
+
Xn =
0
1
n1
n

n
n
n
n
n
n
n
+
+
X + +
+
X +
X n+1 .
0
0
1
n1
n
n
2
Lema 3.2.2. Para todos n, i N, com 1 i n, tem-se que

n
i!
= n(n 1) (n i + 1).
i
Demonstrao: Vamos provar isto por induo sobre n. A igualdade trivialmente verificada 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

n+1
n
n
i!
= i(i 1)!
+ i!
=
i
i1
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
verificao 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. 2
inducaofinal
2008/8/13
page 52
Estilo OBMEP
52
Segue-se do Lema 3.2.2 que, para n, i N, com 1 i n, vale a

seguinte frmula para os coeficientes binomiais:

n(n 1) (n i + 1)
n
n!
=
=
.
i
i!
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
n
=
.
i
ni
Seja A um conjunto com duas operaes, uma adio e uma multiplicao, 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 = an +
n n1
n n2 2
n
a
b+
a
b + +
abn1 + bn .
1
2
n1
Demonstrao: Se a = 0, o resultado bvio. Se a 6= 0, substitua

b
X por
na expanso de (1 + X)n e multiplique ambos os lados por
a
an .
2
Exemplo 3.2.1.
(a + b)2 = a2 + 2ab + b2 .
(a + b)3 = a3 + 3a2 b + 3ab2 + b3 .
inducaofinal
2008/8/13
page 53
Estilo OBMEP
53
(a + b)4 = a4 + 4a3 b + 6a2 b2 + 4ab3 + b4 .

(a + b)5 = a5 + 5a4 b + 10a3 b2 + 10a2 b3 + 5ab4 + b5 .
Problemas
3.2.1 Demonstre a identidade das colunas:

i
i+1
n
n+1
+
+ +
=
.
i
i
i
i+1
3.2.2 Demonstre a identidade das diagonais:

n
n+1
n+2
n+m
n+m+1
+
+
+ +
=
.
0
1
2
m
m
3.2.3 a) Demonstre, para todos n, m, k N, a identidade de Euler:

k
X
m
n
n+m
=
.
i
ki
k
i=0
b) Em particular, deduza a identidade de Lagrange:

n 2
X
n
i=0
3.2.4 a) Mostre que

2n
=
.
n

n
o nmero de subconjuntos distintos com
i
i elementos de um conjunto com n elementos.
inducaofinal
2008/8/13
page 54
Estilo OBMEP
54
b) Mostre que o conjunto das partes de um conjunto com n elementos

tem 2n elementos.
c) Usando os itens acima, d uma outra prova para a igualdade:

n
n
n
+
+ +
= 2n .
0
1
n
3.2.5 Seja n N. Mostre que

n
n
n1
;
<
, se 0 i <
2
i
i+1
e que
n
n
n1
>
, se i >
i
i+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 propriedades:
i) a S,
ii) a n, para todo n S.
imediato verificar que, se S possui um menor elemento, este
nico. De fato, se a e a0 so menores elementos de S, ento
a a0 , pois a um menor elemento de S, e a0 um elemento de
S, e, analogamente, a0 a, o que implica que a = a0 .
O menor elemento de S, quando existe, denotado por min S.
inducaofinal
2008/8/13
page 55
Estilo OBMEP
N SEC. 3.3: PRINCPIO DO MENOR INTEIRO
55
Por que fizemos a ressalva acima sobre a existncia de min S? 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 afirmaes do tipo bvio que,
pois devem ser utilizadas apenas quando qualquer um possa verificlas sem grande esforo.
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 conjunto dos nmeros naturais que no esto em S. Queremos, portanto,
mostrar que T = N, ou seja, que S = .
Defina o conjunto
In = {k N; k n},
e considere a sentena aberta
P (n) : In 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.
inducaofinal
2008/8/13
page 56
Estilo OBMEP
56
Suponha agora que P (n) seja verdadeira, para algum n. Se

n + 1 S, como nenhum elemento de In est em S, teramos que
n + 1 um menor elemento de S, o que no permitido. Logo,
n + 1 T , seguindo da que
In+1 = In {n + 1} T,
o que prova que, para todo n, temos que In T ; portanto, N T N
e, conseqentemente, T = N.
2
Voc entendeu a demonstrao acima? Se no entendeu, no desanime, pois certamente ainda no est na hora de voc apreciar todas
estas sutilezas. Isto vir naturalmente com o tempo. Qual o remdio, ento? Bem, faa de conta que realmente a afirmao contida no
teorema bvia e siga em frente.
O Princpio do Menor Inteiro tem vrias aplicaes, conforme veremos 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 sentena 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 }.
inducaofinal
2008/8/13
page 57
Estilo OBMEP
57
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 6 W , segue-se que existe n tal que k = a + n > a. Portanto,
a, a+1, . . . , k 1 6 W ; logo a, a+1, . . . , k 1 V . Por (ii), conclui-se
que k = k 1 + 1 V , o que contradiz o fato de k W .
2
O fato que apresentaremos a seguir j era conhecido de Euclides,
cerca de trezentos anos antes de Cristo, enunciado, porm sem demonstrao, 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 0 e r, com r < m, tais que
n + 1 m = q 0 m + r; logo n + 1 = (q 0 + 1)m + r, e o resultado
vlido para n + 1, tomando q = q 0 + 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
inducaofinal
2008/8/13
page 58
Estilo OBMEP
58
verdadeiro quando n = 1, j que, neste caso, 1 = n m.

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 0 m + r0 , com r, r0 < 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 0 1)m + r0 , e, pela hiptese de induo, temos que
q 1 = q 0 1 e r = r0 , da seguindo a unicidade da escrita de n + 1.
Pelo Teorema da Induo Completa, o resultado fica estabelecido
para todo nmero natural n.
2
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 = a0 + a1 b + a2 b2 + + an bn ,
onde n um inteiro no negativo, todos os ai satisfazem s desigualdades 0 ai < b e an 6= 0.
Demonstrao: Note que a = 1 se escreve na forma acima, pois,
para isto, basta tomar n = 0 e a0 = 1.
Seja S o subconjunto dos naturais que no admitem uma representao como acima. Queremos mostrar que S = .
inducaofinal
2008/8/13
page 59
Estilo OBMEP
59
Note que N \ S 6= , pois vimos acima que 1 6 S.

Suponha agora, por absurdo, que S 6= , logo, S possui um menor
elemento, que certamente maior do que 1. Seja a0 este menor elemento. Pelo algoritmo euclidiano da diviso, temos que a0 = bq + r,
onde 0 r < b. Mas, ento q < a0 e, portanto, q 6 S. Logo, q se
escreve na forma do teorema e, portanto, a0 tambm, o que uma
contradio, provando assim que S = .
Deixaremos a prova da unicidade da escrita como um desafio para
voc.
2
Podemos agora generalizar o problema da moeda falsa que apresentamos 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 ai 0 ou
1), chamada de expanso binria. Isto , existem nmeros inteiros
0 n1 < n2 < < nr tais que
m = 2n1 + 2n2 + + 2nr .
Vamos provar, usando Induo Completa sobre nr , que bastam nr
pesagens para descobrir a moeda falsa.
Suponha nr = 1, ou seja, temos, no mximo, trs moedas. Pondo
uma moeda em cada prato da balana, descobre-se imediatamente
a moeda falsa e, portanto, o resultado trivialmente verificado.
Suponha o resultado verdadeiro para todo n0 < nr .
inducaofinal
2008/8/13
page 60
Estilo OBMEP
60
Sejam agora 2n1 + 2n2 + + 2nr moedas, das quais uma

falsa. Separemos as moedas em 2 lotes com, respectivamente, 2nr e
2n1 + + 2nr1 moedas cada um. Comeamos analisando o primeiro
lote com 2nr moedas. Colocamos metade dessas moedas em cada
prato da balana. Se a moeda falsa est neste lote, com o mtodo
discutido no Captulo 2, aplicado s 2nr 1 moedas que esto no prato
mais leve, sabemos que podemos descobrir a moeda falsa com, no
mximo, nr 1 pesagens, com a pesagem j efetuada, descobrimos a
moeda com no mximo nr pesagens. Se a moeda falsa no est nesse
lote, descartamos o lote todo. Sobram, ento, 2n1 + +2nr1 moedas
a serem analisadas. Pela hiptese de induo, bastam nr1 pesagens
para descobrir a moeda falsa, que, juntamente com a pesagem j realizada, perfazem um total de nr1 + 1 pesagens, que certamente
menor do que ou igual a nr .
A frmula do binmio de Newton se generaliza para m parcelas,
conforme veremos a seguir.
Teorema 3.3.5 (Frmula de Leibniz). Sejam a1 , a2 , . . . , am elementos 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
(a1 + a2 + + am )n =
X
i1 +i2 ++im =n
n!
ai1 ai2 aimm .
i1 !i2 ! im ! 1 2
Demonstrao: A prova ser por induo completa sobre m. Se

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
inducaofinal
2008/8/13
page 61
Estilo OBMEP
61
frmula do binmio de Newton,

(a1 + + am + am+1 )n =
X n
(a1 + + am )i ajm+1 .
i
i+j=n
A hiptese de induo nos fornece

X
(a1 + + am )i =
i1 +i2 ++im
i!
ai11 ai22 aimm ;
i
!i
!
i
!
1
2
m
=i
logo,
X n
i
(a1 + + am + am+1 )n =
X
i!
ai1 ai2 aimm ajm+1 =
i1 !i2 ! im ! 1 2
i+j=n
i1 +i2 ++im =i
i+j=n
i1 +i2 ++im =i
X
i1 +i2 ++im +im+1 =n

n
i!
ai1 ai2 aimm ajm+1 =
i i1 !i2 ! im ! 1 2
n!
im+1
ai11 ai22 aimm am+1
,
i1 !i2 ! im !im+1 !
pois

n
i!
n!
i!
n!
=
=
,
i i1 !i2 ! im !
i!(n i)! i1 !i2 ! im !
i1 !i2 ! im !im+1 !
onde pusemos im+1 = n i = j.
Se voc no entendeu a manipulao com os duplos somatrios,

acima, pergunte a algum. Caso a dvida persista, no faz mal, fica
para uma prxima leitura.
A frmula do teorema acima tem o nome de frmula de Leibniz
em homenagem ao matemtico e filsofo alemo Gottfried Wilhelm
inducaofinal
2008/8/13
page 62
Estilo OBMEP
62
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
Sr (n) =
n
X
ir
i=1
um polinmio de grau r + 1 em n com termo de maior grau igual a

1
nr+1 .
r+1
3.3.4 Para n, m N, demonstre a igualdade:
X
i1 +i2 ++im =n
n!
= mn .
i1 !i2 ! im !
3.3.5 Seja (un ) a seqncia de Fibonacci. Dados n, m N, com

n 2, mostre que
a) un+m = un1 um + un um+1 .
inducaofinal
2008/8/13
page 63
Estilo OBMEP
N SEC. 3.4: O PRINCPIO DAS GAVETAS
63
b) u2n1 = u2n1 + u2n .

c) u2n = u2n+1 u2n1 .
d) u3n = u3n+1 + u3n u3n1 .
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 afirmao.
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 objetos 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.
inducaofinal
2008/8/13
page 64
Estilo OBMEP
64
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.
2
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
menos duas mulheres com a mesma quantidade de fios 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.106 fios de cabelo. Na regio metropolitana de
So Paulo, existem mais de 10.106 mulheres e mais de 9.106 homens
(fonte: PNAD 2004). O Princpio das Gavetas agora permite concluir
inducaofinal
2008/8/13
page 65
Estilo OBMEP
65
o desejado.
Exemplo 3.4.2. Existem n pessoas em uma festa. Algumas se
conhecem, 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 reflexiva: ningum conhecido de si mesmo (ser essa relao
transitiva?).
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 situaes 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,
conectando os pontos mdios dos lados do tringulo original. A distncia 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 afirmao.
inducaofinal
2008/8/13
page 66
Estilo OBMEP
66
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. Um reta
vertical, ao cortar as trs paralelas, tem trs candidatos a vrtice do
retngulo procurado.
Trs pontos podem ser coloridos com 2 cores de 8 modos distintos. Portanto, se voc escolher 9 retas verticais, pelo Princpio das
Gavetas, duas dessas retas vo encontrar cada uma das trs retas horizontais 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 divisvel por 2007.
Existem 2007 possveis restos pela diviso por 2007. Considere a
seqncia das potncias de 3:
1, 3, 32 , . . . , 32007 .
Esta seqncia composta de 2008 nmeros. Portanto, pelo
Princpio das Gavetas, dois desses, digamos 3n e 3m , com n > m,
tm mesmo resto quando divididos por 2007. Logo, a sua diferena
3n 3m divisvel por 2007 (voc saberia justificar 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 3n e 3m tm mesmo resto quando divididos
inducaofinal
2008/8/13
page 67
Estilo OBMEP
67
por 1000. Logo, 3n 3m = 3m (3nm 1) divisvel por 1000. Como

1000 e 3m no tm fatores comuns, 1000 deve dividir o segundo fator
3nm 1. Isto significa que 3nm 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 mltiplo de um outro.
De fato, sejam a1 , . . . , an+1 os inteiros escolhidos. Note que cada
nmero ai pode ser escrito como 2ni bi , onde bi um nmero mpar.
Como no intervalo 1, . . . , 2n existem n nmeros mpares, e os n + 1
nmeros bi necessariamente se encontram neste intervalo, pelo princpio de Dirichlet, devemos ter br = bs para algum par de inteiros r
e s variando no conjunto {1, . . . , n + 1}, com nr > ns . claro que
ar = 2nr br um mltiplo de as = 2ns br .
Alguns dos exemplos acima foram tomados emprestado de
www.cut the knot.org/do you know/pigeon.shtml,
onde voc poder encontrar muitos outros.
Problemas
3.4.1 Pode-se afirmar, com toda certeza, que em So Paulo existem
um homem e uma mulher com a mesma quantidade de fios de cabelo?
3.4.2 Mostre que existem duas potncias de 3 cuja diferena divisvel pelo ano em que voc nasceu.
3.4.3 Dados quaisquer seis inteiros de 1 a 10, mostre que dois deles
inducaofinal
2008/8/13
page 68
Estilo OBMEP
68
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 6= 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 + c2 > 1 + 2c.
Suponha P (n) verdadeira para algum n 2. Multiplicando ambos
os lados da desigualdade acima por 1 + c (que > 0), obtemos
(1 + c)n+1 > (1 + n c)(1 + c) = 1 + (n + 1)c + nc2 > 1 + (n + 1)c,
donde conclumos que P (n + 1) verdadeira.
Por Induo Matemtica, segue que P (n) verdadeira para todo
nmero natural n.
2
Mdias so objetos matemticos que tm muitas aplicaes na
vida real. H vrias mdias; definiremos aqui trs delas, que relacionaremos entre si.
inducaofinal
2008/8/13
page 69
Estilo OBMEP
69
N SEC. 3.5: DESIGUALDADES
Dados nmeros reais positivos a1 , a2 , . . . , an , os nmeros

An =
Hn =
a1 + a2 + + an
,
n
Gn =
n
a1 a2 an ,
n
,
1
1
1
+
+ +
a1 a2
an
so chamados, respectivamente, de Mdia Aritmtica, Mdia Geomtrica e Mdia Harmnica dos nmeros dados.
Existe uma relao entre essas trs mdias dada por
Hn Gn An ,
(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
que faremos a seguir.
Note que
0
a2 2 a21 a22 a1 a2
+
,
=
2
4
4
2
o que implica
a1 a2
seguindo da que
a21 a22 a1 a2 a1 a2 2
+
+
=
+
,
4
4
2
2
2
a1 + a2
a1 a2
.
2
Na desigualdade acima, valer a igualdade se, e somente se,
a1 + a2 2 a21 a22 a1 a2
a1 a2 =
=
+
+
,
2
4
4
2
(3.2)
inducaofinal
2008/8/13
page 70
Estilo OBMEP
70
o que ocorre se, e somente se,

a
a2 2 a21 a22 a1 a2
=
+
= 0,
2
4
4
2
o que equivale a ter a1 = a2 .

Por outro lado, de (3.2) segue facilmente que
4a21 a22 (a1 + a2 )2 a1 a2 ;
logo,
e, portanto,
2a1 a2 (a1 + a2 ) a1 a2
2
1
1
+
a1 a2
a1 a2 .
No difcil verificar (faa-o) que, tambm neste caso, vale a igualdade na desigualdade acima se, e somente se, a1 = a2 .
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
quadrado o que tem maior rea.
De fato, suponha que os lados do retngulo tenham medidas a e
b. Pela desigualdade G2 A2 , segue que
a+b
p
ab
= .
2
4
Da, segue que a rea do retngulo de permetro p dado limitada
superiormente pela constante p2 /16. Segundo o que provamos acima,
inducaofinal
2008/8/13
page 71
Estilo OBMEP
71
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. Novamente, pela desigualdade G2 A2 , segue que
a+b
p
A = ab
= .
2
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 a1 , . . . , an nmeros reais positivos dados, tais
que a1 an = 1, ento a1 + + an n, valendo a igualdade se, e
somente se, a1 = = an = 1.
Demonstrao: A demonstrao ser feita por induo sobre n.
Para n = 1, o resultado trivialmente verificado.
Suponha o resultado vlido para algum n, e sejam a1 , . . . , an+1
nmeros reais positivos tais que a1 an an+1 = 1. Dois casos podem
se apresentar.
Caso 1: Todos os nmeros so iguais, ou seja a1 = a2 = = an+1 .
inducaofinal
2008/8/13
page 72
Estilo OBMEP
72
Neste caso, eles tm que ser iguais a 1. Portanto, a1 + + an+1 =

n + 1, e o resultado, neste caso, vale para n + 1.
Caso 2: Nem todos os nmeros so iguais. Neste caso, certamente
um dos nmeros maior do que 1 e um outro menor do que 1
(justifique). Podemos ento supor que a1 < 1 e an+1 > 1. Denotando
a1 an+1 por b1 , temos que b1 a2 an = 1. Logo, pela hiptese de
induo, segue que b1 + a2 + + an n, logo,
a1 + a2 + + an+1 = b1 + a2 + + an + a1 b1 + an+1 n + a1 b1 + an+1 .
(3.3)
Mas,
a1 b1 + an+1 = a1 a1 an+1 + an+1 = 1 (1 a1 )(1 an+1 ) > 1, (3.4)
j que a1 < 1 e an+1 > 1. Juntando (3.3) e (3.4), obtemos que

a1 + a2 + + an+1 > n + 1,
como queramos provar.
Corolrio 1. Sejam a1 , a2 , . . . , an nmeros reais positivos, ento,

an1 an
a1 a2
+
+ +
+
n,
a2 a3
an
a1
valendo a igualdade se, e somente se, a1 = a2 = = an .
a1 a2
an1 an
= 1; logo, pelo teoa2 a3

an a1
rema anterior, segue a desigualdade desejada. A igualdade vale se, e
somente se,
a1
a2
an1
an
=
= =
=
= 1,
a2
a3
an
a1
Demonstrao: claro que
o que equivale a dizer que a1 = a2 = = an .
inducaofinal
2008/8/13
page 73
Estilo OBMEP
73
Exemplo 3.5.3. Para todo x real, vale a desigualdade:

x2 + 2
2.
x2 + 1
De fato, temos que
p
x2 + 2
x2 + 1
1
1
=
+
= x2 + 1 +
.
2
2
2
2
x +1
x +1
x +1
x +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
log10 a + loga 10 2.
Esta desigualdade tambm segue do teorema anterior, tendo em
vista que log10 a loga 10 = 1.
Teorema 3.5.3. Temos que Gn An , valendo a igualdade se, e
somente se, a1 = a2 = = an .
Demonstrao: Ponhamos g = Gn . Logo, da igualdade
g = Gn =
segue que
r
1=
isto ,
n
a1 an ,
a1
an
,
g
g
a1
an
= 1.
g
g
inducaofinal
2008/8/13
page 74
Estilo OBMEP
74
Portanto, pelo Teorema 3.5.2, temos que

a1
an
+ +
n,
g
g
o que nos d a desigualdade requerida. A igualdade vale se, e somente se, a1 /g = a2 /g = = an /g, o que ocorre se, e somente se,
a1 = a2 = = an .
2
Exemplo 3.5.5. Para n 2, vale a desigualdade:
n+1 n
n! <
.
2
De fato, pelo Teorema 3.5.2, temos que
n+1
1 + 2 + + n
n
n
=
.
n! = 1 2 n <
n
2
O resultado segue elevando potncia n ambos os lados da desigualdade acima.
Teorema 3.5.4. Temos que Hn Gn , valendo a igualdade se, e
somente se, a1 = a2 = = an .
Demonstrao: Pelo Teorema 3.5.3, temos que
q
1
1
a1
1
1
1 + + an
= n a1
=
,
1 an
Gn
n
Hn
provando assim a desigualdade. A igualdade vale se, e somente se,
1
1
a1
1 = a2 = = an , o que equivale ao fato de que a1 = a2 = =
an .
2
O mtodo da prova da desigualdade (3.1) que utilizamos aqui, bem
como alguns dos exemplos, foram tomados emprestado do livrinho
inducaofinal
2008/8/13
page 75
Estilo OBMEP
75
Desigualdades, de autoria de P. P. Korovkin, Editorial MIR - Moscou,

1976.
Problemas
3.5.1 Se x um nmero real positivo, mostre que
xn + xn2 + +
1
1
+
n + 1.
xn2 xn
3.5.2 Prove que, para todo x real, vale a desigualdade

x2
1
.
4
1+x
2
3.5.3 Sejam a, b R, com a + b > 0 e a 6= b. Mostre que, para todo
n N, com n 2,
2n1 (an + bn ) > (a + b)n .
3.5.4 Prove que se a1 , . . . , an e p so nmeros reais positivos, ento
r p
p
p a1 + + an
n
a1 an
,
n
valendo a igualdade se, e somente se, a1 = = an .
3.5.5 Prove, para c 0, a seguinte generalizao da desigualdade de
Bernouilli
n(n 1) 2
(1 + c)n 1 + nc +
c .
2
3.5.6 Defina a seqncia (xn ), n N, pela regra xn = n n 1.
inducaofinal
2008/8/13
page 76
Estilo OBMEP
76
a) Mostre que, para todo n 2, tem-se que xn > 0.

b) Mostre que, para todo n 2, tem-se que
n = (1 + xn )n
c) Conclua que
n(n 1)x2n
.
2
r
0 xn
2
.
n1
d) Voc saberia dizer para quanto tende

definidamente?
Sugesto para (b): use o Problema 3.5.5.
n
n quando n cresce in-
inducaofinal
2008/8/13
page 77
Estilo OBMEP
Respostas
Captulo 1
1.3.1 a) n(n + 1)
1.3.1 b)
n(3n + 1)
2
1.3.2 a) 2n+1 2
1.3.2 b) 1
1
. A soma tende para 1 quando n cresce indefinidamente.
2n
1.3.3) A vitria rgia ocupar toda a superfcie do tanque no penltimo 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) an = 2n 1 e Sn = 2n+1 (n + 2)
77
inducaofinal
2008/8/13
page 78
Estilo OBMEP
78
Captulo 2
2.4.1)
n(n + 1)
+1
2
( 2 1)(1 + 2)n 3(1 + 2)(1 2)n

2.5.4) an =
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(4n2 + 6n 1)
3
3.1.1 d)
n(n + 1) 2
(n + 5n + 2)
24
3.1.1 e)
n(4n2 1)
3
3.1.1 f) n(2n3 n + 2)
inducaofinal
2008/8/13
page 79
Estilo OBMEP
3.1.2 a)
"
2
n(n + 1)
1
5
4
(n + 1) 1 10
i =
5
2
i=1
n
X
10
n(n + 1)(2n + 1)
n(n + 1)
5
n .
6
2
3.4.1) No.
3.5.6 d)
n
n tende a 1 quando n cresce indefinidamente.
79

Inducao Matematica - Abramo Hefez

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

Inducao Matematica - Abramo Hefez

Enviado por

Direitos autorais:

Formatos disponíveis

inducaofinal

O Princpio de Induo Matemtica

Definio por Recorrncia . . . . . . . . . . . . . . . .

2 Induo e Mundo Material

O Enigma do Cavalo de Alexandre . . . . . . . . . . .

Descobrindo a Moeda Falsa . . . . . . . . . . . . . . .

Princpio do Menor Inteiro . . . . . . . . . . . . . . . .

O Princpio das Gavetas . . . . . . . . . . . . . . . . .

O Princpio de Induo Matemtica

Mas, afinal, o que o conjunto N dos nmeros naturais?

CAP. 1: INDUO MATEMTICA

N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA

CAP. 1: INDUO MATEMTICA

P (3), P (5) e P (9) so falsas, pois afirmam, respectivamente, que 3, 5

Aqui sabemos precisamente o que significa a sentena aberta P (n),

P (n) : n2 n + 41 um nmero primo, para todo n N.

fcil verificar que as sentenas P (1), P (2), P (3) so verdadeiras.

N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA

Mais alguns testes para confirmar a nossa suspeita? L vai, P (36),

CAP. 1: INDUO MATEMTICA

V , toda vez que n pertence a V .

N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA

(b) P (n) falsa.

A hiptese (ii) do Teorema no exige em absoluto que assumamos

CAP. 1: INDUO MATEMTICA

gerais que governam o fenmeno em estudo. Essas leis so tidas como

Gauss considerado um dos maiores gnios da matemtica de todos os tempos.

N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA

foi a surpresa quando, pouco tempo depois, o menino deu a resposta:

CAP. 1: INDUO MATEMTICA

Para no pairar nenhuma dvida sobre o nosso resultado, vamos

N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA

n(n + 1)(2n + 1) + 6(n + 1)2

Observemos inicialmente que

CAP. 1: INDUO MATEMTICA

N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA

1.1.3 Mostre, para n, m N, que

CAP. 1: INDUO MATEMTICA

Definio por Recorrncia

Recorde que fizemos objees na seo anterior ao uso dos pontinhos

N SEC. 1.2: DEFINIO POR RECORRNCIA

Para definir uma expresso En , para todo nmero natural n, basta

CAP. 1: INDUO MATEMTICA

Isso o que se chama de Progresso Aritmtica.

N SEC. 1.2: DEFINIO POR RECORRNCIA

dar sentido s somas

que se l como somatrio quando i varia de 1 at n de ai .

CAP. 1: INDUO MATEMTICA

Vamos estabelecer, por meio de induo, as propriedades usuais

Exemplo 1.2.4. Vamos provar que 3 divide 5n +2 11n , nos inteiros,

Suponha, agora, que, para algum n 1, saibamos que 3 divide

N SEC. 1.2: DEFINIO POR RECORRNCIA

Mutiplicando por 5 ambos os lados da igualdade acima, temos

Pode ocorrer que uma determinada propriedade seja vlida para

CAP. 1: INDUO MATEMTICA

Demonstrao: Defina o conjunto

N SEC. 1.2: DEFINIO POR RECORRNCIA

soluo (a, b), devemos ter a 1 ou b 1.

CAP. 1: INDUO MATEMTICA

c) 1.1! + 2.2! + 3.3! + + n.n! = (n + 1)! 1.

1.2.3 Se sen 6= 0, mostre que, para todo n N, vale a igualdade:

1.2.4 Para todo n N, mostre que, nos inteiros,

d) 9 divide n4n+1 (n + 1)4n + 1.

1.2.5 Mostre que