Vous êtes sur la page 1sur 2

DCC111 Matemtica Discreta

UFMG/ICEx/DCC

Lista de Exerccios 3
Mtodos de Prova
1o Semestre de 2015

Cincias Exatas & Engenharias

1. Identifique 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.
2. 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 so dois inteiros pares quaisquer. Pela definio 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.
3. Identifique o erro na prova do teorema abaixo.
Teorema: Seja n um nmero inteiro mpar. Sabe-se que bn/2c = (n 1)/2.
Prova: Suponha que n um nmero inteiro mpar. Sabe-se que n = 2k + 1 para algum inteiro k. Consequentemente,


(2k + 1) 1
2k
2k + 1
=
=
= k.
2
2
2
Como n = 2k + 1, temos que k = (n 1)/2. Assim, por substituio temos que bn/2c = (n 1)/2.
Esta prova incorreta usa a questo a ser provada. A igualdade b n2 c 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.
4. Prove se a seguinte afirmao verdadeira ou no. Para todos inteiros n, 4(n2 + n + 1) 3n2 um quadrado
perfeito.
5. Prove se a seguinte afirmao verdadeira ou no. Existe um inteiro k tal que k 4 e 2k 2 5k + 2 primo.
6. Prove se a seguinte afirmao verdadeira ou no. Para todos inteiros n e m, se n m par ento n3 m3
par.
7. Prove se a seguinte afirmao verdadeira ou no. O quociente de dois nmeros racionais um nmero
racional.
8. Prove se a seguinte afirmao 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
9. Prove se a seguinte afirmao verdadeira ou no:
inteiros a, b e c, se a|b e a|c ento a|(b + c)
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
1

72

21

15

36

69

81

27

42

63

Sem fazer combinaes de somas, mostre se o cliente ir ganhar o prmio ou no.


11. Prove se a seguinte afirmao verdadeira ou no: A soma de quatro nmeros inteiros consecutivos no
divisvel por 4.
2

n+1
12. Prove que para qualquer inteiro mpar n, b n4 c = ( n1
2 )( 2 ).

13. O resultado de

1
0

um nmero irracional? Explique.

14. Prove por contradio que para todos os nmeros primos a, b e c, a2 + b2 6= c2 .


15. Prove por contraposio que se a soma de dois nmeros reais menor que 50 ento pelo menos um dos
nmeros menor que 25.
16. Apresente um teorema cuja prova seja na forma geomtrica.
17. Prove que se x2 + y = 13 e y 6= 4, em que x, y R, ento x 6= 3.
18. Prove que se x > 0 e x < y, em que x, y R, ento x2 < y 2 .
19. Prove que min(x, y) + max(x, y) = x + y para quaisquer nmeros reais x e y.
20. Prove por contradio que h uma infinidade de nmeros primos.

21. Prove que se n = ab, sendo a, b Z+ , ento a n ou b n.