Matemática Discreta

Métodos de Prova

1. (1.0) Identifique o erro na prova do teorema abaixo.

Teorema: A soma de quaisquer dois inteiros pares é igual a 4k para algum inteiro k.

Prova Suponha que m e n são dois inteiros pares quaisquer. Pela definição de par, para algum inteiro k, m = 2k e n = 2k.
Substituindo, m + n = 2k + 2k = 4k, para algum inteiro k, o que devia ser provado.

Resposta: O erro na prova é que o mesmo sı́mbolo k é usado para representar dois números diferentes. Ao supor que m e n
são iguais a 2k, estamos supondo também que m = n e, assim, a prova é válida apenas para o caso onde m = n. Se m 6= n,
a conclusão é, em geral, falsa. Por exemplo, 6 + 4 = 10 mas 10 + 6 6= 4k para qualquer inteiro k.
2. Prove se a seguinte afirmação é verdadeira ou não. Para todo inteiro n, se n é ı́mpar então 5n2 + 3n + 7 é ı́mpar.
Resposta: Seja n = 2k + 1 um inteiro ı́mpar. Então,
5n2 + 3n + 7 = 5(2k + 1)2 + 3(2k + 1) + 7
= 5(4k2 + 4k + 1) + 6k + 3 + 7
= 20k2 + 20k + 5 + 6k + 10
= 20k2 + 26k + 15
= 2(10k2 + 13k + 7) + 1
Logo, 5n2 + 3n + 7 é ı́mpar, já que 10k2 + 13k + 7 é um quadrado perfeito.
3. Prove se a seguinte afirmação é verdadeira ou não. Para todo inteiro a e b, se 3a + b é par então a + 3b é par.
Resposta: Sejam a e b dois inteiros quaisquer tal que 3a+b é par. Então, 3a+b = 2k. Isolando o valor de b, temos b = 2k−3a.
Portanto,
a + 3b = a + 3(2k − 3a)
= a + 6k − 9a
= 6k − 8a
= 2(3k − 4a)
Logo, a + 3b é par, já que 3k − 4a é um inteiro, quando consideramos que 3a + b é par.
4. Prove se a seguinte afirmação é verdadeira ou não. Para todo m e n inteiros positivos, se mn é um quadrado perfeito então m
e n são quadrados perfeitos.
Resposta: Para provar que esta afirmação é falsa,devemos mostrar que a sua negação é verdadeira. A negação dessa afirmação
é “Existe dois inteiros m e n positivos tal que mn é um quadrado perfeito e m e n não são quadrado perfeitos”. Tome
n = m = 2, nm = 4 é quadrado perfeito e n e m não são quadrado perfeitos.
5. Prove se a seguinte afirmação é verdadeira ou não. Para todo inteiro n, 4(n2 + n + 1) − 3n2 é quadrado perfeito.
Resposta: Suponha que n seja um número inteiro. Então, 4(n2 +n+1)−3n2 = 4n2 +4n+4−3n2 = n2 +4n+4 = (n+2)2 ,
que é um quadrado perfeito, já que n+2 é um inteiro.
6. Prove se a seguinte informação é verdadeira ou não. Se a é racional e b é racional então a + 3b é racional.
p
Resposta: Por definição, se a e b são racionais, a pode ser escrito como , para alguns inteiros p e q com q 6= 0 e b pode ser
q
escrito como
r
, para alguns inteiros r e s com s 6= 0. Então,
s
p r
a + 3b = +3
q s
p 3r
= +
q s
ps + 3rq
=
qs
ps + 3rq
Logo, a + 3b é um racional, já que ps + 3rq e qs são inteiros e a + 3b pode ser escrito como com qs 6= 0.
qs
2
7. Prove se a seguinte afirmação é verdadeira ou não. Para todo inteiro n, 9n + 3n − 2 é par.
Resposta: Vamos considerar dois casos n sendo par e n sendo ı́mpar.
Caso 1: Seja n = 2k. Então,
9n2 + 3n − 2 = 9(2k)2 + 3(2k) − 2
= 9(4k2 ) + 6k − 2
= 36k2 + 6k − 2
= 2(18k2 + 3k − 1)
Logo, 9n2 + 3n − 2 é par, já que 18k2 + 3k − 1 é um inteiro.
Caso 2: Seja n = 2k + 1. Então,
9n2 + 3n − 2 = 9(2k + 1)2 + 3(2k + 1) − 2
= 9(4k2 + 4k + 1) + 6k + 3 − 2
= 36k2 + 36k + 9 + 6k + 1
= 36k2 + 42k + 10
= 2(18k2 + 21k + 5)
Logo, 9n2 + 3n − 2 é par, já que 18k2 + 21k − 5 é um inteiro.

1
 8. Prove se a seguinte afirmação é verdadeira ou não. Para todo inteiro n, n2 + n é par.
Resposta: Considere dois casos n = 2k e n = 2k + 1.
Caso 1: Seja n = 2k. Então,
n2 + n = (2k)2 + (2k)
= 4k2 + 2k
= 2(2k2 + k)
Logo, n2 + n é par, já que 2k2 + k é um inteiro.
Caso 2: Seja n = 2k + 1. Então,
n2 + n = (2k + 1)2 + (2k + 1)
= 4k2 + 4k + 1 + 2k + 1
= 4k2 + 6k + 2
= 2(2k2 + 3k + 1)
Logo, n2 + n é par, já que 2k2 + 3k + 1 é um inteiro.
9. Para todo número real x, x + |x − 7| ≥ 7.
Resposta: Considere dois casos x − 7 ≥ 0 e x − 7 < 0.
Caso 1: Se x − 7 ≥ 0. Então,
x + |x − 7| = x+x−7
= 2x − 7
Assim,
x−7≥0 ⇔ x≥7
⇔ 2x ≥ 14
⇔ 2x − 7 ≥ 7
Logo, x + |x − 7| = 2x − 7 ≥ 7.
Caso 2: Se x − 7 < 0. Então,
x + |x − 7| = x − (x − 7)
= x−x+7
= 7
Logo, x + |x − 7| = 7 ≥ 7.
10. Prove que se x + y é irracional então x ou y são irracionais.
Resposta: Suponha, pela contrapositiva, que x e y são racionais, ou seja, existem inteiros a, b, c, d com b 6= 0 e d 6= 0 tal que
a c
x = e y = . Então,
b d
a c ad + bc
x+y = + = (1)
b d bd
Concluı́mos que x + y é racional já que ad + bc ∈ Z, bd ∈ Z e bd 6= 0.
11. Prove se a seguinte afirmação é verdadeira ou não. Para todo inteiro n, se n2 + 5 é ı́mpar então n é par.
Resposta: Suponha, pela contrapositiva, que n é ı́mpar. Então, n pode ser escrito como 2k + 1. Portanto,
n2 + 5 = (2k + 1)2 + 5
= 4k2 + 4k + 1 + 5
= 4k2 + 4k + 6
= 2(2k2 + 2k + 3)
Logo, n2 + 5 é par, já que 2k2 + 2k + 3 é um inteiro.
12. Prove que se x é racional e y é irracional então x − y é irracional.
Resposta: Suponha, por contradição, que x é racional, y é irracional e x − y é racional, ou seja, existem inteiros a, b, c, d com
a c
b 6= 0 e d 6= 0 tal que x = e x − y = . Então
b d
c a c a c ad − cb
x−y = ⇔ −y = ⇔y = − = (2)
d b d b d bd
Logo, y é irracional e racional. Absurdo.
13. Para todo inteiro n, se n2 é par então n é par.
Resposta: Suponha, pela contrapositiva, que n é ı́mpar. Vamos mostrar que n2 é ı́mpar. Então,
n2 = (2k + 1)2
= 4k2 + 4k + 1
= 2(2k2 + 2k) + 1
Logo, n2 é√ ı́mpar, já que 2k2 + 2k é um inteiro.
14. Prove que 2 é irracional.
√ √ a a
Resposta: Suponha, por absurdo, que 2 é racional, então existe inteiros a e b com 2 = sendo que é uma fração
b b
irredutı́vel (Observe que a prova não deixa de ser geral com essa suposição). Elevando ao quadrado os dois lados da igualdade,
temos
√ a a2
2= ⇔ 2= 2
b b
⇔ a2 = 2b2
Usando o resultado da questão 13, se a2 é par então a é par. Portando, a pode ser escrito como 2k.
a2 = 2b2 ⇔ (2k)2 = 2b2
⇔ 4k2 = 2b2
⇔ 2k2 = b2
a a
Usando novamente o resultado da questão 13, se b2 é par então b é par. Se a e b são pares então não é irredutı́vel. Logo,
b b
é irredutı́vel e redutı́vel. Absurdo.