1a Lista de Exerc cios Fundamentos Matemticos para Computaao a c

Prof. Hamilton Jos Brumatto e

Lgica e Tcnicas de Demonstrao o e ca

1. Use o metodo direto para demonstrar que a soma de dois inteiros mpares par. e 2. Mostre que o quadrado de um nmero par um nmero par, usando o mtodo direto. u e u e 3. Prove que se m + n e n + p so inteiros pares, onde m, n, e p so inteiros, ento m + p a a a e par. Que tipo de prova voc usou? e 4. Use o mtodo direto para demonstrar que todo inteiro e mpar a diferena de dois quae c drados perfeitos. 5. Use o mtodo direto para demonstrar que o produto de dois nmeros racionais um e u e nmero racional. u 6. Demonstre que se x irracional, ento 1/x irracional. e a e 7. Use o mtodo da contrapositiva para demonstrar que se x+y e reais, ento x 1 ou y 1. a (a) uma demonstraao pela contrapositiva. c (b) uma demonstraao por contradiao. c c 9. Seja P (n) a proposiao Se a e b so nmeros reais positivos, ento (a + b)n c a u a Demonstre que P (1) verdade. Que tipo de demonstraao voc utilizou? e c e an + bn . 2, onde x e y so nmeros a u

8. Demonstre que se n um inteiro e n3 + 5 e e mpar, ento n par usando: a e

10. Demonstre que ao escolhermos 64 dias, ao menos 10 estaro no mesmo dia da semana. a 11. Use uma demonstraao por contradiao para provar que no existe um nmero racional c c a u r para o qual r3 + r + 1 = 0. (Dica: Considere que r = a/b raiz, onde a e b so inteiros e a e a/b so primos entre si. Obtenha uma equao envolvendo inteiros ao multiplicar por a ca b3 . Ento veja se quaisquer a e b so pares ou a a mpares). 12. Demonstre que se n um inteiro positivo, ento n e a e mpar se e somente se 5n+6 e mpar. 13. Demonstre ou refute que se m e n so inteiros tais que mn = 1, ento ou m = 1 e n = 1, a a ou m = 1 e n = 1.

14. Demonstre que as seguintes declaraoes sobre o inteiro x so equivalentes: (i) 3x + 2 c a e 2 par, (ii) x + 5 e mpar, (iii) x par. e 15. Demonstre que as seguintes declaraao sobre o nmero real x so equivalentes: (i) x c u a e irracional, (ii) 3x + 2 irracional, (iii) x/2 irracional. e e 16. Prove que suciente para demonstrar que as proposies p1 , p2 , p3 , p4 e p5 so equie co a valentes provar que as declaraoes de implicaao p1 p4 , p3 p1 , p4 p2 , p2 p5 e c c p5 p3 so verdades. a 1

17. Demonstre que ao menos um dos nmeros reais a1 , a2 , . . . , an maior ou igual ` mdia u e a e destes nmeros. Que tipo de demonstraao voc usou? u c e 18. Demonstre que se n inteiro, as quatro declaraoes a seguir so equivalentes: (i) n par, e c a e (ii) n + 1 e mpar, (iii) 3n + 1 e mpar, (iv) 3n par. e 19. Prove que n2 + 1 2n quando n um ineiro positivo com 1 e n 4. 20. Prove que se x e y so nmeros reais, ento max(x, y) + min(x, y) = x + y. (Dica: Use a u a a prova por casos, com ambos casos correspondendo a x y e x < y, respectivamente). 21. Demonstre que a inequaao do tringulos, que determina que se x e y so nmeros reais, c a a u ento |x| + |y| |x + y| (onde |x| representa o valor absoluto de x, que igual a x, se a e x 0, ou igual a x se x < 0). 22. Demonstre que existe 100 inteiros positivos consecutivos que no so quadrados perfeitos. a a A sua demonstraao construtiva ou no construtiva? c e a

23. Demonstre que existe um par de inteiros consecutivos tais que um destes inteiros um e quadrado perfeito e o outro um cubo perfeito. 24. Demonstre ou refute que existe um nmero racional x e um nmero irracional y tal que u u xy irracional. e 25. Demonstre qualquer dos elementos abaixo pode ser usado para expressar o fato de que existe um unico elemento x tal que P (x) verdade. (Observe que podemos escrever: e !xP (x).) (b) x(P (x) xy(P (x) P (y) x = y) 26. Suponha que a e b sejam inteiros mpares com a = b. Demonstre que existe um unico inteiro c tal que |a c| = |b c|. (c) x(P (x) y(P (y) x = y)) (a) xy(P (y) x = y)

28. Demonstre que dado um nmero real x, existem nmeros unicos n e tal que x = n + , u u sendo n um inteiro e 0 1.

27. Demonstre que se n um inteiro e mpar, ento existe um unico inteiro k tal que n a a e soma de k 2 e k 3.

29. A mdia harmnica de dois nmeros reais x e y dada por xy/(x + y). Formule uma e o u e conjetura sobre o tamanho relativo entre os nmeros e a mdia geomtrica. u e e 30. Escreva os nmeros 1, 2, . . . , 2n em um quadro, onde n um inteiro u e mpar. Tome dois destes nmeros, j e k, escreva |j k| no quadro e apague j e k. Continue o processo at u e que somente um inteiro escrito no quadro. Prove que este inteiro deve ser e mpar.

31. Formule uma conjetura sobre o d gito decimal que aparece no nal de um nmero obtido u apartir de um nmero escrito com d u gitos decimais e elevado ` quarta potncia. Prove a e sua conjetura. 32. Prove que 3 2 irracional. e 33. Prove que entre dois nmeros racionais existe um nmero irracional. u u