Seqncias

Induo Matemtica
Fabiano C. Botelho
fabiano@decom.cefetmg.br
http://www.dcc.ufmg.br/~fbotelho
Transp. cedidas pelo Prof. Antonio Alfredo Ferreira Loureiro
loureiro@dcc.ufmg.br
http://www.dcc.ufmg.br/~loureiro
CEFET-MG/DECOM MD

Conceitos 1
Introduo
Uma das tarefas mais importantes da matemtica descobrir e caracterizar
padres regulares.
Seqncia: estrutura matemtica mais importante para estudar processos
repetidos.
Induo matemtica: ferramenta matemtica mais importante para vericar
conjecturas sobre padres de termos em seqncias.
CEFET-MG/DECOM MD

Conceitos 2
Seqncias
Exemplo: Nmero de ancestraisUm limite superior
Gerao 1 2 3 4 5 6 7. . .
# ancestrais 2 4 8 16 32 64 128. . .
Mais denies:
Termo: cada elemento de uma seqncia.
Exemplo: a
1
, a
2
, a
3
, . . . , a
n
ndice ou subscrito: indica a posio do termo na seqncia.
Exemplo: O nmero 3 no termo a
3
indica o terceiro elemento da seqncia.
Seqncia nita: possui um conjunto nito de termos.
Seqncia innita: possui um conjunto innito de termos.
Exemplo: a
1
, a
2
, a
3
, . . .
Frmula explcita ou frmula geral: a regra que mostra como os valores
de a
k
podem ser obtidos a partir de k.
CEFET-MG/DECOM MD

Conceitos 3
Exemplos de seqncias denidas por frmulas
explcitas
Sejam as seqncias a
1
, a
2
, a
3
, . . . denida pela frmula explcita
a
k
=
k
k +1
para inteiros k 1
e b
2
, b
3
, b
4
, . . . denida pela frmula explcita
b
i
=
i 1
i
para inteiros i 2
a
1
=
1
1+1
=
1
2
b
2
=
21
2
=
1
2
a
2
=
2
2+1
=
2
3
b
3
=
31
3
=
2
3
a
3
=
3
3+1
=
3
4
b
4
=
41
4
=
3
4
.
.
.
.
.
.
O que as duas seqncias tm em comum?
So idnticas.
CEFET-MG/DECOM MD

Conceitos 4
Exemplos de seqncias denidas por frmulas
explcitas
Seqncia alternante:
Seja a seqncia c
0
, c
1
, c
2
, . . . denida pela frmula explcita
c
j
= (1)
j
para inteiros j 0
Essa seqncia possui um conjunto nito de valores: {1, 1}.
CEFET-MG/DECOM MD

Conceitos 5
Achando a frmula explcita
A frmula explcita para a seqncia
1,
1
4
,
1
9
,
1
16
,
1
25
, . . .
pode ser
a
k
=
(1)
k+1
k
2
para inteiros k 1
ou
a
k
=
(1)
k
(k +1)
2
para inteiros k 0
No existe somente uma nica frmula explcita para representar os termos
de uma seqncia.
CEFET-MG/DECOM MD

Conceitos 6
Notao para somar termos de uma seqncia
Seja a seqncia
a
1
, a
2
, a
3
, . . . , a
n
Existem diversas aplicaes em Engenharia da Computao onde impor-
tante saber a soma desses termos, ou seja,
a
1
+a
2
+a
3
+. . . +a
n
Essa soma representada pela seguinte notao:
n

k=1
a
k
= a
1
+a
2
+a
3
+. . . +a
n
. .
Forma expandida
Joseph-Louis Lagrange (17361813), matemtico francs/italiano. Props o uso
da letra maiscula grega sigma () para representar a soma de termos.
CEFET-MG/DECOM MD

Conceitos 7
Exemplos
n

k=0
(1)
k
k +1
= 1
1
2
+
1
3

1
4
+. . . +
(1)
n
n +1

1
n
+
2
n +1
+
3
n +2
+. . . +
n +1
2n
=
n

k=0
k +1
n +k

k=1
(
k
k +1

k +1
k +2
) =
1
2

n +1
n +2

Este tipo de soma conhecido como Soma Telescpica.

CEFET-MG/DECOM MD

Conceitos 8
Mudana de varivel
Observe que
3

k=1
k
2
= 1
2
+2
2
+3
2
e que
3

i=1
i
2
= 1
2
+2
2
+3
2
Logo,
3

k=1
k
2
=
3

i=1
i
2
As variveis k e i so chamadas de dummy.
4

j=2
(j 1)
2
=
3

k=1
k
2
CEFET-MG/DECOM MD

Conceitos 9
Mudana de varivel
Substitua k +1 na soma abaixo por j:
6

k=0
1
k +1
Passos:
(a) Calcule os novos limites do somatrio:
Para k = 0, j = 1.
Para k = 6, j = 7.
(b) Calcule o termo geral:
Como j = k +1, ento k = j 1
Logo,
1
k +1
=
1
(j 1) +1
=
1
j
A soma pode ser reescrita como:
6

k=0
1
k +1
=
7

j=1
1
j
CEFET-MG/DECOM MD

Conceitos 10
Notao para multiplicar termos de uma seqncia
Seja a seqncia
a
1
, a
2
, a
3
, . . . , a
n
Deseja-se saber o produto desses termos, ou seja,
a
1
a
2
a
3
. . . a
n
Essa multiplicao representada pela seguinte notao:
n

k=1
a
k
Exemplos:

k=1
k = 1 2 3 4 5 = 120

k=1
k
k +1
=
1
2

2
3

3
4
=
6
24
CEFET-MG/DECOM MD

Conceitos 11
Propriedades de somas e produtos
Se a
m
, a
m+1
, a
m+2
, . . . e b
m
, b
m+1
, b
m+2
, . . . so seqncias de nmeros re-
ais e c um nmero real qualquer, ento as seguintes equaes so vlidas
para qualquer n m:
1.
n

k=m
a
k
+
n

k=m
b
k
=
n

k=m
(a
k
+b
k
)
2.
c
n

k=m
a
k
=
n

k=m
c a
k
3.
(
n

k=m
a
k
) (
n

k=m
b
k
) =
n

k=m
(a
k
b
k
)
CEFET-MG/DECOM MD

Conceitos 12
Princpio da induo matemtica (fraca)
Seja P(n) um predicado denido para os inteiros n, e seja n
0
um inteiro xo.
Suponha que as duas armaes seguintes sejam verdadeiras:
1. P(n
0
) V.
2. Para todos inteiros k n
0
,
se P(k) V ento P(k +1) V.
Logo, a armao
para todos inteiros n n
0
, P(n)
V.
n
P(n)
Inteiros
0
CEFET-MG/DECOM MD

Conceitos 13
Princpio da induo matemtica
Tcnica aparece pela primeira vez no trabalho do italiano Francesco Mauro-
lico em 1575.
No sculo XVII, Pierre de Fermat e Blaise Pascal usam essa tcnica em seus
trabalhos. Fermat d o nome de mtodo do descendente innito.
Em 1883, Augustus De Morgan descreve o processo cuidadosamente e d o
nome de induo matemtica.
Tcnica extremamente importante para a Engenharia da Computao.
Para visualizar a idia da induo matemtica, imagine uma coleo de do-
mins colocados numa seqncia (formao) de tal forma que a queda do
primeiro domin fora a queda do segundo, que fora a queda do terceiro, e
assim sucessivamente, at todos os domins carem.
CEFET-MG/DECOM MD

Conceitos 14
Princpio da induo matemtica (fraca)
A prova de uma armao por induo matemtica feita em dois passos:
1. Passo base: provado que P(n
0
) V para um dado n
0
especco.
2. Passo indutivo: provado que para todos inteiros k n
0
,
se P(k) V ento P(k +1) V.
O passo indutivo pode ser escrito formalmente como:
inteiros k n
0
, se P(k) ento P(k +1)
Pelo mtodo da generalizao de um elemento especco genrico, para pro-
var o passo indutivo deve-se:
supor que P(k) V, onde k um elemento especco mas escolhido arbi-
trariamente de tal forma que seja maior ou igual a n
0
.
provar que P(k +1) V.
CEFET-MG/DECOM MD

Conceitos 15
Princpio da induo matemtica (fraca)
Este princpio pode ser expresso pela seguinte regra de inferncia:
[P(n
0
) k(P(k) P(k +1))] nP(n).
Inteiros
P(n)
0
n P ( )
1
n
2
n
...
P ( ) k P ( ) P ( )
P k ( +1)
Numa prova por induo matemtica no assumido que P(k) verda-
deiro para todos os inteiros! mostrado que se for assumido que P(k)
verdadeiro, ento P(k +1) tambm verdadeiro.
CEFET-MG/DECOM MD

Conceitos 16
Princpio da induo matemtica (fraca)
Exemplo 1
Prove que para todos inteiros n 1,
1 +2 +. . . +n =
n(n +1)
2
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(1): Para n
0
= 1, 1 =
1(1+1)
2
= 1 e a frmula
verdadeira para n
0
= 1.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
Suponha que a frmula verdadeira para n = k, i.e.,
P(k) : 1 +2 +. . . +k =
k(k +1)
2
para algum inteiro k 1. [hiptese indutiva]
CEFET-MG/DECOM MD

Conceitos 17
Princpio da induo matemtica (fraca)
Exemplo 1
Deve-se mostrar que
P(k +1) : 1 +2 +. . . +(k +1) =
(k +1)(k +2)
2
Sabe-se que
1 +2 +. . . +k +(k +1) =
k(k +1)
2
+(k +1)
=
k(k +1)
2
+
2(k +1)
2
=
k
2
+3k +2
2
=
(k +1)(k +2)
2
[Isto era o que devia ser provado.]
CEFET-MG/DECOM MD

Conceitos 18
Princpio da induo matemtica (fraca)
Exemplo 2
Prove que para todos inteiros n 0,
0 +1 +2 +. . . +n =
n(n +2)
2
ERRADO!
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(0): Para n
0
= 0, 0 =
0(0+2)
2
= 0 e a frmula
verdadeira para n
0
= 0.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
Suponha que a frmula verdadeira para n = k, i.e.,
P(k) : 0 +1 +2 +. . . +k =
k(k +2)
2
=
k
2
+2k
2
para algum inteiro k 0. [hiptese indutiva]
CEFET-MG/DECOM MD

Conceitos 19
Princpio da induo matemtica (fraca)
Exemplo 2
Deve-se mostrar que
P(k +1) : 0 +1 +2 +. . . +(k +1) =
(k +1)(k +3)
2
=
k
2
+4k +3
2
Sabe-se que
0 +1 +2 +. . . +k +(k +1) =
k
2
+2k
2
+(k +1)
=
k
2
+2k +2(k +1)
2
=
k
2
+4k +2
2
[Assim, no foi possvel derivar a concluso a partir da hiptese. Isto signica que o predicado
original falso.]
CEFET-MG/DECOM MD

Conceitos 20
Princpio da induo matemtica (fraca)
Exemplo 3
Prove que
P(n) :
n

i=0
r
i
=
r
n+1
1
r 1
para todos inteiros n 0 e para todos nmeros reais r, r = 1.
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(0): Para n
0
= 0, r
0
= 1 =
r
0+1
1
r1
=
r1
r1
= 1
e a frmula verdadeira para n
0
= 0.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
CEFET-MG/DECOM MD

Conceitos 21
Princpio da induo matemtica (fraca)
Exemplo 3
P(k) :

k
i=0
r
i
=
r
k+1
1
r1
, para k 0. [hiptese indutiva]
Deve-se mostrar que P(k +1) :

k+1
i=0
r
i
=
r
k+2
1
r1
k+1

i=0
r
i
=
k

i=0
r
i
+r
k+1
=
r
k+1
1
r 1
+r
k+1
=
r
k+1
1
r 1
+
r
k+1
(r 1)
r 1
=
r
k+1
1 +r
k+2
r
k+1
r 1
=
r
k+2
1
r 1
CEFET-MG/DECOM MD

Conceitos 22
Princpio da induo matemtica (fraca)
Exemplo 4
Prove que
P(n) : 2
2n
1 divisvel por 3,
para n 1.
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(1): Para n
0
= 1, 2
21
1 = 3 que divisvel
por 3.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
CEFET-MG/DECOM MD

Conceitos 23
Princpio da induo matemtica (fraca)
Exemplo 4
P(k) : 2
2k
1 divisvel por 3. [hiptese indutiva]
Deve-se mostrar que P(k +1) : 2
2(k+1)
1 divisvel por 3.
2
2(k+1)
1 = 2
2k+2
1
= 2
2k
2
2
1
= 2
2k
4 1
= 2
2k
(3 +1) 1
= 2
2k
3 +(2
2k
1)
que divisvel por 3.
CEFET-MG/DECOM MD

Conceitos 24
Princpio da induo matemtica (fraca)
Exemplo 5
Prove que
P(n) : 2
0
+2
1
+2
2
+. . . +2
n
= 2
n+1
1,
para n 0.
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(0): Para n
0
= 2
0
= 1, 2
1
1 = 1.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
CEFET-MG/DECOM MD

Conceitos 25
Princpio da induo matemtica (fraca)
Exemplo 5
P(k) : 2
0
+2
1
+2
2
+. . . +2
k
= 2
k+1
1, para k 0. [hiptese indutiva]
Deve-se mostrar que P(k +1) : 2
0
+2
1
+2
2
+. . . +2
k+1
= 2
k+2
1
2
0
+2
1
+2
2
+. . . +2
k
+2
k+1
= (2
k+1
1) +2
k+1
= 2 2
k+1
1
= 2
k+2
1
CEFET-MG/DECOM MD

Conceitos 26
Princpio da induo matemtica (fraca)
Exemplo 6
Prove que
P(n) : H
2
n 1 +
n
2
,
para n 0.
onde H
j
representa o nmero harmnico e denido por:
H
j
= 1 +
1
2
+
1
3
+. . . +
1
j
.
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(0):
Para n
0
= 0, temos H
2
0
= H
1
= 1 1 +
0
2
.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
CEFET-MG/DECOM MD

Conceitos 27
Princpio da induo matemtica (fraca)
Exemplo 6
P(k) : H
2
k
1 +
k
2
, para k 0. [hiptese indutiva]
Deve-se mostrar que P(k +1) : H
2
k+1
1 +
k+1
2
H
2
k+1 = 1 +
1
2
+
1
3
+. . . +
1
2
k
+
1
2
k
+1
+
1
2
k
+2
+. . . +
1
2
k+1
[Denio de nmero harmnico.]
= H
2
k +
1
2
k
+1
+
1
2
k
+2
+. . . +
1
2
k+1
[Denio de nmero harmnico.]

_
1 +
k
2
_
+2
k

1
2
k+1
[Hiptese indutiva e existem 2
k
termos, cada um pelo menos 1/2
k+1
.]

_
1 +
k
2
_
+
1
2
1 +
k +1
2
.
CEFET-MG/DECOM MD

Conceitos 28
Princpio da induo matemtica (fraca)
Exemplo 7
Seja a seqncia a
1
, a
2
, a
3
, . . . denida como
a
1
= 2
a
k
= 5a
k1
, k 2
Prove que
a
n
= 2 5
n1
para n 1.
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(1): Para n
0
= 1, 2 5
11
= 2 e a
1
= 2. Logo,
a frmula vlida para n = 1.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
CEFET-MG/DECOM MD

Conceitos 29
Princpio da induo matemtica (fraca)
Exemplo 7
P(k) : a
k
= 2 5
k1
. [hiptese indutiva]
Deve-se mostrar que P(k +1) : a
k+1
= 2 5
(k+1)1
= 2 5
k
.
a
k+1
= 5 a
(k+1)1
= 5 a
k
= 5 (2 5
k1
)
= 2 (5 5
k1
)
= 2 5
k
CEFET-MG/DECOM MD

Conceitos 30
Princpio da induo matemtica (fraca)
Exemplo 8
Suponha que temos selos de 3 e 5 centavos. Prove que possvel ter qual-
quer valor de postagem de 8 centavos ou mais usando somente selos de 3 e
5 centavos.
Prova (por induo matemtica):
1. Passo base: 3 +5 = 8 e a armao vlida.
2. Passo indutivo: se possvel ter uma postagem de k centavos usando ape-
nas selos de 3 e 5 centavos ento possvel ter uma postagem de k + 1
centavos usando apenas selos de 3 e 5 centavos.
CEFET-MG/DECOM MD

Conceitos 31
Princpio da induo matemtica (fraca)
Exemplo 8
possvel ter uma postagem de k centavos usando apenas selos de 3 e 5
centavos. [hiptese indutiva]
Deve-se mostrar que possvel ter uma postagem de k +1 centavos usando
apenas selos de 3 e 5 centavos.
CEFET-MG/DECOM MD

Conceitos 32
Princpio da induo matemtica (fraca)
Exemplo 9
Prove que para todos os inteiros n 3
P(n): 2n +1 < 2
n
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(3). Para n
0
= 3,
2 3 +1 < 2
3
.
Logo, a frmula vlida para n
0
= 3.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
CEFET-MG/DECOM MD

Conceitos 33
Princpio da induo matemtica (fraca)
Exemplo 9
P(k): 2k +1 < 2
k
, para k 3. [hiptese indutiva]
Deve-se mostrar que P(k +1): 2(k +1) +1 < 2
k+1
.
2k +2 +1 =
(2k +1) +2 =
(2k +1) +2 < 2
k
+2
2(k +1) +1 < 2
k
+2
?
< 2
k+1
Se puder ser mostrado que 2
k
+2 < 2
k+1
ento o predicado P(k +1) verdadeiro.
2
k
+2
?
< 2
k+1
2
?
< 2
k+1
2
k
2
?
< 2
k
(2 1)
2
?
< 2
k
1 < 2
k1
, que verdade para k 2.
Em particular, a inequao (1 < 2
k1
) vlida para k 3. Assim, P(k +1) V.
CEFET-MG/DECOM MD

Conceitos 34
Princpio da induo matemtica (fraca)
Exemplo 10
Prove que para todos os inteiros n 1
P(n): n
3
n divisvel por 3.
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(1). Para n
0
= 1,
1
3
1 = 0 divisvel por 3.
Logo, a frmula vlida para n
0
= 3.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
CEFET-MG/DECOM MD

Conceitos 35
Princpio da induo matemtica (fraca)
Exemplo 10
P(k): k
3
k divisvel por 3, para k 1. [hiptese indutiva]
Deve-se mostrar que P(k + 1): (k + 1)
3
(k + 1) divisvel por 3, para
k 1.
(k +1)
3
(k +1) =
(k
3
+3k
2
+3k +1) (k +1) =
(k
3
k) +3(k
2
+k)
O primeiro termo divisvel por 3 (hiptese indutiva) e o segundo tambm.
Como a soma de dois nmeros divisveis por 3 um nmero divisvel por 3,
ento o predicado P(k +1) V.
CEFET-MG/DECOM MD

Conceitos 36
Princpio da induo matemtica (fraca)
Exemplo 11
Seja o inteiro n 1. Mostre que qualquer regio quadrada de tamanho
2
n
2
n
, com um quadrado removido, pode ser preenchida com peas no
formato L, como mostrado abaixo.
Prove que para todos os inteiros n 1, P(n): Qualquer regio quadrada
de tamanho 2
n
2
n
, com um quadrado removido, pode ser preenchida com
peas no formato L.
CEFET-MG/DECOM MD

Conceitos 37
Princpio da induo matemtica (fraca)
Exemplo 11
Prova (por induo matemtica):
1. Passo base: P(n
0
) = P(1). P(1) V j que uma regio quadrada de
tamanho 22, com um quadrado removido, pode se preenchida com peas
no formato L, como mostrado abaixo.
2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-
dadeira para n = k +1, i.e., P(k) P(k +1).
CEFET-MG/DECOM MD

Conceitos 38
Princpio da induo matemtica (fraca)
Exemplo 11
P(k): Qualquer regio quadrada de tamanho 2
k
2
k
, com um quadrado removido, pode ser
preenchida com peas no formato L. [hiptese indutiva]
Deve-se mostrar P(k + 1): Qualquer regio quadrada de tamanho 2
k+1
2
k+1
, com um
quadrado removido, pode ser preenchida com peas no formato L.
Considere uma regio quadrada de tamanho 2
k+1
2
k+1
, com um quadrado removido. Divida
essa regio em quatro regies de tamanho 2
k
2
k
como mostrado abaixo.
Temos trs regies 2
k
2
k
com nenhum quadrado remo-
vido e uma regio 2
k
2
k
com um quadrado removido. Ou
seja, a regio 2
k+1
2
k+1
possui apenas um quadrado
removido.
Pela hiptese indutiva, a regio 2
k
2
k
, com um quadrado
removido, pode ser preenchida com peas no formato L.
O problema passa a ser como a mesma hiptese indutiva
pode ser aplicada s outras trs regies.
CEFET-MG/DECOM MD

Conceitos 39
Princpio da induo matemtica (fraca)
Exemplo 11
Temporariamente remova um quadrado de cada regio 2
k
2
k
que est completa como mos-
trado na gura abaixo esquerda.
Pela hiptese indutiva cada uma dessas trs regies 2
k
2
k
pode ser preenchida com peas no
formato L. No entanto, para resolvermos o problema da pea removida emcada uma dessas trs
regies basta colocarmos uma pea L exatamente sobre esses trs buracos como mostrado
na gura abaixo direita.
CEFET-MG/DECOM MD

Conceitos 40
Princpio da induo matemtica (fraca)
Exemplo 11
Assim, uma regio quadrada de tamanho 2
k+1
2
k+1
, com um quadrado removido, pode ser
preenchida com peas no formato L, como mostrado na gura abaixo.
CEFET-MG/DECOM MD

Conceitos 41
Princpio da induo matemtica (forte)
Seja P(n) um predicado que denido para inteiros n, e seja a e b intei-
ros xos, sendo a b. Suponha que as duas armaes seguintes sejam
verdadeiras:
1. P(a), P(a +1), . . . , P(b) so V. (Passo base)
2. Para qualquer inteiro k b,
se P(i) V para a i < k ento P(k) V.
Logo, a armao
para todos inteiros n a, P(n)
V. (A suposio que P(i) V para a i < k chamada de hiptese
indutiva.)
CEFET-MG/DECOM MD

Conceitos 42
Princpio da induo matemtica (forte)
Exemplo 12
Prove que qualquer inteiro maior que 1 divisvel por um nmero primo.
Prova (por induo matemtica):
1. Passo base: Para n = 2 a propriedade vlida j que 2|2.
2. Passo indutivo: Vamos supor que para todos inteiros i, 2 i < k, i
divisvel por um nmero primo. [hiptese indutiva]
Se a propriedade vlida para 2 i < k, ento vlida para k, ou seja, k
divisvel por um nmero primo [o que deve ser mostrado].
Seja k um inteiro, k > 2. Ou k primo ou k no primo. Se k primo,
ento k divisvel por um primo (ele prprio). Se k no primo ento
k = u v, onde u e v so inteiros tais que 2 u < k e 2 v < k. Pela
hiptese indutiva, u divisvel por um nmero primo p e pela transitividade
da divisibilidade k tambm divisvel por p. Assim, independente se k
primo ou no, k divisvel por um primo.
CEFET-MG/DECOM MD

Conceitos 43
Princpio da induo matemtica (forte):
Exemplo 13
Seja a seqncia a
1
, a
2
, a
3
, . . . denida como
a
1
= 0
a
2
= 2
a
k
= 3 a
k/2
+2, k 3
Prove que a
n
par, para n 1.
Prova (por induo matemtica):
1. Passo base: Para n = 1 e n = 2 a propriedade vlida j que a
1
= 0 e
a
2
= 2.
2. Passo indutivo: Vamos supor que a
i
par para todos inteiros i, 0 i < k.
[hiptese indutiva]
CEFET-MG/DECOM MD

Conceitos 44
Princpio da induo matemtica (forte):
Exemplo 13
Se a propriedade vlida para 0 i < k, ento vlida para k, ou seja, a
k

par [o que deve ser mostrado].
Pela denio de a
1
, a
2
, a
3
, . . .
a
k
= 3 a
k/2
+2, k 3
O termo a
k/2
par pela hiptese indutiva j que k > 2 e 0 k/2 < k.
Desta forma, 3 a
k/2
par e 3 a
k/2
+2 tambm par, o que mostra que
a
k
par.
CEFET-MG/DECOM MD

Conceitos 45
Princpio da ordenao dos inteiros
Princpio: Seja S um conjunto de um ou mais nmeros inteiros que so mai-
ores que um dado inteiro xo. Ento S tem um elemento que menor de
todos.
O princpio da ordenao dos inteiros, da induo matemtica fraca e forte
so equivalentes.
CEFET-MG/DECOM MD

Conceitos 46