Escolar Documentos
Profissional Documentos
Cultura Documentos
Inducao Matematica - Abramo Hefez
Inducao Matematica - Abramo Hefez
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
. . . . . . . . . .
1.2
14
1.3
Progresses . . . . . . . . . . . . . . . . . . . . . . . .
23
29
2.1
A Torre de Hani . . . . . . . . . . . . . . . . . . . . .
29
2.2
33
2.3
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
54
3.4
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
inducaofinal
2008/8/13
page 2
Estilo OBMEP
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
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 (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.
inducaofinal
2008/8/13
page 5
Estilo OBMEP
inducaofinal
2008/8/13
page 6
Estilo OBMEP
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
inducaofinal
2008/8/13
page 8
Estilo OBMEP
inducaofinal
2008/8/13
page 9
Estilo OBMEP
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
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
1
1
n
1
+
+ +
=
.
1.2 2.3
n(n + 1)
n+1
(1.3)
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
1.1.2 Mostre, por induo, a validade das seguintes frmulas:
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
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
inducaofinal
2008/8/13
page 15
Estilo OBMEP
15
inducaofinal
2008/8/13
page 16
Estilo OBMEP
16
inducaofinal
2008/8/13
page 17
Estilo OBMEP
17
inducaofinal
2008/8/13
page 18
Estilo OBMEP
18
inducaofinal
2008/8/13
page 19
Estilo OBMEP
19
inducaofinal
2008/8/13
page 20
Estilo OBMEP
20
inducaofinal
2008/8/13
page 21
Estilo OBMEP
21
Problemas
1.2.1 Mostre, por induo, a validade das seguintes frmulas:
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
bn+1 an+1
.
ba
b) 9 divide 4n + 6n 1.
c) 8 divide 32n + 7.
.
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
1.3
Progresses
se n 2.
a3 = a2 + r = a1 + 2r,
a4 = a3 + r = a1 + 3r.
inducaofinal
2008/8/13
page 24
Estilo OBMEP
24
(1.4)
=
=
a1
an
+
+
a2
an1
+ +
+ +
an
a1
inducaofinal
2008/8/13
page 25
Estilo OBMEP
25
(a1 + an )n
.
2
se n 2.
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 ,
...
inducaofinal
2008/8/13
page 26
Estilo OBMEP
26
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)
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
inducaofinal
2008/8/13
page 29
Estilo OBMEP
Captulo 2
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
inducaofinal
2008/8/13
page 31
Estilo OBMEP
31
inducaofinal
2008/8/13
page 32
Estilo OBMEP
32
inducaofinal
2008/8/13
page 33
Estilo OBMEP
33
2.2
inducaofinal
2008/8/13
page 34
Estilo OBMEP
34
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
2.3
35
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
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
1(1 + 1)
+ 1 = 2.
2
inducaofinal
2008/8/13
page 37
Estilo OBMEP
37
n(n + 1)
(n + 1)(n + 2)
+1+n+1=
+ 1,
2
2
2.5
Os Coelhos de Fibonacci
inducaofinal
2008/8/13
page 38
Estilo OBMEP
38
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
u1 = u2 = 1.
inducaofinal
2008/8/13
page 39
Estilo OBMEP
39
(2.1)
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
inducaofinal
2008/8/13
page 40
Estilo OBMEP
40
cujas solues so
1+ 5
q1 =
2
1 5
e q2 =
.
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
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
ai = a1 + a2 + + an .
i=1
inducaofinal
2008/8/13
page 43
Estilo OBMEP
43
(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
i=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 ,
n
X
i=1
i=1
(ai+1 ai ) =
inducaofinal
2008/8/13
page 45
Estilo OBMEP
45
n
X
i(i + 1).
i=1
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.
(pi+1 pi ) =
n1
X
(i + 1).
i=1
pn =
inducaofinal
2008/8/13
page 47
Estilo OBMEP
47
n
n
X
X
[(i + 1)4 i4 ] =
(4i3 + 6i2 + 4i + 1).
i=1
i=1
Pn
Pn
Pn
+6
Pn
i=1 i
i=1 i
2
i=1 i
+4
i=1 i
+n=
3
i=1 i =
n4 + 2n3 + n2
n(n + 1) 2
=
.
4
2
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
Problemas
Pn
i=1 i
5.
inducaofinal
2008/8/13
page 49
Estilo OBMEP
49
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
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
inducaofinal
2008/8/13
page 50
Estilo OBMEP
50
n
. Se i > n, cmodo
i
n
=n e
1
n
=1
n
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
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
inducaofinal
2008/8/13
page 53
Estilo OBMEP
53
Problemas
i
i+1
n
n+1
+
+ +
=
.
i
i
i
i+1
n
n+1
n+2
n+m
n+m+1
+
+
+ +
=
.
0
1
2
m
m
k
X
m
n
n+m
=
.
i
ki
k
i=0
2n
=
.
n
n
o nmero de subconjuntos distintos com
i
inducaofinal
2008/8/13
page 54
Estilo OBMEP
54
n
n
n1
;
<
, se 0 i <
2
i
i+1
e que
n
n
n1
>
, se i >
i
i+1
2
3.3
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
55
inducaofinal
2008/8/13
page 56
Estilo OBMEP
56
inducaofinal
2008/8/13
page 57
Estilo OBMEP
57
inducaofinal
2008/8/13
page 58
Estilo OBMEP
58
inducaofinal
2008/8/13
page 59
Estilo OBMEP
59
inducaofinal
2008/8/13
page 60
Estilo OBMEP
60
X
i1 +i2 ++im =n
n!
ai1 ai2 aimm .
i1 !i2 ! im ! 1 2
inducaofinal
2008/8/13
page 61
Estilo OBMEP
61
X n
(a1 + + am )i ajm+1 .
i
i+j=n
(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 !
inducaofinal
2008/8/13
page 62
Estilo OBMEP
62
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
n!
= mn .
i1 !i2 ! im !
inducaofinal
2008/8/13
page 63
Estilo OBMEP
63
3.4
inducaofinal
2008/8/13
page 64
Estilo OBMEP
64
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
inducaofinal
2008/8/13
page 67
Estilo OBMEP
67
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
3.5
Desigualdades
inducaofinal
2008/8/13
page 69
Estilo OBMEP
69
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
a1 + a2 2 a21 a22 a1 a2
a1 a2 =
=
+
+
,
2
4
4
2
(3.2)
inducaofinal
2008/8/13
page 70
Estilo OBMEP
70
a2 2 a21 a22 a1 a2
=
+
= 0,
2
4
4
2
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+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
Mas,
a1 b1 + an+1 = a1 a1 an+1 + an+1 = 1 (1 a1 )(1 an+1 ) > 1, (3.4)
inducaofinal
2008/8/13
page 73
Estilo OBMEP
73
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
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
Problemas
3.5.1 Se x um nmero real positivo, mostre que
xn + xn2 + +
1
1
+
n + 1.
xn2 xn
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
inducaofinal
2008/8/13
page 76
Estilo OBMEP
76
n(n 1)x2n
.
2
r
0 xn
2
.
n1
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
Captulo 3
3.1.1 a)
n(n + 1)(2n + 7)
12
3.1.1 b)
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