O PRINCPIO DA INDUO

Elon Lages Lima

Instituto Nacional de Matemtica Pura e Aplicada - IMPA

caracterizado pelas seguintes propriedades:

Introduo

O Princpio da Induo um eciente instrumento

para a demonstrao de fatos referentes aos nmeros
naturais.

Por isso deve-se adquirir prtica em sua uti-

s : N N, que associa a cada

s(n) N, chamado o sucessor de n.

A. Existe uma funo

nN

um elemento

B. A funo

lizao. Por outro lado, importante tambm conhecer

s:NN

injetiva.

seu signicado e sua posio dentro do arcabouo da

C. Existe um nico elemento

Matemtica.

1 6= s(n)

Entender o Princpio da Induo prati-

camente 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 proposta ao nal.

para todo

no conjunto

X N tal que 1 X
n X s(n) X ), ento X = N.

D. Se um subconjunto

(isto ,

N,

tal que

s(X)

n N.

Observe que, como estamos chamando de

dos nmeros naturais, a notao

nN

N o conjunto
n

signica que

um nmero natural.
As armaes A, B, C e D so os axiomas de Peano.
I.

A SEQUNCIA DOS NMEROS NATURAIS

A notao

s(n) provisria. Depois de denirmos adio,

n + 1 em vez de s(n).

escreveremos
Os

nmeros

matemtico,

naturais

modelo

Como concesso fraqueza humana, nosso matemtico

que nos permite a

nos faria a gentileza de reformular os axiomas de Peano

constituem

uma escala padro,

um

A sequncia desses nmeros

em linguagem corrente, livre de notao matemtica. E

uma livre e antiga criao do esprito humano. Comparar

nos diria ento que as armaes acima signicam exata-

conjuntos de objetos com essa escala abstrata ideal

mente o mesmo que estas outras:

operao de contagem.

o processo que torna mais precisa a noo de quantidade; esse processo (a contagem) pressupe portanto o
conhecimento da sequncia numrica.
nmeros naturais so

1, 2, 3, 4, 5, . . .

Sabemos que os

A totalidade desses

nmeros constitui um conjunto, que indicaremos com o

smbolo

N e que chamaremos de
N = {1, 2, 3, 4, 5, . . .}

conjunto dos naturais.

Portanto

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

Evidentemente, o que acabamos de dizer s faz sentido

C'. Existe um nico nmero natural que no suces-

quando j se sabe o que um nmero natural. Faamos

sor de nenhum outro. Este nmero representado pelo

de conta que esse conceito nos desconhecido e pro-

smbolo 1 e chamado de nmero um.

curemos investigar o que h de essencial na sequncia

1, 2, 3, 4, 5, . . .
Deve-se a Giuseppe 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.
o conjunto

Noutras palavras,

dos nmeros naturais possui quatro pro-

priedades fundamentais, das quais resultam, como consequncias lgicas, todas as demais armaes verdadeiras
que se podem fazer sobre esses nmeros.
Comearemos com o enunciado e a apreciao do signicado dessas quatro proposies fundamentais a respeito dos nmeros naturais.

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

chama-se dois, o sucessor de dois chama-

se trs, etc.

Nossa civilizao progrediu ao ponto em

sucessor de

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

9,

todos os nmeros naturais.

Alm disso, nossa linguagem tambm fornece nomes para

os primeiros termos da sequncia dos nmeros naturais.
(Nmeros muito grandes no tm nomes especcos, ao
contrrio dos menores como mil novecentos e noventa e

II.

OS AXIOMAS DE PEANO

oito.

Quem sabe, por exemplo, o nome do nmero de

tomos do universo?)
Um matemtico prossional, em sua linguagem direta
e objetiva, diria que o conjunto

dos nmeros naturais

Voltando a usar a notao

nmero natural

n,

s(n) para o sucessor do

2 = s(1), 3 = s(2),

teremos ento

4 = s(3), 5 = s(4), etc. Assim, por exemplo, a igualdade 2 = s(1) signica apenas que estamos usando o
smbolo 2 para representar o sucessor de 1. A sequncia

tural

dos nmeros naturais pode ser indicada assim:

gozam de

Ento 1
P , mas todos os demais nmeros

P.

Princpio da Induo. Seja P uma propriedade refe-

rente a nmeros naturais.

1, pois esse nmero no

sucessor de nenhum outro. O diagrama acima diz muito

a propriedade de um nmero na-

ser sucessor de outro nmero natural.

no goza da propriedade

As echas ligam cada nmero ao seu sucessor.

sobre a estrutura do conjunto

O Princpio da Induo diz o seguinte:

1 2 3 4 5

Nenhuma echa aponta para

Por exemplo, seja

dos nmeros naturais.

Se 1 goza de P e se, alm

disso, o fato de o nmero natural

plica que seu sucessor

s(n)

gozar de P im-

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,

III.

dada a propriedade

O AXIOMA DA INDUO

cumprindo as condies estipula-

das no enunciado do Princpio, o conjunto

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 signicado informal do axioma D que todo nmero
natural pode ser obtido a partir de

por meio de repeti-

das aplicaes da operao de tomar o sucessor. Assim,

por exemplo,
de

1,

2 o sucessor de 1, 3 o sucessor do sucessor

etc. Para se entender melhor o axioma da induo

til examinar o exemplo no qual

s:NN

a funo

N = {1, 2, 3, . . .} mas
s(n) = n + 2.

modicada, pondo-se

Ento, se comearmos com

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.

Por-

tanto, o diagrama

1 3 5 2 4 6
exibe uma funo injetiva
verdade que todo nmero
partir de

1,

s : N N para a qual no
natural n pode ser obtido,

mediante repetidas aplicaes da operao

de passar de

para

podemos reformular o axioma da induo do seguinte

quando

um subconjunto

s(X) X ,

X N

ou seja, quando

X.

o prprio

Dito isso, o axioma da induo

N que contm

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.
uma propriedade que se refere a nmeros na-

turais. Um dado nmero natural pode gozar ou no da

propriedade

P.

X = N, isto , todo nmero natuP . As propriedades bsicas dos

ral goza da propriedade

nmeros naturais so demonstradas por induo. Comecemos com um exemplo bem simples.
Exemplo 1. Entre os axiomas de Peano no consta ex-

plicitamente a armao de que todo nmero diferente

do seu sucessor, a qual provaremos agora.
propriedade.
ral

n,

Seja

essa

Mais precisamente, dado o nmero natu-

P (n) para signicar, abreviadamente,

n 6= s(n). Ento P (1) verdadeira, pois
que 1 no sucessor de nmero algum; em

no sucessor de si prprio. Alm disso, se

escrevamos

a armao

1 6= s(1),

particular,

P (n) verdadeira, isto , se admitirmos que

n 6= s(n), ento s(n) 6= s(s(n)), pois a funo s : N N
injetiva. Mas a armao s(n) 6= s(s(n)) signica que
P (s(n)) verdadeira. Assim a verdade de P (n) acarreta
a verdade de P (s(n)). Pelo Princpio da Induo, todos
supusermos

os nmeros naturais gozam da propriedade P, ou seja,

so diferentes de seus sucessores.
Nas demonstraes por induo, a hiptese de que a

n (da qual
s(n)) chama-se

vlida para o nmero natural

deve decorrer que

vale tambm para

hiptese de induo.

n X s(n) X ,
X

1, 3, 5, . . . formam um conjunto indutivo que contm o elemento 1 mas

no igual a N.

dos nmeros

O Princpio da Induo no utilizado somente como

No exemplo acima, os nmeros mpares

Seja

contm o nmero

mtodo de demonstrao. Ele serve tambm para denir

arma que o nico subconjunto indutivo de

o nmero

e indutivo. Logo

chama-se indutivo

ou ainda, quando o sucessor de qualquer elemento de

tambm pertence a

propriedade

s(k).

Dentro de um ponto de vista estritamente matemtico,

modo:

naturais que gozam da propriedade

funes

f :NY

que tm como domnio o conjunto

dos nmeros naturais.

Para se denir 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
nico elemento

xX

um

y = f (x) Y .

Entretanto, no caso particular em que o domnio da

funo o conjunto

N dos nmeros naturais, a m de

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
denir uma funo

dados:
1. o valor

f (1);

2. uma regra que permita calcular

conhece

f (n).

f (s(n))

quando se

f (n)

Esses dois dados permitem que se conhea

todo nmero natural

n.

(Diz-se ento que a funo

para

Associatividade.

(k n) p.

foi

denida por recorrncia.) Com efeito, se chamarmos de

o conjunto dos nmeros naturais

pode determinar

f (n),

para os quais se

o dado 1 acima diz que

n X s(n) X .
tem-se X = N.

o dado 2 assegura que

axioma da induo,

Observao. Uma funo

f :NY

1X

Logo, pelo

cujo domnio o

Comutatividade.
Lei do Corte.

uma tal sequncia

vez de

f (n)

(y1 , y2 , . . . , yn , . . .), onde se usa yn em

f no nmero

k+n=n+k

k (n p) =

k n = n k.

k+n=k+pn=p

kn=kp

n = p.
Distributividade.

k (n + p) = k n + k p.

Omitiremos as demonstraes desses fatos.

conjunto dos nmeros naturais chama-se uma sequncia

ou sucesso de elementos de Y. A notao usada para

k + (n + p) = (k + n) + p

O leitor

pode consider-las como exerccios sobre o mtodo da

induo.

para indicar o valor da funo

n.
V.

IV.

ADIO E MULTIPLICAO DE

ORDEM

A adio de nmeros naturais permite introduzir uma

NMEROS NATURAIS

N. Dados os nmeros naturais m

n, diremos que m menor do que n e escreveremos
m < n, para signicar 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 signica que m < n ou m = n. Por
denio, tem-se, portanto, m < m + p para quaisquer
m, p N. Em particular, m < m + 1.
Segue-se tambm da denio que 1 < n para todo
nmero natural n 6= 1. Com efeito, pelo axioma C, n 6= 1
implica que n sucessor de algum nmero natural m, ou
seja, n = m + 1 = 1 + m, logo n > 1. Assim, 1 o menor
relao de ordem em
e

A adio e a multiplicao de nmeros naturais so

exemplos de funes denidas por recorrncia.
Para denir a adio, xaremos um nmero natural

k e deniremos a soma k + n para todo n N.

k , a correspondncia n k+n ser uma funo
f : N N, chamada somar k . Ela se dene por recorarbitrrio
Fixado

rncia, a partir dos seguintes dados:

S1.

k + 1 = s(k);

S2.

k + s(n) = s(k + n).

dos nmeros naturais.

k + 1 , por denio, o sucessor de k . E, se

conhecermos k + n, saberemos o valor de k + s(n): por
denio, 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 denitivas n + 1 em vez de s(n) e
(k + n) + 1 em vez de s(k + n), a igualdade (S2) se escreve
Portanto,

assim:
S2'.

k + (n + 1) = (k + n) + 1.

nmeros naturais quaisquer

k + n de dois

n.

A multiplicao de nmeros naturais se dene de modo

anlogo adio.

Fixado arbitrariamente um nmero

k , a multiplicao por k associa a todo nmero

natural n o produto nk , denido por induo da seguinte
natural

maneira:

1 k = k;

P2.

(n + 1) k = n k + k .

O produto

nk

escreve-se tambm

vezes

n < p,

ento

logo

m < n e n < p ento n = m + k e

p = (m + k) + r = m + (k + r), portanto

Outra importante propriedade da relao de ordem

que, dados dois nmeros naturais diferentes
tem-se

m<n

ou ento

n < m.

n,

ou

Esta propriedade pode

ser reformulada de outra maneira, como segue.

m e n so comm = n, m < n ou n < m.

Diremos que os nmeros naturais

parveis quando se tem

Podemos ento enunciar o seguinte teorema.

m.

Demonstrao. Isso se prova por induo. O nmero 1

nk

e l-se n vezes

igual

n vezes k mais (uma vez) k .

2 k = k + k , 3 k = k + k + k , etc.

igual a

Assim, por denio,

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

n , p N.

m<n

m < p.

comparvel com qualquer nmero natural

k. A denio acima diz portanto que uma vez

n+1

A primeira delas a

Teorema 2 (Comparabilidade). Todo nmero natural

P1.

que denimos.

Teorema 1 (Transitividade). Se

p = n + r,
m < p.

Assim, as igualdades (S1) e (S2) ou, equivalentemente,

m < n

transitividade.

Demonstrao. Se

(S1) e (S2') denem por recorrncia a soma

Provaremos a seguir as propriedades bsicas da relao

de ordem

k,

comparvel com qualquer outro nmero natural, pois j

sabemos que

1<m

para todo

m 6= 1.

Suponhamos agora que o nmero natural

parvel com todos os nmeros naturais.

seja com-

n + 1 tambm tem essa propriedade. Com

m N tomado arbitrariamente. Sabemos que
m < n, m = n ou n < m. Examinemos cada uma

partir da, que

efeito, seja
se tem

Mostremos, a

dessas possibilidades.

ento m < n + 1 por transitividade, pois

n < n + 1.
Se m = n, ento m < n + 1.
Se n < m, ento m = n + p. Neste caso, h duas
possibilidades. Ou se tem p = 1, donde m = n + 1, ou
0
0
ento p > 1, logo p = 1 + p , e da m = (n + 1) + p , donde
conclumos que n + 1 < m.
Em qualquer hiptese, vemos que n + 1 comparvel
com qualquer nmero natural m.
Por induo, ca
Se

m < n,

VI.

BOA ORDENAO

sabemos que

provada a comparabilidade de quaisquer nmeros naturais

n.

Dado o subconjunto

a
a A
x A.

tural

A N,

diz-se que o nmero na-

o menor (ou primeiro ) elemento de

e, alm disso,

a x,

quando

para todos os elementos

Por exemplo, 1 o menor elemento de

N.
n N, indicaremos com In
o conjunto dos nmeros naturais p tais que 1 p n.
Assim, I1 = {1}, I2 = {1, 2}, I3 = {1, 2, 3}, etc.
As propriedades da relao de ordem m < n, demonsDe agora em diante, dado

tradas na seo anterior para os nmeros naturais (exceto

A comparabilidade dos nmeros naturais complementada pela proposio abaixo.

m < n, m = n

igualmente vlidas para os nmeros inteiros, racionais e,

mais geralmente, para nmeros reais quaisquer. Existe,

m, n N, qualquer
n < m exclui as outras

Teorema 3 (Tricotomia). Dados

das armaes

o Teorema 4, que vale apenas para nmeros inteiros), so

ou

duas.

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.
Demonstrao. Se tivssemos

O teorema seguinte mostra que

n+1

so nmeros

consecutivos.
Teorema 4. No existem nmeros naturais entre

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 sub-

mitir que

1
/ A,

n < p < n + 1,
p = n + k e n + 1 = p + r, logo n + 1 = n + k + r.
Cortando n, obteramos 1 = k + r . Por denio, isto
signicaria k < 1, o que absurdo, pois j vimos que
k 6= 1 k > 1.

teramos

pois caso contrrio 1 seria evidente-

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 In N A e n + 1 A. Com esse objetivo, consimente o menor elemento de

deramos o conjunto

X = {n N : In N A}.
Portanto,

Demonstrao. Se fosse possvel ter

possui um menor elemento.

Demonstrao. Sem perda de generalidade, podemos ad-

n + 1.

AN

conjunto no-vazio

n tais
A so maiores do que n. Como
1
/ A, sabemos que 1 X . Por

o conjunto dos nmeros naturais

que todos os elementos de

estamos supondo que
outro lado, como

no vazio, nem todos os nmeros

naturais pertencem a

X,

ou seja, temos

axioma D, vemos que o conjunto

X 6= N.

Pelo

no indutivo, isto

n+1
/ X . Isto
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.
, deve existir algum

n X

tal que

signica que todos os elementos de

A conexo entre a relao de ordem e as operaes de

adio e multiplicao dada pelo seguinte teorema.
Teorema 5 (Monotonicidade). Se

n+p

m < n, ento m+p <

mp < np.

O Princpio da Boa Ordenao pode muitas vezes ser

usado em demonstraes, substituindo o Princpio da In-

<, 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.
Demonstrao. Usando a denio de

duo. Vejamos um exemplo.

seja, quando
elementos.

contm o sucessor de cada um dos seus

O Princpio da Induo arma que se um

conjunto indutivo
A recproca da monotonicidade a Lei do Corte para
desigualdades:

m < n.

m+p < n+p m < n

tricotomia e a prpria monotonicidade.

contm o nmero 1 ento

contm

todos os nmeros naturais.

mp < np

O leitor poder prov-la por absurdo, usando a

X N
n X n + 1 X , ou

Dissemos anteriormente que um subconjunto

chama-se indutivo quando

Vamos usar o Princpio da Boa Ordenao para provar

que se um conjunto indutivo

contm o nmero

a, ento
a.

contm todos os nmeros naturais maiores do que

A prova desta armao se faz por absurdo, como

Demonstrao. Com efeito, do contrrio, denindo-se

f : N N

uma funo

nhamos ento que existam nmeros naturais, maiores do

obteramos uma funo montona no-crescente, que, de

que

a,

X . Seja b
b > a, podemos escrever
de b, tem-se necessaria-

no pertencentes ao conjunto indutivo

o menor desses nmeros. Como

b = c + 1, onde, pela denio

mente c X . Mas, como X indutivo,
b = c + 1 X , uma contradio.

isto obriga que

pela frmula

f (k) = nk ,

ocorre em geral quando se usa a boa ordenao. Supo-

acordo com o teorema 8, seria constante a partir de um

certo ponto. Isso signica que nossa sequncia seria constante a partir de um certo ponto, absurdo, pois, por
hiptese, ela estritamente decrescente.

Assim, a su-

posio de que alguma sequncia estritamente decres-

A proposio que acabamos de demonstrar pode ser

cente de nmeros naturais innita leva a uma contradio.

enunciada da seguinte forma.

Portanto toda sequncia estritamente decres-

cente de nmeros naturais nita.

Teorema

Seja

(Princpio

da

Induo

Generalizado).

uma propriedade referente a nmeros naturais,

cumprindo as seguintes condies:

1. o nmero natural

goza da propriedade

2. se um nmero natural
to seu sucessor

VII.

n+1

P;

goza da propriedade

tambm goza de

Em algumas situaes, ao tentarmos fazer uma de-

en-

P.

gozam da propriedade

monstrao por induo, na passagem de

P.

Exemplo 2. Vejamos uma situao simples onde se em-

prega o Princpio da Induo Generalizado. Trata-se de

2n + 1 < 2n , para todo n 3. Esta armao, 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 < 2n +2 < 2n +2n = 2n+1 . (Na

provar que

primeira desigualdade, usamos a hiptese de induo.)

para

n + 1,

sentimos necessidade de admitir que a proposio valha

no apenas para

Ento todos os nmeros naturais maiores do que ou

iguais a

SEGUNDO PRINCPIO DA INDUO

e sim para todos os nmeros natu-

n.

rais menores do que ou iguais a

A justicativa de um

raciocnio desse tipo se encontra no

X
n N,

Teorema 9 (Segundo Princpio da Induo). Seja

um conjunto com a seguinte propriedade: dado

se todos os nmeros naturais menores do que

a

X,

ento

n X.

X N com a propriedade acima

arma que um conjunto

coincide com

n pertencem

O Segundo Princpio da Induo

N.

Demonstrao. Com efeito, supondo, por absurdo, que

X 6= N,

N X 6= , seja n o menor elemento

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 do teorema, n pertence a X , uma contradio. Segue-se que N X = e X = N.
isto , que

do conjunto
Exemplo 3. Usando a desigualdade

2n + 1 < 2n ,

que

n 3, podemos demonstrar
n 5, empregando novamente

acabamos de provar para

que

n2 < 2n

para todo

o Princpio da Induo Generalizado.

Com efeito, vale

52 < 25 pois 25 < 32. Supondo vlida a desigualdade

n2 < 2n para um certo valor de n 5, da segue-se que
(n + 1)2 = n2 + 2n + 1 < 2n + 2n + 1 (pela hiptese
n
n
n+1
de induo) < 2 + 2 (pelo exemplo anterior) = 2
.
Portanto P (n) P (n + 1). Pelo Princpio de Induo
Generalizado, segue-se que P (n) vale para todo n 5.
2
n
Evidentemente, a desigualdade n < 2
vlida para
n = 1, mas falsa para n = 2, 3, 4.
O teorema abaixo contm outra aplicao do Princpio

Observao. Se um conjunto

no pertencesse a

gum nmero natural

se

n = 1,

Teorema 8. Toda funo montona no-crescente

f :

N N constante a partir de um certo ponto. (Isto ,

existe n0 N tal que f (n) = f (n0 ), para todo n n0 .)
Demonstrao. Seja f (n0 ) o menor elemento do conjunto
X = {f (1), f (2), . . . , f (n), . . .}. Ento n > n0 f (n)
f (n0 ) (porque a funo f no-crescente), o que acarreta
que f (n) = f (n0 ) (porque f (n0 ) o menor elemento de
X .)

goza da pro-

X seria necessrio que existisse alr < n tal que r

/ X . Em particular,

como no existe nmero natural menor do que

1, a hiptese

1
/ X

no pode ser cumprida.

Noutras

palavras, a propriedade do teorema acima j contm implicitamente a armao de que

1 X.

Assim, ao utilizar

o Segundo Princpio da Induo, no preciso estipular

que

da Boa Ordenao.

X N

priedade do teorema acima, para que um nmero natural

contm o nmero 1.

Toda propriedade

que se rera a nmeros naturais

dene um subconjunto

X N,

a saber, o conjunto dos

nmeros naturais que gozam da propriedade

ciprocamente, todo conjunto

X N

P.

(E re-

dene uma pro-

priedade 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 in-

Corolrio.

Toda

n1 > n2 >

sequncia

estritamente

de nmeros naturais nita.

decrescente

duo). Seja

turais. Dado

P uma propriedade referente a nmeros nan N, se a validade de P para todo nmero

natural menor do que

n,

ento

implicar que

verdadeira para

m de perder aquela vaga sensao de desonesti-

verdadeira para todos os nmeros naturais.

dade que o principiante tem quando admite que o

fato a ser provado verdadeiro para

Demonstrao. Com efeito, nas condies do enunciado,

o conjunto
priedade

dos nmeros naturais que gozam da pro-

satisfaz a propriedade do Segundo Princpio

X=N

da Induo, logo

n,

antes de

n + 1.

demonstr-lo para

2. Pratique tambm (com moderao) o exerccio de

descobrir o erro em paradoxos que resultam do uso

vale para todos os nmeros

inadequado do mtodo de induo.

naturais.

Vejamos dois

desses sosmas.
Aplicaremos agora o Segundo Princpio da Induo
para demonstrar um fato geomtrico.

No exemplo a

Exemplo 5. Todo nmero natural pequeno.

Ora, 1

certamente pequeno. E se

de contagem, isto , como nmeros cardinais, pois em-

subitamente tornar-se grande, logo tambm pequeno.

pregamos expresses do tipo um polgono de

lados.

Sabe-se que, traando diagonais internas que no se

cortam, pode-se decompor qualquer polgono em trinIsso evidente quando o polgono

convexo: basta xar um vrtice e traar as diagonais a

partir dele.

Se o polgono no convexo, a prova re-

quer mais cuidados. (Veja E. L. Lima,Meu Professor de

Matemtica e outras Histrias, pg. 109.)
O leitor pode experimentar com um polgono noconvexo e vericar que 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

lados, em tringulos justapostos

por meio de diagonais internas que no se intersectam, o

nmero de diagonais utilizadas sempre
Com efeito, dado

n,

suponhamos que a proposio

Seja ento dada uma decomposio do polgono

lados, em tringulos justapostos, mediante di-

agonais internas.

Fixemos uma dessas diagonais.

Ela

P como reunio de dois polgonos justaposP1 , de n1 lados, e P2 , de n2 lados, onde n1 < n e

n2 < n, logo a proposio vale para os polgonos P1 e P2 .
Evidentemente, n1 + n2 = n + 2.

decompe
tos

HH




HH
H

HH
H

HH


H

HH
HH
H


P2




P se
P1 , n2 3 decompem P2 e uma foi usada para separar P1 de P2 .
Portanto d = n1 3 + n2 3 + 1 = n1 + n2 5. Como
n1 + n2 = n + 2, resulta que d = n 3. Isso completa a
As

P1

 HH

(O erro aqui consiste em que a noo nmero pequeno

Exemplo 6. Toda funo

um conjunto nito
verdadeiro se
mentos, seja

n1 3

Observaes.

1. Para habituar-se com o mtodo de demonstrao

por induo preciso pratic-lo muitas vezes, a

cujo domnio

Isso obviamente

tem apenas 1 elemento.

Supondo a

f :X Y

denida num conjunto

n eleX com

(Aqui o erro reside no uso inadequado da hiptese de

induo. O raciocnio empregado supe implicitamente
que

tem pelo menos 3 elementos. Na realidade, no

P (1) P (2).)

O perigo de fazer generalizaes apressadas relativamente a asseres sobre nmeros naturais ca evidenciado com o seguinte exemplo.
Exemplo 7. Considere o polinmio

p (n) = n2 n + 41

p (n) sempre um primo para

n = 1, 2, 3, . . .. Embora isso seja verdadeiro para n =
1, 2, . . . , 40, temos p (41) = 412 41+41, que no primo,
e a armao o valor de

logo a armao no verdadeira.

q (n) = n2 79n + 1601

n = 1, 2, . . . , 79, mas q (80) = 802

Semelhantemente, a expresso
fornece primos para

79 80 + 1601 = 1681 no primo,

pois divisvel por 41.

A moral da histria : s aceite que uma armao sobre

os nmeros naturais realmente verdadeira para todos
os naturais se isso houver de fato sido demonstrado!

VIII.

delas decompem

demonstrao.

f : X Y,

constante.

n + 1 elementos. Considere um elemento a X . Como

X 0 = X {a} tem n elementos, f assume o mesmo valor
c Y em todos os elementos de X 0 . Agora troque a por
0
00
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 00 . Logo f (a) = c e da f : X Y constante.

diagonais que efetuam a decomposio de

agrupam assim:

X,

armao verdadeira para todos os conjuntos com

vale a implicao

n 3.

acima seja verdadeira para todo polgono com menos de

n lados.
P , de n

no vai

no bem denida.)

(Veja seo VIII.)

gulos justapostos.

pequeno,

n+1

seguir, usamos os nmeros naturais como instrumento

NMEROS CARDINAIS

Vamos agora mostrar como se usam os nmeros naturais para contar os elementos de um conjunto nito.
O Princpio da Induo ser essencial. Lembremos que,

n N, escrevemos In = {p N : p n}, porIn = {1, 2, . . . , n}. Uma contagem dos elementos

de um conjunto no-vazio X uma bijeo f : In X .
Podemos pr x1 = f (1), x2 = f (2), . . . , xn = f (n) e escrever X = {x1 , x2 , . . . , xn }. Diz-se ento que X possui

dado

tanto

elementos. O conjunto

quando existe

nN

chama-se um conjunto nito

tal que

possiu

elementos.

Um exemplo bvio de conjunto nito

mente, a funo identidade
dos elementos de

f : In In

In .

mentos menor do que ou igual ao de X (veja E. L. Lima,

Anlise Real, vol. 1, pg. 5.)

Evidente-

conveniente incluir, por denio, o conjunto vazio

uma contagem

entre os conjuntos nitos e dizer que o seu nmero de ele-

In .

mentos zero. Embora zero no seja um nmero natural,

Um exemplo de conjunto innito o prprio conjunto

N dos nmeros naturais, pois nenhuma funo f : In 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 In , logo k
/ f (In ), e
f no sobrejetiva.

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.

A m de que no haja ambiguidade quando se falar

do nmero de elementos de um conjunto nito
necessrio provar que todas as contagens de

X,

o mesmo resultado. Noutras palavras, dado o conjunto

X , os nmeros naturais m e n, e as bijees f : Im X

e g : In X , devemos mostrar que se tem m = n.
Comeamos observando que se f e g so bijees, ento
= g 1 f : Im In tambm uma bijeo. Basta
portanto provar o seguinte:
Teorema 11. Dados

bijeo, ento

m, n N,

se

: Im In

Demonstrao. Com efeito, chamemos de

uma

nmeros mpares seguidos dos nmeros pares divisveis por 4 em ordem decrescente e, por m,
os pares no divisveis por 4 em ordem crescente.

X = N e dena s : X X
s(n) = n + 2 se n no divisvel por 4 e
s(n) = n 2 se n for mltiplo de 4. Mostre que
s : X X cumpre os axiomas A, B e C mas no
Noutras palavras, tome

D.

o conjunto

n que tm a seguinte propriedade:

: Im In quando m = n. Evidentemente, 1 X . Suponhamos agora que n X .
Dada uma bijeo : Im+1 In+1 , duas coisas podem
acontecer. Primeira: (m + 1) = n + 1. Nesse caso, a
restrio | Im : Im In uma bijeo, logo m = n,
donde m + 1 = n + 1. Segunda: (m + 1) = b, com
b < n + 1. Nesse caso, consideramos a = 1 (n + 1)
e denimos uma nova bijeo : Im+1 In+1 , pondo
(m + 1) = n + 1, (a) = b e (x) = (x) para os
demais elementos x Im+1 . Ento recamos no caso
anterior e novamente conclumos que m + 1 = n + 1.
Isso mostra que n X n + 1 X , logo X = N e a
dos nmeros naturais

s existe uma bijeo

unicidade do nmero cardinal de um conjunto nito ca

demonstrada.
Agora os nmeros naturais no so apenas elementos

N, mas servem tambm para respon-

der perguntas do tipo quantos elementos tem o conjunto

X ?,

1. Construa um esquema de setas comeando com os

pondo

m = n.

do conjunto-padro

Exerccios

fornecem

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.

estipulando que

f (1) = 3

D uma frmula explcita

f (1) = 1, f (2) = 5
2f (n).
que

X N

4. Seja

a N

tal que

X = {n N :

n a}.
5. Prove, por induo, que

12 + 22 + + n2 =

n(n + 1)(2n + 1)
.
6

6. Prove que num polgono com

de diagonais maior do que

n 6 lados, o nmero
n.

[(n + 1)/n]n < n, para

observe que (n + 2)/(n +

7. Prove, por induo, que

todo n 3. (Sugesto:
1) < (n + 1)/n) e eleve

ambos os membros dessa

n +
1.) Conclua da que
1, 2, 3 3, 4 4, 5 5, . . . decrescente a

desigualdade potncia

Se

partir do terceiro termo.

f : Im X e g : In Y
so bijees, denimos uma bijeo h : Im+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.

f : N N sabendo
f (n + 2) = 3f (n + 1)

um conjunto indutivo no-vazio.

Mostre que existe

Teorema 12. Sejam

Demonstrao. Com efeito, se

3. D uma frmula explcita para

a sequncia

X e Y conjuntos nitos disjuntos.

X tem m elementos e Y tem n elementos, ento X Y
tem m + n elementos.

f : N N
f (n + 1) = 5f (n) + 1.
para f (n).

2. Dena, por recorrncia, uma funo

8. Prove, por induo, a desigualdade de Bernoulli:

(1 + a)n > 1 + na
9. Para todo

quando

1 + a > 0.

n N, ponha xn = [(n+1)2 /n(n+2)]n e

xn < (n+2)/(n+1).

prove, por induo, que se tem

Conclua, a partir da, que a sequncia de termo

Prova-se, por induo, que todo subconjunto de um
conjunto nito

tambm nito e seu nmero de ele-

[(n + 1)/n]n crescente. Sugesto: observe

xn+1 = [(n + 2)/(n + 1)]3 [n/(n + 3)]xn .

geral
que

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.
S N, no-vazio, limitado superiork tal que para todo natural x S , x k . Mostre que S possui um maior
elemento. (Isto , existe m S tal que x m,
para todo x S .)

11. Um conjunto

mente, se existe um natural

n primeiros nmeros
mpares n , ou seja, que 1+3+5+ +(2n1) =
n2 .

12. Demonstre que a soma dos

  


 

p
p+1
p+n
p+n+1
+
+ +
=
p
p
p
p+1
Este resultado comumente conhecido por Teo-

rema das Colunas. (Por qu?)

18. Considere a sequncia
onde

pn+1 = pn + 2qn

1/1, 3/2, 7/5, . . . , pn /qn , . . .,

qn+1 = pn + qn . Demonstre

que

(b)

2n 1 mltiplo de 3, para todo nmero

13. Prove que

natural

(a)

par.

14. Demonstre que, para todo nmero natural

n,

vale

1+

1
1


1+

1
2


1+

1
3



1
1 +
n + 1.
n

n
2) /2 e
pn o inteiro mais prximo de(1 +
qn o inteiro mais prximo de 2(1+ 2)n /4.

19. (A Torre de Hani). So dados trs suportes

e

mdc (pn , qn ) = 1;

C.

No suporte

esto encaixados

A, B

discos cujos

dimetros, de baixo para cima, esto em ordem estritamente decrescente. Mostre que possvel, com

2n 1

movimentos, transferir todos os discos para

o suporte

B,

usando o suporte

como auxiliar,

de modo que jamais, durante a operao, um disco

15. Demonstre que

maior que sobre um disco menor.

1 1
1
1
1
1
1 +
=
+
+ +
.
2 3
200
101 102
200
16. Determine

An


se

A=

1 2
2 4


.

17. Demonstre, usando o Princpio da Induo Finita,

que

20. Demonstre que

2n < n!,

21. Demonstre que

2n3 > 3n2 + 3n + 1

22. Considere

para

n 4.

retas em um plano.

para

n 3.

Mostre que o

mapa determinado por elas pode ser colorido com

apenas duas cores sem que duas regies vizinhas
tenham a mesma cor.