Você está na página 1de 13

O PRINCPIO DA INDUO

Elon Lages Lima


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 tamm con!ecer seu si"nificado e sua posio dentro do arcaouo da
#atemtica. $ntender o Princpio da Induo praticamente o mesmo que entender os
nmeros naturais.
%presentamos aai&o uma reve e&posio sore os nmeros naturais, onde o
Princpio da Induo se insere adequadamente e mostra sua fora te'rica antes de ser utilizado
na lista de e&erccios 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 conta"em. % seq()ncia desses nmeros uma livre e anti"a criao do
esprito !umano. *omparar con+untos de o+etos com essa escala astrata ideal o processo
que torna mais precisa a noo de quantidade, esse processo -a conta"em. pressup/e portanto
o con!ecimento da seq()ncia numrica. 0aemos que os nmeros naturais so 1, 2, 3, 4, 5,6
% totalidade desses nmeros constitui um con+unto, que indicaremos com o smolo N e que
c!amaremos de con+unto dos naturais. Portanto N 7 81, 2, 3, 4, 5,69.
$videntemente, o que acaamos de dizer s' faz sentido quando + se sae o que um
nmero natural. :aamos de conta que esse conceito nos descon!ecido e procuremos
investi"ar o que ! de essencial na seq()ncia 1, 2, 3, 4, 56 .
;eve-se a Giussepe Peano (1858-1932) a constatao de que se pode elaorar toda a
teoria dos nmeros naturais a partir de quatro fatos sicos, con!ecidos atualmente como os
axiomas de Peano. <outras palavras, o con+unto N dos nmeros naturais possui quatro
propriedades fundamentais, das quais resultam, como conseq()ncias l'"icas, todas as
afirma/es verdadeiras que se podem fazer sore esses nmeros.
*omearemos com o enunciado e a apreciao do si"nificado dessas quatro proposi/es
fundamentais a respeito dos nmeros naturais.
2. OS AXIOMAS DE PEANO
=m matemtico profissional, em sua lin"ua"em direta e o+etiva, diria que o con+unto
N dos nmeros naturais caracterizado pelas se"uintes propriedades>
A. $&iste uma funo s > N N, que associa a cada n N um elemento s-n. N,
c!amado o sucessor de n.
B. % funo s > N N in+etiva.
C. $&iste um nico elemento 1 no con+unto N, tal que 1 s-n. para todo n N.
D. 0e um sucon+unto X N tal que 1 N e s-X. X
-isto , n X s-n. X., ento X 7 N.
Oserve que, como estamos c!amando de N o con+unto dos nmeros naturais, a
notao n N si"nifica que n um nmero natural.
%s afirma/es A, B, C e D so os axiomas de Peano. % notao s-n. provis'ria. ;epois de
definirmos adio, escreveremos n ? 1 em vez de s-n..
*omo concesso @ fraqueza !umana, nosso matemtico nos faria a "entileza de
reformular os axiomas de Peano em lin"ua"em corrente, livre de notao matemtica. $ nos
diria ento que as afirma/es acima si"nificam e&atamente o mesmo que estas outras>
A'. Aodo nmero natural possui um nico sucessor, que tamm um nmero
natural.
B'. <meros naturais diferentes possuem sucessores diferentes. -Ou ainda> nmeros que
t)m o mesmo sucessor so i"uais..
C'. $&iste um nico nmero natural que no sucessor de nen!um outro. $ste nmero
representado pelo smolo 1 e c!amado de Bnmero umB.
D'. 0e um con+unto de nmeros naturais contm o nmero 1 e, alm disso, contm o
sucessor de cada um de seus elementos, ento esse con+unto coincide com N, isto ,
contm todos os nmeros naturais.
% partir da, retomamos a palavra para dizer que o sucessor de 1 c!ama-se BdoisB, o
sucessor de dois c!ama-se Btr)sB, etc. <ossa civilizao pro"rediu ao ponto em que temos um
sistema de numerao, o qual nos permite representar, mediante o uso apropriado dos
smolos C, 1, 2, 3, 4, 5, D, E, F e G, todos os nmeros naturais. %lm disso, nossa lin"ua"em
tamm fornece nomes para os primeiros termos da seq()ncia dos nmeros naturais.
-<meros muito "randes no t)m nomes especficos, ao contrrio dos menores como Bmil
novecentos e noventa e oitoB. Huem sae, por e&emplo, o nome do nmero de tomos do
universoI.
Joltando a usar a notao s-n. para o sucessor do nmero natural n, teremos ento 2
7 s-1., 3 7 s-2., 4 7 s-3., 5 7 s-4., etc. %ssim, por e&emplo, a i"ualdade 2 7 s-1. si"nifica
apenas que estamos usando o smolo 2 para representar o sucessor de 1. % seq()ncia dos
nmeros naturais pode ser indicada assim>

s s s s s
5 4 3 2 1
%s flec!as li"am cada nmero ao seu sucessor.
<en!uma flec!a aponta para 1, pois este nmero no sucessor de nen!um outro. O
dia"rama acima diz muito sore a estrutura do con+unto N dos nmeros naturais.
3. O AXIOMA DA INDUO
=m dos axiomas de Peano, o ltimo, possui claramente uma natureza mais elaorada
do que os demais. $le con!ecido como o a&ioma da induo. :aremos dele uma anlise
detida, acompan!ada de comentrios.
O si"nificado informal do a&ioma D que todo nmero natural pode ser otido a
partir de 1 por meio de repetidas aplica/es da operao de tomar o sucessor. %ssim, por
e&emplo, 2 o sucessor de 1, 3 o sucessor do sucessor de 1, etc. Para se entender mel!or o
a&ioma da induo util e&aminar o e&emplo, no qual N 7 81, 2, 3,69 mas a funo s > N
N modificada, pondo-se s-n. 7 n ? 2. $nto, se comearmos com 1 e a este nmero
aplicarmos repetidamente a operao de tomar o BsucessorB -nesta nova acepo. oteremos
s-1. 7 3, s-3. 7 5, s-5. 7 E, etc., e nunca c!e"aremos a qualquer nmero par. Portanto, o
dia"rama

s s s s s s
D 4 2 5 3 1
e&ie uma funo in+etiva s > N N para a qual no verdade que todo nmero natural n
pode ser otido, a partir de 1, mediante repetidas aplica/es da operao de passar de k para
s-k..
;entro de um ponto de vista estritamente matemtico, podemos reformular o a&ioma
da induo do se"uinte modo> =m sucon+unto X N c!ama-se indutivo quando s-X. X, ou
se+a, quando n X s-n. X, ou ainda, quando o sucessor de qualquer elemento de X
tamm pertence a X.
;ito isto, o a&ioma da induo afirma que o nico sucon+unto indutivo de N que contm o
nmero 1 o proprio N.
<o e&emplo acima, os nmeros mpares 1, 3, 5, 6 formam um con+unto indutivo que
contm o elemento 1 mas no i"ual a N.
O papel fundamental do a&ioma da induo na teoria dos nmeros naturais e, mais
"eralmente, em toda a #atemtica, resulta do fato de que ele pode ser visto como um mtodo
de demonstrao, c!amado o Mtodo de Induo Matemtia, ou P!in"#io da Induo
$inita, ou P!in"#io da Induo, conforme e&plicaremos a"ora.
0e+a P uma propriedade que se refere a nmeros naturais. =m dado nmero natural
pode "ozar ou no da propriedade P%
Por e&emplo, se+a P a propriedade de um nmero natural n ser sucessor de outro
nmero natural. $nto 1 no "oza da propriedade P, mas todos os demais nmeros "ozam de
P%
O Princpio da Induo diz o se"uinte>
Princpio da Induo> 0e+a P uma propriedade referente a nmeros naturais. 0e 1 "oza de P
e se, alm disso, o fato de o nmero natural n "ozar de P implica que seu sucessor s-n.
tamm "oza, ento todos os nmeros naturais "ozam da propriedade P.
Para ver que o Princpio da Induo verdadeiro -uma vez admitidos os axiomas de
Peano. asta oservar que, dada a propriedade P cumprindo as condi/es estipuladas no
enunciado do Princpio, o con+unto X dos nmeros naturais que "ozam da propriedade P
contm o nmero 1 e indutivo. Ko"o X 7 N, isto , todo nmero natural "oza da propriedade
P. %s propriedades sicas dos nmeros naturais so demonstradas por induo. *omecemos
com um e&emplo em simples.
Exemplo 1. $ntre os axiomas de Peano no consta e&plicitamente a afirmao de que todo
nmero diferente do seu sucessor, a qual provaremos a"ora. 0e+a P esta propriedade. #ais
precisamente, dado o nmero natural n, escrevamos P-n. para si"nificar, areviadamente, a
afirmao n s-n.. $nto P-1. verdadeira, pois 1 s-1., + que 1 no sucessor de nmero
al"um, em particular, 1 no sucessor de si pr'prio. %lm 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 in+etiva. #as a afirmao s-n. s-s-n.
si"nifica que P-s-n.. verdadeira. %ssim, a verdade de P-n. acarreta a verdade de
P-s-n... Pelo Princpio da Induo, todos os nmeros naturais "ozam da propriedade P, ou
se+a, so diferentes de seus sucessores.
<as demonstra/es por induo, a !ip'tese de que a propriedade P vlida para o
nmero natural n -da qual deve decorrer que P vale tamm para s-n.. c!ama-se !ip'tese de
induo.
O Princpio da Induo no utilizado somente como mtodo de demonstrao. $le
serve tamm para definir fun/es &> N ' que t)m como dominio o con+unto N dos
nmeros naturais.
Para se definir uma funo & > X ' e&i"e-se em "eral que se+a dada uma re"ra em
determinada, a qual mostre como se deve associar a cada elemento x X um nico elemento
( 7 &-x. '%
$ntretanto, no caso particular em que o domnio da funo o con+unto N dos
nmeros naturais, a fim de definir uma funo & > N ' no necessrio dizer, de uma s'
vez, qual a receita que d o valor &-n. para todo n N. Lasta que se ten!a con!ecimento dos
se"uintes dados>
-1. O valor & -1.,
-2. =ma re"ra que permita calcular & -s-n.. quando se con!ece & -n..
$sses dois dados permitem que se con!ea & -n. para todo nmero natural n. -;iz-se
ento que a funo & foi definida por recorr)ncia.. *om efeito, se c!amarmos de X o con+unto
dos nmeros naturais n para os quais se pode determinar & -n., o dado -1. acima diz que 1 X
e o dado -2. asse"ura que n X s-n. X. Ko"o, pelo a&ioma da induo, tem-se
X 7 N.
Obs. > =ma funo & > N ' cu+o domnio o con+unto dos nmeros naturais c!ama-se uma
se)*+nia ou suesso de elementos de '. % notao usada para uma tal seq()ncia -(
1
, (
2
,
6,(
n
,6., onde se usa (
n
em vez de &-n. para indicar o valor da funo & no nmero n. O
elemento (
n
.

4. ADIO E MULTIPLICAO DE NMEROS NATURAIS
% adio e a multiplicao de nmeros naturais so e&emplos de fun/es definidas
por recorr)ncia.
Para definir a adio, fi&aremos um nmero natural aritrrio k e definiremos a soma
k ? n para todo n N.
:i&ado k, a correspond)ncia n k ? n ser uma funo &> N N, &-n. 7 k ? n,
c!amada Bsomar kB. $la se define por recorr)ncia, a partir dos se"uintes dados>
--1. k ? 1 7 s-k.
--2. k . s-n. 7 s-k ? n..
Portanto, k ? 1 , por definio, o sucessor de k. $, se con!ecermos k ? n, saeremos o valor
de k ? s-n.> por definio, tem-se k ? s-n. 7 s-k . n.. Isto nos permite con!ecer k ? n para
todo n N -e todo k N..
=sando as nota/es definitivas n ? 1 em vez de s-n. e -k ? n. ? 1 em vez de s-k ? n.,
a i"ualdade --2. se escreve assim>
--2M. k ? -n ? 1. 7 -k ? n. ?1.
%ssim, as i"ualdades --1. e --2. ou, equivalentemente, --1. e --2M. definem por
recorr)ncia a soma k ? n de dois nmeros naturais quaisquer k e n.
% multiplicao de nmeros naturais se define de modo anlo"o @ adio. :i&ado
aritrariamente um nmero natural k, a multiplicao por k associa a todo nmero mnatural n
o produto n k, definido por induo da se"uinte maneira>
-P1. 1 k 7 k%
-P2. -n ? 1. k 7 nk ? k%
O produto nk escreve-se tamm nk e l)-se Bn vezes kB. % definio acima diz portanto que
uma vez k i"ual a k e n ? 1 vezes k i"ual a n vezes k mais -uma vez. k . %ssim, por
definio, 2 k 7 k ? k, 3 k 7 k ? k ? k, etc.
=sa-se induo para provar as propriedades sicas da adio e da multiplicao de nmeros
naturais. $ntre elas, destacam-se as se"uintes, vlidas para quaisquer k, n, # N>
%ssociatividade> k ? -n ? #. 7 -k ? n. ? # e k -n #. 7 -k n. #
*omutatividade> k ? n 7 n ? k e k n 7 n k
Kei do *orte> k ? n 7 k ? # n 7 # e k n 7 k # n 7 #
;istriutividade> k -n ? #. 7 k n ? k #.
Omitiremos as demonstra/es destes fatos. O leitor pode consider-las como
e&erccios sore o mtodo da induo.
5. ORDEM
% adio de nmeros naturais permite introduzir uma relao de ordem em N. ;ados
os nmeros naturais m, n diremos que m menor do que n, e escreveremos m N n, para
si"nificar que e&iste # N tal que n / m . #% <este caso, diz-se tamm que n maior do
que m e escreve-se n O m para e&primir que se tem m N n. % notao m n si"nifica que m N
n ou m 7 n. Por definio, tem-se portanto m N m ? # para quaisquer m, # N. $m particular,
m N m . 1. 0e"ue-se tamm da definio que 1 N n para todo nmero natural n 1.
*om efeito, pelo a&ioma C, n 1 implica que n sucessor de al"um nmero natural
m, ou se+a, n 7 m . 1 7 1 ? m, lo"o n O 1. %ssim, 1 o menor dos nmeros naturais.
Provaremos a se"uir as propriedades sicas da relao de ordem
m N n que definimos. % primeira delas a transitividade.
Teorema 1. -0!ansitividade%. 0e m N n e n N #, ento m N #%
Demonsrao> 0e m N n, n N # ento n / m . k, # / n . !, lo"o # / -m . k. ? ! / m . -k .
!., portanto m N #%
Outra importante propriedade de relao de ordem que, dados dois nmeros naturais
diferentes m, n, ou se tem m N n ou ento n N m. $sta propriedade pode ser reformulada de
outra maneira, como se"ue.
;iremos que os nmeros naturais m, n so om#a!veis quando se tem m / n, m N n
ou n N m% Podemos ento enunciar o se"uinte teorema.
Teorema !. -1om#a!a2i3idade%. 0odo n4me!o natu!a3 n om#a!ve3 om )ua3)ue! n4me!o
natu!a3 m%
Demonsrao> Isto se prova por induo. O nmero 1 comparvel com qualquer outro
nmero natural pois + saemos que 1 N m para todo m 1.
0upon!amos a"ora que o nmero n se+a comparvel com todos os nmeros naturais.
#ostremos, a partir da, que n ? 1 tamm tem essa propriedade. *om efeito, se+a m N
tomado aritrariamente. 0aemos que se tem
m N n, m / n ou n N m% $&aminemos cada uma dessas possiilidades>
0e for m N n ento m N n . 1 por transitividade, pois saemos que n N n ? 1.
0e for m / n, ento m N n . 1.
0e for n N m ento m / n . #. <este caso, ! duas possiilidades. Ou se tem # / 1, donde m
/ n ? 1, ou ento # O 1, lo"o # / 1 ? #5, e da m 7 -n . 1. ? #5 e conclumos que n ? 1 N m.
$m qualquer !ip'tese, vemos que n ? 1 comparvel com qualquer nmero natural m. Por
induo, fica provada a comparailidade de quaisquer nmeros naturais m, n%
% comparailidade dos nmeros naturais complementada pela proposio aai&o.
Teorema ". -0!iotomia%. 6ados m, n N, )ua3)ue! das a&i!ma7es m N n,
m / n, n N m ex3ui as out!as duas%
Demonsrao> 0e tivssemos m N n e m 7 n, ento seria m 7 m ? #, donde m ? 1 7 m . #
. 1 e, cortando m, concluiramos que 1 7 # ? 1, um asurdo, pois 1 no sucessor de #.
Portanto m N n -e analo"amente, n N m. incompatvel com m 7 n.
;o mesmo modo, se tivssemos m N n e n N m, ento teramos n 7 m . # e m / n . k, do
que resultaria n 7 n . k . #, lo"o n . 1 7 n ? k . # . 1 e, cortando n, concluiramos que 1 7
k . # . 1, um asurdo.
O teorema se"uinte mostra que n e n . 1 so nmeros consecutivos.
Teorema #% 8o existem n4me!os natu!ais ent!e n e n . 1.
Demonsrao> 0e fosse possvel ter n N # N n . 1, teramos # 7 n . k e n . 1 7 # . !, lo"o
n ? 1 7 n . k . !. *ortando n, oteramos 1 7 k . !% Por definio, isto si"nificaria k N 1, o
que asurdo, pois + vimos que k 1 k O 1.
% cone&o entre a relao de ordem e as opera/es de adio e multiplicao dada pelo
se"uinte teorema>
Teorema $. -Monotoniidade%. -e m N n, ento m ? # N n . # e m# N n#.
Demonsrao> =sando a definio de N, temos que m N n n 7 m . k n . # / -m . k.
? # m . # N n . #% %nalo"amente, m N n n 7 m . k n# / m# . k# n# 9m#%
% recproca da monotonicidade a Kei do *orte para desi"ualdades> m ? # N n . # m N n e
m# N n# m N n% O leitor poder prov-la por asurdo, usando a tricotomia e a pr'pria
monotonicidade.
6. BOA ORDENAO
;ado o sucon+unto : N, diz-se que o nmero natural a o meno! -ou #!imei!o.
elemento de a quando a : e, alm disso, a x, para todos os elementos x :.
Por e&emplo, 1 o menor elemento de N.
;e a"ora em diante, dado n N, indicaremos com I
n
o con+unto dos nmeros naturais
# tais que 1 # n% %ssim, I
1
7 819, I
2
7 81, 29, I
3
7 81, 2, 39 etc.
%s propriedades da relao de ordem m N n, demonstradas na seo anterior para os
nmeros naturais -e&ceto o Aeorema 4 que vale apenas para nmeros inteiros., so i"ualmente
vlidas para os nmeros inteiros, racionais e, mais "eralmente, para nmeros reais quaisquer.
$&iste, porm, uma propriedade de suma importPncia que vlida para a ordem entre os
nmeros naturais, mas sem equivalente para nmeros inteiros, racionais ou reais.
Teorema %. -Princpio da Loa Ordenao.. 0odo su2on;unto no-va<io : N #ossui um
meno! e3emento%
Demonsrao> 0em perda de "eneralidade, podemos admitir que 1 :, pois caso contrrio
1 seria evidentemente o menor elemento de :. O menor elemento de :, cu+a e&ist)ncia
queremos provar, dever ser da forma n ? 1. ;evemos pois encontrar um nmero natural n tal
que n ?1 : e, alm disso, todos os elementos de : so maiores do que n, lo"o maiores do
que 1, 2, 6, n. <outras palavras, procuramos um nmero natural n tal que I
n
N Q : e n . 1
:. *om esse o+etivo, consideramos o con+unto
X 7 8n N, I
n
N Q :9.
Portanto, X o con+unto dos nmeros naturais n tais que todos os elementos de : so maiores
do que n. *omo estamos supondo que 1 :, saemos que 1 X. Por outro lado, como : no
vazio, nem todos os nmeros naturais pertencem a X, ou se+a, temos X N. Pelo a&ioma D,
vemos que o con+unto X no indutivo, isto , deve e&istir al"um n X tal que n ? 1 X
Isto si"nifica que todos os elementos de : so maiores do que n mas nem todos so maiores
do que n ? 1. *omo no ! nmeros naturais entre n e n . 1, conclumos que n . 1 pertence a
: e o menor elemento de :%
O Princpio da Loa Ordenao pode muitas vezes ser usado em demonstra/es,
sustituindo o Princpio da Induo. Je+amos um e&emplo.
;issemos anteriormente que um sucon+unto X N c!ama-se indutivo quando n X
n . 1 X, ou se+a, quando X contm o sucessor de cada um dos seus elementos. O
Princpio da Induo afirma que se um con+unto indutivo X contm o nmero 1 ento X
contm todos os nmeros naturais.
Jamos usar o Princpio da Loa Ordenao para provar que se um con+unto indutivo X
contm o nmero a, ento X contm todos os nmeros naturais maiores do que a.
% prova desta afirmao se faz por asurdo, como ocorre em "eral quando se usa a
oa ordenao. 0upon!amos ento que e&istam nmeros naturais, maiores do que a, no
pertencentes ao con+unto indutivo X. 0e+a 2 o menor desses nmeros. *omo 2 O a, podemos
escrever 2 / . 1, onde, pela definio de 2, tem-se necessariamente X. #as, como X
indutivo, isto ori"a que 2 7 . 1 X, uma contradio.
% proposio qua acaamos de demonstrar pode ser enunciada da se"uinte forma>
Teorema &> -Princpio da Induo Reneralizado.. -e;a P uma #!o#!iedade !e&e!ente a
n4me!os natu!ais, um#!indo as se=uintes ondi7es>
(1) ? n4me!o natu!a3 a =o<a da #!o#!iedade P@
-2. -e um n4me!o natu!a3 n =o<a da #!o#!iedade P ento seu suesso! n . 1 tam2m =o<a de
P%
Anto todos os n4me!os natu!ais maio!es do )ue ou i=uais a a =o<am da #!o#!iedade P%
Exemplo !. Je+amos uma situao simples onde se empre"a o Princpio da Induo
Reneralizado. Arata-se de provar que 2n . 1 N 2
n
, para todo n 3. $sta afirmao, -que falsa
para n 7 1 ou n 7 2., vale quando n 7 3. 0upondo-a vlida para um certo n 3, mostremos que
da decorre sua validez para n ? 1. *om efeito, 2-n ? 1. ? 1 7 -2n ? 1. ? 2 N 2
n
? 2 N 2
n
? 2
n
7
2
n ? 1
. -<a primeira desi"ualdade, usamos a !ip'tese de induo..
Exemplo ". =sando a desi"ualdade 2n ? 1 N 2
n
, qua acaamos de provar para n 3, podemos
demonstrar que n
2
N 2
n
para todo n 5, empre"ando novamente o Princpio da Induo
Reneralizado. *om efeito, vale 5
2
N 2
5
pois 25 N 32. 0upondo vlida a desi"ualdade n
2
N 2
n
para um certo valor de n
5, da se"ue-se que -n ? 1.
2
7 n
2
? 2n ? 1 N 2
n
? 2n ? 1 -pela !ip'tese de induo. N 2
n
? 2
n
-pelo e&emplo anterior. 7 2
n ? 1
. Portanto P-n. P-n . 1.. Pelo Princpio de Induo
Reneralizado, se"ue-se que P-n. vale para todo
n 5. $videntemente, a desi"ualdade n
2
N 2
n
falsa para n 7 1, 2, 3, 4.
O teorema aai&o contm outra aplicao do Princpio da Loa Ordenao.
Teorema '. 0oda &uno monBtona no-!esente &> N N onstante a #a!ti! de um e!to
#onto% - Isto , existe n
C
N ta3 )ue &-n. 7 &-n
C
., #a!a todo n n
C
..
Demonsrao> 0e+a n
C
o menor elemento do con+unto X / 8&-1., &-2., 6, &-n.,69. $nto n O
n
C
&-n. &-n
C
. -porque a funo & no-crescente. o que acarreta que &-n. 7 &-n
C
. -porque
&-n
C
. o menor elemento de X..
Corol(rio> 0oda se)*+nia de!esente n
1
O n
2
O 6 de n4me!os natu!ais &inita% 1om e&eito,
do ont!!io, #ondo &-k. 7 n
k
, o2te!"amos uma &uno est!itamente de!esente & > N N.
. SE!UNDO PRINCPIO DA INDUO
$m al"umas situa/es, ao tentarmos fazer uma demonstrao por induo, na
passa"em de n para n ? 1, sentimos necessidade de admitir que a proposio val!a no apenas
para n e sim para todos os nmeros naturais menores do que ou i"uais a n. % +ustificativa de
um raciocnio desse tipo se encontra no
Teorema )> --e=undo P!in"#io da Induo%. -e;a X N um on;unto om a se=uinte
#!o#!iedade>
(I) 6ado n N, se todos os n4me!os natu!ais meno!es do )ue n #e!tenem a X, ento n
S%
? se=undo P!in"#io da Induo a&i!ma )ue um on;unto X N om a #!o#!iedade
(I) oinide om N.
Demonsrao> *om efeito, supondo, por asurdo, que X N, isto , que N Q X , se+a
n o menor elemento do con+unto N Q X, ou se+a, o menor nmero natural que no pertence a
X. Isto quer dizer que todos os nmeros naturais menores do que n pertencem a X. #as ento,
pela propriedade -I., n pertence a X, uma contradio. 0e"ue-se que N Q X 7 e X 7 N.
Obs. > 0e um con+unto X N "oza da propriedade -I., para que um nmero natural n no
pertencesse a X seria necessrio que e&istisse al"um nmero natural ! N n tal que ! X. $m
particular, se n 7 1, como no e&iste nmero natural menor do que 1, a !ip'tese 1 X no
pode ser cumprida. <outras palavras, -I. + contm implicitamente a afirmao de que 1 X.
%ssim, ao utilizar o 0e"undo Princpio da Induo, no preciso estipular que X contm o
nmero 1.
Aoda propriedade P que se refira a nmeros naturais define um sucon+unto X N, a saer, o
con+unto dos nmeros naturais que "ozam da propriedade P. -$ reciprocamente, todo
con+unto X N define uma propriedade referente a nmeros naturais, a saer, a propriedade
de pertencer a X.. ;este modo, BpropriedadeB e Bcon+untoB so no/es equivalentes. Por isso,
natural que o 0e"undo Princpio da Induo possua a formulao se"uinte, onde ele aparece
como o
Teorema 1*> -0e"undo mtodo de demonstrao por induo.. -e;a P uma #!o#!iedade
!e&e!ente a n4me!os natu!ais% 6ado n N, se a va3idade de P #a!a todo n4me!o natu!a3
meno! do )ue n im#3ia! )ue P ve!dadei!a #a!a n, ento P ve!dadei!a #a!a todos os
n4me!os natu!ais%
Demonsrao> *om efeito, nas condi/es do enunciado, o con+unto X dos nmeros naturais
que "ozam da propriedade P satisfaz a condio -I. do 0e"undo Princpio da Induo, lo"o X
7 N e P vale para todos os nmeros naturais.
%plicaremos a"ora o 0e"undo Princpio da Induo para demonstrar um fato
"eomtrico. <o e&emplo a se"uir, usamos os nmeros naturais como instrumento de
conta"em, isto , como nmeros cardinais, pois empre"amos e&press/es do tipo um pol"ono
de n ladosB. -Jide seo D..
0ae-se que, traando dia"onais internas que no se cortam, pode-se decompor
qualquer pol"ono em triPn"ulos +ustapostos. Isto evidente quando o pol"ono conve&o>
asta fi&ar um vrtice e traar as dia"onais a partir dele. 0e o pol"ono no conve&o, a prova
requer mais cuidados. -Jide B#eu Professor de #atemticaB, pa". 1CG..
O leitor pode e&perimentar com um pol"ono no-conve&o e verificar qua ! muitas
maneiras diferentes de decompT-lo em triPn"ulos +ustapostos mediante dia"onais internas.
#as vale o resultado se"uinte, no qual usaremos o 0e"undo Princpio da Induo.
Exemplo #. Hualquer que se+a a maneira de decompor um pol"ono P, de n lados, em
triPn"ulos +ustapostos por meio de dia"onais internas que no se intersectam, o nmero de
dia"onais utilizadas sempre n Q 3.
*om efeito, dado n, supon!amos que a proposio acima se+a verdadeira para todo
pol"ono com menos de n lados. 0e+a ento dada uma decomposio do pol"ono P, de n
lados, em triPn"ulos +ustapostos, mediante dia"onais internas. :i&emos uma dessas dia"onais.
$la decomp/e P como reunio de dois pol"onos +ustapostos P
1
, de n
1
lados, e P
2
, de n
2
lados,
onde n
1
N n e n
2
N n, lo"o a proposio vale para os pol"onos P
1
e P
2
. $videntemente, n
1
? n
2
7 n ? 2.
P
1
P
2
%s d dia"onais que efetuam a decomposio de P se a"rupam assim> n
1
Q 3 delas
decomp/em P
1
, n
2
Q 3 decomp/em P
2
e uma foi usada para separar P
1
de P
2
. Portanto d 7 n
1
Q
3 ? n
2
Q 3 ? 1 7 n
1
? n
2
Q 5. *omo n
1
? n
2
7 n ? 2, resulta que d 7 n Q 3. Isto completa a
demonstrao.
Obser+a,es>
1. Para !aituar-se com o mtodo de demonstrao por induo preciso pratic-lo
muitas vezes, a fim de perder aquela va"a 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 tamm -com moderao. o e&erccio de descorir o erro em parado&os que
resultam do uso inadequado do mtodo de induo. Je+amos dois desses sofismas>
Exemplo $. 0odo n4me!o natu!a3 #e)ueno%
Ora, 1 certamente pequeno. $ se n pequeno, n ? 1 no vai suitamente tornar-se
"rande, lo"o tamm pequeno. -O erro aqui consiste em que a noo Bnmero pequenoB no
em definida..
Exemplo %. 0oda &uno & > X ', u;o dom"nio um on;unto &inito X, constante.
Isto oviamente verdadeiro se X tem apenas 1 elemento. 0upondo a afirmao
verdadeira para todos os con+untos com n elementos, se+a & > X ' definida num
con+unto X com n ? 1 elementos. *onsidere um elemento a X. *omo X5 / X Q 8a9 tem n
elementos, & assume o mesmo valor ' em todos os elementos de X5. %"ora troque a por
um outro elemento 2 X5. Otm-se X55 7 X Q 829 um con+unto com n elementos -entre os
quais a.. <ovamente pela !ip'tese de induo, & constante e i"ual a em X55. Ko"o & -a. 7 e
da & > X ' constante. -%qui o erro reside no uso inadequado da !ip'tese de induo. O
raciocnio empre"ado sup/e implicitamente que X tem pelo menos 3 elementos. <a realidade,
no vale a implicao P-1. P-2...
O peri"o de fazer "eneraliza/es apressadas relativamente a asser/es sore nmeros
naturais fica evidenciado com o se"uinte e&emplo>
Exemplo &% *onsidere o polinTmio #-n. 7 n
2
Q n ? 41 e a afirmao Bo valor de #-n. sempre
um primo para n 7 C, 1, 2, 3, 6B. $mora isso se+a verdadeiro para n 7 C, 1, 2, 6, 4C, temos
#-41. 7 41
2
Q 41 ? 41 7 41
2
no primo, lo"o a afirmao no verdadeira.
0emel!antemente, a e&presso )-n. 7 n
2
Q EGn ? 1DC1 fornece primos para n 7 1, 2,
6, EG, mas )-FC. 7 FC
2
Q EG FC ? 1DC1 7 1DF1 no primo, pois divisvel por 41. % moral
da !ist'ria > 0' aceite que uma afirmao sore os nmeros naturais realmente verdadeira
para todos os naturais se isso !ouver de fato sido demonstradoU
". NMEROS CARDINAIS
Jamos a"ora mostrar como se usam os nmeros naturais para contar os elementos de
um con+unto finito. O Princpio da Induo ser essencial. Kemremos que, dado n N,
escrevemos I
n
/ 8# N, # n9, portanto
I
n
7 81, 2, 6, n9.
=ma onta=em dos elementos de um con+unto no-vazio X uma i+eo
& > I
n
X. Podemos pTr x
1
7 &-1., x
2
7 &-2.,6, x
n
7 &-n. e escrever
X 7 8x
1
, x
2
,6x
n
9. ;iz-se ento que X possui n elementos. O con+unto X c!ama-se um on;unto
&inito quando e&iste n N tal que X possui n elementos.
=m e&emplo 'vio de con+unto finito I
n
% $videntemente, a funo identidade &> I
n

I
n
uma conta"em dos elementos de I
n
%
=m e&emplo de con+unto infinito o proprio con+unto N dos nmeros naturais, pois
nen!uma funo & > I
n
N pode ser sore+etiva, no importa qual n se tome. ;e fato, dada &,
tomamos k 7 &-1. ? &-2. ?6? &-n. e vemos que k O &-x. para todo x I
n,
lo"o k &-I
n
., e & no
sore+etiva.
% fim de que no !a+a ami"(idade quando se falar do nmero de elementos de um
con+unto finito X, necessrio provar que todas as conta"ens de X fornecem o mesmo
resultado. <outras palavras, dado o con+unto X, os nmeros naturais m, n e as i+e/es & > I
m
X, = > I
n
X, devemos mostrar que se tem m 7 n. *omeamos oservando que se & e = so
i+e/es, ento 7 =
Q1
& > I
m
I
n
tamm uma i+eo. Lasta portanto provar o se"uinte>
Teorema 11. 6ados m, n N, se > I
m
I
n
uma 2i;eo, ento m 7 n.
Demonsrao. *om efeito, c!amemos de X o con+unto dos nmeros naturais n que t)m a
se"uinte propriedade> s' e&iste uma i+eo > I
m
I
n
quando m 7 n. $videntemente, 1 X.
0upon!amos a"ora que n X. ;ada uma i+eo > I
m.1
I
n.1
, duas coisas podem
acontecer. Primeira> -m ? 1. 7 n ? 1. <este caso, a restrio I
m
> I
m
I
n
uma i+eo, lo"o
m 7 n, donde m ? 1 7 n ? 1. 0e"unda> -m ? 1. 7 2, com 2 N n ? 1. <este caso,
consideramos
a 7
Q1
-n . 1. e definimos uma nova i+eo > I
m ? 1
I
n ? 1
, pondo -m ? 1. 7 n ? 1, -a. 7
2 e -x. 7 -x. para os demais elementos x I
m ? 1
. $nto recamos no caso anterior e
novamente conclumos que m ? 1 7 n ? 1. Isto mostra que n X n ? 1 X, lo"o X 7 N e a
unicidade do nmero cardinal de um con+unto finito fica demonstrada.
%"ora os nmeros naturais no so apenas elementos do con+unto-padro N, mas
servem tamm para responder per"untas do tipo Bquantos elementos tem o con+unto XI,Bou
se+a, podem ser usados tamm como nmeros cardinais.
% adio de nmeros naturais se relaciona com a cardinalidade dos con+untos por
meio da se"uinte proposio.
Teorema 1!> -e;am X, ' on;untos &initos dis;untos% -e X tem m e3ementos e ' tem n
e3ementos, ento X ' tem m . n e3ementos%
Demonsrao> *om efeito, se & > I
m
X e = > I
n
' so i+e/es, definimos uma i+eo
C > I
m.n
X ' por C -x. 7 & -x. se 1 x m e
C-x. 7 =-x. ? m se m ? 1 x m . n, o que conclui a demonstrao.
Prova-se, por induo, que todo sucon+unto de um con+unto finito X tamm finito e seu
nmero de elementos menor do que ou i"ual ao de X -Je+a $.K.Kima, B%nlise VealB, vol 1,
pa". 5..
$ conveniente incluir, por definio, o con+unto vazio entre os con+untos finitos e
dizer que o seu nmero de elementos <e!o. $mora zero no se+a um nmero natural, ele
passa a ser o nmero cardinal do con+unto vazio.
0e"uem-se al"umas proposi/es que devem ser demonstradas por induo ou oa
ordenao. Os dez ltimos e&erccios foram su"eridos pelo Professor %. *. #or"ado.
Exerccios>
1. *onstrua um esquema de setas comeando com os nmeros mpares, se"uidos dos
nmeros pares divisveis por 4 em ordem decrescente e, por fim, os pares no divisveis
por 4 em ordem crescente. <outras palavras, tome X 7 N e defina s > X X pondo s-n. 7
n ? 2 se n no divisvel por 4, s-n. 7 n Q 2 se n for mltiplo de 4. #ostre que s > X X
cumpre os a&iomas A, B, C mas no D.
2. ;efina, por recorr)ncia, uma funo & > N N estipulando que & -1. 7 3 e & -n ? 1. 7 5. &
-n. ? 1. ;) uma formula e&plcita para & -n..
3. ;) uma f'rmula e&plcita para & > N N saendo que &-1. 7 1, &-2. 7 5 e & -n ? 2. 7 3& -n
? 1. Q 2& -n..
4. 0e+a X N um con+unto indutivo no-vazio. #ostre que e&iste a N tal que X 7 8n N,
n a9.
5. Prove, por induo, que .
D
. 1 2 .- 1 -
... 2 1
2 2 2
+ +
+ + +
n n n
n
D. <um pol"ono com n D lados, o nmero de dia"onais maior do que n.
E. Prove, por induo que W-n ? 1.XnY
n
N n, para todo n 3. -0u"esto> Oserve que -n ? 2.X
-n ? 1. N - n ? 1.Xn e eleve amos os memros desta desi"ualdade @ pot)ncia n ? 1..
*onclua da que a seq()ncia ,... 5 , 4 , 3 , 2 , 1
5 4 3
decrescente a partir do terceiro
termo.
F. Prove, por induo a desi"ualdade de Lernoulli> -1 ? a.
n
O 1 ? na quando 1 ? a O C.
G. Para todo n N, pon!a
n
n
n n
n
x
1
]
1

+
+

. 2 -
. 1 -
2
e prove, por induo que se tem .
1
2
+
+
<
n
n
x
n
*onclua, a partir da, que a seq()ncia de termo "eral
n
n
n

,
_

+1
crescente.
-u.eso> oserve que
n n
x
n
n
n
n
x
+

,
_

+
+

+
3 1
2
3
1
.
1C. =se a distriutividade de duas maneiras diferentes para calcular -m ? n .-1 ? 1. e
aplique em se"uida a Kei do *orte para oter uma nova prova de que m ? n / n . m%
11. =m con+unto - N, no-vazio, limitado superiormente, se e&iste um natural k tal que
para todo natural x -, ento x k. #ostre que - possui um maior elemento. -Isto ,
e&iste m - tal que x m, para todo x -%.
12. ;emonstre que a soma dos n primeiros nmeros mpares n
2
, ou se+a, que 1 ? 3
? 5 ?6? -2n Q 1. 7 n
2
.
13. Prove que 2
n
Q 1 mltiplo de 3, para todo nmero natural n par.
14. ;emonstre que, para todo nmero natural n, vale
. 1
1
1 ...
3
1
1
2
1
1
1
1
1 +
,
_

+
,
_

+
,
_

+
,
_

+ n
n
15. ;emonstre que .
2CC
1
...
1C2
1
1C1
1
2CC
1
1GG
1
..
4
1
3
1
2
1
1 + + + + + +
1D. ;etermine :
n
se : /

,
_

4 2
2 1
1E. ;emonstre, usando o Princpio da Induo :inita, que
.

1

...

1

,
_

+ +

,
_

+
+ +

,
_

+
+

,
_

#
n #
#
n #
#
#
#
#
$ste resultado comumente con!ecido por 0eo!ema das 1o3unas% -Por qu)I..
1F. *onsidere a seq()ncia
,..., ,...,
5
E
,
2
3
,
1
1
n
n
)
#
onde
. e 2
1 1 n n n n n n
) # ) ) # # + +
+ +
;emonstre que
a. m.d.c -#
n
, )
n
. 7 1,
. #
n
o inteiro mais pr'&imo de
2
. 2 1 -
n
+
e )
n
o inteiro mais pr'&imo de
. . 2 1 -
4
2
n
+
1G. W% Aorre de Zan'i.Y 0o dados tr)s suportes :, D e 1% <o suporte : esto encai&ados n
discos cu+os diPmetros, de ai&o para cima, esto em ordem estritamente decrescente.
#ostre que possvel, com 2
n
Q 1 movimentos, transferir todos os discos para o suporte
D, usando o suporte 1 como au&iliar, de modo que +amais, durante a operao, um disco
maior fique sore um disco menor.
2C. ;emonstre que 2
n
N nU, para n 4.
21. ;emonstre que 2n
3
O 3n
2
? 3n ? 1 para n 3.
22. *onsidere n retas em um plano. #ostre que o BmapaB determinado por elas pode ser
colorido com apenas duas cores sem que duas re"i/es vizin!as ten!am a mesma cor.