Universidade Federal de Alagoas - Instituto de Computação

Matemática Discreta - ECOM003

Lista de Exercícios 03 - Métodos de Prova

Professor: Lucas Amorim

Aluno:_______________________________________________________________________________

01. Prove os seguintes teoremas de forma direta:

a) A soma de dois números ímpares é par. (Interprete assim: “Se a e b são ímpares, então a+b é par”).

b) A soma de um número par com um ímpar é um número ímpar.

c) O produto de dois números ímpares é um número ímpar.

d) Se m+n é par e n+p é par, então m+p é par.

02. Prove os seguintes teoremas pela forma contrapositiva:

a) Se n2 é par, então n é par.

b) Se n2 + 5 é ímpar, então n+3 é ímpar.

c) Se ab é par, então a é par ou b é par.

d) Se x+y ≥ 2, então x ≥ 1 ou y ≥ 1.

03. Prove de forma direta os seguintes teoremas sobre a relação divide:

a) Se a|b e a|(b+c), então a|c

b) Se a|b, então ab|b2

c) Se a|b e a|c , então (para quaisquer inteiros m e n, temos que) a|(mb+nc).

d) Se a|b e a|c, então a2|bc.

e) Se d|a e d|b, então d|(a - qb)

f) Se d|b e d|(a - qb), então d|a

04. Refute (prove que é falsa) cada uma das conjecturas abaixo usando algum contraexemplo:

a) Se a|b , então a ≤ b.

b) Se a|bc , então a|b ou a|c.

c) Se a|b e b|a , então a=b.

d) Se a|b e a e b são não-negativos, então a ≤ b.

e) Se d|(m+n), então d|n e d|m

05. Prove, por redução ao absurdo (prova por contradição), o teorema "Se 3n + 2 é ímpar, então n é ímpar".

As questões seguintes devem ser resolvidas utilizando a técnica de indução matemática:

n(n + 1)
06. Prove que se n é um inteiro positivo, então 1
# + 2 + ... + n = .
2

07. Prove que #1 + 2 + 22 + . . . + 2n = 2n+1 − 1 para todo inteiro n não negativo. Dica: Neste exercício, o
caso base deve ser P(0).

08. Prove a desigualdade n

# < 2n para todos os inteiros positivos.

09. Prove que #2n < n! para todo inteiro n com n# ⩾ 4. (Note que a desigualdade é falsa para n = 1, 2, e 3).
10. Encontre a fórmula fechada para a soma

1 1 1 1
# + + + ... +
1⋅2 2⋅3 3⋅4 n(n + 1)

# inteiros n
∀ # ⩾ 1 e prove seu resultado por indução matemática.

# 3 − n é divisível por 3, ∀
11. Prove que n # inteiros n
# ⩾ 1. (Curiosidade: Note que este é o pequeno teorema
de Fermat para p = 3, o teorema diz que isto é verdade para qualquer p primo).