Centro Universitrio Senac

Bacharelado em Cincia da Computao

Matemtica Discreta
Profa. Danielle dos Santos Mingatos

Lista de Exerccios 01

Considere as seguintes definies:

I. Um quadrado perfeito um nmero inteiro n da forma = 2 para algum inteiro k.
II. Um nmero primo um inteiro > 1 que no divisvel por nenhum inteiro positivo diferente de
1 e de n.
III. Dados dois nmeros x e y, < significa que > 0.
IV. O valor absoluto ou mdulo de um nmero x, ||, igual a x se 0 e igual a x se < 0.

1. Se = 25, 100 169, ento n um quadrado perfeito e uma soma de dois quadrados perfeitos.
2. A soma de dois nmeros pares par (faa a demonstrao por absurdo).
3. O quadrado de um inteiro mpar igual a 8 + 1 para algum k inteiro.
4. O produto de dois inteiros consecutivos quaisquer par.
5. Dados dois nmeros quaisquer x e y, || = ||||.
6. Dados dois nmeros quaisquer x e y, | + | = || + ||.
7. O produto de um inteiro qualquer e seu quadrado par.
8. O produto de dois nmeros irracionais irracional.
9. Prove que 3 no um nmero racional.
10. A soma de dois nmeros racionais racional.
11. Prove que 2 + 6 + 10 + + (4 2) = 22 .
5(+1)
12. Prove que 5 + 10 + 15 + + 5 = .
2
13. Prove que 1.1! + 2.2! + 3.3! + + . ! = ( + 1)! 1, onde n! o produto dos inteiros positivos
de 1 a n.
14. Uma progresso geomtrica uma sequncia de termos com um termo inicial a tal que cada termo
seguinte obtido multiplicando-se o anterior por uma mesma razo r. Prove a frmula para a soma dos
n primeiros termos de uma progresso geomtrica, com 1,

+ + 2 + + 1 = 1 .
15. Uma progresso aritmtica uma sequncia de termos com um termo inicial a tal que cada termo
seguinte obtido somando-se uma mesma parcela d ao termo anterior. Prove a frmula para a soma
dos n primeiros termos da progresso aritmtica, com 1,

+ ( + ) + ( + 2) + + [ + ( + 1)] = 2 [2 + ( 1)].
16. Prove que 23 1 divisvel por 7.
17. Use induo para provar que o produto de trs nmeros inteiros positivos consecutivos quaisquer
divisvel por 3.
18. Em qualquer grupo de k pessoas, 1, cada pessoa cumprimenta, com aperto de mo, todas as outras
pessoas. Encontre uma frmula para o nmero de apertos de mo e prove-a usando indua.
19. Prove que para todo inteiro positivo n, 2 + 1 primo.
20. Prove que 1>0.

Referncia Bibliogrfica
GERSTING, J. L. Fundamentos de Matemtica para a Cincia da Computao. Quinta Edio. Rio de
Janeiro: LTC, 2008. Captulo 2 Demonstraes, Recorrncia e Anlise de Algoritmos.