Induo Matemtica

L14 2
Agenda
Prova por Induo Matemtica
Princpio da Boa Ordem
Induo Simples
Induo Forte (Segundo Princpio de
Induo)
Correo de Programas
L14 3
Induo Matemtica
Suponha que temos uma sequncia de
proposies que gostaramos de provar:
P (0), P (1), P (2), P (3), P (4), P (n),
EX: P (n) =
A soma dos n primeiros nmeros impares
positivos o quadrado de n
Podemos representar a proposio como um
domin:
P (n)
L14 4
Induo Matemtica
E uma sequncia de proposies como
uma sequncia de domins.

P (n+1) P (n)
P (2) P (1) P (0)
L14 5
Induo Matemtica
Quando um domin cai (para a direita) a
proposio correspondente
considerada verdadeira:
P (n)
true
L14 6
Induo Matemtica
Suponha que domins satisfazem duas
restries.
1) Bem posicionados: Se qualquer domin
cai (p/ direita), o domin seguinte tb.
cai.


2) O primeiro domin caiu para a direita.
P (0)
true
P (n+1) P (n)
L14 7
Induo Matemtica
Suponha que domins satisfazer duas
restries.
1) Bem posicionados: Se qualquer domino
cai (p/ direita), o domino seguinte tb.
cai.


2) O primeiro domin caiu para a direita.
P (0)
true
P (n+1) P (n)
L14 8
Induo Matemtica
Suponha que domins satisfazer duas
restries.
1) Bem posicionados: Se qualquer domino
cai (p/ direita), o domino seguinte tb.
cai.


2) O primeiro domin caiu para a direita.
P (0)
true
P (n)
true
P (n+1)
true
L14 9
Induo Matemtica
Ento podemos conluir que todos os
domins caem!

P (n+1) P (n)
P (2) P (1) P (0)
L14 10
Induo Matemtica
Ento podemos conluir que todos os
domins caem!

P (n+1) P (n)
P (2) P (1) P (0)
L14 11
Induo Matemtica
Ento podemos conluir que todos os
domins caem!
P (0)
true
P (n+1) P (n)
P (2) P (1)
L14 12
Induo Matemtica
Ento podemos conluir que todos os
domins caem!
P (0)
true
P (1)
true
P (n+1) P (n)
P (2)
L14 13
Induo Matemtica
Ento podemos conluir que todos os
domins caem!
P (2)
true
P (0)
true
P (1)
true
P (n+1) P (n)
L14 14
Induo Matemtica
Ento podemos conluir que todos os
domins caem!
P (2)
true
P (0)
true
P (1)
true
P (n+1) P (n)
L14 15
Induo Matemtica
Ento podemos conluir que todos os
domins caem!
P (2)
true
P (0)
true
P (1)
true
P (n)
true
P (n+1)
L14 16
Induo Matemtica
Ento podemos conluir que todos os
domins caem!
P (2)
true
P (0)
true
P (1)
true
P (n)
true
P (n+1)
true
L14 17
Induo Matemtica
Princpio de Induo Matemtica :
Se:
1) [base] P (0) true
2) [induo] n P(n)P(n+1) true


Ento:
n P(n) true
Formaliza o que ocorreu com os domins.
P (2)
true
P (0)
true
P (1)
true
P (n)
true
P (n+1)
true
L14 18
Induo Matemtica
Exemplo
EX: Prove n > 0 P(n) onde
P(n) = A soma dos n primeiros nmeros
positivos impares n
2
.

=

=
=
n
i
n i
1
2
) 1 2 (
L14 19
Induo Matemtica
Exemplo
Interpretao geomtrica. Para obter prx
quadrado, adicionar prximo impar:


L14 20
Induo Matemtica
Exemplo
Interpretao geomtrica. Para obter prx
quadrado, adicionar prximo no. impar:
1

L14 21
Induo Matemtica
Exemplo
Interpretao geomtrica. Para obter prx
quadrado, adicionar prximo no. impar:
1
+3


L14 22
Induo Matemtica
Exemplo
Interpretao geomtrica. Para obter prx
quadrado, adicionar prximo no. impar:
1
+3
+5


L14 23
Induo Matemtica
Exemplo
Interpretao geomtrica. Para obter prx
quadrado, adicionar prximo no. impar:
1
+3
+5
+7


L14 24
Induo Matemtica
Exemplo
Interpretao geomtrica. Para obter prx
quadrado, adicionar prximo no. impar:
1
+3
+5
+7
+9
L14 25
Induo Matemtica
Exemplo
Interpretao geomtrica. Para obter prx
quadrado, adicionar prximo no. impar:
1
+3
+5
+7
+9
+11

L14 26
Induo Matemtica
Exemplo
Interpretao geomtrica. Para obter prx
quadrado, adicionar prximo no. impar:
1
+3
+5
+7
+9
+11
+13
L14 27
Induo Matemtica
Exemplo
Interpretao geomtrica. Para obter prx
quadrado, adicionar prximo no. impar:
1
+3
+5
+7
+9
+11
+13 =7
2

L14 28
Induo Matemtica
Exemplo
Toda prova por induo tem 2 partes: caso
base e caso indutivo.
1) Base: Mostrar que a proposio vale para
n = 0 (ou para o menor valor em questo).
Usualmente o mais dificil entender o que
significa o caso n=0 (ou o menor valor).
No exemplo corrente, fazendo n=0
devemos provar que:


REGRA: A soma de nenhum termo 0.
Portanto, obtemos 0=0.

=
=
n
i
n i
1
2
) 1 2 (

=
=
0
1
2
0 ) 1 2 (
i
i
L14 29
Induo Matemtica
Exemplo
2) Induo: Mostrar que se a proposio vale
para n, ento tambm vale para n+1.
Frequentemente isso significa manipular
uma frmula algebricamente, expressando
a frmula para n+1 em termos da frmula
para n:


(hipotese de induo)
Isso completa a prova.

=
=
n
i
n i
1
2
) 1 2 (
2
2
1
1
1
) 1 (
] 1 2 [
] 1 ) 1 ( 2 [ ) 1 2 ( ) 1 2 (
+ =
+ + =
+ + =

=
+
=
n
n n
n i i
n
i
n
i
L14 30
Prova por Induo
Princpio da Boa Ordem
Um axioma fundamental sobre nmeros
naturais:
Princpio da Boa Ordem : Qualquer
subconjunto no vazio S de N tem um menor
elemento!
Q1: Qual o menor elemento do conjunto
{ 16.99+1/n | n e Z
+
} ?
Q2: E do conjunto { 16.99+1/n | n e Z
+
} ?
L14 31
Prova por Induo
Princpio da Boa Ordem
A1: { 16.99+1/n | n e Z
+
} no tem
menor elemento (embora tenha um
ponto limite: 16.99)! O princpio da boa
ordem no se aplica para subconjuntos
de R.
A2: 16 o menor elemento de
{ 16.99+1/n | n e Z
+
}.
(EX: faa n = 101)
L14 32
Princpio da Boa Ordem
Todo Nmero Interessante
THM: Todos os nmeros naturais so interessantes
EX: 0, 1, 2, interessantes, e todos os demais!
Prova por contradio: Suponha que exista um
nmero no interessante em N. Considere o
conjunto S de tais nmeros. Pelo princpio da
boa ordem, existe um numero u que o menor
nmero no interessante. Mas ser o menor
nmero no interessante j uma coisa bastante
interessante . Ento, u interessante, o que
contradiz o fato de que ele no interessante.
Portanto, S deve ser vazio, e todos os nmeros
devem ser interessantes.
L14 33
Prova do Princpio de Induo
Prova por contradio. Suponha que tanto a hiptese do
caso base P (0) como a hiptese de induo n P
(n)P (n+1) valem, mas que no verdade que vale
a concluso n P (n). Seja S o conjunto de todos os
nmeros para os quais P (n) falsa. Por hiptese, S
no vazio e, ento, o princpio da boa ordem nos d
um menor elemento m e S. Por hiptese, P (0)
verdadeira , portanto m>0. Como m o menor
elemento para o qual P (m) falsa, e m no zero,
P (m-1) deve ser verdadeira. Por hiptese P (m-1)P
(m) verdadeira, ou seja, se o lado esquerdo da
implicao verdadeira, o lado direito tambm .
Portanto, P (m) verdadeira, o que constradiz a hiptese
m e S. Isso mostra que a hiptese de que S no
vazio falsa e, portanto, n P (n) verdadeira
L14 34
Induo
Exemplo Geomtrico
Vamos tentar obter uma frmula para o
nmero (mximo) de pontos de
interseo existentes em um plano que
contenha n linhas (no paralelas entre
si).
L14 35
Induo
Exemplo Geomtrico
Nmero de pontos de interseo em um
plano contendo n linhas





f (1) = 0
L14 36
Induo
Exemplo Geomtrico
Nmero de pontos de interseo em um
plano contendo n linhas





f (2) = 1
L14 37
Induo
Exemplo Geomtrico
Nmero de pontos de interseo em um
plano contendo n linhas





f (3) = 3
L14 38
Induo
Exemplo Geomtrico
Nmero de pontos de interseo em um
plano contendo n linhas





f (4) = 6
L14 39
Induo
Exemplo Geomtrico
Nmero de pontos de interseo em um
plano contendo n linhas





f (5) = 10
L14 40
Induo
Exemplo Geomtrico
Nmero de pontos de interseo em um
plano contendo n linhas. Denote esse
nmero por f (n). Temos:
n = 1, 2, 3, 4, 5
f (n) = 0, 1, 3, 6, 10
Q: Conjecture uma frmula para f (n).
Pode ser em termos de valores da
funo para menores valores de n
(definio recursiva).
L14 41
Induo
Exemplo Geomtrico
A: f (n) = f (n-1) + n 1
Q: Como obter uma frmula fechada?

L14 42
Induo
Exemplo Geomtrico
A: Desenvolva a frmula recursiva, para valores de
n cada vez menores, at chegar a n=1:

L14 43
Induo
Exemplo Geomtrico
A: Desenvolva a frmula recursiva, para valores de
n cada vez menores, at chegar a n=1:
1. f (n) = f (n-1) + n1
L14 44
Induo
Exemplo Geomtrico
A: Desenvolva a frmula recursiva, para valores de
n cada vez menores, at chegar a n=1:
1. f (n) = f (n-1) + n1
2. Portanto, f (n-1) = f (n-2) + n2
L14 45
Induo
Exemplo Geomtrico
A: Desenvolva a frmula recursiva, para valores de
n cada vez menores, at chegar a n=1:
1. f (n) = f (n-1) + n1
2. Portanto, f (n-1) = f (n-2) + n2
3. Substituindo (2) em (1): f (n) = f (n-2) + n2 + n1
L14 46
Induo
Exemplo Geomtrico
A: Desenvolva a frmula recursiva, para valores de
n cada vez menores, at chegar a n=1:
1. f (n) = f (n-1) + n1
2. Portanto, f (n-1) = f (n-2) + n2
3. Substituindo (2) em (1): f (n) = f (n-2) + n2 + n1
4. Repetindo esse processo, agora para f (n-2):
f (n) = f (n-3) + n-3 + n2 + n1
L14 47
Induo
Exemplo Geomtrico
A: Desenvolva a frmula recursiva, para valores de
n cada vez menores, at chegar a n=1:
1. f (n) = f (n-1) + n1
2. Portanto, f (n-1) = f (n-2) + n2
3. Substituindo (2) em (1): f (n) = f (n-2) + n2 + n1
4. Repetindo esse processo, agora para f (n-2):
f (n) = f (n-3) + n-3 + n2 + n1
5. Aps i iteraes, aparece o seguinte padro :
f (n) = f (n-i) + n-i + + n-3 + n2 + n1
L14 48
Induo
Exemplo Geomtrico
A: Desenvolva a frmula recursiva, para valores de
n cada vez menores, at chegar a n=1:
1. f (n) = f (n-1) + n1
2. Portanto, f (n-1) = f (n-2) + n2
3. Substituindo (2) em (1): f (n) = f (n-2) + n2 + n1
4. Repetindo esse processo, agora para f (n-2):
f (n) = f (n-3) + n-3 + n2 + n1
5. Aps i iteraes, aparece o seguinte padro :
f (n) = f (n-i) + n-i + + n-3 + n2 + n1
6. Para chegar a n = 1, faa i = n 1:
f (n) = f (1) + 1 + 2 + + n-3 + n2 + n1
=
2
) 1 (
0
1
1
n n
i
n
i

= +

=
L14 49
Induo
Exemplo Geomtrico
pronto. Mas isso aind no o final da estria.
Isso foi apenas uma deduo intuitiva da
frmula, no uma prova.
LEMA: O nmero mximo de pontos de interseo
de n linnhas em um plano n(n-1)/2.
Prova. Prova por induo.
Case base : Se n = 1, ento existe apenas uma
linha e portanto nenhuma interseo. Por
outro lado, fazendo n = 1 em n(n-1)/2 obtemos
0, portanto, o caso base vale.
L14 50
Induo
Exemplo Geomtrico
Caso indutivo : Suponha n > 1. Qual o
mximo nmero de pontos de interseo de
n linhas? Remova uma linha.
restam n 1 linhas. Por induo, podemos
supor que o nmero mximo de intersees
dessas linhas (n 1)(n 2)/2. Considere
adicionar a n
esima
linha. Essa linha intercepta
no mximo n-1 outras linhas. Isso ocorre se
a linha adicionada tem inclinao diferente de
todas as demais. Por exemplo, considere o
seguinte:
L14 51
Induo
Exemplo Geomtrico
n-1 linhas:
1
2
n-1
3
L14 52
Induo
Exemplo Geomtrico
Adicione n
esima
linha:
1
2
n-1
3
L14 53
Induo
Exemplo Geomtrico
Portanto, o nmero mximo de pontos de
interseo de n linhas o mximo de
intersees de n 1 linhas mais as n 1 novas
intersees; ou seja:
(n 1)(n 2)/2 + n 1
= (n 1)((n 2)/2 + 1)
= (n 1)(n 2 + 2)/2 = (n 1)n /2
que a frmula que queremos provar para n.
Isso completa o caso indutivo e, portanto,
conclui a prova.
L14 54
Induo e Recurso
Exemplo
Induo uma maneira natural de provar
propriedades de objetos definidos
recursivamente. Por exemplo considere a
sequncia de Fibonacci :
{f
n
} = 0,1,1,2,3,5,8,13,21,34,55,
definida por f
0
= 0, f
1
= 1, e para n>1
f
n
= f
n-1
+f
n-2
.
Note que todo nmero de Fibonacci f
3n
par:
LEMA: Para todo nmero natural n, 2|f
3n
.
L14 55
Induo e Recurso
Exemplo
Prova. Case base n = 0.
f
30
= f
0
=0 que divisvel por 2
Caso indutivo, n > 0:
f
3n
= f
3n-1
+f
3n-2
= (f
3n-2
+f
3n-3
)+f
3n-2
= 2f
3n-2
+f
3n-3
= 2f
3n-2
+f
3(n-1)
Por hiptese, 2|f
3(n-1)
; ento
2|(2f
3n-2
+f
3(n-1)
) e, portanto, 2|f
3n QDE
.

L14 56
Induo Forte
Algumas vezes precisamos de uma verso mais
forte do princpio de induo, que nos
permita considerar que a propriedade vale
para todos os valores anteriores a n. E.x.
considere a sequncia de Fibonacci vs. a
sequncia 2
n
:
{f
n
} = 0, 1, 1, 2, 3, 5, 8, 13, 21, 34
{2
n
} = 1, 2, 4, 8, 16, 32, 64, 128, 256, 512
LEMA: Para todo n, f
n
< 2
n
L14 57
Induo Forte
LEMA: Para todo n, f
n
< 2
n
Prova. Base n = 0: f
0
= 0 < 1 = 2
0

Induo n > 0:
f
n
= f
n-1
+f
n-2
< 2
n-1
+f
n-2
aplicando a
hiptese de induo para n 1.
Q: E agora?

L14 58
Induo Forte
A: Gostaramos de tambm aplicar a hiptese
de induo para n-2. Estritamente, isso no
permitido, pois a hiptese de induo nos
permite olhar apenas para o domin
imediatamente anterior.
Essa limitao no deveria de fato existir: se
pudermos supor que a queda dos n primeiros
domins implica a queda do domin n+1,
podemos aplicar a hiptese de induo para
todo valor menor do que n. O princpio de
induo forte formaliza essa idia.

L14 59
Induo Forte
Princpio de Induo Matemtica:
Se:
1) [base] P (0)
(algumas vezes precisamos mais casos base)
2) [induo forte]
n [P (0).P (1). .P (n)] P(n+1)
Ento:
n P(n)
L14 60
Induo Forte
Completando o Exemplo
Podemos agora completar a prova:
LEMA: Para todo n, f
n
< 2
n
Prova. Casos base (ambos necessrios, pois no se pode
aplicar o passo indutivo para f
1
j que f
-1
no definido)
n = 0: f
0
= 0 < 1 = 2
0

n = 1: f
1
= 1 < 2 = 2
1








L14 61
Induo Forte
Completando o Exemplo
Podemos agora completar a prova:
LEMA: Para todo n, f
n
< 2
n
Prova. Casos base (ambos necessrios, pois no se pode
aplicar o passo indutivo para f
1
j que f
-1
no definido)
n = 0: f
0
= 0 < 1 = 2
0

n = 1: f
1
= 1 < 2 = 2
1

Induo n > 0:
f
n
= f
n-1
+f
n-2
< 2
n-1
+ 2
n-2
aplicando para P (n-1) e
P (n-2), o que se pode supor, pela hiptese de
induo forte. Com um pouco mais de algebra:
2
n-1
+2
n-2
=22
n-2
+2
n-2
=(2+1)2
n-2
<2
2
2
n-2
=2
n
Portanto, f
n
< 2
n

L14 62
Correo de Programa
Induo pode ser tambm usada para provar
correo de programas iterativos.
EX: Prove que o seguinte programa calcula
corretamante a sequncia de Fibonacci :
integer g (non-neg-integer n){
if (n == 0) return 0
curr = 0, next = 1
for (i = 2 to n ) {
next = next + curr
curr = next - curr
}
return next
}

L14 63
Correo de Programa
Exemplo de Fibonacci
integer g (non-neg-integer n){
if (n == 0) return 0
curr = 0, next = 1
for (i = 2 to n ) {
next = next + curr
curr = next - curr
}
return next
}
A notao o maior problema. Seja next
i
o valor
de next ao final do for-loop indexado por i.
Por simplicidade extenda a definio para i = 0,
1 fazendo next
0
=0 e next
1
=1.
Pela estrutura do programa vemos que g(n ) =
next
n
L14 64
Correo de Programa
Exemplo de Fibonacci
integer g (non-neg-integer n){
if (n == 0) return 0
curr = 0, next = 1
for (i = 2 to n ) {
next = next + curr
curr = next - curr
}
return next
}
Propriedade: P (i ) = next
i
= f
i
, i.e. next
i
o i-
i-esimo nmero de Fibonacci.
Prove que, para todo nmero no negativo i, P (i )
true.

L14 65
Correo de Programa
Exemplo de Fibonacci
Prove que, para todo I no negativo, P (i ) true.
Prova. Casos base i =0,1 : direto da definio
Caso indutivo (i 2):
Suponha next
j
= f
j
para todo all j < i. As linhas
next = next + curr
curr = next - curr
na iterao indexada por j significam que
(1) next
j
=

next
j-1
+

curr
j-1
(2) curr
j
=

next
j
-

curr
j-1

=

next
j-1
+curr
j-1
-curr
j-1

=

next
j-1
Substituindo (2)em(1): next
j
=

next
j-1
+

next
j-2
L14 66
Correo de Programa
Exemplo de Fibonacci
Prove que, para todo I no negativo, P (i ) true.
Prova (continuo do caso indutivo).
Ento temos que:
(3) next
j
=

next
j-1
+

next
j-2


Pela hiptese de induo podemos supor P (i -1) e
P (i -2) verdadeiros, ou seja, next
j-1
=f
j-1
e

next
j-2
=f
j-2
. Portanto, substituindo em (3)
obtemos
next
i
=

f
i -1
+

f
i-2
=

f
i

O que completa a prova por induo.

L14 67
Induo
Prova Errada
Prova por induo de que todos os cavalos
so da mesma cor.
Vamos provar que para todo n > 0, a
assero P (n ) = Em qualquer grupo de
n cavalos, todos tm a mesma cor
Ento, fazendo n = nmero de todos os
cavalos do mundo, podemos concluir que
todos os cavalos so da mesma cor.
L14 68
Induo
Prova Errada
Caso base : n = 1. Em um grupo com apenas 1
cavalo certamente todos so da mesma cor.
Induo n > 1: Considere n cavalos.
Removendo o ltimo cavalo obtemos um grupo
com n-1 cavalos. Pela hipotese de induo,
todos, podemos supor P (n-1) verdadeira,
portanto os primeiros n -1 cavalos so da
mesma cor. Por uma argumento similar, os
ltimos n-1 cavalos so todos da mesma cor.
Como os primeiros n-1 cavalos e os ltimos n-1
cavalos so da mesma cor e esses conjuntos se
sobrepem, os n cavalos so da mesma cor.
Q: O que est errado nesse raciocnio?
L14 69
Induo
Prova Errada
A: A prova no vale para n = 2. A forma
da prova est correta. Entretanto, o
domin 1 nunca atinge o domin 2
porque a afirmao deve haver um
cavalo comum aos dois grupos no se
aplica no caso de n = 2. Para n = 2,
tomar os primeiros n -1 cavalos significa
tomar apenas o primeiro cavalo. Tomar
os ltimos n -1 cavalos significa apenas o
ltimo cavalo. No h sobreposio dos
dois conjuntos nesse caso.

L14 70
Exemplos
1) Prove por induo que se p primo e
no divide nenhum dos nmeros
a
1
, a
2
, , a
n
, ento p no divide o
produto a
1
a
2
a
n
.
2) Prove que todo nmero > 1 um
produto de nmeros primos e que essa
fatorizao nica.
(Teorema Fundamental da Aritmtica)
Exerccios
L14 71
Exerccios
Prove que todo nmero natural n >1
divisvel por um nmero primo.

Prove que todo nmero natural n pode
ser representado na base binria, i.e,
na forma:

n = c
r
2
r
+ c
(r-1)
2
(r-1)
++ c
1
2
1
+ c
0
2
0


L14 72