MD 4SequenciaEInducaoMatematica

Sequncias
Induo Matemtica
Renato Martins Assuno

assuncao@dcc.ufmg.br
Antonio Alfredo Ferreira Loureiro

loureiro@dcc.ufmg.br
UFMG/ICEx/DCC MD
Sequencias e Inducao Matematica 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 verificar

conjecturas sobre padres de termos em sequncias.
UFMG/ICEx/DCC MD
Sequncias
Exemplo: Nmero de ancestraisUm limite superior

Gerao 1 2 3 4 5 6 7. . .
# ancestrais 2 4 8 16 32 64 128. . .
Mais definies:
Termo: cada elemento de uma sequncia.
Exemplo: a1, a2, a3, . . . , an
ndice ou subscrito: indica a posio do termo na sequncia.
Exemplo: O nmero 3 no termo a3 indica o terceiro elemento da sequncia.
Sequncia finita: possui um conjunto finito de termos.
Sequncia infinita: possui um conjunto infinito de termos.
Exemplo: a1, a2, a3, . . .
Frmula explcita ou frmula geral: a regra que mostra como os valores
de ak podem ser obtidos a partir de k.
UFMG/ICEx/DCC MD
Exemplos de sequncias definidas por frmulas
explcitas
Sejam as sequncias a1, a2, a3, . . . definida pela frmula explcita

k
ak = para inteiros k 1
k+1
e b2, b3, b4, . . . definida pela frmula explcita
i1
bi = para inteiros i 2
i
a1 = 1+11 = 1 b = 21 = 1
2 2 2 2
a2 = 2+12 = 2 b = 31 = 2
3 3 3 3
a3 = 3+13 = 3 b = 41 = 3
4 4 4 4
... ...
O que as duas sequncias tm em comum?

So idnticas.
UFMG/ICEx/DCC MD
Exemplos de sequncias definidas por frmulas
explcitas
Sequncia alternante:
Seja a sequncia c0, c1, c2, . . . definida pela frmula explcita
cj = (1)j para inteiros j 0

Essa sequncia possui um conjunto finito de valores: {1, 1}.
UFMG/ICEx/DCC MD
Achando a frmula explcita
A frmula explcita para a sequncia
1, 1
4,
1, 1 ,
9 16
1,
25 ...
pode ser
(1)k+1
ak = 2
para inteiros k 1
k
ou
(1)k
ak = 2
para inteiros k 0
(k + 1)
No existe somente uma nica frmula explcita para representar os termos

de uma sequncia.
UFMG/ICEx/DCC MD
Notao para somar termos de uma sequncia
Seja a sequncia
a1, a2, a3, . . . , an
Existem diversas aplicaes em Cincia da Computao onde importante
saber a soma desses termos, ou seja,
a1 + a2 + a3 + . . . + an
Essa soma representada pela seguinte notao:
n
X
ak = a
|1
+ a2 + a{z3 + . . . + an}
k=1 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
Exemplos
n
X (1)k 1 1 1 (1)n
= 1 + + ... +
k=0
k+1 2 3 4 n+1
n
1 2 3 n+1 X k+1
+ + + ... + =
n n+1 n+2 2n k=0
n+k
n
X k k+1 1 n+1
( )=
k=1
k+1 k+2 2 n+2
Este tipo de soma conhecido como Soma Telescpica, ou seja uma

soma da forma n1
i=0 ai , onde ai = bi bi+1 .
P
UFMG/ICEx/DCC MD
Mudana de varivel
Observe que
3
k 2 = 1 2 + 22 + 32
X
k=1
e que
3
i2 = 1 2 + 2 2 + 3 2
X
i=1
Logo,
3 3
k2 = i2
X X
k=1 i=1
As variveis k e i so chamadas de dummy.
4 3
(j 1)2 = k2
X X
j=2 k=1
UFMG/ICEx/DCC MD
Mudana de varivel
Substitua k + 1 na soma abaixo por j:
6
X 1
k=0
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 1 1
= =
k+1 (j 1) + 1 j
A soma pode ser reescrita como:
6 7
X 1 X 1
=
k=0
k + 1 j=1 j
UFMG/ICEx/DCC MD
Notao para multiplicar termos de uma sequncia
Seja a sequncia
a1, a2, a3, . . . , an
Deseja-se saber o produto desses termos, ou seja,
a1 a2 a3 . . . an
Essa multiplicao representada pela seguinte notao:
n
Y
ak
k=1
Exemplos:

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

3
Y k 1 2 3 6
= =
k=1
k+1 2 3 4 24
UFMG/ICEx/DCC MD
Propriedades de somas e produtos
Se am, am+1, am+2, . . . e bm, bm+1, bm+2, . . . so sequncias de nmeros re-

ais e c um nmero real qualquer, ento as seguintes equaes so vlidas
para qualquer n m:
1.
n
X n
X n
X
ak + bk = (ak + bk )
k=m k=m k=m
2.
n
X n
X
c ak = c ak
k=m k=m
3.
n
Y n
Y n
Y
( ak ) ( bk ) = (ak bk )
k=m k=m k=m
UFMG/ICEx/DCC MD
Princpio da induo matemtica (fraca)
Seja P (n) um predicado definido para os inteiros n, e seja n0 um inteiro fixo.

Suponha que as duas afirmaes seguintes sejam verdadeiras:
1. P (n0) V.
2. Para todos inteiros k n0,
se P (k) V ento P (k + 1) V.
Logo, a afirmao
para todos inteiros n n0, P (n)
V.
P(n)
n0 Inteiros
UFMG/ICEx/DCC MD
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 infinito.
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
A prova de uma afirmao por induo matemtica feita em dois passos:

1. Passo base: provado que P (n0) V para um dado n0 especfico.
2. Passo indutivo: provado que para todos inteiros k n0,
se P (k) V ento P (k + 1) V.
O passo indutivo pode ser escrito formalmente como:
inteiros k n0, se P (k) ento P (k + 1)
Pelo mtodo da generalizao de um elemento especfico genrico, para pro-

var o passo indutivo deve-se:
supor que P (k) V, onde k um elemento especfico mas escolhido arbi-
trariamente de tal forma que seja maior ou igual a n0.
provar que P (k + 1) V.
UFMG/ICEx/DCC MD
Este princpio pode ser expresso pela seguinte regra de inferncia:
[P (n0) k(P (k) P (k + 1))] nP (n).
P(n)
...
P (n 0) P (n 1) P (n 2) P (k ) P (k+1) Inteiros
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.
Assim, na prova por induo matemtica devemos usar obrigatoriamente o
predicado P (k) (hiptese que estamos supondo ser verdadeira).
UFMG/ICEx/DCC MD
Exemplo 1
Prove que
n(n + 1)
P (n) : 1 + 2 + . . . + n =
2
para todos inteiros n 1.
Prova (por induo matemtica):
1. Passo base: P (n0) = P (1): Para n0 = 1, 1 = 1(1+1)

2 = 1 e a frmula
verdadeira para n0 = 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.,
k(k + 1)
P (k) : 1 + 2 + . . . + k =
2
para algum inteiro k 1. [hiptese indutiva]
UFMG/ICEx/DCC MD
Exemplo 1
Deve-se mostrar que

(k + 1)(k + 2)
P (k + 1) : 1 + 2 + . . . + (k + 1) =
2
Sabe-se que
k(k + 1)
1 + 2 + . . . + k + (k + 1) = + (k + 1)
2
k(k + 1) 2(k + 1)
= +
2 2
k2 + 3k + 2
=
2
(k + 1)(k + 2)
=
2
[Isto era o que devia ser provado.]
UFMG/ICEx/DCC MD
Exemplo 1: Comentrios
Observe que na prova por induo matemtica devemos usar obrigatoriamente

o predicado P (k). Esse um dos grandes desafios neste tipo de prova, como
veremos em outros exemplos.
A soma
1 + 2 + . . . + k + (k + 1),
que aparece no predicado P (k + 1), possui os termos 1 a k, cuja soma (1 +
2 + . . . + k) vale k(k+1)
2 pela hiptese indutiva. Como estamos supondo que
ela verdadeira, podemos definir uma igualdade onde esses termos do lado
esquerdo so substitudos por essa frao do lado direito:
k(k + 1)
1 + 2 + . . . + k + (k + 1) = + (k + 1).
2
UFMG/ICEx/DCC MD
Nessa demonstrao pode parecer que estamos usando o fato de P (k) ser V
para deduzir que P (k + 1) V, para em seguida deduzir que P (k) V. Parece
circular! O que est ocorrendo?
Nao isso que est acontecendo. Dado um k e o predicado associado, temos

duas possibilidades:
(a) P (k) V
(b) P (k) F
A hiptese indutiva no afirma que P (k) seja verdadeiro. O que afirma que
caso P (k) seja V ento P (k+1) tambm ser V. Isto , se k faz com que P (k)
seja verdadeiro e, assim, esteja na categoria (a) acima, ento k + 1 tambm
far com que P (k + 1) seja V e, assim, tambm esteja em (a).
UFMG/ICEx/DCC MD
Por exemplo, seja

n(n + 1)
P (n) : 1 + 2 + . . . + n = + 1.
2
Isto nao correto! Neste exemplo, o predicado P (k) falso para todo k.
Em geral, devemos tentar mostrar que caso P (k) seja V, ento P (k + 1) tam-
bem V.
Isso ficar evidente no prximo exemplo, quando vamos supor que P (k) seja V
e vamos chegar a uma contradio para P (k + 1). Ou seja, P (k) F.
UFMG/ICEx/DCC MD
Exemplo 2
Prove que
n(n + 2)
P (n) : 0 + 1 + 2 + . . . + n = E RRADO !
2
para todos inteiros n 0.
1. Passo base: P (n0) = P (0): Para n0 = 0, 0 = 0(0+2)

2 = 0 e a frmula
verdadeira para n0 = 0.

Suponha que a frmula verdadeira para n = k, i.e.,
k(k + 2) k2 + 2k
P (k) : 0 + 1 + 2 + . . . + k = =
2 2
para algum inteiro k 0. [hiptese indutiva]
UFMG/ICEx/DCC MD
Exemplo 2
Deve-se mostrar que

(k + 1)(k + 3) k2 + 4k + 3
P (k + 1) : 0 + 1 + 2 + . . . + (k + 1) = =
2 2
Sabe-se que
k2 + 2k
0 + 1 + 2 + . . . + k + (k + 1) = + (k + 1)
2
k2 + 2k + 2(k + 1)
=
2
k2 + 4k + 2
=
2
[Assim, no foi possvel derivar a concluso a partir da hiptese. Isto significa que o predicado
original falso.]
UFMG/ICEx/DCC MD
Exemplo 3
Prove que
n
X
i rn+1 1
P (n) : r =
i=0 r1
para todos inteiros n 0 e para todos nmeros reais r, r 6= 1.

0+1 1
1. Passo base: P (n0) = P (0): Para n0 = 0, r = 1 = r1 = r1
0 r
r1 = 1
e a frmula verdadeira para n0 = 0.

UFMG/ICEx/DCC MD
Exemplo 3
Pk r k+1 1
i
P (k) : i=0 r = r1 , para k 0. [hiptese indutiva]
Pk+1 i r k+2 1
Deve-se mostrar que P (k + 1) : i=0 r = r1
k+1 k
ri = ri + rk+1
X X
i=0 i=0
rk+1 1
= + rk+1
r1
rk+1 1 rk+1(r 1)
= +
r1 r1
rk+1 1 + rk+2 rk+1
=
r1
rk+2 1
=
r1
UFMG/ICEx/DCC MD
Exemplo 4
Prove que
P (n) : 22n 1 divisvel por 3,
para n 1.
1. Passo base: P (n0) = P (1): Para n0 = 1, 221 1 = 3 que divisvel

por 3.

UFMG/ICEx/DCC MD
Exemplo 4
P (k) : 22k 1 divisvel por 3. [hiptese indutiva]

Deve-se mostrar que P (k + 1) : 22(k+1) 1 divisvel por 3.
22(k+1) 1 = 22k+2 1
= 22k 22 1
= 22k 4 1
= 22k (3 + 1) 1
= 22k 3 + (22k 1)
que divisvel por 3.
UFMG/ICEx/DCC MD
Exemplo 5
Prove que
P (n) : 20 + 21 + 22 + . . . + 2n = 2n+1 1,
para n 0.
1. Passo base: P (n0) = P (0): Para n0 = 20 = 1, 21 1 = 1.

UFMG/ICEx/DCC MD
Exemplo 5
P (k) : 20 + 21 + 22 + . . . + 2k = 2k+1 1, para k 0. [hiptese indutiva]

Deve-se mostrar que P (k + 1) : 20 + 21 + 22 + . . . + 2k+1 = 2k+2 1
20 + 21 + 22 + . . . + 2k + 2k+1 = (2k+1 1) + 2k+1

= 2 2k+1 1
= 2k+2 1
UFMG/ICEx/DCC MD
Exemplo 6
Prove que
n
P (n) : H2n 1 + ,
2
para n 0.
Hj representa o nmero harmnico e definido por:

1 1 1
Hj = 1 + + + ... + .
2 3 j
1. Passo base: P (n0) = P (0):

Para n0 = 0, temos H20 = H1 = 1 1 + 0
2.

UFMG/ICEx/DCC MD
Exemplo 6
k , para k 0. [hiptese indutiva]
P (k) : H2k 1 + 2
Deve-se mostrar que P (k + 1) : H2k+1 1 + k+1 2
1 1 1 1 1 1
H2k+1 = 1+ + + ... + k + k + k + . . . + k+1
2 3 2 2 +1 2 +2 2
[Definio de nmero harmnico.]
1 1 1
= H2k + + + . . . +
2k + 1 2k + 2 2k+1
[Definio de nmero harmnico.]

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

k 1
1+ +
2 2
k+1
1+ .
2
UFMG/ICEx/DCC MD
Exemplo 7
Seja a sequncia a1, a2, a3, . . . definida como
a1 = 2
ak = 5ak1, k 2
Prove que
P (n) : an = 2 5n1
para n 1.
1. Passo base: P (n0) = P (1): Para n0 = 1, 2 511 = 2 e a1 = 2. Logo,

a frmula vlida para n = 1.
UFMG/ICEx/DCC MD
Exemplo 7
P (k) : ak = 2 5k1. [hiptese indutiva]

Deve-se mostrar que P (k + 1) : ak+1 = 2 5(k+1)1 = 2 5k .
ak+1 = 5 a(k+1)1
= 5 ak
= 5 (2 5k1)
= 2 (5 5k1)
= 2 5k
UFMG/ICEx/DCC MD
Exemplo 8
Prove que
P (n): 2n + 1 < 2n
para todos os inteiros n 3.
1. Passo base: P (n0) = P (3). Para n0 = 3,
2 3 + 1 < 23.
Logo, a frmula vlida para n0 = 3.
UFMG/ICEx/DCC MD
Exemplo 8
P (k): 2k + 1 < 2k , para k 3. [hiptese indutiva]

Deve-se mostrar que P (k + 1): 2(k + 1) + 1 < 2k+1.
2k + 2 + 1 =
(2k + 1) + 2 =
(2k + 1) + 2 < 2k + 2
?
2(k + 1) + 1 < 2 + 2 < 2k+1
k
Se puder ser mostrado que 2k + 2 < 2k+1 ento o predicado P (k + 1) verdadeiro.

?
2k + 2 < 2k+1
?
2 < 2k+1 2k
?
2 < 2k (2 1)
?
2 < 2k
1 < 2k1 , que verdade para k 2.
Em particular, a inequao (1 < 2k1 ) vlida para k 3. Assim, P (k + 1) V.
UFMG/ICEx/DCC MD
Exemplo 9
Prove que para todos os inteiros n 1
P (n): n3 n divisvel por 3.
1. Passo base: P (n0) = P (1). Para n0 = 1,
13 1 = 0 divisvel por 3.
Logo, a frmula vlida para n0 = 3.
UFMG/ICEx/DCC MD
Exemplo 9
P (k): k3 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) =
(k3 + 3k2 + 3k + 1) (k + 1) =
(k3 k) + 3(k2 + 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
Exemplo 10
Seja um inteiro n 1. Prove que
P (n) : qualquer regio quadrada de tamanho 2n 2n, com um qua-

drado removido, pode ser preenchida com peas no formato L, como
mostrado abaixo.
UFMG/ICEx/DCC MD
Exemplo 10
1. Passo base: P (n0) = 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.

UFMG/ICEx/DCC MD
Exemplo 10
P (k): Qualquer regio quadrada de tamanho 2k 2k , 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 2k+1 2k+1 , com um
quadrado removido, pode ser preenchida com peas no formato L.
Considere uma regio quadrada de tamanho 2k+1 2k+1 , com um quadrado removido. Divida
essa regio em quatro regies de tamanho 2k 2k como mostrado abaixo.
Temos trs regies 2k 2k com nenhum quadrado remo-

vido e uma regio 2k 2k com um quadrado removido. Ou
seja, a regio 2k+1 2k+1 possui apenas um quadrado
removido.
Pela hiptese indutiva, a regio 2k 2k , 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
Exemplo 10
Temporariamente remova um quadrado de cada regio 2k 2k que est completa como mos-
trado na figura abaixo esquerda.
Pela hiptese indutiva cada uma dessas trs regies 2k 2k pode ser preenchida com peas no
formato L. No entanto, para resolvermos o problema da pea removida em cada uma dessas trs
regies basta colocarmos uma pea L exatamente sobre esses trs buracos como mostrado
na figura abaixo direita.
UFMG/ICEx/DCC MD
Exemplo 10
Assim, uma regio quadrada de tamanho 2k+1 2k+1 , com um quadrado removido, pode ser
preenchida com peas no formato L, como mostrado na figura abaixo.
UFMG/ICEx/DCC MD
Princpio da induo matemtica (forte)
Seja P (n) um predicado que definido para inteiros n, e seja a e b inteiros fixos,
sendo a b. Suponha que as duas afirmaes 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 afirmao para todos inteiros n a, P (n) V. (A suposio
que P (i) V para a i < k chamada de hiptese indutiva.)
Passo Base
a b k Inteiros
P (i )
Hipotese Indutiva
UFMG/ICEx/DCC MD
Princpio da induo matemtica (forte)
Exemplo 11
Prove que qualquer inteiro maior que 1 divisvel por um nmero primo.
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
Princpio da induo matemtica (forte):
Exemplo 12
Seja a sequncia a1, a2, a3, . . . definida como
a1 = 0
a2 = 2
ak = 3 abk/2c + 2, k 3
Prove que an par, para n 1.
1. Passo base: Para n = 1 e n = 2 a propriedade vlida j que a1 = 0 e

a2 = 2.
2. Passo indutivo: Vamos supor que ai par para todos inteiros i, 1 i < k.
[hiptese indutiva]
UFMG/ICEx/DCC MD
Princpio da induo matemtica (forte):
Exemplo 12
Se a propriedade vlida para 1 i < k, ento vlida para k, ou seja, ak

par [o que deve ser mostrado].
Pela definio de a1, a2, a3, . . .
ak = 3 abk/2c + 2, k 3
O termo abk/2c par pela hiptese indutiva j que k 3 e 1 bk/2c < k.
Desta forma, 3 abk/2c par e 3 abk/2c + 2 tambm par, o que mostra que
ak par.
UFMG/ICEx/DCC MD
Princpio da ordenao dos inteiros
Princpio: Seja S um conjunto de um ou mais nmeros inteiros que so mai-

ores que um dado inteiro fixo. Ento S tem um elemento que menor de
todos.
Tambm chamado Principio da Boa Ordenao.
De outro modo: considere qualquer subconjunto A de inteiros positivos que
seja nao vazio. Ento A possui um menor elemento.
No vamos provar este principio, apenas aceit-lo.
O princpio da ordenao dos inteiros, da induo matemtica fraca e forte

so equivalentes.
Usando-se o princpio da boa ordenao dos inteiros podemos demonstrar
que a induo matemtica fraca e a induo matemtica forte so equiva-
lentes.
UFMG/ICEx/DCC MD

MD 4SequenciaEInducaoMatematica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

MD 4SequenciaEInducaoMatematica

Uploaded by

Copyright:

Available Formats

Sequncias

Renato Martins Assuno

Antonio Alfredo Ferreira Loureiro

Uma das tarefas mais importantes da matemtica descobrir e caracterizar

Sequncia: estrutura matemtica mais importante para estudar processos

Induo matemtica: ferramenta matemtica mais importante para verificar

Exemplo: Nmero de ancestraisUm limite superior

Sejam as sequncias a1, a2, a3, . . . definida pela frmula explcita

O que as duas sequncias tm em comum?

cj = (1)j para inteiros j 0

A frmula explcita para a sequncia

No existe somente uma nica frmula explcita para representar os termos

Joseph-Louis Lagrange (17361813), matemtico francs/italiano. Props o uso

Este tipo de soma conhecido como Soma Telescpica, ou seja uma

As variveis k e i so chamadas de dummy.

Se am, am+1, am+2, . . . e bm, bm+1, bm+2, . . . so sequncias de nmeros re-

Seja P (n) um predicado definido para os inteiros n, e seja n0 um inteiro fixo.

Tcnica aparece pela primeira vez no trabalho do italiano Francesco Mauro-

Em 1883, Augustus De Morgan descreve o processo cuidadosamente e d o

Tcnica extremamente importante para a Cincia da Computao.

Para visualizar a idia da induo matemtica, imagine uma coleo de do-

A prova de uma afirmao por induo matemtica feita em dois passos:

O passo indutivo pode ser escrito formalmente como:

inteiros k n0, se P (k) ento P (k + 1)

Pelo mtodo da generalizao de um elemento especfico genrico, para pro-

Este princpio pode ser expresso pela seguinte regra de inferncia:

[P (n0) k(P (k) P (k + 1))] nP (n).

Numa prova por induo matemtica no assumido que P (k) verda-

Prova (por induo matemtica):

1. Passo base: P (n0) = P (1): Para n0 = 1, 1 = 1(1+1)

2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-

Deve-se mostrar que

Observe que na prova por induo matemtica devemos usar obrigatoriamente

Nao isso que est acontecendo. Dado um k e o predicado associado, temos

Por exemplo, seja

Prova (por induo matemtica):

1. Passo base: P (n0) = P (0): Para n0 = 0, 0 = 0(0+2)

2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-

Deve-se mostrar que

Prova (por induo matemtica):

2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-

Prova (por induo matemtica):

1. Passo base: P (n0) = P (1): Para n0 = 1, 221 1 = 3 que divisvel

2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-

P (k) : 22k 1 divisvel por 3. [hiptese indutiva]

Prova (por induo matemtica):

1. Passo base: P (n0) = P (0): Para n0 = 20 = 1, 21 1 = 1.

2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-

P (k) : 20 + 21 + 22 + . . . + 2k = 2k+1 1, para k 0. [hiptese indutiva]

20 + 21 + 22 + . . . + 2k + 2k+1 = (2k+1 1) + 2k+1

Hj representa o nmero harmnico e definido por:

Prova (por induo matemtica):

1. Passo base: P (n0) = P (0):

2. Passo indutivo: se a frmula verdadeira para n = k ento deve ser ver-

Prova (por induo matemtica):

1. Passo base: P (n0) = P (1): Para n0 = 1, 2 511 = 2 e a1 = 2. Logo,

P (k) : ak = 2 5k1. [hiptese indutiva]

Prova (por induo matemtica):

1. Passo base: P (n0) = P (3). Para n0 = 3,

P (k): 2k + 1 < 2k , para k 3. [hiptese indutiva]

Se puder ser mostrado que 2k + 2 < 2k+1 ento o predicado P (k + 1) verdadeiro.

Em particular, a inequao (1 < 2k1 ) vlida para k 3. Assim, P (k + 1) V.

Prove que para todos os inteiros n 1