Escolar Documentos
Profissional Documentos
Cultura Documentos
Indu Cao
Indu Cao
+
+
) 2 (
) 1 (
2
e prove, por induo que se tem .
1
2
+
+
<
n
n
x
n
Conclua, a partir da, que a seqncia de termo geral
n
n
n
,
_
+1
crescente.
Sugesto: observe que
n n
x
n
n
n
n
x
+
,
_
+
+
+
3 1
2
3
1
.
10. Use a distributividade de duas maneiras diferentes para calcular (m + n )(1 + 1) e
aplique em seguida a Lei do Corte para obter uma nova prova de que m + n = n + m.
11. Um conjunto S N, no-vazio, limitado superiormente, se existe um natural k tal que
para todo natural x S, ento x k. Mostre que S possui um maior elemento. (Isto ,
existe m S tal que x m, para todo x S.)
12. Demonstre que a soma dos n primeiros nmeros mpares n
2
, ou seja, que 1 + 3
+ 5 ++ (2n 1) = n
2
.
13. Prove que 2
n
1 mltiplo de 3, para todo nmero natural n par.
14. Demonstre que, para todo nmero natural n, vale
. 1
1
1 ...
3
1
1
2
1
1
1
1
1 +
,
_
+
,
_
+
,
_
+
,
_
+ n
n
15. Demonstre que .
200
1
...
102
1
101
1
200
1
199
1
..
4
1
3
1
2
1
1 + + + + + +
16. Determine A
n
se A =
,
_
4 2
2 1
17. Demonstre, usando o Princpio da Induo Finita, que
.
1
...
1
,
_
+ +
,
_
+
+ +
,
_
+
+
,
_
p
n p
p
n p
p
p
p
p
Este resultado comumente conhecido por Teorema das Colunas. (Por qu?).
18. Considere a seqncia
,..., ,...,
5
7
,
2
3
,
1
1
n
n
q
p
onde
. e 2
1 1 n n n n n n
q p q q p p + +
+ +
Demonstre que
a) m.d.c (p
n
, q
n
) = 1;
b) p
n
o inteiro mais prximo de
2
) 2 1 (
n
+
e q
n
o inteiro mais prximo de
. ) 2 1 (
4
2
n
+
19. [A Torre de Hani.] So dados trs suportes A, B e C. No suporte A esto encaixados n
discos cujos dimetros, de baixo para cima, esto em ordem estritamente decrescente.
Mostre que possvel, com 2
n
1 movimentos, transferir todos os discos para o suporte
B, usando o suporte C como auxiliar, de modo que jamais, durante a operao, um disco
maior fique sobre um disco menor.
20. Demonstre que 2
n
< n!, para n 4.
21. Demonstre que 2n
3
> 3n
2
+ 3n + 1 para n 3.
22. Considere n retas em um plano. Mostre que o "mapa" determinado por elas pode ser
colorido com apenas duas cores sem que duas regies vizinhas tenham a mesma cor.