MA12 - Unidade 2

Induo Matemtica
Semana de 04/04 a 10/04

Nesta unidade mostraremos como o Axioma da Induo, que foi apresen-

tado na Unidade 1 como um dos axiomas pilares dos nmeros naturais, nos
fornece um poderoso instrumento para provar afirmaes que envolvem esses
nmeros.

Princpio de Induo Matemtica

Recorde o Axioma (d) de Peano, apresentado na Unidade 1, cujo enunciado
reproduzimos a seguir.
Axioma da Induo: Dado um subconjunto X do conjunto dos nmeros
naturais N, tal que 1 pertence a X e sempre que um nmero n pertence a
X, o nmero n + 1 tambm pertence a X, tem-se que X = N.
Esse simples axioma nos fornece uma das mais poderosas tcnicas de
demonstrao em Matemtica, a chamada Prova pelo Princpio de Induo
2 Unidade 2

Matemtica, ou simplesmente Prova 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 toda vez que
substituirmos n por um nmero natural dado. 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; 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 verda-
deiras, pois 2, 4, 8 e 22 so pares.
b) P (n) : n mltiplo de 3.
Temos, por exemplo, que P (1), P (2), P (4) e P (5) so falsas, enquanto
P (3) e P (6) so verdadeiras.
c) P (n) : 1 + 3 + 5 + 7 + + (2n 1) = n2 .
Temos que P (1), P (2), P (3), P (4), . . . , P (10) so verdadeiras.
Aqui sabemos precisamente o que significa a sentena aberta P (n), apesar
dos pontinhos na sua definio. Ela significa:
A soma dos n primeiros nmeros mpares igual a n2 .
Voc consegue visualizar algum nmero natural m para o qual P (m) seja
falsa? Bem, aps mais algumas tentativas, voc se convencer de que esta
frmula tem grandes chances de ser verdadeira para todo nmero natural n;
ou seja, P (n) verdadeira para todo n N.
d) P (n) : n2 n + 41 um nmero primo, para todo n N.
fcil verificar que as sentenas P (1), P (2), P (3) so verdadeiras. Com
algum trabalho, possvel ir alm, verificando tambm que P (4), P (5), . . .,
P (35) so verdadeiras.
Portanto, plausvel que tenhamos encontrado um polinmio cujos valo-
res nos nmeros inteiros sejam sempre nmeros primos.
Induo Matemtica 3

Mais alguns testes para confirmar a nossa suspeita? L vai, P (36), P (37),
P (38) e P (40) so verdadeiras.
Podemos parar por aqui e nos sentir felizes com a nossa descoberta? Bom,
para satisfazer os mais cticos, faremos s mais um teste com n = 41.
Note que 412 41 + 41 = 412 no primo. Logo, para a nossa desiluso,
P (41) falsa!
Para a sua informao, pode-se provar que no existe nenhum polinmio
em uma varivel com coeficientes inteiros cujos valores nos naturais sejam
sempre nmeros primos. Portanto, no havia a priori nenhuma chance de
P (n) ser verdadeira para todo nmero natural n.
Como provar ento que uma sentena aberta definida sobre os naturais
sempre verdadeira? Voc h de convir que no seria possvel testar, um por
um, todos os nmeros naturais, pois eles so em nmero infinito. Portanto,
ser preciso encontrar algum outro mtodo.
Vamos a seguir expor a tcnica da Prova por Induo, que resolver esse
nosso problema.
Seja P (n) uma sentena aberta sobre os naturais, denotaremos por

V = {n N; P (n)},

o subconjunto dos elementos n N para os quais P (n) verdadeira.

Se quisermos mostrar que uma sentena aberta P (n) verdadeira para
todo n N, temos que mostrar que V = N. Isso pode ser feito usando o
Axioma da Induo, bastando, 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:
4 Unidade 2

Teorema 1(Princpio de 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-se que
P (n + 1) verdadeira.
Ento, P (n) verdadeira para todo n N.

Vejamos como usar esse mtodo para mostrar a validez, 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 2n 1, a ambos os lados da igualdade acima,
obtemos a igualdade tambm verdadeira:

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

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

Pelo Princpio de Induo Matemtica, a frmula vlida para todo nmero
natural n.
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?
Induo Matemtica 5

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)
a hiptese (ii) do Teorema, j que nenhum n N pertence categoria (a). O
que falha para que o Princpio de Induo nos garanta que P (n) verdadeira
para todo n que a hiptese (i) no verificada, pois P (1) : 1 = 2 falsa!

preciso ter clareza que a Induo Matemtica diferente da induo

emprica das cincias naturais, em que comum, aps um certo nmero
de experimentos, necessariamente finito, 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, fil-
sofo e grande humanista ingls do sculo passado, Bertrand Russel (1872-
1970), de induo galincea, com base na seguinte historinha:

Havia uma galinha nova no quintal de uma velha senhora. Diariamente,

ao entardecer, a boa senhora levava milho s galinhas. No primeiro dia, a
galinha, desconfiada, esperou que a senhora se retirasse para se alimentar.
No segundo dia, a galinha, prudentemente, foi se alimentando enquanto a
senhora se retirava. No nonagsimo dia, a galinha, cheia de intimidade,
j no fazia caso da velha senhora. No centsimo dia, ao se aproximar a
6 Unidade 2

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. Queremos determinar uma frmula para a soma dos n primei-
ros nmeros naturais.
Conta-se a seguinte histria sobre o matemtico alemo Carl Friedrich
Gauss (1777-1855)1 , quando ainda garoto. Na escola, o professor, para aqui-
etar a turma de Gauss, mandou os alunos calcularem a soma de todos os
nmeros naturais de 1 a 100. Qual no foi a sua surpresa quando, pouco
tempo depois, o menino deu a resposta: 5050. Indagado como tinha des-
coberto to rapidamente o resultado, Gauss, ento, 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 pes-
soas, essa prova parece impecvel, mas se algum nos perguntasse o que est
1
Gauss considerado um dos maiores gnios da matemtica de todos os tempos.
2
Uma frmula fechada para Sn , a grosso modo, uma funo de n que permite calcular
diretamente os valores de Sn fazendo um nmero pequeno de contas.
Induo Matemtica 7

escondido atrs dos pontinhos, talvez nos sentssemos embaraados. Tam-

bm, como ter absoluta certeza de que nada acontece 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 o Princpio de Induo Matemtica.
Considere a sentena aberta sobre os naturais
n(n + 1)
P (n) : 1 + 2 + + n = . (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) verdadeira,
isto , a frmula (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) (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 2. Queremos validar a frmula
n(n + 1)(2n + 1)
P (n) : 12 + 22 + + n2 = . (2)
6
Note que
1(1 + 1)(2 + 1)
P (1) : 12 =
6
verdadeira.
8 Unidade 2

Suponha que, para algum n N, se tenha que P (n) verdadeira, isto ,

(2) vlida. Somando (n + 1)2 a ambos os lados da igualdade (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 (n + 1)[n(2n + 1) + 6(n + 1)]
= =
6 6
(n + 1)[(n + 1) + 1][2(n + 1) + 1]
,
6
estabelecendo assim a veracidade de P (n + 1).
Portanto, a frmula vlida para todo n N.
Exemplo 3. Vamos provar que verdadeira, para todo n N, a frmula:
1 1 1 n
P (n) : + + + = . (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 (3) seja verdadeira para esse valor de n. Somando a ambos os
1
lados dessa igualdade , temos que
(n + 1)(n + 2)
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 Princpio de Induo Matemtica, temos que a frmula
vale para todo n N.
Induo Matemtica 9

Problemas

1 Demonstre, por induo, a validez das seguintes frmulas:

n(n + 1)
a) 1 22 + 32 + (1)n1 n2 = (1)n1 .
2
1
b) 12 + 32 + + (2n 1)2 = n(2n 1)(2n + 1).
3
 2
3 3 3 n(n + 1)
c) 1 + 2 + + n = .
2
2 Demonstre, por induo, a validez das seguintes frmulas:
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)
3 Demonstre, para n, m N, que vale a frmula:
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.
4 Mostre que a soma dos cubos de trs nmeros naturais consecutivos
sempre divisvel por 9.
Sugesto: Considere a sentena aberta
P (n) : n3 + (n + 1)3 + (n + 2)3 divisvel por 9,
e demonstre, por induo, que ela verdadeira para todo n N.