Você está na página 1de 4

MA11 N umeros e Fun coes Reais AV1 2014

Questao 1 [ 2,0 pt ]
Sejam A, B, C conjuntos. Prove que
(a) A(B C) = (AB) (AC).
(b) A(B C) = (AB) (AC).
As identidades acima sao versoes para tres conjuntos das leis de De Morgan, em homenagem ao matematico
Augustus De Morgan (1806-1871), um dos pais da logica matematica moderna.
Solu cao
(a) Inicialmente vamos mostrar que A(BC) (AB) (AC). De fato, se x A(BC), entao x A e x BC,
isto e, x A, x B e x C. Como x A e x B vemos que x A B. Analogamente, como x A e x C, vemos
que x AC. Logo x (AB) (AC).
Reciprocamente, vamos mostrar que (A B) (A C) A (B C). Se x (A B) (A C), entao x A B e
x AC, isto e, x A, x B e x C. Desta forma, x A e x B C, ou seja, x A(B C).
Como A(BC) (AB)(AC) e (AB)(AC) A(BC), conclumos que A(BC) = (AB)(AC).
(b) Inicialmente, vamos provar que A(B C) (AB) (AC). Se x A(B C), ent ao x A e x B C. Temos
ent ao tres possibilidades:
(i) x A, x B e x C;
(ii) x A, x B e x C;
(iii) x A, x B e x C.
No caso (i) temos x A C, no caso (ii) temos x A B e no caso (iii) temos x A B e x A C. Assim x
(AB)(AC). Observe que aqui temos o tpico caso de ou l ogico, que engloba o caso (iii), onde x (AC)(AB).
Reciprocamente, se x (AB) (AC), entao x AC ou x AB (onde, como dito acima, ou engloba o caso
x (AB) (AC)). Temos os seguintes casos a considerar:
(i) x AB e x AC;
(ii) x AC e x AB;
(iii) x AB e x AC.
No caso (i) temos x A, x B e x AC, o que implica x A, x B e x C, de onde segue que x A e x BC,
isto e, x A (B C). O caso (ii) e inteiramente an alogo. No caso (iii), temos x A B e x A C, de onde
x A, x B e x C, o que implica x A (B C). Logo (A B) (A C) A (B C), e portanto, os dois
conjuntos coincidem.
Questao 2 [ 2,0 pt ]
Prove que f : R (1, 1), f(x) =
x

1 +x
2
e uma bijecao.
Solu cao
(i) A fun c ao f e injetiva. Vamos mostrar que, se f(x
1
) = f(x
2
) ent ao x
1
= x
2
. Temos
f(x
1
) = f(x
2
)
x
1

1 +x
2
1
=
x
2

1 +x
2
2

x
2
1
1 +x
2
1
=
x
2
2
1 +x
2
2
x
2
1
+x
2
1
x
2
2
= x
2
2
+x
2
1
x
2
2
x
2
1
= x
2
2
.
Substituindo esse resultado no denominador da equa c ao
x
1

1 +x
2
1
=
x
2

1 +x
2
2
,
vemos que x
1
= x
2
. Logo f e injetiva.
(ii) A fun c ao f e sobrejetiva.
Dado y (1, 1), vamos encontrar x R tal que f(x) = y. Resolvendo a equac ao
x

1 +x
2
= y, temos
x

1 +x
2
= y
x
2
1 +x
2
= y
2
x
2
=
y
2
1 y
2
x =
y

1 y
2
,
pois a op c ao x =
y

1 y
2
pode ser descartada substituindo-a na equac ao
x

1 +x
2
= y. Logo f e sobrejetiva e,
portanto, e uma bije c ao.
Questao 3 [ 2,0 pt ]
Prove que log
10
2 nao e um n umero racional.
Solu cao
Suponhamos por absurdo que log
10
2 seja um n umero racional. Isto implica que existem p, q Z\{0}, primos entre si, tais que
log
10
2 =
p
q
.
Temos que
log
10
2 =
p
q
10
p/q
= 2 10
p
= 2
q
2
p
.5
p
= 2
q
5
p
= 2
qp
,
o que claramente um absurdo, visto que p, q = 0.
Observac ao: Podia-se notar tambem, a partir da identidade 10
p
= 2
q
, que 5 divide 10
p
mas n ao divide 2
q
, o que nos levaria
igualmente a uma contradic ao.
Questao 4 [ 2,0 pt ]
Apesar do grau Celsius (

C) ser a medida mais usada para a temperatura, alguns pases, como os Estados
Unidos, usam outra medida de temperatura, o grau Fahrenheit (

F). Sabendo que os pontos de fusao e ebulicao da


agua sao 0

C e 100

C, respectivamente, e 32

F e 212

F, respectivamente, determine uma funcao am que relaciona


as temperaturas medidas em graus Celsius e graus Fahrenheit.
Solu cao
Denotemos por T
F
a temperatura em graus Fahrenheit e por T
C
a temperatura em graus Celsius.
Temos
T
F
32
T
C
0
=
212 32
100 0

T
F
32
T
C
=
180
100
,
isto e,
T
F
= 1, 8T
C
+ 32, ou T
C
=
5
9
(T
F
32).
Questao 5 [ 2,0 pt ]
Considere o conjunto dos n umeros racionais diadicos D =

m
2
n
: m, n Z, n 0

.
(a) Prove que se a e b sao n umeros reais tais que a < b, entao existe d D tal que a < d < b.
(b) A partir do item (a) conclua que em qualquer intervalo (a, b) existem innitos n umeros racionais diadicos.
Solu cao
(a) Seja n N tal que 0 <
1
2
n
< b a. Logo 2
n
b 2
n
a > 1. Como 2
n
b e 2
n
a est ao a uma dist ancia maior que 1, segue que
existe m Z tal que 2
n
a < m < 2
n
b. Portanto a <
m
2
n
< b.
(b) Seja n
0
um n umero natural tal que 0 <
1
2
n
0
< ba. Usando o item (a), existe um n umero di adico
m
2
n
0
(a, b). Tomando
n > n
0
temos 0 <
1
2
n
<
1
2
n
0
< b a e desta forma, seguindo a constru c ao do item (a), para cada n > n
0
existe um
n umero di adico pertencente ao intervalo (a, b). Portanto, existem innitos n umeros di adicos no intervalo (a, b).