Escolar Documentos
Profissional Documentos
Cultura Documentos
Indução Finita PDF
Indução Finita PDF
Teorema :
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 A {x N / 0 x 1}
um conjunto no vazio ( visto que n A ).Pelo axioma da boa ordem,A tem um
menor elemento n0 .Porm 0. n0 1 0.n 0 n0 .n0 1.n0 ,ou seja ,
0 n02 n0 .Temos a uma contradio ,pois 0 n02 1 n02 A , porm n 0 o
menor elemento de A e n02 n0 .
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)
www.rumoaoita.com
Arquivo cedido por Alex Pereira Bezerra Lista de Discusso OBM
Exerccios Resolvidos
Demonstrao:
12 + 22 + 32 + ... + n2 + (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).
12 + 22 + 32 + ... + n2 + (n + 1)2 = (n +1)[(n/6)(2n + 1) + (n + 1)] = (n + 1)(1/6)(2n2 + n +
6n + 6) =
(n + 1)(1/6)(2n2 + 7n + 6) * = (n + 1)(1/6).2(n + 3/2) .(n + 2) = [(n + 1)/6](n + 2)(2n + 3)
Nota:- O polinmio ax2 + bx + c, com razes x1 e x2 pode ser decomposto em a(x x1)(x
x2).
Como as razes de 2n2 + 7n + 6 so 2 e 3/2, temos 2n2 + 7n + 6 = 2(n + 3/2)(n + 2).
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).
a) 2n < 2n + 1, n N.
n 2
b) 2 > n , n>5.
soluo: a)
(1) Para n = 1, 21 = 2 < 21 + 1 = 22 = 4, verdadeiro.
(2) Hiptese: 2n < 2n + 1.
(1) Provar 2n + 1 < 2n + 2.
Demonstrao:
www.rumoaoita.com
Arquivo cedido por Alex Pereira Bezerra Lista de Discusso OBM
Pela hiptese 2n > n2 e conforme demonstrado, 2n > 2n + 1. Somando membro a membro essas
igualdades, conclumos: 2n + 2n > n2 + 2n + 1 2n + 1 > (n + 1)2. (expresso a ser demonstrada
em (3).
Exerccios Propostos
n
n
sen
2 n 1
6)Para R, 2k e n 1,mostre que sen(i ) . sen
i 1 2
sen
2
www.rumoaoita.com
Arquivo cedido por Alex Pereira Bezerra Lista de Discusso OBM
cos sen
8)Seja A .Determine A n para n 1.
sen cos
n
i! x (n 1)!
9)Para n 0 e x 1,mostre que S n ( x) onde
i 0 ( x i) i x 1 ( x 1)( x n) ( n )
i
( x i) ( x 1).( x 2)...( x i )
n5 n4 n3 n
10)Prove que um inteiro para n = 0,1,2,..
5 2 3 30
b b b b pn 1 a
b b b b b pn
1 1 1 a
14)Prove que ...
a ( a b) (a b)(a 2b) (a (n 1)b)(a nb) a (a nb)
x1 ... x n
15)Prove que para x1 , x 2 ,..., x n inteiros no negativos n x1 ....x n
n
OBS: Alguns exerccios foram colocados apenas a ttulo de conhecimento, que esto
alm do nvel IME e ITA.
www.rumoaoita.com
Arquivo cedido por Alex Pereira Bezerra Lista de Discusso OBM
Bibliografia:
www.rumoaoita.com