File: /home/elthon/Dropbox/01 UFAL/ exercicios 2014/exercicios_03 Page 1 of 1

Universidade Federal de Alagoas - Campus Arapiraca

Cincia da Computao
Matemtica Discreta
Elthon Oliveira ( www.arapiraca.ufal.br/professor/elthonoliveira )

1) Use a prova contrapositiva para mostrar que a soma de dois inteiros mpares par.

2) Mostre que o quadrado de um nmero par um nmero par usando uma prova direta.

3) Mostre que se n um nmero inteiro e n^3 + 5 mpar, ento n par usando

a) a prova por contraposio
b) a prova por contradio

4) Provar que se n um inteiro e 3n + 2 par, ento n par usando

a) a prova por contraposio
b) a prova por contradio

5) Prove por induo matemtica as equaes abaixo sobre o conjunto dos nmeros Naturais. Encontre o
caso base.
a) 0^2 + 1^2 + 2^2 + ... + n^2 = (2n+1)(n+1)n/6
b) 1 + 3 + 5 + 7 + ... + (2n-1) = n^2
c) 1 + 4 + 7 + ... + (3n-2) = n(3n-1)/2

6) Prove por induo matemtica as inequaes baixo sobre o conjunto dos nmeros Naturais. Encontre o
caso base.
a) n^2 < 2^n
b) n^3 < 2^n