UFMG/ICEx/DCC

Matemtica Discreta

LISTA DE EXERCCIOS 3: SOLUES

Graduao em Cincia da Computao 2o Semestre de 2011

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. 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. 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. 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 n/2 = (n 1)/2. Esta prova incorreta usa a questo a ser provada. A igualdade n o que deve ser provado. Ao substituir 2 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. Prova correta: Suponha que n um nmero inteiro mpar. Sabe-se que n = 2k + 1 para algum inteiro k. Consequentemente, 2k + 1 1 = k+ = k. 2 2 Note que k +
1 2 1 = k pela denio da funo cho, j que k o maior inteiro menor ou igual a k + 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.

4. Prove se a seguinte armao verdadeira ou no. Para todos inteiros n, 4(n2 + n + 1) 3n2 um quadrado perfeito. Prova: Suponha que n seja um nmero inteiro. Ento 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. 5. Prove se a seguinte armao verdadeira ou no. Existe um inteiro k tal que k 4 e 2k 2 5k + 2 primo. 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 n m par ento n3 m3 par. Prova: Suponha que m e n so quaisquer inteiros tais que m n par. [Devemos mostrar que n3 m3 par.] Note que n3 m3 = (n m)(n2 + nm + m). Sabemos que (n m) par pela suposio. Temos que (n2 + nm + m) um nmero inteiro j que potenciao, multiplicao e soma so operaes fechadas no conjunto dos nmeros inteiros. Assim, (n m)(n2 + 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. 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 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) 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
?

Sem fazer combinaes de somas, mostre se o cliente ir ganhar o prmio ou no. 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. 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,
n2 4

= ( n1 )( n+1 ). 2 2

Prova: Seja n um inteiro mpar qualquer. Pela denio de mpar, n = 2k + 1 para algum inteiro k. Assim, temos que (2k + 1)2 4k 2 + 4k + 1 1 n2 = = = k2 + k + = k 2 + k. 4 4 4 4 Note que k 2 + k + igual a k 2 + k + 1 . 4 n1 2
1 4

= k 2 + k pela denio da funo cho, j que k 2 + k o maior inteiro menor ou

Ao substituirmos n por 2k + 1 no lado direito da equao proposta, temos: 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.

Sabe-se que um nmero irracional um nmero real que no um nmero racional. Assim, o resultado de 1 no um nmero irracional j que no um nmero real (diviso por zero no est denida para o 0 conjunto dos nmeros reais). 14. Prove por contradio que para todos os nmeros primos a, b e c, a2 + b2 = c2 . Prova: Suponha que no, ou seja, suponha que existam nmeros primos a, b e c tais que a2 + b2 = c2 . Temos que a2 = c2 b2 = (c b)(c + b). Sabemos que c b = 1 ou c b > 1 j que c + b > 0 e a2 > 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, a2 = c2 b2 = (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 a2 so 1, a e a2 . 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. 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. 16. Apresente um teorema cuja prova seja na forma geomtrica.