1. Considere P (n) como a proposio de que 13 + 23 + n3 = (n(n + 1)/2)2
para o nmero positivo n. (a) Qual a proposio P (1)? (b) Mostre que P (1) verdadeira, completando o passo base da demonstrao. (c) Qual a hiptese indutiva? (d) O que voc precisa demonstrar no passo da induo? (e) Complete o passo da induo. (f) Explique por que esses passos mostram que esta frmula verdadeira sempre que n for um nmero inteiro positivo. 2. Demonstre que 12 + 32 + 52 + + (2n + 1)2 = (n + 1)(2n + 1)(2n + 3)/3 sempre que n for um nmero inteiro no-negativo. 3. Demonstre que 3 + 3 5 + 3 52 + + 3 5n = 3(5n+1 1)/4 sempre que n for um nmero inteiro no negativo. 4. Demonstre que 3n < n!, se n for um nmero inteiro maior que 6. 5. Demonstre que 2n > n2 , se n um nmero inteiro maior que 4. 6. Demonstre que, para todo nmero inteiro positivo n, n X
k2k = (n 1)2n+1 + 2
k=1
7. Para quais nmeros inteiros no negativos n n2 n! ? Demonstre sua
resposta. 8. Demonstre que 2 divide n2 +n sempre que n for um nmero inteiro positivo. 9. Demonstre que 3 divide n3 + 2n sempre que n for um nmero inteiro positivo. 10. Suponha que "
A=
a 0 0 b
em que a e b so nmeros reais. Mostre que
" n
A = para todo nmero inteiro positivo n. 1
an 0 0 bn
11. O que est errado nesta "demonstrao" de que todos os cavalos so da
mesma cor? Considere P (n) como a proposio de que todos os cavalos em um conjunto de n cavalos so da mesma cor. Passo base: Certamente, P (1) verdadeira. Passo de induo: Assuma que P (k) seja verdadeira, assim, todos os cavalos em qualquer conjunto de k cavalos so da mesma cor. Considere quaisquer k+1 cavalos; numere-os como 1, 2, 3, . . . , k, k+1. Agora, os primeiros k desses cavalos devem ter a mesma cor, e os ltimos k cavalos devem ser tambm da mesma cor. Como o conjunto dos primeiros k cavalos e o conjunto dos ltimos k cavalos tm algum cavalo em comum, todos os cavalos devem ser da mesma cor. Isto mostra que P (k + 1) verdadeira e termina a demonstrao por induo. 12. Suponha que queiramos demonstrar que 2n 1 1 1 3 . < 2 4 2n 3n para todos os nmeros inteiros positivos n. (a) Mostre que, se tentarmos demonstrar esta inequao usando a induo matemtica, o passo base ser vlido, mas o de induo no. (b) Mostre que a induo matemtica pode ser utilizada para demonstrar a inequao forte 2n 1 1 1 3 . < 2 4 2n 3n + 1 para todos os nmeros inteiros maiores que 1, que, junto com a verificao do caso em que n = 1, estabelece a inequao mais fraca que originariamente tentamos demonstrar usando a induo matemtica. 13. Demonstre que um conjunto com n elementos tem n(n1)/2 subconjuntos com dois elementos sempre que n for um nmero inteiro maior do que ou igual a 3. 14. Demonstre que um conjunto com n elementos tem 2n subconjuntos sempre que n for um nmero natural. (Fonte: Matemtica Discreta e Suas Aplicaes - Kenneth H. Rosen)