Lista de Exerccios 3: Solues

Mtodos de Prova
UFMG/ICEx/DCC DCC111 Matemtica Discreta
Cincias Exatas & Engenharias 1
o
Semestre de 2014
1. Identique o erro na prova do teorema abaixo.
Teorema: Para todos inteiros k, se k > 0 ento k
2
+ 2k + 1 um nmero composto.
Prova: Suponha que k um nmero inteiro tal que k > 0. Se k
2
+2k+1 composto, ento k
2
+2k+1 = rs,
para inteiros r e s tal que 1 < r < (k
2
+ 2k + 1) e 1 < s < (k
2
+ 2k + 1). J que k
2
+ 2k + 1 = r s e
ambos r e s esto necessariamente entre 1 e k
2
+2k +1, ento k
2
+2k +1 no primo. Assim, k
2
+2k +1
composto, o que devia ser mostrado.
Resposta:
A partir do ponto
J que k
2
+2k+1 = r s e ambos r e s esto necessariamente entre 1 e k
2
+2k+1, ento k
2
+2k+1
no primo. Assim, k
2
+ 2k + 1 composto, o que devia ser mostrado.
usada a questo a ser provada. Nesse ponto na prova, no foi mostrado ainda que k
2
+2k+1 um nmero
composto, o que devia ser provado.
2. Identique 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 so dois inteiros pares quaisquer. Pela denio de par m = 2k para algum
inteiro k e n = 2k para algum inteiro k. Por substituio, m + n = 2k + 2k = 4k, o que devia ser provado.
Resposta:
O erro na prova que o mesmo smbolo k usado para representar dois nmeros diferentes. Ao supor
que m e n so iguais a 2k, temos que m = n e, assim, a prova vlida apenas para o caso onde m = n. Se
m = n, a concluso , em geral, falsa. Por exemplo, 6 + 4 = 10 mas 10 = 4k para qualquer inteiro k.
3. Identique o erro na prova do teorema abaixo.
Teorema: Seja n um nmero inteiro mpar. Sabe-se que n/2 = (n 1)/2.
Prova: Suponha que n um nmero inteiro mpar. Sabe-se que n = 2k + 1 para algum inteiro k. Conse-
quentemente,

2k + 1
2

=
(2k + 1) 1
2
=
2k
2
= k.
Como n = 2k + 1, temos que k = (n 1)/2. Assim, por substituio temos que n/2 = (n 1)/2.
Esta prova incorreta usa a questo a ser provada. A igualdade
n
2
o que deve ser provado. Ao substituir
2k+1 por n nos dois lados da igualdade e assumindo que o resultado verdadeiro, a prova assume a verdade
da concluso a ser provada.
Resposta:
Prova correta: Suponha que n um nmero inteiro mpar. Sabe-se que n = 2k + 1 para algum inteiro
k. Consequentemente,

2k + 1
2

k +
1
2

= k.
Note que k +
1
2
= k pela denio da funo cho, j que k o maior inteiro menor ou igual a k +
1
2
.
Ao substituirmos n por 2k + 1 no lado direito da equao proposta, temos:

(2k + 1) 1
2

2k
2

= k.
Assim, os lados esquerdo e direito da equao a ser provada so idnticos.
1
4. Prove se a seguinte armao verdadeira ou no. Para todos inteiros n, 4(n
2
+n+1) 3n
2
um quadrado
perfeito.
Resposta:
Prova: Suponha que n seja um nmero inteiro. Ento 4(n
2
+ n + 1) 3n
2
= 4n
2
+ 4n + 4 3n
2
=
n
2
+ 4n + 4 = (n + 2)
2
, que um quadrado perfeito j que n + 2 um inteiro.
5. Prove se a seguinte armao verdadeira ou no. Existe um inteiro k tal que k 4 e 2k
2
5k +2 primo.
Resposta:
Para provar que a armao falsa, devemos mostrar que a negao verdadeira. A negao para todos
inteiros k, para k 4, 2k
2
5k + 2 no primo.
Prova da negao: Suponha que k seja um inteiro tal que k 4. [Devemos mostrar que 2k
2
5k + 2 no
primo]. Ao fatorarmos 2k
2
5k + 2 obtemos (2k 1)(k 2). Como k 4, podemos fazer as seguintes
armaes sobre cada termo: (i) o termo (2k 1) 7 j que 2k 1 2 4 1 = 7 e (ii) o termo (k 2) 2
j que 2k 2 2 4 2 = 2. Assim, cada fator desse nmero um inteiro positivo maior ou igual a dois e,
assim 2k
2
5k + 2 no primo.
6. Prove se a seguinte armao verdadeira ou no. Para todos inteiros n e m, se nm par ento n
3
m
3
par.
Resposta:
Prova: Suponha que m e n so quaisquer inteiros tais que m n par. [Devemos mostrar que n
3
m
3
par.] Note que n
3
m
3
= (n m)(n
2
+ nm + m). Sabemos que (n m) par pela suposio. Temos
que (n
2
+ nm + m) um nmero inteiro j que potenciao, multiplicao e soma so operaes fechadas
no conjunto dos nmeros inteiros. Assim, (n m)(n
2
+ nm + m) o produto de um nmero par por um
inteiro. A multiplicao de um inteiro por um nmero par pode ser representada pela soma desse inteiro
uma quantidade par de vezes, o que resulta em um nmero par. Isso o que devia ser provado.
7. Prove se a seguinte armao verdadeira ou no. O quociente de dois nmeros racionais um nmero
racional.
Resposta:
Reescrevendo a armao: nmeros racionais r e s,
r
s
um nmero racional.
Prova: Seja r um nmero racional qualquer e s = 0, que um nmero racional. O quociente de r por s
indenido e, assim, no necessariamente um nmero racional. Assim, a armao falsa.
8. Prove se a seguinte armao verdadeira ou no sem usar manipulao algbrica, ou seja, sem resolver
a equao. Suponha que m seja um nmero inteiro. Prove se 17|m na equao:
8 7 6 5 4 3 2 m
?
= 17 16 15 14 13 12 11 10
Resposta:
Prova: O nmero 17 um fator primo do nmero do lado direito da equao e um fator primo do nmero
do lado esquerdo (pelo Teorema nico da Fatorizao). Mas 17 no um fator primo de 8, 7, 6, 5, 4, 3 e
2. Assim, 17 deve ocorrer como um fator primo de m e 17|m.
9. Prove se a seguinte armao verdadeira ou no:
inteiros a, b e c, se a|b e a|c ento a|(b + c)
Resposta:
Prova: Suponha que a, b e c so inteiros tal que a|b e a|c. Pela denio de divisibilidade b = a r e c = a s
para inteiros r e s. Ento b + c = a r + a s = a(r + s). Logo, a|(b + c) = a|a(r + s).
10. Suponha que voc est participando de uma promoo de uma loja que d um carto com nmeros quando
um cliente faz uma compra. Se existem nmeros nesse carto que somam 100, ento o cliente ganha um
prmio de R$100,00. Um cliente recebe um carto com os nmeros
72 21 15 36 69 81 9 27 42 63
2
Sem fazer combinaes de somas, mostre se o cliente ir ganhar o prmio ou no.
Resposta:
Cada um dos nmeros anteriores divisvel por 3. Qualquer soma com esses nmeros prov como resultado
um nmero que divisvel por 3. Como 100 no divisvel por 3, qualquer soma no ser igual a 100.
Assim, o cliente no ganhar o prmio com esse carto.
11. Prove se a seguinte armao verdadeira ou no: A soma de quatro nmeros inteiros consecutivos no
divisvel por 4.
Resposta:
Reescrevendo a armao: nmeros inteiros n, n + 1, n + 2 e n + 3, 4 |[n + (n + 1) + (n + 2) + (n + 3)].
Prova: Sejam n, n + 1, n + 2 e n + 3 quatro nmeros inteiros consecutivos. Essa soma S vale 4n + 6 =
4n + 4 + 2 = 4(n + 1) + 2, que pode ser representada como S = 4t + 2. Quando S dividido por 4 temos 2
como resto. Assim, essa soma no divisvel por 4.
12. Prove que para qualquer inteiro mpar n,
n
2
4
= (
n1
2
)(
n+1
2
).
Resposta:
Prova: Seja n um inteiro mpar qualquer. Pela denio de mpar, n = 2k +1 para algum inteiro k. Assim,
temos que

n
2
4

(2k + 1)
2
4

4k
2
+ 4k + 1
4

k
2
+ k +
1
4

= k
2
+ k.
Note que k
2
+ k +
1
4
= k
2
+ k pela denio da funo cho, j que k
2
+ k o maior inteiro menor ou
igual a k
2
+ k +
1
4
.
Ao substituirmos n por 2k + 1 no lado direito da equao proposta, temos:

n 1
2

n + 1
2

(2k + 1) 1
2

(2k + 1) + 1
2

2k
2

2k + 2
2

= k(k + 1) = k
2
+ k.
Assim, os lados esquerdo e direito da equao a ser provada so idnticos.
13. O resultado de
1
0
um nmero irracional? Explique.
Resposta:
Sabe-se que um nmero irracional um nmero real que no um nmero racional. Assim, o resultado
de
1
0
no um nmero irracional j que no um nmero real (diviso por zero no est denida para o
conjunto dos nmeros reais).
14. Prove por contradio que para todos os nmeros primos a, b e c, a
2
+ b
2
= c
2
.
Resposta:
Prova: Suponha que no, ou seja, suponha que existam nmeros primos a, b e c tais que a
2
+ b
2
= c
2
.
Temos que a
2
= c
2
b
2
= (c b)(c + b). Sabemos que c b = 1 ou c b > 1 j que c + b > 0 e a
2
> 0, i.e.,
c b deve ser positivo. Assim, temos dois casos:
Caso 1 (c b = 1): Os nicos valores possveis para b e c so c = 3 e b = 2 para a diferena entre esses
nmeros primos ser 1, o que implica que b = 2. Logo, a
2
= c
2
b
2
= (3 2)(3 + 2) = 5, i.e., a =

5. Mas
isto contradiz a suposio que a seja um nmero primo.
Caso 2 (c b > 1): Devemos ter que ambos (c b) > 1 e (c + b) > 1. Como a primo, os nicos fatores
positivos de a
2
so 1, a e a
2
. Como ambos (c b) e (c + b) so maiores que 1, a nica possibilidade que
ambos sejam iguais a a. Mas isto implica que c b = c + b, i.e., b = b e assim b = 0. Isto contradiz a
suposio que b seja um nmero primo.
Nos dois casos a contradio falsa e, assim, a suposio falsa e a armao original verdadeira.
15. Prove por contraposio que se a soma de dois nmeros reais menor que 50 ento pelo menos um dos
nmeros menor que 25.
Resposta:
Reescrevendo formalmente temos: x, y R, se x +y < 50 ento x < 25 ou y < 25. A forma contrapositiva
dessa armao x, y R, se x 25 e y 25 ento x + y 50.
Prova: Suponha que x e y sejam nmeros reais especcos mas escolhidos arbitrariamente tais que x 25
e y 25. Consequentemente, a + b 25 + 25 = 50. Assim, se x + y < 50 ento x < 25 ou y < 25.
3
16. Apresente um teorema cuja prova seja na forma geomtrica.
Resposta:
Veja a prova para o Teorema de Pitgoras.
17. Prove que se x
2
+ y = 13 e y = 4, em que x, y R, ento x = 3.
Resposta:
Prova: Sejam x e y nmeros reais arbitrrios. Suponha o contrrio, isto , x = 3. Substituindo-se x por 3
em x
2
+y = 13, obtm-se 3
2
+y = 13. Assim, y = 13 9 = 4, o que resulta em uma contradio. Portanto,
se x
2
+ y = 13 e y = 4, ento x = 3.
18. Prove que se x > 0 e x < y, em que x, y R, ento x
2
< y
2
.
Resposta:
Prova: Sejam x e y nmeros reais arbitrrios tais que x > 0 e x < y. Ou seja, temos que 0 < x < y e,
portanto, y > 0. Consequentemente, x
2
< xy < y
2
. De onde se conclui que x
2
< y
2
.
19. Prove que min(x, y) + max(x, y) = x + y para quaisquer nmeros reais x e y.
Resposta:
Prova: Sejam x e y nmeros reais arbitrrios. Sabe-se que x < y, x = y ou x > y. Sero considerados cada
um dos trs casos:
x < y: tem-se que min(x, y) = x e max(x, y) = y;
x = y: min(x, y) = max(x, y) = x = y;
x > y: min(x, y) = y e max(x, y) = x.
Em qualquer um dos trs casos, min(x, y) + max(x, y) = x + y. Portanto, min(x, y) + max(x, y) = x + y
para quaisquer nmeros reais x e y.
20. Prove por contradio que h uma innidade de nmeros primos.
Resposta:
Prova: Suponha que h uma quantidade limitada de nmeros primos p
1
, p
2
, . . . , p
n
para algum natural n.
Seja k = (p
1
p
2
. . . p
n
) + 1. Deste modo, k no divisvel por nenhum dos nmeros primosp
1
, p
2
, . . . , p
n
.
Portanto, k divisvel por algum outro nmero primo diferente de p
1
, p
2
, . . . , p
n
ou k primo. Em qualquer
dos dois casos, tem-se a existncia de um primo diferente de p
1
, p
2
, . . . , p
n
. Isto contradiz a suposio de
que existe uma quantidade limitada de nmeros primos.
21. Prove que se n = ab, sendo a, b Z
+
, ento a

n ou b

n.
Resposta:
Prova: Sejam a e b dois inteiros positivos tais que a >

n e b >

n. Multiplicando-se as duas desigualdades,
obtm-se ab >

n

n, o que implica em ab > n. Isso mostra que ab = n. Portanto, a proposio verdadeira.

4