CAPTULO 1

Exerccios 1.2
2.n) Como x
2
3 0 para todo x, o sinal de x(x
2
3) o mesmo que o de x; logo,
x(x
2
3) 0 para x 0; x(x
2
3) 0 para x 0; x(x
2
3) 0 para x 0.
3. n) Como x
2
1 0 para todo x, multiplicando-se os dois membros por

1
1
2
x
e,
tendo em vista a compatibilidade da relao de ordem com a multiplicao, obtm-se:
(2x 1)(x
2
1) 0 2x 1

0
1
2
x
2x 1 0 x
1
2
.
4.

x a x a
x ax x ax a
ax a x
a x a
3 3
3 2 2 2
2 2
2 3
0




8. a) ax
2
bx c a
x
b
a
x
c
a
a x
b
a
x
b
a
b
a
c
a
2 2
2
2
2
2
4 4

.
Agora
s observar que

x
b
a
x
b
a
x
b
a
2
2
2
2
4 2

b
a
c
a a
2
2 2
4 4
.
14. Como x
2
1 0 para todo x, multiplicando-se os dois membros por x
2
1 e
lembrando da compatibilidade da relao de ordem com a multiplicao, tem-se:
5 3
1
2
x
x

5 5x 3 5(x
2
1)
15. Falsa. Para x 2, a afirmao ser verdadeira, pois, neste caso, teremos x 2 0 e
pela compatibilidade da relao de ordem com a multiplicao teremos:
x x
x
2
1
2

3 x
2
x 1 3(x 2)
Para x 2, teremos x 2 0, e da e pela compatibilidade mencionada anteriormente

x x
x
2
1
2

3 x
2
x 1 3(x 2)
2
16. Sendo 0 raiz de P(x) deveremos ter a
0

n
a
1

n 1
... a
n 1
a
n
0.
Dividindo os dois membros por , resulta: a
0

n 1
a
1

n 2
... a
n 1


a
n

.
Como o primeiro membro dessa igualdade nmero inteiro, pois, por hiptese, , a
0
, a
1
, ...,
a
n 1
so inteiros, resulta que

a
n

um nmero inteiro, logo, divisor de a

n
.
17. a) Como os coeficientes do polinmio x
3
2x
2
x 4 so nmeros inteiros, o
nmero inteiro ter chance de ser raiz da equao se for divisor do termo independente
4. Os divisores de 4 so: 1, 1, 2, 2, 4 e 4. Para verificar se algum destes nmeros
raiz, o nico jeito substitu-lo na equao. Por substituio na equao verifica-se, ento,
que 1 raiz e que os demais no so razes. Concluso: 1 a nica raiz inteira da equao.
18. Tendo em vista a sugesto, P(x) (x )Q(x) R, onde Q(x) um polinmio de
grau n 1 e R um nmero. Substituindo x por , resulta P() R. Se for raiz,
teremos P() 0 e, portanto, R 0, o que significa que P(x) divisvel por (x ).
Reciprocamente, se P(x) for divisvel por (x ), teremos R 0 e, portanto, P() 0,
ou seja, raiz de P(x).
19. a) Primeiro vamos verificar se P(x) x
3
2x
2
x 2 admite razes inteiras. Os
candidatos a razes inteiras so os divisores 1, 1, 2 e 2 do termo independente 2.
Substituindo em P(x), verifica-se que 1, 1, e 2 so razes. Segue que P(x) divisvel
por (x (1)) (x 1). Dividindo obtm-se P(x) (x 1) (x
2
x 2). Sendo 1 raiz
de P(x), mas no raiz de x 1, resulta que 1 raiz do quociente x
2
x 2, logo, tal
quociente divisvel por x 1; efetuando-se a diviso obtm-se
x
2
x 2 (x 1)(x 2). Segue P(x) (x 1)(x 1)(x 2) que a forma
fatorada do polinmio dado.
20. a) 1. Processo. x
3
1 divisvel por x 1, pois 1 raiz de x
3
1; efetuando-se a
diviso, obtm-se x
3
1 (x 1)(x
2
x 1). Segue que a inequao equivalente a
(x 1)(x
2
x 1) 0. Como x
2
x 1 0 para todo x, tal inequao equivalente
a x 1 0 e, portanto, equivalente a x 1 que a soluo da inequao.
2. Processo. Tendo em vista a equivalncia x y x
3
y
3
quaisquer que sejam x e
y (veja Exerccio 22), segue que x
3
1 0 x
3
1
3
x 1.
21. Falsa. Pois, 5 3 ( 5)
2

(3)
2
. Observao. verdadeira a seguinte
afirmao: quaisquer que sejam x 0 e y 0, tem-se x y x
2
y
2
. De fato, de x 0
e y 0 segue x y 0; pela compatibilidade da relao de ordem com a adio (veja
propriedade OA, no livro-texto, pgina 3), x y x y y y x y 0.
De x y 0 e pela compatibilidade da relao de ordem com a multiplicao (veja
propriedade OM, no livro-texto, pgina 3), tem-se
x y 0 (x y)(x y) 0 (x y) x
2
y
2
0 x
2
y
2
.
22. J sabemos que x
3
y
3
(x y)(x
2
xy y
2
). Temos, tambm, se x 0 e y 0
(ou x 0 e y 0), ento x
2
xy y
2
0. Faremos a prova considerando trs casos.
1. Caso. Neste primeiro caso, faremos a prova supondo x 0 e y 0. Temos:
x y x y 0. Como x
2
xy y
2
0, multiplicando-se os dois membros de x y 0
por x
2
xy y
2
e lembrando da compatibilidade da relao de ordem com a multiplicao,
3
resulta (x y)(x
2
xy y
2
) 0 (x
2
xy y
2
), que equivalente a x
3
y
3
0, que
por sua vez equivalente a x
3
y
3
. Portanto, admitindo x 0 e y 0, teremos
x y x
3
y
3
.
2. Caso. Neste segundo caso suporemos x 0 e y 0. Sendo x 0 e y 0 teremos,
tambm, x
2
xy y
2
0. Agora s repetir o raciocnio do 1. caso.
3. Caso. Neste 3. caso suporemos x 0 e y 0. Sendo x 0 teremos, tambm, x
3
0
e reciprocamente. Por outro lado, sendo y 0, teremos, tambm, y
3
0 e
reciprocamente. Portanto, supondo x 0 e y 0, teremos, x y x
3
y
3
.
23. a) Sabemos que 0 0 0 (A3). Da, x (0 0) x 0. Pela distributividade da
multiplicao em relao adio, x 0 x 0 x 0. Pela lei do cancelamento,
x 0 0. (Observe que a lei do cancelamento depende apenas da propriedade associativa
e da existncia de oposto. Veja Exemplo 2, livro-texto, pgina 5.)
b) x ( x) 0; [x ( x)] y 0 y. Pela propriedade distributiva e tendo em vista
(a), resulta xy ( x)y 0. Somando a ambos os membros o oposto de xy, obtemos
( x)y xy. De forma anloga, prova-se que x( y) xy. Vamos, agora, prova de
que ( x)( y) xy. Temos, [x ( x)][y ( y)] 0. Pela propriedade distributiva,
xy x( y) ( x)y ( x)( y) 0. De x( y) xy e ( x)y xy
e lembrando que xy ( xy) 0 resulta xy ( x)( y) 0. Somando xy aos dois
membros, obtemos ( x)( y) xy.
c) Seja x um real qualquer. Pela (O4), x 0 ou x 0. Supondo x 0 e somando o
oposto de x aos dois membros, resulta 0 x; pela (OM), 0 ( x) ( x)( x) e,
portanto, 0 x x, ou seja, 0 x
2
. Assim, se x 0, teremos x
2
0. Supondo, agora, x 0
e lembrando, novamente, de (OM) teremos x x x 0 e, portanto, x
2
0. Dessa
maneira fica provado que, para todo x real, tem-se x
2
0.
d) Como 1
2
1 1 1 e 1 0 (M3), tendo em vista (c), resulta 1 0.
e) Para x 0, x x
1
1 (M4) e, portanto, teremos tambm x
1
0. Assim, para
x 0, x
1
x
1
0. Supondo, agora, x 0 e multiplicando-se ambos os membros
da ltima desigualdade por x, obtemos x (x
1
x
1
) x 0; pela (M1),
x (x
1
x
1
) (x x
1
) x
1
, e lembrando que x x
1
1, resulta x
1
0. Assim,
se x 0 teremos, tambm, x
1
0. Supondo, agora, x
1
0 teremos x 0 e, portanto,
x
2
0; multiplicando-se os dois membros por x
1
e lembrando de (OM), teremos
x
1
x
2
x
1
0, ou seja, (x
1
x) x 0 e portanto, x 0. Fica provado assim que
x 0 equivalente a x
1
0.
f) Supondo xy 0 vamos provar que x 0 ou y 0. Se x 0 teremos, tambm, x
1
0;
multiplicando-se os dois membros de xy 0 por x
1
vem x
1
(xy) x
1
0 e da
(x
1
x) y 0; lembrando que x x
1
1, resulta y 0. Se tivermos y 0,
raciocinando de forma anloga, conclui-se que x 0. Fica provado ento que
xy 0 x 0 ou y 0. A recproca imediata.
g) x
2
y
2
x
2
y
2
0 (x y)(x y) 0 x y 0 ou x y 0 x y
ou x y
4
h) x
2
y
2
(x y)(x y) 0 x y 0 ou x y 0; da hiptese x 0 e y 0
segue que x y 0 s ocorrer se x 0 e y 0. Assim, se x 0 e
y 0, x
2
y
2
x y.
Exerccios 1.3
3. j) Primeiro vamos estudar o sinal da expresso dentro do mdulo, no caso, 2x 1.
Temos: 2x 1 0 para x
1
2
e 2x 1 0 para x
1
2
. Para resolver a equao,
vamos considerar dois casos.
1. Caso. Neste primeiro caso vamos resolver a inequao supondo x
1
2
. Para x
1
2
,
teremos 2x 1 0 e, portanto, |2x 1| (2x 1) 2x 1. Neste caso, teremos:
|2x 1| x 2x 1 x x
1
3
.
Como estamos supondo x
1
2
, segue que todo x satisfazendo a condio

1
3
1
2
x soluo da inequao.
2. Caso. Vamos agora resolver a inequao supondo x
1
2
. Para x
1
2
, 2x 1 0
e, portanto, |2x 1| x 2x 1 x x 1.
Como estamos supondo x
1
2
, segue que todo x satisfazendo a condio
1
2
x 1
soluo da inequao.
Concluso: reunindo a soluo encontrada no 1. caso com a do 2. caso, temos
1
3
x 1 que a soluo da inequao.
m) Primeiro vamos estudar os sinais das expresses dentro dos mdulos. Temos: x 1 0
para x 1 e x 1 0 para x 1 por outro lado, x 2 0 para x 2 e x 2 0
para x 2.
Para resolver a inequao vamos considerar trs casos.
1. Caso. x 2. Para x 2, temos x 1 0 e x 2 0. Segue que
|x 1| (x 1) x 1 e |x 2| (x 2) x 2.
Assim, a inequao |x 1| |x 2| x equivalente a x 1 ( x 2) x
que, por sua vez, equivalente a 3 x, ou seja, x 3. Como estamos supondo x 2,
segue que todo x satisfazendo a condio x 2 soluo da inequao.
2. Caso. 2 x 1. Para 2 x 1, temos x 2 0 e x 1 0. Segue que
|x 2| x 2 e |x 1| (x 1) x 1.
A inequao |x 1| |x 2| x ento equivalente a x 1 (x 2) x que,
por sua vez, equivalente a 2x 1 x. Resolvendo esta ltima inequao, obtemos
5

x
1
3
. Como estamos supondo 2 x 1, segue que todo x satisfazendo a
condio 2 x
1
3
soluo da inequao.
3. Caso. x 1. Para x 1, temos x 2 0 e x 1 0. Segue que a inequao dada
equivalente a x 1 (x 2) x que, por sua vez, equivalente a x 3. Como
estamos supondo x 1, segue que no existe x 1 que seja soluo da inequao.
Concluso: reunindo a soluo obtida no 1. caso com a do 2. caso resulta

x
1
3
que a soluo da inequao dada.
4. Queremos provar que para r 0, |x| r x r ou x r. De fato, sendo r 0,
temos:
|x| r |x|
2
r
2
x
2
r
2
(x r)(x r) 0 x r ou x r.
6. Queremos provar que |x y| |x| |y| xy 0. Para isso, um caminho procurar a
condio (ou condies) que x e y devem satisfazer para que se tenha |x y| |x| |y|.
Vamos ento procura de tal condio. Temos: |x y| |x| |y| |x y|
2
[|x| |y|]
2
.
Tendo em vista que
|x y|
2
(x y)
2
x
2
2xy y
2
, [|x| |y|]
2
|x|
2
2|x||y| |y|
2
,
|x|
2
x
2
, |y|
2
y
2
e 2|x||y| 2|xy|
resulta
|x y| |x| |y| x
2
2xy y
2
x
2
2|xy| y
2
xy |xy| xy 0.
(Observe que |xy| xy s poder ocorrer se xy 0.)
7. a) |x y| |x| |y| uma conseqncia da desigualdade triangular. De fato,
observando que |x| |x y y| e aplicando a desigualdade triangular ao segundo
membro, obtemos |x y y| |x y| |y|.
Temos, ento, |x| |x y| |y| e, portanto, |x y| |x| |y|.
b) Raciocinando de modo semelhante, temos |y| |y x x| |y x| |x|.
Lembrando que |y x| |x y|, resulta |x y| |y| |x|.
c) Observando que | |x| |y| | |x| |y| ou | |x| |y| | |y| |x| e tendo em vista (a) e
(b), resulta |x y| | |x| |y| |.
Exerccios 1.6
1. Suponhamos x racional e y irracional. Seja s x y. Se s for racional, ento
y s x ser racional, uma vez que a diferena entre dois racionais racional,
contra a hiptese de y ser irracional. Logo, a soma de um racional com um irracional
irracional.
2. Suponhamos x 0 racional e y irracional. Seja z xy. De x 0 segue

y
z
x
. Se z
for racional, o quociente
z
x
ser, tambm, racional, pois o quociente entre dois
6
racionais racional, contra a hiptese de y ser irracional. Logo, o produto de um
racional diferente de zero por um irracional irracional.
3. a) Vamos mostrar que no existem nmeros naturais a e b, com b 0, tal que

6
a
b
. Podemos supor que a frao
a
b
seja irredutvel, pois, se no fosse, bastaria
simplific-la. Isto significa que as possibilidades para a e b so: a par e b mpar, a
mpar e b par, a mpar e b mpar. Vamos mostrar que nenhuma dessas possibilidades
poder ocorrer. (Observe que o caso a par e b par foi excludo, pois estamos supondo
a frao
a
b
irredutvel.) Inicialmente, observamos que

6
a
b
equivalente a

6
2
2

a
b
que, por sua vez, equivalente a a
2
6b
2
. Como 6b
2

par, a
2
no poder
ser mpar, o que significa que a no poder ser mpar (lembre-se de que o quadrado de
um nmero mpar , tambm, mpar). Segue que os casos a mpar e b par, a mpar e b
mpar esto, tambm, excludos. Assim, o nico caso que deveremos analisar a par e
b mpar. Sendo a um nmero par, existir um natural m tal que a 2m. Substituindo este
valor de a em a
2
6b
2
, teremos (2m)
2
6b
2
e, portanto, 4m
2
6b
2
e, da,
2m
2
3b
2
que uma contradio, pois 2m
2
par e 3b
2
mpar. Logo, 6 um nmero
irracional.
b) Suponhamos que 2 3 x com x racional. Elevando os dois membros ao
quadrado, obtemos 2 3
2
2

( )
x . Como 2 3
2

( )
2 2 2 3 3 5 2 6
resulta

5 2 6
2
x e, portanto,

6
5
2
2

x
. Como estamos supondo x
racional, o segundo membro da ltima igualdade ser racional e, portanto, 6 ser
racional, que est em contradio com o fato de 6 ser irracional. Logo, a soma
2 3 no podendo ser racional; ser irracional.
4. O truque aqui procurar eliminar os radicais e analisar o que sobrar. Vamos l.
Elevando ao cubo os dois membros de

x 2 5 2 5
3 3
e desenvolvendo o
cubo no segundo membro, obtemos

x
3 3
2
3 3 3
2
2 5 3 2 5 2 5 3 2 5 2 5 2 5

e da

x
3 3 3 3 3
4 3 2 5 2 5 2 5 2 5

.
Temos

2 5 2 5 2 5 2 5 1 1 2 5 2 5
3 3
3
3 3 3

( )( )
e x .
7
Substituindo na equao acima, resulta x
3
4 3x, ou seja, x
3
3x 4 0.
Conclui-se, ento, que o nmero real

x 2 5 2 5
3 3
raiz da equao
anterior. Por outro lado 1 , tambm, raiz. Dividindo x
3
3x 4 por x 1, obtemos
x
3
4x 4 (x 1)(x
3
x 4).
Como x
3
x 4 no admite raiz real, resulta que 1 a nica raiz real da equao
x
3
3x 4 0. Como o nmero real

x 2 5 2 5
3 3
raiz de tal
equao, resulta que este nmero tem que ser 1, ou seja, devemos ter

2 5 2 5 1
3 3
.
Concluso: o nmero

x 2 5 2 5
3 3

racional e igual a 1.
8. O que queremos provar aqui que, sendo x 0 e y 0 dois nmeros reais, a mdia
geomtrica xy sempre menor ou igual mdia aritmtica

x y
2
. O truque o
seguinte: (x y)
2
0, da x
2
2xy y
2
0. Somando aos dois membros 4xy,
resulta (x y)
2
4xy. Como estamos supondo x 0 e y 0, extraindo a raiz
quadrada dos dois membros, obtemos

x y xy 2 e, portanto,

xy
x y

2
.