Sequncias

Induo Matemtica
Antonio Alfredo Ferreira Loureiro
loureiro@dcc.ufmg.br
Olga Nikolaevna Goussevskaia
olgang@gmail.com
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 1

Introduo
Uma das tarefas mais importantes da matemtica descobrir e caracterizar
padres regulares.
Sequncia: estrutura matemtica mais importante para estudar processos
repetidos.
Induo matemtica: ferramenta matemtica mais importante para vericar
conjecturas sobre padres de termos em sequncias.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 2

sequncias
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 sequncia.
Exemplo: a
1
, a
2
, a
3
, . . . , a
n
ndice ou subscrito: indica a posio do termo na sequncia.
Exemplo: O nmero 3 no termo a
3
indica o terceiro elemento da sequncia.
Sequncia nita: possui um conjunto nito de termos.
Sequncia 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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 3

Exemplos de sequncias denidas por frmulas
explcitas
Sejam as sequncias 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 sequncias tm em comum?
So idnticas.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 4

Exemplos de sequncias denidas por frmulas
explcitas
Sequncia alternante:
Seja a sequncia c
0
, c
1
, c
2
, . . . denida pela frmula explcita
c
j
= (1)
j
para inteiros j 0
Essa sequncia possui um conjunto nito de valores: {1, 1}.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 5

Achando a frmula explcita
A frmula explcita para a sequncia
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 sequncia.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 6

Notao para somar termos de uma sequncia
Seja a sequncia
a
1
, a
2
, a
3
, . . . , a
n
Existem diversas aplicaes em Cincia da Computao onde importante
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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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.

UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 10

Notao para multiplicar termos de uma sequncia
Seja a sequncia
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
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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 sequncias de nmeros
reais e c um nmero real qualquer, ento as seguintes equaes so vli-
das 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
)
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 13

Princpio da induo matemtica
Tcnica aparece pela primeira vez no trabalho do italiano Francesco Mau-
rolico 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 Cincia da Computao.
Para visualizar a idia da induo matemtica, imagine uma coleo de do-
mins colocados numa sequncia (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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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
provar 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 a.
provar que P(k +1) V.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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) verdadeiro
para todos os inteiros! mostrado que se for assumido que P(k) ver-
dadeiro, ento P(k +1) tambm verdadeiro.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 16

Princpio da induo matemtica (fraca)
Exemplo 1
Prove que
P(n) : 1 +2 +. . . +n =
n(n +1)
2
para todos inteiros n 1.
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]
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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.]
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 18

Princpio da induo matemtica (fraca)
Exemplo 2
Prove que
P(n) : 0 +1 +2 +. . . +n =
n(n +2)
2
ERRADO!
para todos inteiros n 0.
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]
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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.]
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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).
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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).
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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).
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 26

Princpio da induo matemtica (fraca)
Exemplo 6
Prove que
P(n) : H
2
n 1 +
n
2
,
para n 0.
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).
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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
.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 28

Princpio da induo matemtica (fraca)
Exemplo 7
Seja a sequncia a
1
, a
2
, a
3
, . . . denida como
a
1
= 2
a
k
= 5a
k1
, k 2
Prove que
P(n) : 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).
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 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
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 30

Princpio da induo matemtica (fraca)
Exemplo 8
Prove que
P(n): 2n +1 < 2
n
para todos os inteiros n 3.
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).
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 31

Princpio da induo matemtica (fraca)
Exemplo 8
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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 32

Princpio da induo matemtica (fraca)
Exemplo 9
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).
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 33

Princpio da induo matemtica (fraca)
Exemplo 9
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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 34

Princpio da induo matemtica (fraca)
Exemplo 10
Seja um inteiro n 1. Prove que
P(n) : qualquer regio quadrada de tamanho 2
n
2
n
, com um
quadrado removido, pode ser preenchida com peas no formato L,
como mostrado abaixo.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 35

Princpio da induo matemtica (fraca)
Exemplo 10
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).
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 36

Princpio da induo matemtica (fraca)
Exemplo 10
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 re-
movido 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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 37

Princpio da induo matemtica (fraca)
Exemplo 10
Temporariamente remova um quadrado de cada regio 2
k
2
k
que est completa como
mostrado 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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 38

Princpio da induo matemtica (fraca)
Exemplo 10
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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 39

Princpio da induo matemtica (forte)
Seja P(n) um predicado que denido para inteiros n, e seja a e b inteiros 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, i.e., P(i) P(k).
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.)
Hipotese Indutiva
Inteiros
P i ( )
k a
Passo Base
b
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 40

Princpio da induo matemtica (forte)
Exemplo 11
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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 41

Princpio da induo matemtica (forte):
Exemplo 12
Seja a sequncia 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, 1 i < k.
[hiptese indutiva]
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 42

Princpio da induo matemtica (forte):
Exemplo 12
Se a propriedade vlida para 1 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 3 e 1 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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 43

Princpio da ordenao dos inteiros
Princpio: Seja S um conjunto de um ou mais nmeros inteiros que so
maiores 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.
UFMG/ICEx/DCC MD

Seque ncias e Induc a o Matema tica 44