Universidade Federal Rural do Semi-Árido - UFERSA

Centro Multidisciplinar de Pau dos Ferros

PEN2025 - Matemática Discreta - 2023.2
Prof. Bruno Xavier
Lista de Exercícios - Demonstração Direta - Paridade e Divisibilidade

Exercício 1. Preencha as demonstrações abaixo:

1.1 Se x é um inteiro par, então x2 é par.

Prova.
Seja x um inteiro par, então x é da forma , para algum a ∈ Z. Desse modo,
2
x = = = 2( ). Ou seja, x é múltiplo de 2. Logo, x2 é
2
.

1.2 Se x é um inteiro par, então x5 é par.

Prova.
Seja x um inteiro par, então x é da forma , para algum a ∈ Z. Desse modo,
5 2
x = = = 2( ). Ou seja, x é da forma 2b para b = . Logo, x5 é
par.

1.3 Seja n um inteiro positivo. Se x é um inteiro par, então xn é par.

Prova.
Seja x um inteiro par, então x é da forma , para algum a ∈ Z. Desse modo,
xn = = = 2( ). Ou seja, xn é da forma 2b para b = . Logo, xn é par,
para qualquer inteiro n.

Exercício 2. Com base nas demonstrações anteriores, prove o que se pede:

2.1 Se x é um inteiro ímpar, então x2 é ímpar.

2.2 Se x é um inteiro ímpar, então x5 é ímpar.

2.3 O produto de números ímpares é ímpar.

2.4 O produto de números pares é par.

2.5 O produto de um número por outro ímpar é par.

2.6 O produto de um número por outro ímpar é par.

2.7 O sucessor de um número ímpar é par.

2.8 O antecessor de um número par é ímpar.

1
Exercício 3. Preencha as demonstrações abaixo:

3.1 Suponha que a, b, c ∈ Z. Se a | b e a | c, então a | (b + c).

Prova.
Suponha que a | b e a | c, para inteiros a, b e c. Logo, existem d e e em Z para os quais
b= ec= . Assim, temos que b + c = + = a( ). Isso significa
que a | b + c.

3.2 Suponha que a, b, c ∈ Z. Se a | b e b | c, então a | c.

Prova.
Suponha que a | b e b | c, para inteiros a, b e c. Logo, existem d e e em Z para os quais
b= ec= . Assim, temos que c = be = ( )e = a( ). Isso significa que
a | c.

3.3 Suponha que a ∈ Z. Se 5 | 2a, então 5 | a.

Prova.
Suponha que 5 | 2a, para um inteiro a. Logo, existe b em Z tal que 2a = 5b. Desse modo,
b deve ter paridade , ou seja, para algum inteiro c, b = 2c. Logo,

2a = 5b (1)
2a = 5( ) (2)
2a = 2( ) (3)
a = 5c (4)

Portanto, a | 5

NOTA 1: O passo fundamental foi descobrir que b era par. Isso ocorreu supondo o próprio
b sendo ímpar, o que acarretaria em 2a ímpar. Ou seja, temos 2a par pela definição e 2a
ímpar pelo nosso raciocínio. Neste caso, temos uma proposição clara do tipo P ∧ ¬P , que é
uma contradição. Logo, b deveria ser par.

NOTA 2: Você saberia explicar o por quê do fato de encontrarmos uma contradição en-
tre as hipóteses (b sendo ímpar) permitiu supor o contrário (b sendo par) ?

Exercício 4. Com base nas demonstrações anteriores, prove o que se pede:

4.1 Sejam a, b e c inteiros. Se a | b e a | c, então a | bc.

4.2 Sejam a, b e c inteiros. Se a | b e a | c, então a | b − c.

4.3 Suponha que a, b, c, d ∈ Z. Se a | b e c | d, então ac | bd.

4.4 Suponha que a é um inteiro. Se 7 | 4a, então 7 | a.

2
Exercício 5. Use o método da prova direta para demonstrar os seguintes enunciados.

1. Se x é um inteiro ímpar, então x3 é ímpar.

2. Se a é um inteiro ímpar, então a2 + 3a + 5 é ímpar.

3. Suponha que x, y ∈ Z. Se x e y são ímpar, então xy é ímpar.

4. Suponha que x, y ∈ Z. Se x é par, então xy é par.

5. Suponha que a, b ∈ Z. Se a | b, então a2 | b2 .

6. Suponha que a e b são inteiros. Se a | b, então a | (3b3 − b2 + 5b).

7. Suponha que x, y ∈ R. Se x2 + 5y = y 2 + 5x, então x = y ou x + y = 5.

8. Se n ∈ Z, então 5n2 + 3n + 7 is ímpar. (Tente por casos.)

9. Se n ∈ Z, então n2 + 3n + 4 is par. (Tente por casos.)

10. Se dois inteiros tem a mesma paridade, então a soma deles é par. (Tente por casos.)

11. Se dois inteiros tem a paridade oposta, então o produto deles é par.

12. Suponha que x e y são números reais positivos. Se x < y, então x2 < y 2 .

13. Suponha que a, b e c são inteiros. Se a2 | b e b3 | c, então a6 | c.

14. Se a é um inteiro e a2 | a, então a ∈ {1, 0, 1}.

15. Todo inteiro ímpar é a diferença de dois quadrados. (Exemplo 7 = 42 − 32 , etc.)

Bons estudos.