Universidade Federal Rural de Pernambuco Disciplina: Matemtica Discreta Professor: Pablo Azevedo Sampaio

Segunda Lista de Exerccios

Nesta lista, em geral, considere que as variveis envolvidas nas afirmaes so todas quantificadas universalmente no conjunto Z, ou seja, em geral, as afirmaes do a idia de para todo inteiro x1, x2, ... [aqui vo todas as variveis da afirmao]. Os casos em que a quantificao existencial ou em que as variveis no so inteiras so indicados explicitamente.

1) Prove os seguintes teoremas de forma direta: a) A soma de dois nmeros mpares par. (Interprete assim: Se a e b so mpares, ento a+b par). b) A soma de um nmero par com um mpar um nmero mpar. c) O produto de dois nmeros mpares um nmero mpar. d) Se m+n par e n+p par, ento m+p par.

2) Prove os seguintes teoremas por transposio: a) Se n2 par, ento n par. b) Se n2 + 5 mpar, ento n+3 mpar. c) Se ab par, ento a par ou b par. d) Se x+y 2, ento x 1 ou y 1. 3) Prove de forma direta os seguintes teoremas sobre a relao divide: a) Se a|b e a|c , ento, para quaisquer inteiros m e n, temos que a|(mb+nc). b) Se d|q e d|(nq+r), ento d|r. c) Se a|b e a|c, ento a2|bc.

4) Refute (prove que falsa) cada uma das conjecturas abaixo usando algum contraexemplo: a) Se a|b , ento a b.

b) Se a|bc , ento a|b ou a|c. c) Se a|b e b|a , ento a=b. d) Se a|b e a e b so no-negativos, ento a b. e) a positivo sse a+1 positivo.

5) Usando a definio de nmero racional vista na aula 7, d uma prova direta da afirmao: A soma de dois nmeros racionais racional.

6) Prove por transposio o teorema abaixo para todo x real. (Veja definio de irracional na aula 7). Se x irracional, ento 1/x irracional.

7) Prove o teorema abaixo por transposio. Voc pode precisar provar algum lema. Se 5n2+3 mpar, ento 3n2 par.

8) Refute por contra-exemplo cada uma das conjecturas abaixo: a) Todo produto de nmeros primos quando somado a 1 d um nmero primo. b) Para todo n real, se n2 par, ento n par c) Para todo n inteiro, n2+n+41 sempre primo. (Voc pode fazer um programa para testar os valores dessa expresso para n variando de 1 a 100). d) Todo inteiro positivo a soma de trs quadrados perfeitos.

9) Prove que o inverso (a recproca) da afirmao do item (a) da questo anterior verdadeira. Mais especificamente prove que: Se n um nmero primo e n > 3, ento n uma unidade a mais do que algum produto de primos.

10) Prove os seguintes teoremas de forma direta usando apenas os axiomas dos nmeros inteiros: a) Se a 0, ento (-a) 0. b) Se x > 3 e y < 2, ento x2 2y > 5. c) Se a < b e c < d, ento a+c < b+d. d) (Para a, b e c positivos:) Se a < c e b < c, ento ab < c2.

11) Prove o teorema abaixo usando sucessivamente uma prova direta e uma prova por transposio. Seja a > b > 1. Se n = a.b , ento b n. 12) Considere a seguinte definio: n um cubo perfeito sse n=k3 para algum k inteiro. Faa um programa para encontrar um contra-exemplo para a afirmao abaixo. Toda soma de dois cubos perfeitos positivos d um valor nico (ou seja, diferente dos valores das somas feitas com outros dois cubos positivos, desprezando-se a ordem). Uma dica fazer o seu programa calcular somas de cubos positivos at um certo limite L3, guardando os valores obtidos. Por exemplo, todas as somas at o limite L=33 so: 13+13, 13+23, 13+33, 23+23, 23+33, 33+33. Depois rode o programa com limites cada vez mais altos, at achar o contra-exemplo.

13) Liste cinco valores para x que satisfaam cada uma das relaes abaixo: a) x 1 (mod 2) b) x 0 (mod 5) c) x 7 (mod 3) d) 2x 3 (mod 7) 14) Prove que: Se a b (mod m) e b c (mod m), ento a c (mod m). 15) Prove a afirmao: Sejam dois inteiros n > 1 e m > 1. Se a b (mod. m) e n|m, ento a b (mod. n). 16) Refute a seguinte afirmao: Se ac bc (mod. m), ento a b (mod. m). Nas questes a seguir, voc vai precisar usar o chamado Lema de Bzout, dado abaixo:

(Lema de Bzout:) Se a e b so inteiros no-nulos, ento existem inteiros k1 e k2 tais que k1.a + k2.b = mdc(a,b)

17) Prove que: Se a | b.c e mdc(a,b)=1, ento a|c . 18) Prove que: Se ac bc (mod m) e mdc(a,m)=1, ento a b (mod. m). 19) Prove que: Se mdc(a,m) = 1, ento existe soluo x inteira para ax 1 (mod m).