O PRINCPIO DA INDUO

Nvel Avanado.
INTRODUO
O Princpio da Induo um eficiente instrumento para a demonstrao de fatos
referentes aos nmeros naturais. Por isso deve-se adquirir prtica em sua utilizao. Por
outro lado, importante tambm conhecer seu significado e sua posio dentro do
arcabouo da Matemtica. Entender o Princpio da Induo praticamente o mesmo que
entender os nmeros naturais.
Apresentamos abaixo uma breve exposio sobre os nmeros naturais, onde o
Princpio da Induo se insere adequadamente e mostra sua fora terica antes de ser
utilizado na lista de exerccios propostos ao final.
1. A SEQNCIA DOS NMEROS NATURAIS
Os nmeros naturais constituem um modelo matemtico, uma escala padro, que
nos permite a operao de contagem. A seqncia desses nmeros uma livre e antiga
criao do esprito humano. Comparar conjuntos de objetos com essa escala abstrata
ideal o processo que torna mais precisa a noo de quantidade; esse processo (a
contagem) pressupe portanto o conhecimento da seqncia numrica. Sabemos que os
nmeros naturais so 1, 2, 3, 4, 5, A totalidade desses nmeros constitui um conjunto,
que indicaremos com o smbolo N e que chamaremos de conjunto dos naturais. Portanto
N = {1, 2, 3, 4, 5,}.
Evidentemente, o que acabamos de dizer s faz sentido quando j se sabe o que
um nmero natural. Faamos de conta que esse conceito nos desconhecido e
procuremos investigar o que h de essencial na seqncia 1, 2, 3, 4, 5 .
Deve-se a Giussepe Peano (1858-1932) a constatao de que se pode elaborar
toda a teoria dos nmeros naturais a partir de quatro fatos bsicos, conhecidos
atualmente como os axiomas de Peano. Noutras palavras, o conjunto N dos nmeros
naturais possui quatro propriedades fundamentais, das quais resultam, como
conseqncias lgicas, todas as afirmaes verdadeiras que se podem fazer sobre esses
nmeros.
Comearemos com o enunciado e a apreciao do significado dessas quatro proposies
fundamentais a respeito dos nmeros naturais.
2. OS AXIOMAS DE PEANO
Um matemtico profissional, em sua linguagem direta e objetiva, diria que o
conjunto N dos nmeros naturais caracterizado pelas seguintes propriedades:
A. Existe uma funo s : N N, que associa a cada n N um elemento s(n) N,
chamado o sucessor de n.
B. A funo s : N N injetiva.
C. Existe um nico elemento 1 no conjunto N, tal que 1 s(n) para todo n N.
D. Se um subconjunto X N tal que 1 N e s(X) X
(isto , n X s(n) X), ento X = N.
Observe que, como estamos chamando de N o conjunto dos nmeros naturais, a
notao n N significa que n um nmero natural.
As afirmaes A, B, C e D so os axiomas de Peano. A notao s(n) provisria.
Depois de definirmos adio, escreveremos n + 1 em vez de s(n).
Como concesso fraqueza humana, nosso matemtico nos faria a gentileza de
reformular os axiomas de Peano em linguagem corrente, livre de notao matemtica. E
nos diria ento que as afirmaes acima significam exatamente o mesmo que estas
outras:
A'. Todo nmero natural possui um nico sucessor, que tambm um nmero
natural.
B'. Nmeros naturais diferentes possuem sucessores diferentes. (Ou ainda: nmeros
que tm o mesmo sucessor so iguais.)
C'. Existe um nico nmero natural que no sucessor de nenhum outro. Este
nmero representado pelo smbolo 1 e chamado de "nmero um".
D'. Se um conjunto de nmeros naturais contm o nmero 1 e, alm disso, contm o
sucessor de cada um de seus elementos, ento esse conjunto coincide com N, isto
, contm todos os nmeros naturais.
A partir da, retomamos a palavra para dizer que o sucessor de 1 chama-se
"dois", o sucessor de dois chama-se "trs", etc. Nossa civilizao progrediu ao ponto em
que temos um sistema de numerao, o qual nos permite representar, mediante o uso
apropriado dos smbolos 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9, todos os nmeros naturais. Alm
disso, nossa linguagem tambm fornece nomes para os primeiros termos da seqncia
dos nmeros naturais. (Nmeros muito grandes no tm nomes especficos, ao contrrio
dos menores como "mil novecentos e noventa e oito". Quem sabe, por exemplo, o nome
do nmero de tomos do universo?)
Voltando a usar a notao s(n) para o sucessor do nmero natural n, teremos
ento 2 = s(1), 3 = s(2), 4 = s(3), 5 = s(4), etc. Assim, por exemplo, a igualdade 2 = s(1)
significa apenas que estamos usando o smbolo 2 para representar o sucessor de 1. A
seqncia dos nmeros naturais pode ser indicada assim:

s s s s s
5 4 3 2 1
As flechas ligam cada nmero ao seu sucessor.
Nenhuma flecha aponta para 1, pois este nmero no sucessor de nenhum outro.
O diagrama acima diz muito sobre a estrutura do conjunto N dos nmeros naturais.
3. O AXIOMA DA INDUO
Um dos axiomas de Peano, o ltimo, possui claramente uma natureza mais
elaborada do que os demais. Ele conhecido como o axioma da induo. Faremos dele
uma anlise detida, acompanhada de comentrios.
O significado informal do axioma D que todo nmero natural pode ser obtido a
partir de 1 por meio de repetidas aplicaes da operao de tomar o sucessor. Assim,
por exemplo, 2 o sucessor de 1, 3 o sucessor do sucessor de 1, etc. Para se entender
melhor o axioma da induo util examinar o exemplo, no qual N = {1, 2, 3,} mas a
funo s : N N modificada, pondo-se s(n) = n + 2. Ento, se comearmos com 1 e a
este nmero aplicarmos repetidamente a operao de tomar o "sucessor" (nesta nova
acepo) obteremos s(1) = 3, s(3) = 5, s(5) = 7, etc., e nunca chegaremos a qualquer
nmero par. Portanto, o diagrama

s s s s s s
6 4 2 5 3 1
exibe uma funo injetiva s : N N para a qual no verdade que todo nmero natural
n pode ser obtido, a partir de 1, mediante repetidas aplicaes da operao de passar de
k para s(k).
Dentro de um ponto de vista estritamente matemtico, podemos reformular o
axioma da induo do seguinte modo: Um subconjunto X N chama-se indutivo
quando s(X) X, ou seja, quando n X s(n) X, ou ainda, quando o sucessor de
qualquer elemento de X tambm pertence a X.
Dito isto, o axioma da induo afirma que o nico subconjunto indutivo de N que
contm o nmero 1 o proprio N.
No exemplo acima, os nmeros mpares 1, 3, 5, formam um conjunto indutivo
que contm o elemento 1 mas no igual a N.
O papel fundamental do axioma da induo na teoria dos nmeros naturais e,
mais geralmente, em toda a Matemtica, resulta do fato de que ele pode ser visto como
um mtodo de demonstrao, chamado o Mtodo de Induo Matemtica, ou Princpio
da Induo Finita, ou Princpio da Induo, conforme explicaremos agora.
Seja P uma propriedade que se refere a nmeros naturais. Um dado nmero
natural pode gozar ou no da propriedade P.
Por exemplo, seja P a propriedade de um nmero natural n ser sucessor de outro
nmero natural. Ento 1 no goza da propriedade P, mas todos os demais nmeros
gozam de P.
O Princpio da Induo diz o seguinte:
Princpio da Induo: Seja P uma propriedade referente a nmeros naturais. Se 1 goza
de P e se, alm disso, o fato de o nmero natural n gozar de P implica que seu sucessor
s(n) tambm goza, ento todos os nmeros naturais gozam da propriedade P.
Para ver que o Princpio da Induo verdadeiro (uma vez admitidos os axiomas
de Peano) basta observar que, dada a propriedade P cumprindo as condies estipuladas
no enunciado do Princpio, o conjunto X dos nmeros naturais que gozam da
propriedade P contm o nmero 1 e indutivo. Logo X = N, isto , todo nmero natural
goza da propriedade P. As propriedades bsicas dos nmeros naturais so demonstradas
por induo. Comecemos com um exemplo bem simples.
Exemplo 1. Entre os axiomas de Peano no consta explicitamente a afirmao de que
todo nmero diferente do seu sucessor, a qual provaremos agora. Seja P esta
propriedade. Mais precisamente, dado o nmero natural n, escrevamos P(n) para
significar, abreviadamente, a afirmao n s(n). Ento P(1) verdadeira, pois 1
s(1), j que 1 no sucessor de nmero algum; em particular, 1 no sucessor de si
prprio. Alm disso, se supusermos P(n) verdadeira, isto , se admitimos que
n s(n), ento s(n) s(s(n)), pois a funo s : N N injetiva. Mas a afirmao s(n)
s(s(n) significa que P(s(n)) verdadeira. Assim, a verdade de P(n) acarreta a
verdade de P(s(n)). Pelo Princpio da Induo, todos os nmeros naturais gozam da
propriedade P, ou seja, so diferentes de seus sucessores.
Nas demonstraes por induo, a hiptese de que a propriedade P vlida para o
nmero natural n (da qual deve decorrer que P vale tambm para s(n)) chama-se
hiptese de induo.
O Princpio da Induo no utilizado somente como mtodo de demonstrao.
Ele serve tambm para definir funes f: N Y que tm como dominio o conjunto N
dos nmeros naturais.
Para se definir uma funo f : X Y exige-se em geral que seja dada uma regra
bem determinada, a qual mostre como se deve associar a cada elemento x X um nico
elemento y = f(x) Y.
Entretanto, no caso particular em que o domnio da funo o conjunto N dos
nmeros naturais, a fim de definir uma funo f : N Y no necessrio dizer, de uma
s vez, qual a receita que d o valor f(n) para todo n N. Basta que se tenha
conhecimento dos seguintes dados:
(1) O valor f (1);
(2) Uma regra que permita calcular f (s(n)) quando se conhece f (n).
Esses dois dados permitem que se conhea f (n) para todo nmero natural n. (Diz-
se ento que a funo f foi definida por recorrncia.) Com efeito, se chamarmos de X o
conjunto dos nmeros naturais n para os quais se pode determinar f (n), o dado (1)
acima diz que 1 X e o dado (2) assegura que n X s(n) X. Logo, pelo
axioma da induo, tem-se
X = N.
Obs. : Uma funo f : N Y cujo domnio o conjunto dos nmeros naturais chama-se
uma seqncia ou sucesso de elementos de Y. A notao usada para uma tal seqncia
(y
1
, y
2
,,y
n
,), onde se usa y
n
em vez de f(n) para indicar o valor da funo f no
nmero n. O elemento y
n
.

4. ADIO E MULTIPLICAO DE NMEROS NATURAIS
A adio e a multiplicao de nmeros naturais so exemplos de funes
definidas por recorrncia.
Para definir a adio, fixaremos um nmero natural arbitrrio k e definiremos a
soma k + n para todo n N.
Fixado k, a correspondncia n k + n ser uma funo f: N N, f(n) = k + n,
chamada "somar k". Ela se define por recorrncia, a partir dos seguintes dados:
(S1) k + 1 = s(k)
(S2) k + s(n) = s(k + n).
Portanto, k + 1 , por definio, o sucessor de k. E, se conhecermos k + n, saberemos o
valor de k + s(n): por definio, tem-se k + s(n) = s(k + n). Isto nos permite conhecer k +
n para todo n N (e todo k N).
Usando as notaes definitivas n + 1 em vez de s(n) e (k + n) + 1 em vez de s(k +
n), a igualdade (S2) se escreve assim:
(S2') k + (n + 1) = (k + n) +1.
Assim, as igualdades (S1) e (S2) ou, equivalentemente, (S1) e (S2') definem por
recorrncia a soma k + n de dois nmeros naturais quaisquer k e n.
A multiplicao de nmeros naturais se define de modo anlogo adio. Fixado
arbitrariamente um nmero natural k, a multiplicao por k associa a todo nmero
mnatural n o produto n k, definido por induo da seguinte maneira:
(P1) 1 k = k.
(P2) (n + 1) k = n k + k.
O produto n k escreve-se tambm nk e l-se "n vezes k". A definio acima diz portanto
que uma vez k igual a k e n + 1 vezes k igual a n vezes k mais (uma vez) k . Assim,
por definio, 2 k = k + k, 3 k = k + k + k, etc.
Usa-se induo para provar as propriedades bsicas da adio e da multiplicao de
nmeros naturais. Entre elas, destacam-se as seguintes, vlidas para quaisquer k, n, p
N:
Associatividade: k + (n + p) = (k + n) + p e k (n p) = (k n) p
Comutatividade: k + n = n + k e k n = n k
Lei do Corte: k + n = k + p n = p e k n = k p n = p
Distributividade: k (n + p) = k n + k p.
Omitiremos as demonstraes destes fatos. O leitor pode consider-las como
exerccios sobre o mtodo da induo.
5. ORDEM
A adio de nmeros naturais permite introduzir uma relao de ordem em N.
Dados os nmeros naturais m, n diremos que m menor do que n, e escreveremos m <
n, para significar que existe p N tal que n = m + p. Neste caso, diz-se tambm que n
maior do que m e escreve-se n > m para exprimir que se tem m < n. A notao m n
significa que m < n ou m = n. Por definio, tem-se portanto m < m + p para quaisquer
m, p N. Em particular, m < m + 1. Segue-se tambm da definio que 1 < n para todo
nmero natural n 1.
Com efeito, pelo axioma C, n 1 implica que n sucessor de algum nmero
natural m, ou seja, n = m + 1 = 1 + m, logo n > 1. Assim, 1 o menor dos nmeros
naturais.
Provaremos a seguir as propriedades bsicas da relao de ordem
m < n que definimos. A primeira delas a transitividade.
Teorema 1. (Transitividade.) Se m < n e n < p, ento m < p.
Demonstrao: Se m < n, n < p ento n = m + k, p = n + r, logo p = (m + k) + r = m
+ (k + r), portanto m < p.
Outra importante propriedade de relao de ordem que, dados dois nmeros
naturais diferentes m, n, ou se tem m < n ou ento n < m. Esta propriedade pode ser
reformulada de outra maneira, como segue.
Diremos que os nmeros naturais m, n so comparveis quando se tem m = n, m
< n ou n < m. Podemos ento enunciar o seguinte teorema.
Teorema 2. (Comparabilidade.) Todo nmero natural n comparvel com qualquer
nmero natural m.
Demonstrao: Isto se prova por induo. O nmero 1 comparvel com qualquer
outro nmero natural pois j sabemos que 1 < m para todo m 1.
Suponhamos agora que o nmero n seja comparvel com todos os nmeros naturais.
Mostremos, a partir da, que n + 1 tambm tem essa propriedade. Com efeito, seja m
N tomado arbitrariamente. Sabemos que se tem
m < n, m = n ou n < m. Examinemos cada uma dessas possibilidades:
Se for m < n ento m < n + 1 por transitividade, pois sabemos que n < n + 1.
Se for m = n, ento m < n + 1.
Se for n < m ento m = n + p. Neste caso, h duas possibilidades. Ou se tem p = 1,
donde m = n + 1, ou ento p > 1, logo p = 1 + p', e da m = (n + 1) + p' e conclumos
que n + 1 < m. Em qualquer hiptese, vemos que n + 1 comparvel com qualquer
nmero natural m. Por induo, fica provada a comparabilidade de quaisquer nmeros
naturais m, n.
A comparabilidade dos nmeros naturais complementada pela proposio abaixo.
Teorema 3. (Tricotomia.) Dados m, n N, qualquer das afirmaes m < n,
m = n, n < m exclui as outras duas.
Demonstrao: Se tivssemos m < n e m = n, ento seria m = m + p, donde m + 1 =
m + p + 1 e, cortando m, concluiramos que 1 = p + 1, um absurdo, pois 1 no
sucessor de p. Portanto m < n (e analogamente, n < m) incompatvel com m = n.
Do mesmo modo, se tivssemos m < n e n < m, ento teramos n = m + p e m = n + k,
do que resultaria n = n + k + p, logo n + 1 = n + k + p + 1 e, cortando n, concluiramos
que 1 = k + p + 1, um absurdo.
O teorema seguinte mostra que n e n + 1 so nmeros consecutivos.
Teorema 4. No existem nmeros naturais entre n e n + 1.
Demonstrao: Se fosse possvel ter n < p < n + 1, teramos p = n + k e n + 1 = p + r,
logo n + 1 = n + k + r. Cortando n, obteramos 1 = k + r. Por definio, isto significaria
k < 1, o que absurdo, pois j vimos que k 1 k > 1.
A conexo entre a relao de ordem e as operaes de adio e multiplicao dada
pelo seguinte teorema:
Teorema 5. (Monotonicidade.) Se m < n, ento m + p < n + p e mp < np.
Demonstrao: Usando a definio de <, temos que m < n n = m + k n + p = (m
+ k) + p m + p < n + p. Analogamente, m < n n = m + k np = mp + kp np
>mp.
A recproca da monotonicidade a Lei do Corte para desigualdades: m + p < n + p m
< n e mp < np m < n. O leitor poder prov-la por absurdo, usando a tricotomia e a
prpria monotonicidade.
6. BOA ORDENAO
Dado o subconjunto A N, diz-se que o nmero natural a o menor (ou
primeiro) elemento de a quando a A e, alm disso, a x, para todos os elementos x
A.
Por exemplo, 1 o menor elemento de N.
De agora em diante, dado n N, indicaremos com I
n
o conjunto dos nmeros
naturais p tais que 1 p n. Assim, I
1
= {1}, I
2
= {1, 2}, I
3
= {1, 2, 3} etc.
As propriedades da relao de ordem m < n, demonstradas na seo anterior para
os nmeros naturais (exceto o Teorema 4 que vale apenas para nmeros inteiros), so
igualmente vlidas para os nmeros inteiros, racionais e, mais geralmente, para nmeros
reais quaisquer. Existe, porm, uma propriedade de suma importncia que vlida para
a ordem entre os nmeros naturais, mas sem equivalente para nmeros inteiros,
racionais ou reais.
Teorema 6. (Princpio da Boa Ordenao.) Todo subconjunto no-vazio A N
possui um menor elemento.
Demonstrao: Sem perda de generalidade, podemos admitir que 1 A, pois caso
contrrio 1 seria evidentemente o menor elemento de A. O menor elemento de A, cuja
existncia queremos provar, dever ser da forma n + 1. Devemos pois encontrar um
nmero natural n tal que n +1 A e, alm disso, todos os elementos de A so maiores
do que n, logo maiores do que 1, 2, , n. Noutras palavras, procuramos um nmero
natural n tal que I
n
N A e n + 1 A. Com esse objetivo, consideramos o conjunto
X = {n N; I
n
N A}.
Portanto, X o conjunto dos nmeros naturais n tais que todos os elementos de A so
maiores do que n. Como estamos supondo que 1 A, sabemos que 1 X. Por outro
lado, como A no vazio, nem todos os nmeros naturais pertencem a X, ou seja, temos
X N. Pelo axioma D, vemos que o conjunto X no indutivo, isto , deve existir
algum n X tal que n + 1 X Isto significa que todos os elementos de A so maiores
do que n mas nem todos so maiores do que n + 1. Como no h nmeros naturais entre
n e n + 1, conclumos que n + 1 pertence a A e o menor elemento de A.
O Princpio da Boa Ordenao pode muitas vezes ser usado em demonstraes,
substituindo o Princpio da Induo. Vejamos um exemplo.
Dissemos anteriormente que um subconjunto X N chama-se indutivo quando n
X n + 1 X, ou seja, quando X contm o sucessor de cada um dos seus elementos.
O Princpio da Induo afirma que se um conjunto indutivo X contm o nmero 1 ento
X contm todos os nmeros naturais.
Vamos usar o Princpio da Boa Ordenao para provar que se um conjunto
indutivo X contm o nmero a, ento X contm todos os nmeros naturais maiores do
que a.
A prova desta afirmao se faz por absurdo, como ocorre em geral quando se usa
a boa ordenao. Suponhamos ento que existam nmeros naturais, maiores do que a,
no pertencentes ao conjunto indutivo X. Seja b o menor desses nmeros. Como b > a,
podemos escrever b = c + 1, onde, pela definio de b, tem-se necessariamente c X.
Mas, como X indutivo, isto obriga que b = c + 1 X, uma contradio.
A proposio que acabamos de demonstrar pode ser enunciada da seguinte forma:
Teorema 7: (Princpio da Induo Generalizado.) Seja P uma propriedade referente
a nmeros naturais, cumprindo as seguintes condies:
(1) O nmero natural a goza da propriedade P;
(2) Se um nmero natural n goza da propriedade P ento seu sucessor n + 1 tambm
goza de P.
Ento todos os nmeros naturais maiores do que ou iguais a a gozam da propriedade
P.
Exemplo 2. Vejamos uma situao simples onde se emprega o Princpio da Induo
Generalizado. Trata-se de provar que 2n + 1 < 2
n
, para todo n 3. Esta afirmao, (que
falsa para n = 1 ou n = 2), vale quando n = 3. Supondo-a vlida para um certo n 3,
mostremos que da decorre sua validez para n + 1. Com efeito, 2(n + 1) + 1 = (2n + 1) +
2 < 2
n
+ 2 < 2
n
+ 2
n
= 2
n + 1
. (Na primeira desigualdade, usamos a hiptese de induo.)
Exemplo 3. Usando a desigualdade 2n + 1 < 2
n
, que acabamos de provar para n 3,
podemos demonstrar que n
2
< 2
n
para todo n 5, empregando novamente o Princpio
da Induo Generalizado. Com efeito, vale 5
2
< 2
5
pois 25 < 32. Supondo vlida a
desigualdade n
2
< 2
n
para um certo valor de n
5, da segue-se que (n + 1)
2
= n
2
+ 2n + 1 < 2
n
+ 2n + 1 (pela hiptese de induo) < 2
n
+ 2
n
(pelo exemplo anterior) = 2
n + 1
. Portanto P(n) P(n + 1). Pelo Princpio de
Induo Generalizado, segue-se que P(n) vale para todo
n 5. Evidentemente, a desigualdade n
2
< 2
n
falsa para n = 1, 2, 3, 4.
O teorema abaixo contm outra aplicao do Princpio da Boa Ordenao.
Teorema 8. Toda funo montona no-crescente f: N N constante a partir de um
certo ponto. ( Isto , existe n
0
N tal que f(n) = f(n
0
), para todo n n
0
.)
Demonstrao: Seja n
0
o menor elemento do conjunto X = {f(1), f(2), , f(n),}.
Ento n > n
0
f(n) f(n
0
) (porque a funo f no-crescente) o que acarreta que f(n) =
f(n
0
) (porque f(n
0
) o menor elemento de X).
Corolrio: Toda seqncia decrescente n
1
> n
2
> de nmeros naturais finita. Com
efeito, do contrrio, pondo f(k) = n
k
, obteramos uma funo estritamente decrescente f :
N N.
7. SEGUNDO PRINCPIO DA INDUO
Em algumas situaes, ao tentarmos fazer uma demonstrao por induo, na
passagem de n para n + 1, sentimos necessidade de admitir que a proposio valha no
apenas para n e sim para todos os nmeros naturais menores do que ou iguais a n. A
justificativa de um raciocnio desse tipo se encontra no
Teorema 9: (Segundo Princpio da Induo.) Seja X N um conjunto com a seguinte
propriedade:
(I) Dado n N, se todos os nmeros naturais menores do que n pertencem a X,
ento n X.
O segundo Princpio da Induo afirma que um conjunto X N com a
propriedade (I) coincide com N.
Demonstrao: Com efeito, supondo, por absurdo, que X N, isto , que N X
, seja n o menor elemento do conjunto N X, ou seja, o menor nmero natural que
no pertence a X. Isto quer dizer que todos os nmeros naturais menores do que n
pertencem a X. Mas ento, pela propriedade (I), n pertence a X, uma contradio. Segue-
se que N X = e X = N.
Obs. : Se um conjunto X N goza da propriedade (I), para que um nmero natural n
no pertencesse a X seria necessrio que existisse algum nmero natural r < n tal que r
X. Em particular, se n = 1, como no existe nmero natural menor do que 1, a
hiptese 1 X no pode ser cumprida. Noutras palavras, (I) j contm implicitamente a
afirmao de que 1 X. Assim, ao utilizar o Segundo Princpio da Induo, no
preciso estipular que X contm o nmero 1.
Toda propriedade P que se refira a nmeros naturais define um subconjunto X N, a
saber, o conjunto dos nmeros naturais que gozam da propriedade P. (E reciprocamente,
todo conjunto X N define uma propriedade referente a nmeros naturais, a saber, a
propriedade de pertencer a X.) Deste modo, "propriedade" e "conjunto" so noes
equivalentes. Por isso, natural que o Segundo Princpio da Induo possua a
formulao seguinte, onde ele aparece como o
Teorema 10: (Segundo mtodo de demonstrao por induo.) Seja P uma propriedade
referente a nmeros naturais. Dado n N, se a validade de P para todo nmero
natural menor do que n implicar que P verdadeira para n, ento P verdadeira para
todos os nmeros naturais.
Demonstrao: Com efeito, nas condies do enunciado, o conjunto X dos nmeros
naturais que gozam da propriedade P satisfaz a condio (I) do Segundo Princpio da
Induo, logo X = N e P vale para todos os nmeros naturais.
Aplicaremos agora o Segundo Princpio da Induo para demonstrar um fato
geomtrico. No exemplo a seguir, usamos os nmeros naturais como instrumento de
contagem, isto , como nmeros cardinais, pois empregamos expresses do tipo um
polgono de n lados". (Vide seo 6.)
Sabe-se que, traando diagonais internas que no se cortam, pode-se decompor
qualquer polgono em tringulos justapostos. Isto evidente quando o polgono
convexo: basta fixar um vrtice e traar as diagonais a partir dele. Se o polgono no
convexo, a prova requer mais cuidados. (Vide "Meu Professor de Matemtica", pag.
109.)
O leitor pode experimentar com um polgono no-convexo e verificar qua h
muitas maneiras diferentes de decomp-lo em tringulos justapostos mediante diagonais
internas. Mas vale o resultado seguinte, no qual usaremos o Segundo Princpio da
Induo.
Exemplo 4. Qualquer que seja a maneira de decompor um polgono P, de n lados, em
tringulos justapostos por meio de diagonais internas que no se intersectam, o nmero
de diagonais utilizadas sempre n 3.
Com efeito, dado n, suponhamos que a proposio acima seja verdadeira para
todo polgono com menos de n lados. Seja ento dada uma decomposio do polgono
P, de n lados, em tringulos justapostos, mediante diagonais internas. Fixemos uma
dessas diagonais. Ela decompe P como reunio de dois polgonos justapostos P
1
, de n
1
lados, e P
2
, de n
2
lados, onde n
1
< n e n
2
< n, logo a proposio vale para os polgonos P
1
e P
2
. Evidentemente, n
1
+ n
2
= n + 2.
P
1
P
2
As d diagonais que efetuam a decomposio de P se agrupam assim: n
1
3 delas
decompem P
1
, n
2
3 decompem P
2
e uma foi usada para separar P
1
de P
2
. Portanto d
= n
1
3 + n
2
3 + 1 = n
1
+ n
2
5. Como n
1
+ n
2
= n + 2, resulta que d = n 3. Isto
completa a demonstrao.
Observaes:
1. Para habituar-se com o mtodo de demonstrao por induo preciso pratic-lo
muitas vezes, a fim de perder aquela vaga sensao de desonestidade que o
principiante tem quando admite que o fato a ser provado verdadeiro para n,
antes de demonstr-lo para n + 1.
2. Pratique tambm (com moderao) o exerccio de descobrir o erro em paradoxos
que resultam do uso inadequado do mtodo de induo. Vejamos dois desses
sofismas:
Exemplo 5. Todo nmero natural pequeno.
Ora, 1 certamente pequeno. E se n pequeno, n + 1 no vai subitamente tornar-
se grande, logo tambm pequeno. (O erro aqui consiste em que a noo "nmero
pequeno" no bem definida.)
Exemplo 6. Toda funo f : X Y, cujo domnio um conjunto finito X, constante.
Isto obviamente verdadeiro se X tem apenas 1 elemento. Supondo a afirmao
verdadeira para todos os conjuntos com n elementos, seja f : X Y definida
num conjunto X com n + 1 elementos. Considere um elemento a X. Como X' = X
{a} tem n elementos, f assume o mesmo valor c Y em todos os elementos de X'.
Agora troque a por um outro elemento b X'. Obtm-se X'' = X {b} um conjunto com
n elementos (entre os quais a). Novamente pela hiptese de induo, f constante e
igual a c em X''. Logo f (a) = c e da f : X Y constante. (Aqui o erro reside no uso
inadequado da hiptese de induo. O raciocnio empregado supe implicitamente que
X tem pelo menos 3 elementos. Na realidade, no vale a implicao P(1) P(2).)
O perigo de fazer generalizaes apressadas relativamente a asseres sobre
nmeros naturais fica evidenciado com o seguinte exemplo:
Exemplo 7. Considere o polinmio p(n) = n
2
n + 41 e a afirmao "o valor de p(n)
sempre um primo para n = 0, 1, 2, 3, ". Embora isso seja verdadeiro para n = 0, 1, 2,
, 40, temos p(41) = 41
2
41 + 41 = 41
2
no primo, logo a afirmao no
verdadeira.
Semelhantemente, a expresso q(n) = n
2
79n + 1601 fornece primos para n = 1,
2, , 79, mas q(80) = 80
2
79 80 + 1601 = 1681 no primo, pois divisvel por 41.
A moral da histria : S aceite que uma afirmao sobre os nmeros naturais
realmente verdadeira para todos os naturais se isso houver de fato sido demonstrado!
8. NMEROS CARDINAIS
Vamos agora mostrar como se usam os nmeros naturais para contar os
elementos de um conjunto finito. O Princpio da Induo ser essencial. Lembremos
que, dado n N, escrevemos I
n
= {p N; p n}, portanto
I
n
= {1, 2, , n}.
Uma contagem dos elementos de um conjunto no-vazio X uma bijeo
f : I
n
X. Podemos pr x
1
= f(1), x
2
= f(2),, x
n
= f(n) e escrever
X = {x
1
, x
2
,x
n
}. Diz-se ento que X possui n elementos. O conjunto X chama-se um
conjunto finito quando existe n N tal que X possui n elementos.
Um exemplo bvio de conjunto finito I
n
. Evidentemente, a funo identidade f:
I
n
I
n
uma contagem dos elementos de I
n
.
Um exemplo de conjunto infinito o proprio conjunto N dos nmeros naturais,
pois nenhuma funo f : I
n
N pode ser sobrejetiva, no importa qual n se tome. De
fato, dada f, tomamos k = f(1) + f(2) ++ f(n) e vemos que k > f(x) para todo x I
n,
logo k f(I
n
), e f no sobrejetiva.
A fim de que no haja ambigidade quando se falar do nmero de elementos de
um conjunto finito X, necessrio provar que todas as contagens de X fornecem o
mesmo resultado. Noutras palavras, dado o conjunto X, os nmeros naturais m, n e as
bijees f : I
m
X, g : I
n
X, devemos mostrar que se tem m = n. Comeamos
observando que se f e g so bijees, ento = g
1
f : I
m
I
n
tambm uma bijeo.
Basta portanto provar o seguinte:
Teorema 11. Dados m, n N, se : I
m
I
n
uma bijeo, ento m = n.
Demonstrao. Com efeito, chamemos de X o conjunto dos nmeros naturais n que tm
a seguinte propriedade: s existe uma bijeo : I
m
I
n
quando m = n.
Evidentemente, 1 X. Suponhamos agora que n X. Dada uma bijeo : I
m+1

I
n+1
, duas coisas podem acontecer. Primeira: (m + 1) = n + 1. Neste caso, a restrio
I
m
: I
m
I
n
uma bijeo, logo m = n, donde m + 1 = n + 1. Segunda: (m + 1) = b,
com b < n + 1. Neste caso,

consideramos
a =
1
(n + 1) e definimos uma nova bijeo : I
m + 1
I
n + 1
, pondo (m + 1) = n +
1, (a) = b e (x) = (x) para os demais elementos x I
m + 1
. Ento recamos no caso
anterior e novamente conclumos que m + 1 = n + 1. Isto mostra que n X n + 1 X,
logo X = N e a unicidade do nmero cardinal de um conjunto finito fica demonstrada.
Agora os nmeros naturais no so apenas elementos do conjunto-padro N, mas
servem tambm para responder perguntas do tipo "quantos elementos tem o conjunto
X?,"ou seja, podem ser usados tambm como nmeros cardinais.
A adio de nmeros naturais se relaciona com a cardinalidade dos conjuntos por
meio da seguinte proposio.
Teorema 12: Sejam X, Y conjuntos finitos disjuntos. Se X tem m elementos e Y tem n
elementos, ento X Y tem m + n elementos.
Demonstrao: Com efeito, se f : I
m
X e g : I
n
Y so bijees, definimos uma
bijeo h : I
m+n
X Y por h (x) = f (x) se 1 x m e
h(x) = g(x) + m se m + 1 x m + n, o que conclui a demonstrao.
Prova-se, por induo, que todo subconjunto de um conjunto finito X tambm finito e
seu nmero de elementos menor do que ou igual ao de X (Veja E.L.Lima, "Anlise
Real", vol 1, pag. 5.)
E conveniente incluir, por definio, o conjunto vazio entre os conjuntos finitos e
dizer que o seu nmero de elementos zero. Embora zero no seja um nmero natural,
ele passa a ser o nmero cardinal do conjunto vazio.
Seguem-se algumas proposies que devem ser demonstradas por induo ou boa
ordenao. Os dez ltimos exerccios foram sugeridos pelo Professor A. C. Morgado.
Exerccios:
1. Construa um esquema de setas comeando com os nmeros mpares, seguidos dos
nmeros pares divisveis por 4 em ordem decrescente e, por fim, os pares no
divisveis por 4 em ordem crescente. Noutras palavras, tome X = N e defina s : X
X pondo s(n) = n + 2 se n no divisvel por 4, s(n) = n 2 se n for mltiplo de 4.
Mostre que s : X X cumpre os axiomas A, B, C mas no D.
2. Defina, por recorrncia, uma funo f : N N estipulando que f (1) = 3 e f (n + 1) =
5. f (n) + 1. D uma formula explcita para f (n).
3. D uma frmula explcita para f : N N sabendo que f(1) = 1, f(2) = 5 e f (n + 2) =
3f (n + 1) 2f (n).
4. Seja X N um conjunto indutivo no-vazio. Mostre que existe a N tal que X = {n
N; n a}.
5. Prove, por induo, que
.
6
) 1 2 )( 1 (
... 2 1
2 2 2
+ +
+ + +
n n n
n

6. Num polgono com n 6 lados, o nmero de diagonais maior do que n.
7. Prove, por induo que [(n + 1)/n]
n
< n, para todo n 3. (Sugesto: Observe que (n
+ 2)/(n + 1) < ( n + 1)/n e eleve ambos os membros desta desigualdade potncia n
+ 1.) Conclua da que a seqncia ,... 5 , 4 , 3 , 2 , 1
5 4 3
decrescente a partir do
terceiro termo.
8. Prove, por induo a desigualdade de Bernoulli: (1 + a)
n
> 1 + na quando 1 + a > 0.
9. Para todo n N, ponha
n
n
n n
n
x
1
]
1

+
+

) 2 (
) 1 (
2
e prove, por induo que se tem
.
1
2
+
+
<
n
n
x
n
Conclua, a partir da, que a seqncia de termo geral
n
n
n

,
_

+1
crescente.
Sugesto: observe que
n n
x
n
n
n
n
x
+

,
_

+
+

+
3 1
2
3
1
.
10. Use a distributividade de duas maneiras diferentes para calcular (m + n )(1
+ 1) e aplique em seguida a Lei do Corte para obter uma nova prova de que m + n =
n + m.
11. Um conjunto S N, no-vazio, limitado superiormente, se existe um natural k tal
que para todo natural x S, ento x k. Mostre que S possui um maior elemento.
(Isto , existe m S tal que x m, para todo x S.)
12. Demonstre que a soma dos n primeiros nmeros mpares n
2
, ou seja, que 1
+ 3 + 5 ++ (2n 1) = n
2
.
13. Prove que 2
n
1 mltiplo de 3, para todo nmero natural n par.
14. Demonstre que, para todo nmero natural n, vale
. 1
1
1 ...
3
1
1
2
1
1
1
1
1 +
,
_

+
,
_

+
,
_

+
,
_

+ n
n
15. Demonstre que
.
200
1
...
102
1
101
1
200
1
199
1
..
4
1
3
1
2
1
1 + + + + + +
16. Determine A
n
se A =

,
_

4 2
2 1
17. Demonstre, usando o Princpio da Induo Finita, que
.

1

. . .

1

,
_

+ +

,
_

+
+ +

,
_

+
+

,
_

p
n p
p
n p
p
p
p
p
Este resultado comumente conhecido por Teorema das Colunas. (Por qu?).
18. Considere a seqncia
,..., ,...,
5
7
,
2
3
,
1
1
n
n
q
p
onde
. e 2
1 1 n n n n n n
q p q q p p + +
+ + Demonstre que
a) m.d.c (p
n
, q
n
) = 1;
b) p
n
o inteiro mais prximo de
2
) 2 1 (
n
+
e q
n
o inteiro mais prximo de
. ) 2 1 (
4
2
n
+
19. [A Torre de Hani.] So dados trs suportes A, B e C. No suporte A esto encaixados
n discos cujos dimetros, de baixo para cima, esto em ordem estritamente
decrescente. Mostre que possvel, com 2
n
1 movimentos, transferir todos os
discos para o suporte B, usando o suporte C como auxiliar, de modo que jamais,
durante a operao, um disco maior fique sobre um disco menor.
20. Demonstre que 2
n
< n!, para n 4.
21. Demonstre que 2n
3
> 3n
2
+ 3n + 1 para n 3.
22. Considere n retas em um plano. Mostre que o "mapa" determinado por elas pode ser
colorido com apenas duas cores sem que duas regies vizinhas tenham a mesma cor.