INDUOMATEMTICA

Induo Matemtica um mtodo de prova matemtica tipicamente usado para

estabelecerqueumdadoenunciadoverdadeiroparatodososnmerosnaturais,ouento
queverdadeiroparatodososmembrosdeumaseqnciainfinita.
Essemtodofuncionaprovandoqueoenunciadoverdadeiroparaumvalorinicial,
eentoprovandoqueoprocessousadoparairdeumvalorparaoprximovalido.Se
ambasascoisassoprovadas,entoqualquervalorpodeserobtidoatravsdarepetio
desseprocesso.
Para entender por que os dois passos so suficientes, til pensar no seguinte
problema:
Vocestsubindoumaescadainfinitamentealta.Comosaberquesercapazde
chegaraumdegrauarbitrariamentealto?
Suponhaasseguinteshipteses:
1. Vocconseguealcanaroprimeirodegrau;
2. Umavezchegandoaumdegrau,vocsemprecapazdechegaraoprximo.
Pelahiptese1,voccapazdechegaraoprimeirodegrau;pelahiptese2,voc
conseguechegaraosegundo;novamentepelahiptese2,chegaaoterceirodegrau;eassim
sucessivamente.
Outraquestointeressantedesepensaroefeitodomin:sevoctemumalonga
filadedominsempevocpuderassegurarque:
1. Oprimeirodomincair.
2. Semprequeumdomincair,seuprximovizinhotambmcair.Entovocpode
concluirquetodososdominscairo.
A forma mais simples e mais comum de induo matemtica prova que um
enunciadovaleparatodososnmerosnaturaisneconsistedoseguinte:
1. Provamosqueonmero0temapropriedadeP:P(0);
2. SupomosqueapropriedadePvlidapraqualquernmeronaturaln:P(n);
3. Provamosque,seapropriedadePvlidaparaqualquernmeronaturaln,ento
vlidaparaoprximonaturaln+1:P(n)P(n+1)
PrimeiroPrincpiodeInduoMatemtica
OPrimeiroPrincpiodeInduoMatemticaformuladodaseguinteforma:
1. P(0)verdade;
2. (k)(P(k)verdadeP(k+1)verdade).

Comisto,provamosqueapropriedadeverdadeiraparatodoonaturaln,ouseja,
queP(n)verdade.
Atabelaabaixo,resumeostrspassosnecessriosparaumademonstraoqueusa
oprimeiroprincpiodeinduo:
DemonstraoporInduo

Passo1
Proveabasedeinduo
Passo2
SuponhaP(k)
Passo3
ProveP(k+1)
Exemplo1Provaformalporinduodaseguinteequivalncia:
1+2+...+n=(1+2+...+n)
Naprovadaigualdadeacima,utilizaremosumlema,quedizqueasomadennmeros
naturaisvalen.(n+1)/2,ouseja:
1+2+...+n=n.(n+1)/2
Provaremosesselematambmporinduo.
Provaformaldolema:

Basedeinduo:

Paran=0,temosque0=0.1/2=0,entotemosumabaseverdadeira.

Hiptesedeinduo:

Suponhamosque,paraumkqualquer,valhaque1+2+...+k=k.(k+1)/2

PassodeInduo:

Paraosucessordek,ouseja,parak+1,desejamosprovarque:
1+2+...+k+(k+1)=(k+1).[(k+1)+1]/2
Partimosdeque:
1+2+...+k+(k+1)=
=k.(k+1)/2+(k+1)=
=(k+1).(k/2+1)=
=(k+1)(k+2)/2=
=(k+1).[(k+1)+1]/2

(hiptesedeinduo)
(associatividade)

Logo,conseguimosprovaroquequeramos,poissupondoqueaigualdadevaleparak,
provasequeelavaleparak+1,ecomotemosumabase,aigualdadevaleparaabasee
paratodososseussucessores.Ento,paratodososnmerosnaturais,aigualdadevlida.
Formalizando:
1+2+...+k=k.(k+1)/21+2+...+k+(k+1)=(k+1).[(k+1)+1]/2

Agora,podemosusarestelemanaprovadaigualdadequedesejamosprovar.
Provaformaldaigualdadedasomadencubosdenmerosigualoquadradoda
somadosnnmeros:

Basedeinduo
:

Paran=0,temosque0=0=0,poisnosomamosnenhumtermoemambososlados.

HiptesedeInduo
:

Suponhamosque,paraumkqualquer,valhaque1+2+...+k=(1+2+...+k)

PassodeInduo
:

Paraosucessordek,ouseja,parak+1,desejamosprovarque:
1+2+...+k+(k+1)=[1+2+...+k+(k+1)]
Partimosdeque:
1+2+...+k+(k+1)=

=(1+2+...+k)+(k+1)=
=[k.(k+1)/2]+(k+1)=
=k.(k+1)/2+(k+1)=
=(k+1)/2.(k+2.k+2)=
=(k+1)/2.(k+2)=
=[(k+1).((k+1)+1)/2]=
=[1+2+...+k+(k+1)]

(hiptesedeinduo)
(lema)

(associatividade)

(lema)

Logo,conseguimosprovaroquequeramos,poissupondoqueaigualdadevaleparak,
provasequeelavaleparak+1,ecomotemosumabase,aigualdadevaleparaabasee
paratodososseussucessores.Ento,paratodososnmerosnaturais,aigualdadevlida.
Formalizando:
1+2+...+k=(1+2+...+k)1+2+...+k+(k+1)=[1+2+...+k+(k+1)]
Exemplo2Provaformalporinduodaseguintedesigualdade:
n>2n,n3
Naprovadadesigualdadeacima,utilizaremosumlema,quedizqueasomade2n1
nmerosmparesvalen,ouseja:
1+3+...+(2n1)=n

Provaremosesselematambmporinduo.
Provaformaldolema:

Basedeinduo:

Paran=1,temosque1=1=1,entotemosumabaseverdadeira.

Hiptesedeinduo:

Suponhamosque,paraumkqualquer,valhaque1+3+...+(2k1)=k

PassodeInduo:

Paraosucessordek,ouseja,parak+1,desejamosprovarque:
1+3+...+(2k1)+(2(k+1)1)=(k+1)
Partimosdeque:
1+3+...+(2k1)+(2(k+1)1)=
k+(2(k+1)1)=
k+2k+1=
(k+1)

(hiptese)

Logo,conseguimosprovaroquequeramos,poissupondoqueaigualdadevaleparak,
provasequeelavaleparak+1,ecomotemosumabase,aigualdadevaleparaabasee
para todos os seus sucessores. Ento, para todos os nmeros naturais a partir de 1, a
igualdadevlida.Formalizando:
1+3+...+(2k1)=k1+3+...+(2k1)+(2(k+1)1)=(k+1)
Agora,podemosusarestelemanaprovadadesigualdadequedesejamosprovar.
Provaformaldadesigualdadedoquadradodeumnmeromaiorqueseudobro:

Basedeinduo
:

Paran=3,temosque3=9>6=2.3.

HiptesedeInduo
:

Suponhamosque,paraumkqualquer,valhaquek>2k

PassodeInduo
:

Paraosucessordek,ouseja,parak+1,desejamosprovarque:
(k+1)>2(k+1)
Partimosdeque:
(k+1)=
k+2k+1=
(lema)
1+3+...+(2k1)+2k+1=
(comutatividade)
2k+1+1+3+...+(2k1)=
(2k+2)+3+...+(2k1)>2k+2=2(k+1)
Logo,conseguimosprovaroquequeramos,poissupondoqueadesigualdadevaleparak,
provasequeelavaleparak+1,ecomotemosumabase,aigualdadevaleparaabasee
paratodososseussucessores.Ento,paratodososnmerosnaturaismaioresouiguaisa3,
adesigualdadevlida.Formalizando:
k>2k(k+1)>2(k+1)

SEGUNDOPRINCPIODAINDUOMATEMTICA
Normalmentedenominadainduoforte,essaformulaodoprincpiodainduo
matemtica (o Segundo Princpio da Induo Matemtica.) geralmente utilizado na
definioenaprovadepropriedadesdeexpresses,frmulas,rvores,etc.,razopelaqual
esse princpiofreqentemente denominadotambmdeinduoemestrutura,induo
estruturada,ouainda,induoestrutural.
Definio: Seja p(n) uma proposiosobre M = {n N | n m,m N}. O
Segundo Princpio da Induo Matemtica pode, equivalentemente, ser definido como
segue:
a)PrimeiraVerso
a.1)p(m)verdadeira;
a.2)ParaqualquerkM,vale:
p(m)p(m+1)...p(k)p(k+1)
a.3)Ento,paraqualquernN,p(n)verdadeira.
b)SegundaVerso.SuponhatN:
b.1)p(m),p(m+1),...,p(m+t),soverdadeiras;
b.2)ParaqualqurkMtalquekm+t,vale:
p(m)p(m+1)...p(k)p(k+1)
b.3)Ento,paraqualquernN,p(n)verdadeira.
NotequeasegundaversodoSegundoPrincpiodaInduoMatemticatem t
casosseparadosnasuabase,aoinvsdesomenteoprimeiro.
Exemplo3Provaformaldafatoraoemnmerosprimos:
Desejamosprovarporinduoaseguinteafirmativa:
Qualquernmeronaturalmaiorque1primoouumprodutodeprimos.
Prova:
m=2
M={2,3,4,...}
BasedeInduo

:
2primo.

Hiptese
deInduo

:
p(2)verdadep(3)verdadep(4)verdade...p(k)verdade

PassodeInduo
:

(mostrarp(k+1)supondop(2),p(3),p(4),...,p(k))
2possibilidades:
1) k+1primo.
Comok+1primo,p(k+1)verdade.
2) k+1composto.
k+1=
a.b,1<a<k+1,1<b<k+1,a,bN=hiptese
p(a)verdadep(b)verdade=
p(a.b)verdade=
p(k+1)verdade.
Logo,aproposioverdadeiraefoidemonstradapeloprincpiodainduoforte.
Exemplo4Fatoraodenmeroscomoprodutosde4e5:
(nN)(n12n=4.a+5.b)
Prova:
m=12
M={12,13,14,...}

BasedeInduo
:
12=3.4+0.5
13=2.4+1.5
14=1.4+2.5
15=0.4+3.5

HiptesedeInduo
:

p(12)Vp(13)Vp(14)V...p(k)V

PassodeInduo
:

(mostrarquep(k+1)V,supondop(12),p(13),...,p(k))
k+1=
(k3+3)+1=
k3+4=subsk3poru
u+4=p(u)V(pelahiptese)
p(u+4)V=

p(k3+4)V=
p(k+1)V.
Logo,aproposioverdadeiraefoidemonstradapeloprincpiodainduoforte.

DEFINIOINDUTIVA
OPrincpiodaInduoMatemticapodeserusadotambmemdefinies.Uma
definiodeumaconstruousandoesseprincpiodenominadadefinioindutivaou
definiorecursiva.Nessecaso,afirmasequeaconstruoindutivamentedefinidaou
recursivamentedefinida.Essetipodedefinioparticularmentetilparadefinirconjuntos
(normalmenteinfinitos)queseguemumacertaregraparaseuselementos.
Resumidamente,emumadefinioindutiva:
abasedeinduomostraoscasoselementares;
o passo de induo determina como os demais casos so definidos em
termosdosanteriores(emsetratandodeconjuntos,ditaumaregraparaque
umelementopertenaaoconjunto).
Exemplo5Mltiplosde3
M={...,6,3,0,3,6,...}
1) 3M
2) xMx.kM,kZ
3) NadamaispertenceaoconjuntoM.
Exemplo6Polinmios
P=ConjuntodosPolinmiosemxcomcoeficientesreaiseexpoentesnaturais
1) 0P
1P
xP
2) yPy+axbP,aR,bN
3) NadamaispertenceaoconjuntoP
Exemplo7Linguagemcomodobrode"a"quede"b"
P=Conjuntodaspalavrassobre{a,b}cujaquantidadedeaodobrodaquantidadede
b
1) P
2) xPxaab,xaba,xbaa,axab,axba,bxaa,aaxb,abxa,baxa,aabx,abax,baax
3) NadamaispertenceaoconjuntoP