Poder Executivo

Ministério da Educação
Universidade Federal do Amazonas
Instituto de Computação

Disciplina: ICC120 – Matemática Discreta Período: 2015/2

Curso: Ciência da Computação Professora: Elaine Harada Teixeira de Oliveira

Lista de Exercícios IV

Nas questões 1 a 11, prove as proposições indicando o método utilizado:

1) Para qualquer inteiro positivo n menor ou igual a 3, n! < 2n.

2) A soma de um inteiro e seu cubo é par.
3) O produto xy é ímpar se, e somente se, x e y são inteiros ímpares.
4) Se x2 + y = 13 e y ≠ 4, então x ≠ 3.
5) Para todo inteiro n, o número 7(n + 1)2 – 6(n2 – 7) é um quadrado perfeito.
6) Para todo natural ímpar n, o resto da divisão de n2 por 8 é sempre 1.
7) Se n é um inteiro par, 4 ≤ n ≤ 12, então n é uma soma de dois números primos.
8) A soma de um inteiro par com um inteiro ímpar é ímpar.
9) O produto de dois inteiros ímpares é ímpar.
10) O produto de dois inteiros consecutivos é par.
11) Se a e b são números reais, tais que 0 < a < b, então a2 < b2.

Nas questões 12 a 16, prove se as afirmações são verdadeiras ou falsas.

12) O quociente de dois números racionais é um número racional.

13) A soma de quatro números inteiros consecutivos não é divisível por 4.
14) Para todos inteiros n, 4(n2 +n+ 1)−3n2 é um quadrado perfeito.
15) Existe um inteiro k tal que k ≥ 4 e 2k2 −5k + 2 é primo.
16) Para todos inteiros n e m, se n − m é par então n3 – m3 é par.

17) 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 são dois inteiros pares quaisquer. Pela definição de
par m = 2k para algum inteiro k e n = 2k para algum inteiro k. Por substituição,
m + n = 2k + 2k = 4k, o que devia ser provado.

18) Prove por contraposição que se a soma de dois números reais é menor que 50
então pelo menos um dos números é menor que 25.

19) Prove por contradição que há uma infinidade de números primos.

Listen to C. Vice`s Words: https://soundcloud.com/c-vice/sets/words