InduoMatemtica

PrincpiodaInduoMatemtica:

P(1) verdadeira

(k)[P(k)verdadeiraP(k+1)verdadeira]

ENTOP(n)verdadeiraparatodososninteirospositivos

OPrincpiodaInduoMatemticaumaimplicao,cujatese
:UmasentenadaformaP(n)verdadeiraparatodosos
inteirosnpositivos.
Portanto,quandodesejarmosdemonstrarquealgumapropriedade
vlidaparaqualquerinteiropositivon,podemostentarusar
ainduomatemticacomotcnicadedemonstrao.

Demonstraoporinduo:

estabelecemosinicialmenteaveracidadedasentenaP(1),
quechamadaBASEDAINDUOouPASSOBSICODAINDUO

EstabelecerqueP(k)P(k+1),quechamadoPASSO
INDUTIVO

P(k)chamadaSUPOSIOINDUTIVAouHIPTESEINDUTIVA
quandoassumimosqueP(k)verdadeiracomoobjetivode
demonstraropassoindutivo

Ainduo,apesardonome,umatcnicadedemonstrao
dedutiva,isto,umaformadedemonstrarumaconjecturaque
possivelmentefoiformuladaporumraciocnioindutivo.

EXEMPLOS:
2

1. Proveque1+3+5+...+(2n1)=n
(1)
paraqualquerinteiropositivon

ApropriedadeP(n)aequao(1)acima(asomade
todososinteirospositivosmparesmenoresquenso
igualaoquadradoden)

Podemosprovarqueaequao(1)verdadeiraparaum
determinadovalorden,pelasubstituiodenna
equao.Contudonopoderemossubstituirtodosos
valoresinteirospositivos.

Demonstraoporinduomatemtica:

Passobsico
P(1)(ovalordaequao(1)quandonassumeo
valor1)
2

1=1
Hiptesedeinduo:assumaqueP(k)verdadeirapara
uminteiropositivoarbitrriok,queovalorda
equao(1)quandonvalek,ouseja
2

1+3+5+...+(2k1)=k
(2)
Usandoahiptesedeinduo,queremosmostrarque
P(k+1),queovalordaequao(1)quandonassumeo
2

valordek+1,igual(k+1)

(3)

Achavedademonstraoporinduoencontrarum
mododerelacionaroquesedesejamostrarP(k+1),
equao(3),comoquehiptesedeinduodaP(k),da
equao2,queassumimoscomoverdadeira
ReescrevendoP(k+1)usandoahipteseindutiva:
1+3+5+...+(2k1)+(2(k+1)1)=
k

+2k+21=

+2k+1=
2

(k+1)

cqd
2

n+1

2. Proveque1+2+2 +2 +...+2 =2
1 (1)
paraqualquerinteiron 1

Passobsico
P(1)(ovalordaequao(1)quandonassumeo
valor1)
n+1

1+2=2
1 =41=3
(verdadeira)
Hiptesedeinduo:assumaqueP(k)verdadeirapara
uminteiropositivoarbitrriok,queovalorda
equao(1)quandonvalek,ouseja
3

k+1

1+2+2 +2 +...+2 =2
1(2)
Usandoahiptesedeinduo,queremosmostrarque
P(k+1),queovalordaequao(1)quandonassumeo
k+1+1

valordek+1,igual2
1
(3)
Achavedademonstraoporinduoencontrarum
mododerelacionaroquesedesejamostrarP(k+1),
equao(3),comoquehiptesedeinduodaP(k),da
equao2,queassumimoscomoverdadeira
ReescrevendoP(k+1)usandoahipteseindutiva:
2

k+1

1+2+2 +2 +...+2 +2
2

k+1

1+2

k+1

2(2
1

2 (2
2

k+1

)1=

k+1

k+1+1

)1=

1 cqd

3. Proveque1+2+3+...+n=n(n+1)/2 (1)
paraqualquerinteiropositivon

Passobsico
P(1)(ovalordaequao(1)quandonassumeo
valor1)

1=1(1+1)/2 =1
(verdadeira)
Hiptesedeinduo:assumaqueP(k)verdadeirapara
uminteiropositivoarbitrriok,queovalorda
equao(1)quandonvalek,ouseja
1+2+3+...+k=k(k+1)/2
(2)

Usandoahiptesedeinduo,queremosmostrarque
P(k+1),queovalordaequao(1)quandonassumeo
valordek+1,igual(k+1)[(k+1)+1]/2

(3)
Achavedademonstraoporinduoencontrarum
mododerelacionaroquesedesejamostrarP(k+1),
equao(3),comoquehiptesedeinduodaP(k),da
equao2,queassumimoscomoverdadeira
ReescrevendoP(k+1)usandoahipteseindutiva:
1+2+3+...+k+k+1=
k(k+1)/2+k+1=
(k

+k)/2+k+1=

[k

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

[k

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

[(k

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

(k +1)[(k+1)+1] cqd
n

4. Proveque2 >n
(1)
paraqualquerinteiropositivon

Passobsico
P(1)(ovalordaequao(1)quandonassumeo
valor1)
1

2 >1
(verdadeira)
Hiptesedeinduo:assumaqueP(k)verdadeirapara
uminteiropositivoarbitrriok,queovalorda
equao(1)quandonvalek,ouseja
k

2 >k
(2)
Usandoahiptesedeinduo,queremosmostrarque
P(k+1),queovalordaequao(1)quandonassumeo
k+1

valordek+1,igual2
>k+1 (3)
Achavedademonstraoporinduoencontrarum
mododerelacionaroquesedesejamostrarP(k+1),
equao(3),comoquehiptesedeinduodaP(k),da
equao2,queassumimoscomoverdadeira
ReescrevendoP(k+1)usandoahipteseindutiva:
2

k+1

=2.2

2 >k
k

2.2
2

k+1

>2.k=k+k K+1,logo

>k+1 cqd

2n

5. Provequeonmero2 1 (1)
paraqualquerinteiropositivondivisvelpor3

Passobsico
P(1)(ovalordaequao(1)quandonassumeo
valor1)
2.1

2
1=3
(verdadeira)
Hiptesedeinduo:assumaqueP(k)verdadeirapara
uminteiropositivoarbitrriok,queovalorda
equao(1)quandonvalek,ouseja
2k

2k

2 1=3.m
2 =3.m+1
(2)
Usandoahiptesedeinduo,queremosmostrarque
P(k+1),queovalordaequao(1)quandonassumeo
2(k+1)

valordek+1,igual2
=3.n
(3)
Achavedademonstraoporinduoencontrarum
mododerelacionaroquesedesejamostrarP(k+1),
equao(3),comoquehiptesedeinduodaP(k),da
equao2,queassumimoscomoverdadeira
ReescrevendoP(k+1)usandoahipteseindutiva:
2(k+1)

2k+2

2k

2k

2
1=2
1=2 .2 1=4.2
4.(3m+1)1=12m+41=12m+3=
3(4m+1)=3n
cqd

1=

INDUOCOMPLETAOUINDUOFORTE

PrincpiodaInduoMatemtica(INDUOFRACA):

P(1) verdadeira

(k)[P(k)verdadeiraP(k+1)verdadeira]

ENTOP(n)verdadeiraparatodososninteirospositivos

INDUOCOMPLETAouINDUOFORTE
1. P(1) verdadeira
2. (k)[P(r)verdadeiraparatodor,1rk,

P(k+1)verdadeira]
ENTOP(n)verdadeiraparatodososninteirospositivos

Em algumas situaes no conseguimos realizar uma

demonstrao por induo usando apenas a induo fraca.
Nesses casos o uso da INDUO FORTE absolutamente
necessrio.

Prove que para todo n 2, n um nmero primo ou um

produtodenmerosprimos.
PorquenopodemosusaraINDUOFRACA?
Propriedade:Todointeiron 2umnmeroprimoou
umprodutodenmerosprimos.
Usandoainduofraca:

Base:2primo
VERDADE

Hipteseindutiva:kprimoouprodutodeprimos
sekprimo,tudobem
sekNOPRIMO,entok=a.bondeaebsoprimos
ouprodutosdeprimos
a e b devem estar nos intervalos: 1<a<k e 1<b<k,
respectivamente,casocontrrio,isto,se1 a k
e1bk,ek=a.b,entokprimo(umacontradio)
Logo,a< keb< k
De onde se conclui que precisamos de uma hiptese
indutivaquepossavalerparainteirosmenoresque
k;naverdade,parainteirosnointervalo(fechado)
[2,k]
Isso nos obriga a tentar a INDUO FORTE, como
descritoaseguir.
Base:
2primoouprodutodeprimos.VERDADE
Hiptese indutiva: Vamos supor que para qualquer r no
intervalo2rk,P(r)verdadeira,isto,rprimo
ouprodutodenmerosprimos.
Tomemosagoraonmerok+1.
Sek+1primo,oresultadoseverifica.
Se k+1 no primo, ento ele um nmero composto e
podeserescritocomok+1=a.b,onde1<a< k+1e1<b<k+1,
ou2a ke2b k.Observequeahipteseindutivase
aplicaaaeb.Logo,ouaebsoprimosousoproduto
de primos. Isso verifica P(k+1) C.Q.D. (Como Queramos
Demonstrar)

Prove que qualquer valor postal maior ou igual a oito

unidades monetrias pode ser obtido usandose apenas selos
comvaloresde3e5.Emoutraspalavras,uminteiropositivo
n,paratodon8,podeserrepresentadocomoasomade3se
5s
PorquenopodemosusaraINDUOFRACA?
Propriedade: Todo inteiro n 8 pode ser representado
comoasomade3se5s
Usandoainduofraca:

Base:8=3+5
VERDADE

Hipteseindutiva:kpodeserrepresentadocomoasoma
de3se5s
vamosverificarsek+1podeserrepresentadocomo
asomade3se5s
k+1=[(somade3se5s)+1] (somade3se5s)
no consigo realizar a demostrao indutiva
considerando verdadeira a hipotese apenas para o
itemimediatamenteanterior(k)
necessrioconsiderarahipteseverdadeirapara
uminteiromenorquek
isso nos obriga a tentar a INDUO FORTE, como
descritoaseguir.
Base: a base, por motivos bvios ser o 8. P(8) a
sentena de que 8 resulta da soma de 3s e 5s. De Fato,
8=3+5eP(8)verdadeira.
Hipteseindutiva:Vamossuporagoraqueparaqualquerr,
8 r k,P(r)verdadeira,isto,P(r)asentenade
querresultadasomade3se5s.
Vejamosagoraoocorrecomk+1. Queremosmostrarquek+1
podeserrepresentadocomoasomade3se5s.Ento,para
usar a hiptese indutiva, isto , usar o fato de que a
propriedade verdadeira para r, onde 8 r k, devo
consideraruminteiromenorquek
A fim de que a hiptese indutiva (8 r k) seja
verdadeira,necessrioque(k+1)38.Assimk+1precisa
ser 11.Logonopodemosusar a hipteseindutivapara
verificarP(9)eP(10).MaspodemosverificarP(9)eP(10)
diretamente.
P(9)=3+3+3
P(10)=5+5
UmavezqueP(r)verdadeirapara8,9e10(8 r k),
podemosassumirquek+1nomnimo11,isto,k+111.
(k+1)3(113)
(k2)8
PelaH.I.P(r)verdadeirapara8 r k
LogoP(k2)verdadeira(podeserescritacomoasoma
de3se5s)
(k2)+3=somade3se5s
(k2+3)=k+1=somade3se5sc.q.d