Documente Academic
Documente Profesional
Documente Cultură
3
Vejamos outros exemplos.
Exemplo 4: Se n , ento n
3
n mltiplo de 3.
Tal como no caso anterior, seja P(n) a armao n
3
n mltiplo de 3.
Apliquemos ento o mtodo de induo.
Tem-se P(1), pois isto apenas quer dizer que 1
3
1 mltiplo de 3, ou seja,
que 0 mltiplo de 3, o que obviamente verdade.
Seja n e suponha-se que se tem P(n), i. e. suponha-se que n
3
n
mltiplo de 3; quer-se provar que se temP(n+1), o que equivale a armar
que (n +1)
3
(n +1) mltiplo de 3. Mas
(n +1)
3
(n +1) =n
3
+3n
2
+3n +1n 1
=n
3
n +3(n
2
+n).
Ento (n+1)
3
(n+1) a soma de n
3
n (que se est a supor que mltiplo
de 3) com3(n
2
+n) (que obviamente mltiplo de 3). Logo, (n+1)
3
(n+1)
tambm mltiplo de 3.
Considere-se agora o seguinte problema: quanto d a soma dos n primeiros
nmeros naturais mpares? Comece-se por calcular esta soma para pequenos
valores de n:
1 =1;
1+3 =4;
1+3+5 =9;
1+3+5+7 =16
e assim sucessivamente. Os quatro nmeros que surgem direita nas quatro
igualdades anteriores so, respectivamente, 1
2
, 2
2
, 3
2
e 4
2
. Ser que este padro
continua indenidamente? Mesmo que vericssemos que este padro conti-
nua para os 10, 100 ou 1000 nmeros seguintes, no poderamos concluir desse
facto que a soma dos n primeiros nmeros naturais mpares sempre igual a
n
2
. Para o demonstrar, vai-se empregar o mtodo de induo.
Exemplo 5: Se n , ento
1+3+5+ + (2n 1) =n
2
. (2)
Seja P(n) a armao (2). Ento
Ter-se P(1) ser verdade que 1 =1
2
, coisa que no oferece dvidas.
4
Se, para n , P(n) for verdadeira, ento quer-se provar que P(n + 1)
tambm o , ou seja, que
1+3+5+ + (2n 1) + (2n +1) = (n +1)
2
.
Mas a soma das primeiras n parcelas do membro da esquerda , por hi-
ptese, igual a n
2
; logo,
1+3+5+ + (2n 1) + (2n +1) =n
2
+2n +1 = (n +1)
2
.
Porque que o mtodo de induo funciona? Para perceber isso, preciso
ter em mente o que o conjunto dos nmeros naturais. Este conjunto for-
mado por 1, pelo nmero que vem a seguir a 1 (ou seja, 2), pelo nmero que
vem a seguir a esse (ou seja, 3) e assim sucessivamente. Por outro lado, se se
consegue aplicar o mtodo de induo a uma sucesso de proposies
1
P(1),
P(2), P(3), . . . ento aquilo que se ter provado que
1) a proposio P(1) verdadeira;
2) sempre que a proposio P(n) for verdadeira (esta hiptese designa-se
por hiptese de induo), a proposio P(n +1) tambm verdadeira.
Mas ento tem-se:
1) a proposio P(1) verdadeira porque se provou isso;
2) a proposio P(2) verdadeira porque P(1) verdadeira e porque se pro-
vou que sempre que se tem P(n), tem-se P(n +1) e, em particular, como
se tem P(1), tem-se P(2);
3) a proposio P(3) verdadeira porque P(2) verdadeira e porque se pro-
vou que sempre que se tem P(n), tem-se P(n +1) e, em particular, como
se tem P(2), tem-se P(3);
4) a proposio P(4) verdadeira porque P(3) verdadeira e porque se pro-
vou que sempre que se tem P(n), tem-se P(n +1) e, em particular, como
se tem P(3), tem-se P(4)
e assim sucessivamente. Quais sero ento as proposies P(n) (n ) que se
tero demonstrado? A primeira (P(1)), a que vem a seguir a essa (P(2)), a que
vem a seguir a essa (P(3)) e assim sucessivamente. Mas ento estar provado
que se tem P(n) para qualquer nmero natural n!
Isto tambm permite ver que no se pode usar induo para demonstrar
propriedades dos nmeros reais. Por exemplo, considere-se a seguinte proposi-
o: se x , ento sen(x) =0. Tem-se ento:
1
Uma proposio uma armao que verdadeira ou falsa. Por exemplo, 4 >2 e 2+2 =5
so proposies. Por outro lado, x 0 no uma proposio (ser verdadeira ou falsa depende
de x) mas para cada x , x 0 ou h nmeros reais x tais que x 0 j so proposies.
5
1) sen(1.) =sen() =0;
2) se sen(x) =0, ento
sen
_
(x +1)
_
=sen(x+)
=sen(x) cos() +cos(x) sen()
=0+0
=0.
Mas, no entanto, a proposio no verdadeira! O enunciado falso para, por
exemplo x =
1
/2. O que falha aqui que, embora contenha 1, 1+1, 1+1+1 e
assim sucessivamente, no formado somente por aqueles nmeros.
Mas isto no quer dizer que o mtodo de induo s possa ser aplicado aos
nmeros naturais. Pela mesma razo que a que foi dada para explicar porque
que o mtodo de induo funciona, ele aplica-se, por exemplo, para demons-
trar que uma determinada propriedade vlida para todos os nmeros inteiros
maiores ou iguais a um nmero inteiro dado p; basta provar que a propriedade
vlida para o nmero p e que, se for vlida para um nmero n( p), ento
tambm vlida para n +1.
Exemplo 6: Se n 3, ento 2n +1 n
2
.
claro que 7(=23+1) menor ou igual a 9(=3
2
). Por outro lado, suponha-
-se que, para um nmero n 3, se tem 2n +1 n
2
(hiptese de induo); quer-
-se provar que 2(n +1) +1 (n +1)
2
. Mas
2(n +1) +1 =2n +3 = (2n +1) +2 n
2
+2,
pela hiptese de induo; basta ento provar que n
2
+2 (n +1)
2
=n
2
+2n +1.
Ora,
n
2
+2
n
2
+2n +1 2 2n +1 1 2n,
o que verdade qualquer que seja n .
Ao tentar-se demonstrar por induo uma sucesso P(1), P(2), . . . de pro-
posies, por vezes deparamo-nos com o seguinte fenmeno: ao provar-se que
P(n) implica P(n +1) (aquilo que se designa por passo de induo), constata-se
que para fazer aquela demonstrao necessrio usar induo novamente! Que
que claro que isso no tem mal nenhum.
Exemplo 7: Se n 5, ento 2
n
>n
2
.
Para n =5, no h problema (32 >25). Suponha-se agora que, para n 5, se
tem 2
n
>n
2
; quer-se provar que 2
n+1
>(n +1)
2
. Mas
2
n+1
=22
n
>2n
2
,
6
pela hiptese de induo; portanto, basta provar que 2n
2
(n +1)
2
. Mas tem-se
2n
2
(n +1)
2
2n
2
n
2
+2n +1 n
2
2n +1,
que precisamente a desigualdade do exemplo 6! Alm disso, no exemplo 6
provou-se que se tem aquela desigualdade sempre que n 3; por maioria de
razo, a desigualdade vlida quando n 5, como se queria provar.
Concluindo: demonstrar por induo uma proposio relativa a todos os
nmeros naturais consiste em demonstrar que vlida para o nmero 1 e em
demonstrar o passo de induo. s isso! Naturalmente, demonstrar que
vlida para o nmero 1 pode ser mais ou menos difcil e o mesmo se aplica a
demonstrar o passo de induo.
Existe tambm um outro mtodo de demonstrar resultados sobre os nme-
ros naturais que se designa por induo forte e que consiste no seguinte: para
se demonstrar que as proposies P(1), P(2), . . . so todas verdadeiras demons-
tra-se que P(1) verdadeira e que, para cada n , se as proposies P(1), P(2),
. . . , P(n) forem verdadeiras, ento P(n +1) tambm verdadeira.
Exemplo 8: Qualquer nmero natural maior do que 1 pode ser escrito como
produto de nmeros primos.
Antes de se passar demonstrao, preciso deixar claro que, ao falar-se
de produto de primos, est-se tambm a considerar a possibilidade de haver
um nico primo envolvido; assim, 18 pode ser escrito como produto de primos
porque 18 =233 (e 2 e 3 so primos), 49 pode ser escrito produto de primos
porque 49 = 7 7 (e 7 primo) e 5 pode ser escrito como produto de primos
porque 5 =5 (e 5 primo).
Demonstrar-se o que enunciado no exemplo 8 ento o mesmo que de-
monstrar que, para cada n , vlida a seguinte proposio: n =1 ou n pode
ser escrito como produto de primos. Para n = 1, claro que se tem isto. Seja
agora n e suponha-se que j se provou que os nmeros de 1 a n tm todos a
propriedade de serem iguais a 1 ou poderem ser escritos como produto de pri-
mos; quer-se provar que acontece o mesmo com n +1. claro que n +1 no
igual a 1; quer-se ento provar que pode ser escrito como produto de primos.
Se n +1 for primo, ento pode ser escrito como produto de primos. Por outro
lado, se n+1 no for primo, ento pode-se escrever n+1 como umproduto k l
onde k e l so nmeros naturais maiores do que 1 e menores do que n +1. Mas
ento k {2, . . . , n}, pelo que, por hiptese, k pode ser escrito como produto de
primos. O mesmo argumento aplica-se a l e, como n +1 =k l , n +1 pode ser
escrito como produto de primos.
Uma propriedade bsica dos nmeros naturais que est relacionada com o
mtodo de induo o princpio da boa ordenao. Para o enunciar conveni-
ente introduzir a seguinte expresso: diz-se que umelemento a de umconjunto
C de nmeros reais primeiro elemento de C se:
a C;
7
para cada x C, a x.
frequente o primeiro elemento de um conjunto ser tambm designado por
mnimo desse conjunto. Naturalmente, um conjunto de nmeros reais no tem
que ter primeiro elemento; ]0, +[, ou , por exemplo, no tm.
2
O princpio
da boa ordenao diz ento o seguinte: qualquer conjunto no vazio de nme-
ros naturais temprimeiro elemento. E porque que isto verdade? Como talvez
fosse de esperar, vai-se demonstrar a validade do princpio da boa ordenao
usando induo. Mais precisamente, vai-se usar induo para demonstrar que,
para cada nmero natural n, se C for um conjunto de nmeros naturais que
contenha n, ento C tem primeiro elemento.
claro que se 1 C, ento 1 o primeiro elemento de C, pois 1 C (por
hiptese) e qualquer nmero natural maior ou igual a 1; por maioria de razo,
qualquer elemento de C maior ou igual a 1. Suponha-se agora que, para um
n , qualquer conjunto C de nmeros naturais que contenha n tem primeiro
elemento; quer-se provar que qualquer conjunto C de nmeros naturais que
contenha n +1 tem primeiro elemento. claro que, como j foi visto atrs, se
1 C ento 1 o primeiro elemento de C. Por outro lado, se 1 / C, seja C
o
conjunto obtido a partir de C subtraindo 1 a cada umdos seus elementos. Ento
C
Quanto a
3
? o menor nmero natural tal que
a
3
55
>
55
8
a
3
>
55
2
8
=378,125;
logo, a
3
=379. Por seu lado, a
4
o menor nmero natural para o qual
a
4
379
>
379
55
a
4
>
379
2
55
=2611,65;
logo, a
4
=2612.
Asucesso do exemplo anterior cresce bastante rapidamente; os dez primei-
ros termos so 8, 55, 379, 2 612, 18 002, 124 071, 855 106, 5 893 451, 40 618 081 e
279 942 687.
Naturalmente, podem-se tambm denir sucesses por recorrncia de-
nindo primeiro os trs primeiros termos e denindo cada um dos restantes
custa dos trs anteriores, denindo os quatro primeiros termos e denindo cada
um dos restantes custa dos quatro anteriores e assim sucessivamente.
Exemplo 15: Seja (a
n
)
n
a sucesso do exemplo 14 e seja (b
n
)
n
a sucesso
de nmeros naturais tal que
1) b
n
=a
n
para cada n {1,2,3,4};
2) se n 5, b
n
=6b
n1
+7b
n2
5b
n3
6b
n4
Ento
b
5
=6b
4
+7b
3
5b
2
6b
1
=62 612+737955568
=18 002.
10
No necessria uma grande perspiccia para se ver que os cinco primeiros
termos desta sucesso so tambm os cinco primeiros termos da sucesso do
exemplo 14. Quanto aos quatro primeiros, isso no ser propriamente surpre-
endente, pois resulta da prpria denio de b
n
para n {1,2,3,4}, mas partida
no havia nenhum motivo para se pensar que b
5
= a
5
. De facto, quem prosse-
guir com os clculos no ter diculdade em constatar que b
6
= a
6
, b
7
= a
7
,
b
8
= a
8
e assim por diante. Ser que as duas sucesses so idnticas? No
so, mas preciso levar os clculos mesmo muito longe para nos apercebermos
disso, pois tem-se a
n
=b
n
para cada n <11 057. Quanto aos nmeros a
11 057
e
b
11 057
, so nmeros com 9 270 algarismos cada que diferem em uma unidade!
Isto mais um exemplo de como, quando se est perante uma proposio re-
lativa a nmeros naturais, no basta provar que verdadeira para um grande
nmero deles para se concluir que verdadeira em todos os casos.
11