INSTITUTO DE MATEMÁTICA E ESTATÍSTICA (UFBA)

MAT198 - FUNDAMENTOS DE MATEMÁTICA ELEMENTAR I-A

PROFESSOR: DARLLAN CONCEIÇÃO PINTO

2ª LISTA DE EXERCÍCIOS - SEMESTRE 2023.1

(1) Escreva a negação das seguintes afirmações:

(a) ∀ n ∈ N, 2n > n2 .

(b) ∃! x ∈ R ; |x| = 0.

(c) A equação x2 − 2x > 0 é válida para todos os números reais x.

(d) Existe um número inteiro n tal que n2 é um número primo.

(e) Todo acarajé tem vatapá.

(f) Toda famı́lia tem uma senhora surda.

(g) Existe uma casa em Salvador tal que toda pessoa que entra sai feliz.

(h) Dado qualquer  > 0, existe k ∈ Z tal que para todos os naturais n é válido que |an − k 2 | < .

(i) Existe uma pessoa na UFBA que leu todos os livros do Guidorizzi.

(2) Quais proposições são equivalentes à negação da proposição “Todas as cobras são venenosas”?

(a) Todas as cobras são não venenosas.

(b) Algumas cobras são venenosas.

(c) Algumas cobras não são venenosas.

(3) Escreva a negação da proposição: dado qualquer conjunto A, se A ⊂ R então A ⊂ Z. O que é

verdadeira: a afirmação ou sua negação? Justifique!

(4) Seja A um subconjunto não vazio do conjunto dos números reais R, ou seja, (A ⊂ R) ∧ (A 6= ∅).
Dizemos que A é limitado quando ∃ a, b ∈ R ; ∀ x ∈ A, a ≤ x ≤ b. Defina o que se entende por
um conjunto ilimitado, isto é, aquele que não é limitado.

(5) Dentre as afirmações seguintes, detecte quais não representam a definição de número par.
Definição: Um número par é um número inteiro m tal que

(a) m = 2k, para algum k ∈ Z. (c) ∀ k ∈ Z, m = 2k.

(b) m é da forma 2k, para todo k ∈ Z. (d) ∃ k ∈ Z ; m = 2k.

1
2

(6) Em uma cidade litorânea é rigorosamente obedecida a seguinte ordem do prefeito: “Se não chover,
então todos os bares à beira-mar deverão estar abertos”. Pode-se afirmar que:

(a) Se todos os bares à beira-mar estão abertos, então choveu.

(b) Se todos os bares à beira-mar estão abertos, então não choveu.

(c) Se choveu, então todos os bares à beira-mar não estão abertos.

(d) Se um bar à beira-mar estiver fechado, então choveu.

(7) Verifique se o uso da lógica nos argumentos abaixo são válidos:

(a) P1 : Se você vê manchas na sua frente, então você está vendo um leopardo.
P2 : Você está olhando para um leopardo.
Q : Você vê manchas na sua frente.

(b) P1 : Os alunos dormem se a aula é monótona.

P2 : A aula não é monótona.
Q : Os alunos não dormem.

(c) P1 : Existem brasileiros que são ricos.

P2 : Todos os homens ricos viajam muito.
Q : Existem brasileiros que viajam muito.

(8) Nas prova/demonstração dos seguintes argumentos, utilize os sı́mbolos sugeridos.

(a) Se Wilson ou Alberto ganham, então Lúcio e Suzana choram. Suzana não está chorando.
Portanto, Alberto não ganhou. (W : Wilson ganha. A: Alberto ganha. L: Lúcio chora. S:
Suzana chora.)

(b) Se eu me inscrevo neste curso e estudo bastante, então tiro boas notas. Se tiro boas notas,
fico feliz. Porém não estou feliz. Logo, não me inscrevi neste curso ou não estudei bastante.
(I: Me inscrevo neste curso. E: Estudo bastante. B: Tiro boas notas. F : Estou feliz.)

(9) Números amigos são dois números naturais que satisfazem uma propriedade especial: cada um
deles é a soma dos divisores do outro. Mostre que os números 220 e 284 são amigos.

(10) Justifique, com apenas um argumento, a afirmação: ∀ n ∈ N, n > 4, tem-se que n! termina em 0.
 3

(11) Utilize a axiomática dos números reais para provar os seguintes resultados:

(a) −(−x) = x. (e) xy = 0 ⇐⇒ x = 0 ou y = 0.

(b) (−x)y = −xy. (f) Se x, y 6= 0, então xy 6= 0.

(c) x(−y) = −xy. (g) O elemento inverso é único.

(d) (−x)(−y) = xy. (h) Se x, y 6= 0, então (xy)−1 = x−1 y −1 .

(12) Quais das condições abaixo são necessárias ou suficientes para n ∈ N ser múltiplo de 10?

(a) n é múltiplo de 5. (d) n é múltiplo de 20.

(b) n = 30. (e) n2 é múltiplo de 5.

(c) n é múltiplo de 25. (f) n é par e múltiplo de 5.

(13) Reescreva cada teorema abaixo usando, primeiramente, o termo condição necessária, e depois, o
termo condição suficiente:

(a) Se dois números inteiros terminarem em 6, então o mesmo ocorre com o seu produto.

(b) Se uma matriz quadrada possui duas colunas proporcionais, então seu determinante é nulo.

(c) Um polinômio de grau n possui exatamente n raı́zes complexas.

(14) Reescreva cada teorema abaixo na sua forma condicional “Se · · · então · · · ”

(a) Uma condição necessária para que um número seja divisı́vel por 6 é que ele seja divisı́vel,
simultaneamente, por 2 e 3.

(b) Uma condição suficiente para que um triângulo seja isósceles é que ele tenha dois ângulos
internos congruentes.

(15) Desafio: Verifique a validade do seguinte argumento: “Se o déficit público não diminuir, uma
condição necessária e suficiente para inflação cair é que os impostos sejam aumentados. Os im-
postos serão aumentados somente se o déficit público não diminuir. Se a inflação cair, os impostos
não serão aumentados. Portanto, os impostos não serão aumentados.”

(16) Considere a seguinte afirmação: “Todo número primo maior que 2 é ı́mpar.”

(a) Escreva a afirmação no formato P =⇒ Q;

(b) Prove a afirmação.

(17) Mostre que o quadrado de um número ı́mpar é da forma 8k + 1, com k ∈ Z.

(18) Desafio: Prove o seguinte resultado:

“Se 2x2 + x − 1 = 0, então x < 1.”

4

(19) Demonstre os seguintes resultados matemáticos:

(a) Se n ∈ {25, 100, 169}, então n é um quadrado perfeito e é a soma de dois quadrados perfeitos.

(b) Se n é um inteiro par tal que 4 ≤ n ≤ 12, então n é uma soma de dois números primos.

(c) A soma de dois inteiros pares é par.

(d) Se a, b ∈ Z são números ı́mpares, então a + b é par.

(e) O quadrado de um número inteiro par é divisı́vel por 4.

(f) Se x2 + y = 13 e y 6= 4, com x, y ∈ R, então x 6= 3.

(g) Se a 6= 0 e b ∈ R, então a equação ax + b = 0 possui uma única solução.

(h) Se 1 = 0 então 3 = 2.

(i) Dado a ∈ R, se a > 0 então a−1 > 0.

1 1 1
(j) A equação + = não possui raı́zes reais x e y positivas.
x y x+y
(k) Se α for um irracional, então α−1 é irracional.

(l) Se o produto de dois números inteiros não é divisı́vel por n ∈ Z, então nenhum dos inteiros
é divisı́vel por n.

(20) Sejam a, b e d números inteiros. Prove que:

(a) Se d for divisor de a e b, então d será divisor de a + b, a − b e ab.

(b) A recı́proca do item acima é falsa.

√
√ 1+ 5
(21) Prove que 5 é irracional. Em seguida, prove a irracionalidade do número de ouro φ = .
2
√ √ √
(22) Mostre que 6 ∈/ Q. Em seguida, prove que 2 + 3 ∈ / Q.

(23) Mostre que os números log10 (2) e log3 (10) são irracionais.
√ √
2 3−3 2
(24) Prove que o número é irracional.
2
(25) Mostre as seguintes propriedades de conjuntos:

(a) A ⊂ B ⇐⇒ B c ⊂ Ac . (c) A ⊂ B =⇒ A ∩ B c = ∅.

(b) A ⊂ B =⇒ P(A) ⊂ P(B). (d) Se A ⊂ C e B ⊂ C, então A ∪ B ⊂ C.

(26) Verdadeiro ou Falso? Se ab ∈ N, então a ∈ N é par ou b ∈ N é par.

 5

(27) Considerando a, b ∈ R, encontre os erros nas equivalências abaixo, justificando sua resposta:

(a) a = b ⇐⇒ |a| = |b|. (d) ab = 0 ⇐⇒ a = 0 e b = 0.

(b) a2 = b2 ⇐⇒ a = b. (e) a + b > 0 ⇐⇒ a, b > 0.

(c) a < b ⇐⇒ a2 < b2 . 1

(f) < 1 ⇐⇒ a − 2 > 1.
(a − 2)
p
(28) Prove que, se β > 0 for um número irracional, então β ∈ / Q.
p A recı́proca desse resultado é
n
verdadeira? O que podemos afirmar sobre a irracionalidade de β, sendo n ∈ N?

(29) Verdadeiro ou falso? Justifique!

(a) A soma de um número racional com um irracional pode ser racional.

(b) O produto de números racionais é racional.

(c) Para todos a ∈ Q e b ∈ R \ Q, tem-se que ab ∈ R \ Q.

1 1
(d) 3 < ⇐⇒ x < , para x 6= 0.
x 3
(e) ∅ ⊂ A, para qualquer conjunto A.

(f) Todo quadrado de 5 lados tem área igual a 2019.

(g) Um número natural positivo menor que 1 é divisı́vel por 9.

(30) Capicua ou número palı́ndromo é um número cujo reverso é ele próprio. Exemplos: 1221 e 987789.
Mostre que todo número capicua de quatro algarismos é divisı́vel por 11.