Arquivo cedido por Alex Pereira Bezerra Lista de Discusso OBM

www.rumoaoita.com
Principio da Induo Finita (PIF)
1) Axioma da Boa Ordem em N: Cada subconjunto no vazio de N possui um menor( ou
primeiro) elemento
O axioma da boa ordem em N afirma que se A um subconjunto do conjunto N e A
ento existe um elemento
0
n em A satisfazendo a n
0
para cada inteiro a do conjunto A
Teorema :
1. No existe um inteiro n tal que 0 < n < 1;
2. Para cada inteiro m, no existe n tal que m < n < m + 1;
3. Se m e n so inteiros com m < n ento m + 1 n. Reciprocamente, se m + 1 n ento m
< n.
Demonstrao:
1. Suponhamos que existe um inteiro n tal que 0 < n < 1. Tal n um nmero natural, e,
portanto o conjunto A de nmeros naturais caracterizado por } 1 0 / { x N x A
um conjunto no vazio ( visto que n A).Pelo axioma da boa ordem,A tem um
menor elemento
0
n .Porm
0 0 0 0 0
. 1 . . 0 1 . 0 n n n n n ,ou seja ,
0
2
0
0 n n .Temos a uma contradio ,pois A n n
2
0
2
0
1 0 , porm n
0
o
menor elemento de A e
0
2
0
n n .
2. Sejam m e n dois inteiros e suponhamos m < n < m +1.Ento m n<n m <( m+1)
m, ou seja ,0 < n m < 1,o que impossvel ,segundo o item 1 acima.
3. (exerccio)
Teorema (Primeiro Princpio de Induo Finita) Seja
0
n um nmero inteiro e
suponhamos que a cada inteiro n ,
0
n n ,est associada uma afirmao A(n), a qual possui,
para cada n, um valor lgico V(quando verdadeira) ou F(quando falsa).Suponhamos que as
condies 1 e 2 abaixo sejam verificadas:
1. A afirmao A(n) verdadeira para
0
n n ;
2. Para cada
0
n k ,se A(k) verdadeira,ento A(k + 1) tambm verdadeira.
Ento a afirmao A(n) verdadeira para cada
0
n n .
Teorema(Segundo Princpio de Induo Finita) Seja n
0
um nmero inteiro e
suponhamos que a cada inteiro n ,
0
n n ,est associada uma afirmao A(n), a qual
possui,para cada n, um valor lgico V ou F. Suponhamos que as condies 1 e 2 abaixo
sejam verificadas:
1. A afirmao A(n) verdadeira para
0
n n ;
Arquivo cedido por Alex Pereira Bezerra Lista de Discusso OBM
www.rumoaoita.com
2. Para cada inteiro
0
n k ,se A(n) verdadeira para k n n
0
ento A(k + 1)
tambm verdadeira.
Ento a afirmao A(n) verdadeira para cada
0
n n
Exerccios Resolvidos
1)Provar que: 1
2
+ 2
2
+ 3
2
+ ... + n
2
= (n/6)(n + 1)(2n + 1) , n N.
(1) Para n = 1 (1/6)(1 + 1)(2 + 1) = (1/6)(2)(3) = (1/6)(6) = 1 = 1
2
.
(2) Hiptese: 1
2
+ 2
2
+ 3
2
+ ... + n
2
= (n/6)(n + 1)(2n + 1).
(3) Provar 1
2
+ 2
2
+ 3
2
+ ... + n
2
+ (n + 1)
2
= [(n+1)/6](n + 2)(2n + 3)
Demonstrao:
1
2
+ 2
2
+ 3
2
+ ... + n
2
+ (n + 1)
2
= (n/6)(n + 1)(2n + 1) + (n + 1)
2
= (n/6)(n + 1)(2n + 1) + (n
+ 1)
2
(observe que a soma at n2 (n/6)(n + 1)(2n + 1).
1
2
+ 2
2
+ 3
2
+ ... + n
2
+ (n + 1)
2
= (n +1)[(n/6)(2n + 1) + (n + 1)] = (n + 1)(1/6)(2n2 + n +
6n + 6) =
(n + 1)(1/6)(2n
2
+ 7n + 6) * = (n + 1)(1/6).2(n + 3/2) .(n + 2) = [(n + 1)/6](n + 2)(2n + 3)
Nota:- O polinmio ax
2
+ bx + c, com razes x1 e x2 pode ser decomposto em a(x x1)(x
x2).
Como as razes de 2n
2
+ 7n + 6 so 2 e 3/2, temos 2n
2
+ 7n + 6 = 2(n + 3/2)(n + 2).
2) Provar que: 1.2 + 2.3 + 3.4 + ... + n(n + 1) = (n/3)(n + 1)(n + 2) n N.
(1) Para n = 1. 1.2 = 2 e (1/3)(1 + 1)(1 + 2) = (1/3)(2)(3) = 2.
(2) Hiptese: 1.2 + 2.3 + 3.4 + ... + n(n + 1) = (n/3)(n + 1)(n + 2)
(3) Provar que: 1.2 + 2.3 + 3.4 + ... + n(n + 1) + (n + 1)(n + 2) = [(n + 1)/3](n + 2)(n + 3).
Demonstrao:
1.2 + 2.3 + 3.4 + ... + n(n + 1) + (n + 1)(n + 2) = (n/3)(n + 1)(n + 2) + (n + 1)(n + 2) = (n +
1)(n + 2)[(n/3) + 1] =
(n + 1)(n + 2)[(n + 3)/3] = [(n + 1)/3](n + 2)(n + 3).
3)Demonstrar por induo matemtica:
a) 2
n
< 2
n + 1
, n N.
b) 2
n
> n
2
, n > 5 .
soluo: a)
(1) Para n = 1, 2
1
= 2 < 2
1 + 1
= 2
2
= 4, verdadeiro.
(2) Hiptese: 2
n
< 2
n + 1
.
(1) Provar 2
n + 1
< 2
n + 2
.
Demonstrao:
Arquivo cedido por Alex Pereira Bezerra Lista de Discusso OBM
www.rumoaoita.com
Por hiptese 2
n
< 2
n + 1
2.2
n
< 2.2
n + 1
2
n + 1
< 2
n + 2
.
(1) verdade para n = 5, pois 2
5
= 32 e 5
2
= 25.
(2) Hiptese: 2
n
> n
2
.
(3) Provar 2
n + 1
> (n + 1)
2
Demonstrao: - Provemos inicialmente que 2
n
> 2n + 1, para n > 5.
Esta proposio verdadeira para n = 5, pois 25 > 10 + 1 = 11.
Supondo verdadeira para n, 2
n
> 2n + 1, devemos ter 2
n + 1
> 2(n + 1) + 1 = 2n + 3.
Ora, 2
n
> 2n + 1 e 2
n
> 2 para n > 1. Somando membro a membro, 2
n
+ 2
n
> 2n + 1 + 2 2.2
n
> 2n
+ 3
2
n+1
> 2n + 3 ( i )
Pela hiptese 2
n
> n
2
e conforme demonstrado, 2
n
> 2n + 1. Somando membro a membro essas
igualdades, conclumos: 2
n
+ 2
n
> n
2
+ 2n + 1 2
n + 1
> (n + 1)
2
. (expresso a ser demonstrada
em (3).
Exerccios Propostos
1)Demonstrar que 10
n + 1
9n 10 um mltiplo de 81 para todo inteiro positivo n
2)Mostre que para cada inteiro n, n 0, o inteiro 1 9
n
divisvel por 8.
3)A seqncia de Fibonacci um exemplo de um seqncia de inteiros definida
indutivamente.Ela definida como ,..., ,
1 0
a a sendo 1
1 0
a a e,
1 1 n n n
a a a para cada
0 n .
a) Prove por induo sobre n que
5
] 2 / ) 5 1 [( ] 2 / ) 5 1 [(
n n
n
a
b)Mostre que
2
5 1
lim
1
n
n
n
a
a
4)prove que o conjunto } 8 7 : { m Z m S vazio.
5)Para n 0,mostre que
1 2 2
12 11
n n
n
a um nmero divisvel por 133.
6)Para k R 2 , e n 1,mostre que
2
1
sen .
2
sen
2
sen
) sen(
1
n
n
i
n
i
7)Para n 3,mostre que 1 2
n
um nmero composto se n no uma potncia de 2.
Arquivo cedido por Alex Pereira Bezerra Lista de Discusso OBM
www.rumoaoita.com
8)Seja
cos sen
sen cos
A .Determine A
n
para n 1.
9)Para n 0 e x 1,mostre que
) (
0
) )( 1 (
)! 1 (
1 ) (
!
) (
n
n
i
i
n
n x x
n
x
x
i x
i
x S onde
) )...( 2 ).( 1 ( ) ( i x x x i x
i
10)Prove que
30 3 2 5
3 4 5
n n n n
um inteiro para n = 0,1,2,..
11)Tome
n
p p p b a ,..., , , ,
2 1
como nmeros reais onde a b .Defina
) )...( )( ( ) (
2 1
x p x p x p x f
n
.Prove que
a b
b af a bf
p b b b b b
a p b b b b
a a p b b b
a a a p b b
a a a a p b
a a a a a p
b
n
n
) ( ) (
det
1
4
3
2
1
12)Se
n
A A ...
1
,
i
A 0 ,i = 1,2,...,n,ento
n
n A A
n
sen sen sen
1
13)Tome ). sen( ... ) 2 sen( sen ) (
2 1
nx a x a x a x f
n
,onde
n
a a ,...,
1
so nmeros reais e
onde n um inteiro positivo.Sabendo que R x x x f , sen ) ( ,prove que
1 ... 2
2 1 n
na a a .
14)Prove que
) ( ) )( ) 1 ( (
1
...
) 2 )( (
1
) (
1
nb a a
a
nb a b n a b a b a b a a
15)Prove que para
n
x x x ,..., ,
2 1
inteiros no negativos
n
n
n
x x
n
x x
....
...
1
1
OBS: Alguns exerccios foram colocados apenas a ttulo de conhecimento, que esto
alm do nvel IME e ITA.
Arquivo cedido por Alex Pereira Bezerra Lista de Discusso OBM
www.rumoaoita.com
Bibliografia:
1)Mathematical Circles Dmitri Fomin
2)Manual de Induo Matemtica Luiz Lopes
3)Introduo lgebra Adilson Gonalves
4)Fundamentos de Matemtica Elementar- Gelson Iezzi
5)Curso de Anlise- Elon Lages