CAPTULO 1

Exerccios 1.2
2.n) Como x2
3  0 para todo x, o sinal de x(x2
3) o mesmo que o de x; logo,
x(x2
3)  0 para x  0; x(x2
3)  0 para x  0; x(x2
3)  0 para x  0.
1
e,

1
tendo em vista a compatibilidade da relao de ordem com a multiplicao, obtm-se:

3. n) Como x2
1  0 para todo x, multiplicando-se os dois membros por

(2x  1)(x2
1) 0 2x  1 

x2

0
1
2x  1  0 x  .
1
x2
2

4.
 a3
x3
 x 3
ax 2
 ax 2
a 2 x
 a 2 x
a3
0

xa
x 2
ax
a 2

2
b
c
b
b2
b2
c
2
8. a) ax2
bx
c  a x
x
 a x
x
2  2
. Agora
a
a
a
a
4a
4a

2
2
2

b
c

b
b
b

.


s observar que x 2
x
2  x

e

4 a2
4 a2
a
a
4a
2a
14. Como x2
1  0 para todo x, multiplicando-se os dois membros por x2
1 e
lembrando da compatibilidade da relao de ordem com a multiplicao, tem-se:
5x
3
 5 5x
3  5(x2
1)
x2
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:

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

x2
x
1
 3 x2
x
1  3(x  2)
x2

16. Sendo  0 raiz de P(x) deveremos ter a0n
a1n  1
...
an  1
an  0.

an
.
Dividindo os dois membros por , resulta: a0n  1
a1n  2
...
an  1  

Como o primeiro membro dessa igualdade nmero inteiro, pois, por hiptese, , a0, a1, ...,
an
um nmero inteiro, logo,  divisor de an.
an  1 so inteiros, resulta que

17. a) Como os coeficientes do polinmio x3
2x2
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)  x3
2x2  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) (x2
x  2). Sendo 1 raiz
de P(x), mas no raiz de x
1, resulta que 1 raiz do quociente x2
x  2, logo, tal
quociente divisvel por x  1; efetuando-se a diviso obtm-se
x2
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. x3  1 divisvel por x  1, pois 1 raiz de x3  1; efetuando-se a
diviso, obtm-se x3  1  (x  1)(x2
x
1). Segue que a inequao equivalente a
(x  1)(x2
x
1)  0. Como x2
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 x3  y3 quaisquer que sejam x e
y (veja Exerccio 22), segue que x3 1  0 x3  13 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 x2  y2. 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) x2  y2  0 x2  y2.
22. J sabemos que x3  y3  (x  y)(x2
xy
y2). Temos, tambm, se x  0 e y  0
(ou x  0 e y  0), ento x2
xy
y2  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 x2
xy
y2  0, multiplicando-se os dois membros de x  y  0
por x2
xy
y2 e lembrando da compatibilidade da relao de ordem com a multiplicao,

resulta (x  y)(x2
xy
y2)  0 (x2
xy
y2), que equivalente a x3  y3  0, que

por sua vez equivalente a x3  y3. Portanto, admitindo x  0 e y  0, teremos
x  y x3  y3.
2. Caso. Neste segundo caso suporemos x  0 e y  0. Sendo x  0 e y  0 teremos,
tambm, x2
xy
y2  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, x3  0
e reciprocamente. Por outro lado, sendo y  0, teremos, tambm, y3  0 e
reciprocamente. Portanto, supondo x  0 e y  0, teremos, x  y x3  y3.
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  x2. Assim, se x  0, teremos x2  0. Supondo, agora, x  0
e lembrando, novamente, de (OM) teremos x
x  x
0 e, portanto, x2  0. Dessa
maneira fica provado que, para todo x real, tem-se x2  0.
d) Como 12  1
1  1 e 1 0 (M3), tendo em vista (c), resulta 1  0.
e) Para x 0, x
x1  1 (M4) e, portanto, teremos tambm x1 0. Assim, para
x 0, x1
x1  0. Supondo, agora, x  0 e multiplicando-se ambos os membros
da ltima desigualdade por x, obtemos x
(x1
x1)  x
0; pela (M1),
x
(x1
x1)  (x
x1)
x1, e lembrando que x
x1  1, resulta x1  0. Assim,
se x  0 teremos, tambm, x1  0. Supondo, agora, x1  0 teremos x 0 e, portanto,
x2  0; multiplicando-se os dois membros por x1 e lembrando de (OM), teremos
x1
x2  x1
0, ou seja, (x1
x)
x  0 e portanto, x  0. Fica provado assim que
x  0 equivalente a x1  0.
f) Supondo xy  0 vamos provar que x  0 ou y  0. Se x 0 teremos, tambm, x1 0;
multiplicando-se os dois membros de xy  0 por x1 vem x1
(xy)  x1
0 e da
(x1
x)
y  0; lembrando que x
x1  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) x2  y2 x2  y2  0 (x  y)(x
y)  0 x  y  0 ou x
y  0 x  y
ou x   y

h) x2  y2 (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, x2  y2 x  y.
Exerccios 1.3
3. j) Primeiro vamos estudar o sinal da expresso dentro do mdulo, no caso, 2x  1.
1
1
Temos: 2x  1  0 para x 
e 2x  1  0 para x  . Para resolver a equao,
2
2
vamos considerar dois casos.
1
1
1. Caso. Neste primeiro caso vamos resolver a inequao supondo x  . Para x  ,
2
2
teremos 2x  1 0 e, portanto, |2x  1| (2x  1)   2x
1. Neste caso, teremos:
1
|2x  1|  x  2x
1  x x  .
3
1
Como estamos supondo x  , segue que todo x satisfazendo a condio
2
1
1
 x  soluo da inequao.
3
2
1
1
2. Caso. Vamos agora resolver a inequao supondo x  . Para x  , 2x  1  0
2
2
e, portanto, |2x  1|  x 2x  1  x x  1.
1
1
 x1
Como estamos supondo x  , segue que todo x satisfazendo a condio
2
2
soluo da inequao.
Concluso: reunindo a soluo encontrada no 1. caso com a do 2. caso, temos
1
 x  1 que a soluo da inequao.
3
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

1
. Como estamos supondo  2  x  1, segue que todo x satisfazendo a
3
1
condio  2  x   soluo da inequao.
3
x

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.
1
Concluso: reunindo a soluo obtida no 1. caso com a do 2. caso resulta x 
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  r2 x2  r2 (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  x2
2xy
y2, [|x|
|y|]2  |x|2
2|x||y|
|y|2 ,
|x|2  x2, |y|2  y2 e 2|x||y|  2|xy|
resulta
|x
y|  |x|
|y| x2
2xy
y2  x2
2|xy|
y2 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.
z
2. Suponhamos x 0 racional e y irracional. Seja z  xy. De x 0 segue y  . Se z
x
z
for racional, o quociente
ser, tambm, racional, pois o quociente entre dois
x

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
a
a
6  . Podemos supor que a frao
seja irredutvel, pois, se no fosse, bastaria
b
b
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
a
a frao
irredutvel.) Inicialmente, observamos que 6  equivalente a
b
b
a2
6  2 que, por sua vez, equivalente a a2  6b2. Como 6b2 par, a2 no poder
b
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 a2  6b2, teremos (2m)2  6b2 e, portanto, 4m2  6b2 e, da,
2m2  3b2 que uma contradio, pois 2m2 par e 3b2 mpar. Logo, 6 um nmero
irracional.
b) Suponhamos que 2
3  x com x racional. Elevando os dois membros ao
quadrado, obtemos

2
3

 x 2 . Como

2
3

2
2 2 3
35
2 6

5
. Como estamos supondo x
2
racional, o segundo membro da ltima igualdade ser racional e, portanto, 6 ser
resulta 5
2 6  x 2 e, portanto,

6 

x2

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  3 2  5
3 2
5 e desenvolvendo o
cubo no segundo membro, obtemos
2

x 3  2  5
3 3 2  5 3 2
5
33 2  5 3 2
5
2
5
e da

x 3  4  33 2  5 3 2
5 3 2  5
3 2
5 .

Temos
3

)(

2  5 3 2
5  3 2  5 2
5  3 1   1 e x  3 2  5
3 2
5 .

Substituindo na equao acima, resulta x3  4   3x, ou seja, x3
3x  4  0.

Conclui-se, ento, que o nmero real x  3 2  5
3 2
5 raiz da equao
anterior. Por outro lado 1 , tambm, raiz. Dividindo x3
3x  4 por x  1, obtemos
x3
4x  4  (x  1)(x3
x
4).
Como x3
x
4 no admite raiz real, resulta que 1 a nica raiz real da equao
x3
3x  4  0. Como o nmero real x  3 2  5
3 2
5 raiz de tal
equao, resulta que este nmero tem que ser 1, ou seja, devemos ter
2  5
3 2
5  1. Concluso: o nmero x  3 2  5
3 2
5
racional e igual a 1.
3

8. O que queremos provar aqui que, sendo x  0 e y  0 dois nmeros reais, a mdia
x
y
geomtrica xy sempre menor ou igual mdia aritmtica
. O truque o
2
2
2
2
seguinte: (x  y)  0, da x  2xy
y  0. Somando aos dois membros 4xy,
resulta (x
y)2  4xy. Como estamos supondo x  0 e y  0, extraindo a raiz
x
y
quadrada dos dois membros, obtemos x
y  2 xy e, portanto, xy 
.
2