Beruflich Dokumente
Kultur Dokumente
POLICAMP
O axioma da boa ordem em N afirma que se A um subconjunto do conjunto N e A ento existe um elemento n0 em A satisfazendo n0 a 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.
n ento m
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 ,
2 n0 . menor elemento de A e 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)
2. Para cada k
eX
Teorema(Segundo Princpio de Induo Finita) Seja n 0 um nmero inteiro e suponhamos que a cada inteiro n , n n0 ,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 n n0 ;
Pe
2 n0
Tr rt P ia D l F
2 n0
2 n0
A , porm n 0 o
POLICAMP
2. Para cada inteiro k n0 ,se A(n) verdadeira para n0 tambm verdadeira. Ento a afirmao A(n) verdadeira para cada n n0
Exerccios Resolvidos
1)Provar que: 12 + 22 + 32 + ... + n2 = (n/6)(n + 1)(2n + 1) ,
k ento A(k + 1)
N.
(1) Para n = 1 (1/6)(1 + 1)(2 + 1) = (1/6)(2)(3) = (1/6)(6) = 1 = 12. (2) Hiptese: 12 + 22 + 32 + ... + n2 = (n/6)(n + 1)(2n + 1). (3) Provar 12 + 22 + 32 + ... + n2 + (n + 1)2 = [(n+1)/6](n + 2)(2n + 3)
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).
Tr rt P ia D l F
Pe
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) 2n < 2n + 1, n N. n 2 n>5. b) 2 > n ,
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:
eX
POLICAMP
2n + 1 < 2 n + 2 .
(1) verdade para n = 5, pois 25 = 32 e 52 = 25. (2) Hiptese: 2n > n2. (3) Provar 2n + 1 > (n + 1)2
Demonstrao: - Provemos inicialmente que 2n > 2n + 1, para n > 5. Esta proposio verdadeira para n = 5, pois 25 > 10 + 1 = 11. Supondo verdadeira para n, 2n > 2n + 1, devemos ter 2n + 1 > 2(n + 1) + 1 = 2n + 3. Ora, 2n > 2n + 1 e 2n > 2 para n > 1. Somando membro a membro, 2n + 2n > 2n + 1 + 2 +3 2n+1 > 2n + 3 ( i )
2.2n > 2n
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
3)A seqncia de Fibonacci um exemplo de um seqncia de inteiros definida indutivamente.Ela definida como a 0 , a1 ,..., sendo a 0 a1 1 e, a n 1 a n a n n 0. [(1 5 ) / 2] n [(1 5) / 2] n a) Prove por induo sobre n que a n 5 a 1 5 b)Mostre que lim n 1 n 2 an
Tr rt P ia D l F
m
8} vazio.
n
Pe
para cada
eX
{m
Z :7
2
5)Para n
0,mostre que a n
11n
6)Para
R,
2k e n 1,mostre que
n 2
. sen
sen
n 1 2
7)Para n
POLICAMP
8)Seja A
cos sen
sen
cos
.Determine A n para n 1.
n
9)Para n 0 e x
1,mostre que S n ( x)
i 0
i! ( x i) i
x x 1
( x i)
( x 1).( x 2)...( x i )
10)Prove que
n5 5
n4 2
n3 3
b .Defina
x)( p 2
a a
x)...( p n
a a
x) .Prove que
a
b det b b b
b
b b b
b
p3 b b
b
a p4 b
b
a a pn
b
Tr rt P ia D l F
a
bf (a ) af (b) b a
Pe
pn
eX
,0
Ai
,i = 1,2,...,n,ento sen A1
sen An
n sen
R ,prove que
14)Prove que
1 a ( a b)
a a (a nb)
x1 ....x n
POLICAMP
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
eX
Tr rt P ia D l F
Pe