ATIVIDADES EM SALA DE AULA

Matematica Basica
Humberto Jose Bortolossi
http://www.professores.uff.br/hjbortol/
01
Nome:

Elementos de Logica e Linguagem Matematica

Diga se cada uma das sentencas a seguir e verdadeira ou falsa. Apresente um contra-
exemplo caso ela seja falsa e uma demonstracao caso ela seja verdadeira.
[01] Se x R, entao x4 x.

[02] Se x e um numero irracional positivo, entao x e um numero irracional.
[03] Se a, b e c sao numeros reais tais que c a < c b, entao a < b.
[04] Se a e b sao numeros irracionais positivos, entao ab e um numero irracional. Dica:
2
estude 2 .

1
 Respostas dos Exerccios

[01] A sentenca e falsa. De fato: x = 1/2 e um contraexemplo, uma vez que

x = 1/2 e um numero real (satisfaz a hipotese), mas

x4 = (1/2)4 = 1/16 < 1/2 = (1/2) = x

(nao satisfaz a tese).

[02] A sentenca e verdadeira. De fato: suponha, por absurdo, que ela seja falsa.
Portanto, existe um numero real x tal que x e um numero irracional positivo

(satisfaz a hipotese) e x e um numero racional (nao satisfaz a tese). Mas, se

x e um numero racional, entao existem inteiros p Z e q Z {0} tais que
p
x= .
q
Sendo assim,  2
2 p p2
x = ( x) = = 2
q q
tambem e um numero racional como a divisao de p2 (um numero inteiro) por q 2
(um numero inteiro diferente de zero). Desta maneira, x e simultaneamente um
numero irracional e um numero racional, uma contradicao.
[03] A sentenca e falsa. Como contraexemplo, considere os numeros reais a = +1,
b = 1 e c = 1. Note que c a = 1 < +1 = c b (isto e, a, b e c satisfazem
a hipotese da sentenca), mas a = +1 > 1 = b (isto e, a, b e c nao satisfazem
a tese da sentenca).

[04] A sentenca e falsa. Se a = ( 2) 2 e um numero racional, entao
2 x = 2 e y = 2
constituemum contraexemplo
para sentenca. Se a = ( 2) e irracional, entao
2
x = a = ( 2) e y = 2 constituem um contraexemplo para a sentenca pois,
neste caso,
  2
xy = ( 2) 2 = ( 2) 2 2 = ( 2)2 = 2
e um numero racional.
2
Nota: pode-se demonstrar que, de fato, 2 e um numero irracional. Isto segue
do Teorema de Gelfond-Schneider cujo enunciado (adaptado par ao conjunto dos
numeros reais) e o seguinte:

se e sao numeros algebricos com 6= 0, 6= 1 e irracional, entao e

um numero transcendente.

2
Um numero real real e algebrico se ele e raiz de um polinomio nao nulo com
coeficientes inteiros. Um numero real e transcendente se ele nao e algebrico.
Como todos os numeros racionais sao algebricos, segue-se, em particular, sob
a hipotese do Teorema de Gelfond-Schneider,
que e irracional. O Teorema de
Gelfond-Schneider tambem nos da que 2 2 e um numero irracional.

Texto composto em LATEX2e, HJB, 06/09/2016.