Indução Matemática PDF

inducaofinal
2009/6/30
i i page 1
Estilo OBMEP
i i
Induo Matemtica
Abramo Hefez
i i
i i
inducaofinal
2009/6/30
i i page 2
Estilo OBMEP
i i
Texto j revisado pela nova ortografia.
i i
i i
inducaofinal
2009/6/30
i i page 3
Estilo OBMEP
i i
Sobre o Autor
Abramo Hefez nasceu no Egito, mas brasileiro por opo e ca-

rioca 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 Fe-
deral Fluminense, onde desenvolve atividades de pesquisa e leciona
na graduao e ps-graduao. Foi eleito recentemente membro da
Academia Brasileira de Cincias.
i i
i i
inducaofinal
2009/6/30
i i page 4
Estilo OBMEP
i i
i i
i i
inducaofinal
2009/6/30
i i page i
Estilo OBMEP
i i
Sumrio
1 Induo Matemtica 1
1.1 O Princpio de Induo Matemtica . . . . . . . . . . 1
1.2 Definio 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 i
i i
inducaofinal
2009/6/30
i i page ii
Estilo OBMEP
i i
ii SUMRIO
3.3 Princpio do Menor Inteiro . . . . . . . . . . . . . . . . 59

3.4 O Princpio das Gavetas . . . . . . . . . . . . . . . . . 68
3.5 Desigualdades . . . . . . . . . . . . . . . . . . . . . . . 73
Respostas 83
i i
i i
inducaofinal
2009/6/30
i i page iii
Estilo OBMEP
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 figuraria na minha lista.
com o conceito de Induo que se estabelece o primeiro con-
tato 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 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
i i
i i
inducaofinal
2009/6/30
i i page iv
Estilo OBMEP
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
i i
i i
inducaofinal
2009/6/30
i i page v
Estilo OBMEP
i i
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-
suficiente 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 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
i i
i i
inducaofinal
2009/6/30
i i page vi
Estilo OBMEP
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.
i i
i i
inducaofinal
2009/6/30
i i page 1
Estilo OBMEP
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, afinal, 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,
i i
i i
inducaofinal
2009/6/30
i i page 2
Estilo OBMEP
i i
2 CAP. 1: INDUO MATEMTICA
Ocorre, porm, que dificilmente 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 dificuldade de descrev-los de modo su-
ficientemente 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 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 os subconjuntos, temos que S1 S2 possui
as propriedades (1) e (2), logo pela propriedade (3) segue que
S1 = S1 S2 = S2 .
i i
i i
inducaofinal
2009/6/30
i i page 3
Estilo OBMEP
i i
N 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 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;
i i
i i
inducaofinal
2009/6/30
i i page 4
Estilo OBMEP
i i
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, en-
quanto 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 cu-
jos valores nos nmeros inteiros sejam sempre nmeros primos.
i i
i i
inducaofinal
2009/6/30
i i page 5
Estilo OBMEP
i i
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 descober-
ta? 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.
i i
i i
inducaofinal
2009/6/30
i i page 6
Estilo OBMEP
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) = 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 .
i i
i i
inducaofinal
2009/6/30
i i page 7
Estilo OBMEP
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 verificada,
pois P (1) : 1 = 2 falsa!
preciso ter clareza que a Induo Matemtica diferente da
i i
i i
inducaofinal
2009/6/30
i i page 8
Estilo OBMEP
i i
induo emprica das cincias naturais, em que comum, aps um

certo nmero, necessariamente finito, 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
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. Dia-

riamente, ao entardecer, a boa senhora levava milho s galinhas. No
primeiro dia, a galinha, desconfiada, 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.
i i
i i
inducaofinal
2009/6/30
i i page 9
Estilo OBMEP
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
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,
n(n + 1)
Sn = .
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.
i i
i i
inducaofinal
2009/6/30
i i page 10
Estilo OBMEP
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
n(n + 1)
P (n) : 1 + 2 + + n = . (1.1)
2
Note que
1(1 + 1)
P (1) : 1=
2
verdadeira.
Observe tambm que
(n + 1)(n + 2)
P (n + 1) : 1 + 2 + + n + (n + 1) = .
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
n(n + 1)
1 + 2 + + n + (n + 1) = +n+1
2
n(n + 1) + 2(n + 1)
=
2
(n + 1)(n + 2)
= ,
2
o que estabelece a veracidade de P (n + 1).
i i
i i
inducaofinal
2009/6/30
i i page 11
Estilo OBMEP
i i
Pelo teorema, tem-se que a frmula P (n) verdadeira para todo

n N.
Exemplo 1.1.2. Queremos validar a frmula
n(n + 1)(2n + 1)
P (n) : 12 + 22 + + n2 = . (1.2)
6
Note que
1(1 + 1)(2 + 1)
P (1) : 12 =
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
n(n + 1)(2n + 1)
12 + 22 + + n2 + (n + 1)2 = + (n + 1)2
6
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
i i
i i
inducaofinal
2009/6/30
i i page 12
Estilo OBMEP
i i
frmula:
1 1 1 n
P (n) : + + + = . (1.3)
1.2 2.3 n(n + 1) n+1
Observemos inicialmente que
1 1
P (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.
1
Somando a ambos os lados dessa igualdade , temos
(n + 1)(n + 2)
que
1 1 1 1 n 1
+ + + + = +
1.2 2.3 n(n + 1) (n + 1)(n + 2) n + 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:
n(n + 1)
(a) 1 22 + 32 + (1)n1 n2 = (1)n1 .
2
i i
i i
inducaofinal
2009/6/30
i i page 13
Estilo OBMEP
i i
1
(b) 12 + 32 + + (2n 1)2 = n(2n 1)(2n + 1).
3
2
n(n + 1)
(c) 13 + 23 + + n3 = .
2
1 1 1 n
(a) + + + = .
1.3 3.5 (2n 1)(2n + 1) 2n + 1
1 1 1 1 n
(b) + + + + = .
1.4 4.7 7.10 (3n 2)(3n + 1) 3n + 1
1 1 1 1 n
(c) + + + + = .
1.5 5.9 9.13 (4n 3)(4n + 1) 4n + 1
1 1 1 n(n + 3)
(d) + + + = .
1.2.3 2.3.4 n(n + 1)(n + 2) 4(n + 1)(n + 2)
12 22 n2 n(n + 1)
(e) + + + = .
1.3 3.5 (2n 1)(2n + 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 + m 1) =
1
n(n + 1) (n + m).
m+1
Sugesto: Fixe m arbitrrio e proceda por induo sobre n.
i i
i i
inducaofinal
2009/6/30
i i page 14
Estilo OBMEP
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) : 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:
n(n + 1)
P (n) : 1 + 2 + + n = + 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.
1.2 Definio por Recorrncia
Recorde que fizemos 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 infinito) 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,
i i
i i
inducaofinal
2009/6/30
i i page 15
Estilo OBMEP
i i
N 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 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.
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.
i i
i i
inducaofinal
2009/6/30
i i page 16
Estilo OBMEP
i i
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 sequncia? Certamente voc j foi apre-
sentado seguinte definio:
Seja a1 , a2 , . . . , an , . . . uma sequncia de nmeros em que cada

elemento an , a partir do segundo, igual ao anterior an1 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
i i
i i
inducaofinal
2009/6/30
i i page 17
Estilo OBMEP
i i
A, significa dar uma funo
a : N A
n 7 a(n)
A definio 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 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 sequncia de elementos de um con-

junto munido de uma adio sujeita s leis bsicas da aritmtica. Para
dar sentido s somas
Sn = a1 + a2 + + an ,
basta definir recorrentemente Sn .
i i
i i
inducaofinal
2009/6/30
i i page 18
Estilo OBMEP
i i
Pomos S1 = a1 e, supondo Sn definido, definimos
Sn+1 = Sn + an+1 .
Somas como Sn sero tambm denotadas com a notao de so-

matrios:
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.
Vamos estabelecer, por meio de induo, as propriedades usuais

das potncias.
i i
i i
inducaofinal
2009/6/30
i i page 19
Estilo OBMEP
i i
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 pro-
priedade 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.
Suponha, agora, que, para algum n 1, saibamos que 3 divide
5n + 2 11n . Logo, existe um nmero inteiro a tal que
5n + 2 11n = 3a.
i i
i i
inducaofinal
2009/6/30
i i page 20
Estilo OBMEP
i i
Multiplicando 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 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.
i i
i i
inducaofinal
2009/6/30
i i page 21
Estilo OBMEP
i i
Ento, P (n) verdadeira para todo nmero natural n a.
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.
Consequentemente, P (n) verdadeira para todo n a.
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, 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).
i i
i i
inducaofinal
2009/6/30
i i page 22
Estilo OBMEP
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 n0 = 8 o menor valor de n para o qual a equao tem
soluo para todo n n0 .
i i
i i
inducaofinal
2009/6/30
i i page 23
Estilo OBMEP
i i
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)!
(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+1 an+1
bn + abn1 + a2 bn2 + + an1 b + an = .
ba
1.2.3 Se sen 6= 0, mostre que, para todo n N, vale a igualdade:
sen 2n+1
cos cos 2 cos 22 cos 2n =
2n+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 34n 1; (b) 9 divide 4n + 6n 1;
(c) 8 divide 32n + 7; (d) 9 divide n4n+1 (n + 1)4n + 1.
i i
i i
inducaofinal
2009/6/30
i i page 24
Estilo OBMEP
i i
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
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 sequncia

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.
i i
i i
inducaofinal
2009/6/30
i i page 25
Estilo OBMEP
i i
N SEC. 1.3: PROGRESSES 25
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

sequncia, observe que
a2 = a1 + r, a3 = a2 + r = a1 + 2r, a4 = a3 + r = a1 + 3r.
Pelo mtodo da galinha de Bertrand Russel, j podemos adivi-

nhar 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.
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,
i i
i i
inducaofinal
2009/6/30
i i page 26
Estilo OBMEP
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
ai + ani+1 = [a1 + (i 1)r] + [a1 + (n i)r]

= a1 + a1 + (n 1)r (1.4)
= a1 + an .
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 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
Sn = a1 + a2 + + an
Sn = an + an1 + + a1
.
2Sn = (a1 + an ) + (a2 + an1 ) + + (an + a1 )
Da, segue-se que 2Sn = (a1 + an )n e, portanto,
(a1 + an )n
Sn = .
2
i i
i i
inducaofinal
2009/6/30
i i page 27
Estilo OBMEP
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 (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

sequncia, 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, pode-

mos 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 .
Suponha, agora, que a frmula seja correta para algum n N,
isto , que an = a1 q n1 . Multiplicando por q ambos os lados dessa
i i
i i
inducaofinal
2009/6/30
i i page 28
Estilo OBMEP
i i
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 q + a1 q 2 + + a1 q n1 + a1 q n
a1 a1 q a1 q 2 a1 q n1
= a1 q n a1 .
Portanto,
a1 q n a1 an q a1
Sn = = .
q1 q1
Problemas
1.3.1 Ache uma frmula fechada para cada uma das somas:
i i
i i
inducaofinal
2009/6/30
i i page 29
Estilo OBMEP
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 + + 2n .
1 1 1
(b) + + + n.
2 4 2
Para quanto tende a soma em (b) quando o nmero de parcelas au-

menta indefinidamente?
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 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 fica conhecendo o boato.
1.3.5 Uma progresso aritmtico-geomtrica uma sequncia (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.
i i
i i
inducaofinal
2009/6/30
i i page 30
Estilo OBMEP
i i
q n1 1
(a) Mostre que an = a1 q n1 + r .
q1
(b) Se Sn = a1 + + an , mostre que
qn 1 qn 1 n
Sn = a1 +r 2
+r .
q1 (q 1) 1q
(c) Ache o termo geral e a soma dos n primeiros termos da pro-

gresso aritmtico-geomtrica onde a1 = 1, q = 2 e r = 1.
i i
i i
inducaofinal
2009/6/30
i i page 31
Estilo OBMEP
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 fincadas trs hastes. Numa das
hastes, esto enfiados os discos, de modo que nenhum disco esteja
sobre um outro de dimetro menor (veja figura a seguir).
31
i i
i i
inducaofinal
2009/6/30
i i page 32
Estilo OBMEP
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 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
i i
i i
inducaofinal
2009/6/30
i i page 33
Estilo OBMEP
i i
N 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, 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
i i
i i
inducaofinal
2009/6/30
i i page 34
Estilo OBMEP
i i
para todo n N.
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 pro-
blema 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
i i
i i
inducaofinal
2009/6/30
i i page 35
Estilo OBMEP
i i
N 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 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 resul-

tado vlido para conjuntos contendo n cavalos. Considere um con-
junto
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 },
i i
i i
inducaofinal
2009/6/30
i i page 36
Estilo OBMEP
i i
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 ,
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
i i
i i
inducaofinal
2009/6/30
i i page 37
Estilo OBMEP
i i
N 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 2n 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 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
i i
i i
inducaofinal
2009/6/30
i i page 38
Estilo OBMEP
i i
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.
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:
n(n + 1)
pn = + 1.
2
Para n = 1, ou seja, com apenas um corte, claro que s podemos

obter dois pedaos. Portanto, a frmula est correta, pois
1(1 + 1)
p1 = + 1 = 2.
2
Admitamos agora que, para algum valor de n, a frmula para pn
i i
i i
inducaofinal
2009/6/30
i i page 39
Estilo OBMEP
i i
N SEC. 2.4: A PIZZA DE STEINER 39
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).
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,
n(n + 1) (n + 1)(n + 2)
pn+1 = pn + n + 1 = +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?
i i
i i
inducaofinal
2009/6/30
i i page 40
Estilo OBMEP
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:
nmero de casais nmero de casais

ms total
do ms anterior recm-nascidos
1o 0 1 1
2o 1 0 1
3o 1 1 2
4o 2 1 3
5o 3 2 5
6o 5 3 8
7o 8 5 13
8o 13 8 21
9o 21 13 34
10o 34 21 55
11o 55 34 89
12o 89 55 144
i i
i i
inducaofinal
2009/6/30
i i page 41
Estilo OBMEP
i i
N 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
un , temos, ento, que
un = un1 + un2 , u1 = u2 = 1.
Essas relaes definem, 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 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 sequncia quando so dados x1 e
x2 . A sequncia de Fibonacci corresponde recorrncia (2.1), onde
x1 = x2 = 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 define um elemento de uma sequncia a
partir de termos anteriores.
i i
i i
inducaofinal
2009/6/30
i i page 42
Estilo OBMEP
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

n n
1+ 5
2 12 5
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 ,
cujas solues so

1+ 5 1 5
q1 = e q2 = .
2 2
Defina vn = q1n e wn = q2n . Note que, como as duas sequncias vn

e wn satisfazem recorrncia (2.1), ento, para quaisquer e reais,
a sequncia 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 .
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
1+ 5
nmero
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?
i i
i i
inducaofinal
2009/6/30
i i page 43
Estilo OBMEP
i i
N SEC. 2.5: OS COELHOS DE FIBONACCI 43
Leonardo de Pisa (1170-1250), filho 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) 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
u3n+2 1
u3 + u6 + u9 + + u3n = .
2
2.5.4 Dada a recorrncia an+2 = 2an+1 + an , com a1 = 1 e a2 = 3,

ache uma frmula para an .
i i
i i
inducaofinal
2009/6/30
i i page 44
Estilo OBMEP
i i
2.5.5 Mostre que a recorrncia vn = 3vn1 2vn2 , v0 = 2 e v1 = 3

tem por soluo vn = 2n + 1.
i i
i i
inducaofinal
2009/6/30
i i page 45
Estilo OBMEP
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 (an ) uma sequncia em A, definimos o somatrio dos seus n
primeiros termos como sendo
n
X
ai = a1 + a2 + + an .
i=1
45
i i
i i
inducaofinal
2009/6/30
i i page 46
Estilo OBMEP
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 (ai ), (bi ) duas sequncias de elementos do

conjunto A e seja c A. Ento,
Xn n
X n
X
(i) (ai + bi ) = ai + bi ;
i=1 i=1 i=1
n
X n
X
(ii) c ai = c ai ;
i=1 i=1
n
X
(iii) (ai+1 ai ) = an+1 a1 ;
i=1
n
X
(iv) 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 sequncia (cn ),
i i
i i
inducaofinal
2009/6/30
i i page 47
Estilo OBMEP
i i
N SEC. 3.1: SOMATRIOS 47
onde, para cada n N, define-se cn = an + bn .

Provemos o resultado por induo sobre n. Para n = 1, temos que
1
X 1
X 1
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 Pn
i=1 (ai + bi ) = i=1 (ai + bi ) + (an+1 + bn+1 ) =
Pn Pn
i=1 ai + i=1 bi + (an+1 + bn+1 ) =
Pn Pn Pn+1 Pn+1
i=1 ai + an+1 + i=1 bi + bn+1 = i=1 ai + 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
X1
(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
i i
i i
inducaofinal
2009/6/30
i i page 48
Estilo OBMEP
i i
n. Logo,
n+1
X n
X
(ai+1 ai ) = (ai+1 ai ) + (an+2 an+1 ) =
i=1 i=1
an+1 a1 + an+2 an+1 = an+2 a1 ,
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.
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

n
X
Sn = i(i + 1).
i=1
Ora, aplicando o item (i) da proposio acima, temos

Pn Pn 2
Pn
Sn = i=1 i(i + 1). = i=1 i + i=1 i =
(12 + 22 + + n2 ) + (1 + 2 + + n),
i i
i i
inducaofinal
2009/6/30
i i page 49
Estilo OBMEP
i i
somas estas que j calculamos nos Exemplos 1.1.1 e 1.1.2. Portanto,

temos que
n(n + 1)(2n + 1) n(n + 1) n(n + 1)(n + 2)

Sn = + = .
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.
Exemplo 3.1.2. Vamos deduzir a expresso do termo geral da recor-

rncia 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 n1
X
(pi+1 pi ) = (i + 1).
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
i i
i i
inducaofinal
2009/6/30
i i page 50
Estilo OBMEP
i i
(n 1)n
+ n 1. Portanto, temos que
2
(n 1)n n(n + 1)
pn = +n1+2= + 1.
2 2
Exemplo 3.1.3. Seja i N e considere a seguinte identidade:1
(i + 1)4 = i4 + 4i3 + 6i2 + 4i + 1.
Da, segue que
(i + 1)4 i4 = 4i3 + 6i2 + 4i + 1.
Tomando os somatrios de ambos os membros da igualdade acima

e notando que o lado esquerdo uma soma telescpica, obtemos
n
X n
X
4 4 4
(n + 1) 1 = [(i + 1) i ] = (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,
1
Esta identidade, que pode ser verificada diretamente, um caso particular da
frmula do binmio de Newton, que estudaremos em geral na prxima seo.
i i
i i
inducaofinal
2009/6/30
i i page 51
Estilo OBMEP
i i
obtemos
Pn
(n + 1)4 1 = i=1 (4i
3 + 6i2 + 4i + 1) =
Pn 3
Pn 2
Pn
4 i=1 i +6 i=1 i +4 i=1 i +n=
Pn 3
4 i=1 i + n(n + 1)(2n + 1) + 2n(n + 1) + n.
Da, segue que
Pn 3 (n + 1)4 1 n(n + 1)(2n + 1) 2n(n + 1) n

i=1 i = =
4

n4 + 2n3 + n2 n(n + 1) 2
= .
4 2
Obtemos, assim, a frmula do Problema 1.1.1 (i):

2
3 3 n(n + 1)
3
1 + 2 + + n = .
2
possvel generalizar este procedimento para obter frmulas

recorrentes para as somas
1p + 2p + + np ,
quando p varia nos naturais (veja Problema 3.1.2).
i i
i i
inducaofinal
2009/6/30
i i page 52
Estilo OBMEP
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 + 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
P
para ni=1 i4 .
i i
i i
inducaofinal
2009/6/30
i i page 53
Estilo OBMEP
i i
Pn 5.
(b) Pense em um modo de calcular i=1 i Mostre como isto pode
ser generalizado.
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.
2 3 n
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
1 1 1
Sn = + + + .
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
i i
i i
inducaofinal
2009/6/30
i i page 54
Estilo OBMEP
i i
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
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-
n
nomiais e denotados pelos smbolos ai = . Se i > n, cmodo
i
n
definir = 0.
i
Observe que, tomando X = 1 no desenvolvimento de (1 + X)n ,
obtemos a seguinte identidade:

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

nomiais.
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, respecti-
i i
i i
inducaofinal
2009/6/30
i i page 55
Estilo OBMEP
i i
N SEC. 3.2: BINMIO DE NEWTON 55
vamente, 1, n e 1, temos que

n n n
= 1, =n e = 1.
0 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
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
+ X + + Xn + X n+1 =
0 1 n n+1

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

n n n n n n n
+ + X + + + X + X n+1 .
0 0 1 n1 n n
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
i i
i i
inducaofinal
2009/6/30
i i page 56
Estilo OBMEP
i i
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.
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(n 1) (n i + 1) 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
i i
i i
inducaofinal
2009/6/30
i i page 57
Estilo OBMEP
i i
N 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

n n1 n n2 2 n
(a + b)n = an + a b+ a b + + abn1 + bn .
1 2 n1
Demonstrao. Se a = 0, o resultado bvio. Se a 6= 0, substitua X

b
por na expanso de (1 + X)n e multiplique ambos os lados por
a
an .
Exemplo 3.2.1.
(a + b)2 = a2 + 2ab + b2 .
(a + b)3 = a3 + 3a2 b + 3ab2 + b3 .
(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
i i
i i
inducaofinal
2009/6/30
i i page 58
Estilo OBMEP
i i
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:
Xk
m n n+m
= .
i=0
i ki k
(b) Em particular, deduza a identidade de Lagrange:

n 2
X
n 2n
= .
i=0
i n
3.2.4

n
(a) Mostre que o nmero de subconjuntos distintos com i
i
elementos de um conjunto com n elementos.
(b) Mostre que o conjunto das partes de um conjunto com n ele-

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

n n n
+ + + = 2n .
0 1 n
i i
i i
inducaofinal
2009/6/30
i i page 59
Estilo OBMEP
i i
N SEC. 3.3: PRINCPIO DO MENOR INTEIRO 59
3.2.5 Seja n N. Mostre que

n n n1
< , se 0 i < ; e que
i i+1 2

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 pro-
priedades:
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, analoga-
mente, a0 a, o que implica que a = a0 .
O menor elemento de S, quando existe, denotado por min S.

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 verific-
las sem grande esforo.
i i
i i
inducaofinal
2009/6/30
i i page 60
Estilo OBMEP
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 = .
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.
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,
i i
i i
inducaofinal
2009/6/30
i i page 61
Estilo OBMEP
i i
o que prova que, para todo n, temos que In 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 afirmao 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 6 W , segue-se que existe n tal que k = a + n > a. Portanto,
i i
i i
inducaofinal
2009/6/30
i i page 62
Estilo OBMEP
i i
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 .
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 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
verdadeiro quando n = 1, j que, neste caso, 1 = n m.
i i
i i
inducaofinal
2009/6/30
i i page 63
Estilo OBMEP
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 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.
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 desigual-

dades 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.
i i
i i
inducaofinal
2009/6/30
i i page 64
Estilo OBMEP
i i
Seja S o subconjunto dos naturais que no admitem uma repre-

sentao como acima. Queremos mostrar que S = .
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 ele-
mento. 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.
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 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
i i
i i
inducaofinal
2009/6/30
i i page 65
Estilo OBMEP
i i
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 .
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 pra-
to da balana. Se a moeda falsa est neste lote, com o mtodo discu-
tido 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 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
X n!
(a1 + a2 + + am )n = ai1 ai2 aimm .
i1 !i2 ! im ! 1 2
i1 +i2 ++im =n
Demonstrao. A prova ser por induo completa sobre m. Se
i i
i i
inducaofinal
2009/6/30
i i page 66
Estilo OBMEP
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,
X n
(a1 + + am + am+1 ) = n
(a1 + + am )i ajm+1 .
i+j=n
i
A hiptese de induo nos fornece

X i!
(a1 + + am )i = ai11 ai22 aimm ;
i1 +i2 ++im =i
i1 !i2 ! i m !
logo,
(a1 + + am + am+1 )n =
X n X i!
ai11 ai22 aimm ajm+1 =
i i1 !i2 ! im !
i+j=n i1 +i2 ++im =i
X X
n i!
ai1 ai2 aimm ajm+1 =
i i1 !i2 ! im ! 1 2
i+j=n i1 +i2 ++im =i
X n! im+1
ai11 ai22 aimm am+1 ,
i1 !i2 ! im !im+1 !
i1 +i2 ++im +im+1 =n
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,
i i
i i
inducaofinal
2009/6/30
i i page 67
Estilo OBMEP
i i
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
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
n
X
Sr (n) = 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 n!
= mn .
i1 !i2 ! im !
i1 +i2 ++im =n
i i
i i
inducaofinal
2009/6/30
i i page 68
Estilo OBMEP
i i
3.3.5 Seja (un ) a sequncia de Fibonacci. Dados n, m N, com

n 2, mostre que:
(a) un+m = un1 um + un um+1 ;
(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 obje-
i i
i i
inducaofinal
2009/6/30
i i page 69
Estilo OBMEP
i i
N 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
i i
i i
inducaofinal
2009/6/30
i i page 70
Estilo OBMEP
i i
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
o desejado.
Exemplo 3.4.2. Existem n 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
reflexiva: 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,
i i
i i
inducaofinal
2009/6/30
i i page 71
Estilo OBMEP
i i
N 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 afirmao.
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, 32 , . . . , 32 007 .
i i
i i
inducaofinal
2009/6/30
i i page 72
Estilo OBMEP
i i
Esta sequncia composta de 2 008 nmeros. Portanto, pelo Prin-

cpio das Gavetas, dois desses, digamos 3n e 3m , com n > m, tm
mesmo resto quando divididos por 2 007. Logo, a sua diferena 3n 3m
divisvel por 2 007 (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
por 1 000. Logo, 3n 3m = 3m (3nm 1) divisvel por 1 000. Como
1 000 e 3m no tm fatores comuns, 1 000 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 mlti-
plo 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 princ-
pio 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 emprestados de

www.cut the knot.org/do you know/pigeon.shtml,
onde voc poder encontrar muitos outros.
i i
i i
inducaofinal
2009/6/30
i i page 73
Estilo OBMEP
i i
N SEC. 3.5: DESIGUALDADES 73
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 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 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
i i
i i
inducaofinal
2009/6/30
i i page 74
Estilo OBMEP
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 + 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.
Mdias so objetos matemticos que tm muitas aplicaes na

vida real. H vrias mdias; definiremos aqui trs delas, que relacio-
naremos entre si.
Dados nmeros reais positivos a1 , a2 , . . . , an , os nmeros

a1 + a2 + + an
An = , Gn = n
a1 a2 an , e
n
n
Hn = ,
1 1 1
+ + +
a1 a2 an
so chamados, respectivamente, de Mdia Aritmtica, Mdia Geom-

trica 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
i i
i i
inducaofinal
2009/6/30
i i page 75
Estilo OBMEP
i i
que faremos a seguir.

Note que
a a2 2 a21 a22 a1 a2
1
0 = + ,
2 2 4 4 2
o que implica
a21 a22 a1 a2 a1 a2 2
a1 a2 + + = + , (3.2)
4 4 2 2 2
seguindo da que
a1 + a2
a1 a2 .
2
Na desigualdade acima, valer a igualdade se, e somente se,
2
a1 + a2 a21 a22 a1 a2
a1 a2 = = + + ,
2 4 4 2
o que ocorre se, e somente se,

a a2 2 a21 a22 a1 a2
1
= + = 0,
2 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,

2a1 a2 (a1 + a2 ) a1 a2
i i
i i
inducaofinal
2009/6/30
i i page 76
Estilo OBMEP
i i
e, portanto,
2
a1 a2 .
1 1
+
a1 a2
No difcil verificar (faa-o) que, tambm neste caso, vale a igual-

dade 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 qua-

drado 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,
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-
i i
i i
inducaofinal
2009/6/30
i i page 77
Estilo OBMEP
i i
mente, 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.
1o Caso: Todos os nmeros so iguais, ou seja,
a1 = a2 = = an+1 .
Neste caso, eles tm que ser iguais a 1. Portanto,
a1 + + an+1 = n + 1,
e o resultado, neste caso, vale para n + 1.
i i
i i
inducaofinal
2009/6/30
i i page 78
Estilo OBMEP
i i
2o Caso: 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,
a1 a2 an1 an
+ + + + n,
a2 a3 an a1
valendo a igualdade se, e somente se, a1 = a2 = = an .
a1 a2 an1 an
Demonstrao. claro que = 1; logo, pelo teorema
a2 a3 an a1
anterior, segue a desigualdade desejada. A igualdade vale se, e so-
mente se,
a1 a2 an1 an
= = = = = 1,
a2 a3 an a1
o que equivale a dizer que a1 = a2 = = an .
i i
i i
inducaofinal
2009/6/30
i i page 79
Estilo OBMEP
i i
Exemplo 3.5.3. Para todo x real, vale a desigualdade:
x2 + 2
2.
x2 + 1
De fato, temos que
x2 + 2 x2 + 1 1 p 1
= + = x2 + 1 + .
2
x +1 2
x +1 2
x +1 2
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 = n
a1 an ,
segue que r
a1 an
1= n ,
g g
isto ,
a1 an
= 1.
g g
i i
i i
inducaofinal
2009/6/30
i i page 80
Estilo OBMEP
i i
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 so-

mente se, a1 /g = a2 /g = = an /g, o que ocorre se, e somente se,
a1 = a2 = = an .
Exemplo 3.5.5. Para n 2, vale a desigualdade:

n
n+1
n! < .
2
De fato, pelo Teorema 3.5.2, temos que

n

n 1 + 2 + + n n+1
n! = 1 2 n < = .
n 2
O resultado segue elevando potncia n ambos os lados da de-

sigualdade 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 a1 1
1 + + an 1
= n
a1 1
1 an = ,
Gn n Hn
provando assim a desigualdade. A igualdade vale se, e somente se,

a1 1 1
1 = a2 = = an , o que equivale ao fato de que a1 = a2 = =
an .
i i
i i
inducaofinal
2009/6/30
i i page 81
Estilo OBMEP
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:
1 1
xn + xn2 + + + 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 ap1 + + apn
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
i i
i i
inducaofinal
2009/6/30
i i page 82
Estilo OBMEP
i i
Bernouilli
n(n 1) 2
(1 + c)n 1 + nc + c .
2

3.5.6 Defina a sequncia (xn ), n N, pela regra xn = n
n 1.
(a) Mostre que, para todo n 2, tem-se que xn > 0.
(b) Mostre que, para todo n 2, tem-se que
n(n 1)x2n
n = (1 + xn )n .
2
(c) Conclua que r

2
0 xn .
n1

(d) Voc saberia dizer para quanto tende n n quando n cresce in-
definidamente?
Sugesto: para (b): use o Problema 3.5.5.
i i
i i
inducaofinal
2009/6/30
i i page 83
Estilo OBMEP
i i
Respostas
Captulo 1
1.3.1 (a) n(n + 1)
n(3n + 1)
1.3.1 (b)
2
1.3.2 (a) 2n+1 2
1
1.3.2 (b) 1 n . A soma tende para 1 quando n cresce indefinida-
2
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) an = 2n 1 e Sn = 2n+1 (n + 2)
83
i i
i i
inducaofinal
2009/6/30
i i page 84
Estilo OBMEP
i i
Captulo 2
n(n + 1)
2.4.1) +1
2

( 2 1)(1 + 2)n 3(1 + 2)(1 2)n
2.5.4) an =
4
Captulo 3
n(n + 1)(2n + 7)
3.1.1 (a)
12
n(n + 1)(n + 2)(n + 3)

3.1.1 (b)
4
n(4n2 + 6n 1)
3.1.1 (c)
3
n(n + 1) 2
3.1.1 (d) (n + 5n + 2)
24
n(4n2 1)
3.1.1 (e)
3
3.1.1 (f) n(2n3 n + 2)
i i
i i
inducaofinal
2009/6/30
i i page 85
Estilo OBMEP
i i
3.1.2 (a) "

n
X 2
4 1 5 n(n + 1)
i = (n + 1) 1 10
i=1
5 2

n(n + 1)(2n + 1) n(n + 1)
10 5 n .
6 2
3.4.1) No.

3.5.6 (d) n
n tende a 1 quando n cresce indefinidamente.
i i
i i

Indução Matemática PDF

Enviado por

Dados do documento

Título original

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 PDF

Enviado por

Direitos autorais:

Formatos disponíveis

inducaofinal

Texto j revisado pela nova ortografia.

Abramo Hefez nasceu no Egito, mas brasileiro por opo e ca-

2 Induo e Mundo Material 31

3.3 Princpio do Menor Inteiro . . . . . . . . . . . . . . . . 59

Se algum me perguntasse o que que todo estudante de Ensino

aqui apresentado numa primeira leitura, pois ele possui um grau de

Niteri, julho de 2007.

Departamento de Matemtica Aplicada

das operaes de adio e de multiplicao e da prova de suas pro-

Dentre todos os nmeros que o ser humano j considerou, os

1.1 O Princpio de Induo Matemtica

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

2 CAP. 1: INDUO MATEMTICA

Ocorre, porm, que dificilmente poderemos provar alguma pro-

(1) S contm o nmero 1.

(2) Toda vez que S contm um nmero n, ele necessariamente contm

(3) No existe subconjunto prprio de S satisfazendo as condies (1)

Em outras palavras, (3) nos diz que se S possui as propriedades

Vamos provar que se existe um subconjunto S dos nmeros reais

N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA 3

No estgio em que estamos no temos como provar que tal con-

Axioma: Existe um subconjunto dos reais que possui as propriedades

Esse nico subconjunto ser chamado de conjunto dos nmeros

A propriedade (3) o que se chama de Princpio de Induo

Princpio de Induo Matemtica: Dado um subconjunto S do

Esta simples propriedade fornece uma das mais poderosas tcnicas

(a) P (n) : n par.

4 CAP. 1: INDUO MATEMTICA

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

(b) P (n) : n mltiplo de 3.

(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),

A soma dos n primeiros nmeros mpares igual a n2 .

Voc consegue visualizar algum nmero natural m tal que P (m)

(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.

N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA 5

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

Como provar ento que uma sentena aberta definida sobre os

Vamos a seguir expor a tcnica da demonstrao por induo

Seja P (n) uma sentena aberta sobre os naturais e denote por V o

Para provar que P (n) verdadeira para todo n N, basta mostrar

6 CAP. 1: INDUO MATEMTICA

Basta, para isto, mostrar que 1 pertence a V e que n + 1 pertence a

Teorema 1.1.1 (Prova por Induo Matemtica). Seja P (n) uma

(i) P (1) verdadeira; e

Ento, P (n) verdadeira para todo n N.

Vejamos como usar esse mtodo para mostrar a validade, para

Observe que P (1) verdadeira, j que a frmula trivialmente

Queremos provar que P (n + 1) verdadeira. Somando 2n + 1, que

1 + 3 + + (2n 1) + (2n + 1) = n2 + (2n + 1) = (n + 1)2 .

N SEC. 1.1: O PRINCPIO DE INDUO MATEMTICA 7

Isso mostra que P (n + 1) verdadeira, toda vez que P (n) verda-

Note que, na demonstrao acima, poderia parecer que estamos

(a) P (n) verdadeira, ou (b) P (n) falsa.

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

Por exemplo, a sentena aberta P (n) : n = n + 1 satisfaz (por

preciso ter clareza que a Induo Matemtica diferente da

8 CAP. 1: INDUO MATEMTICA

induo emprica das cincias naturais, em que comum, aps um

Havia uma galinha nova no quintal de uma velha senhora. Dia-