Comentrio sobre o Exemplo 13 da seo 2.1.

O autor questionou sobre quais as outras opes para A e B para que a terna
(A, B, x y) seja funo, sendo a regra x y dada implicitamente pela equao
xy 2 = x 1.
Certo.
O autor explicitou a regra, dada por
r
x1
y=
.
x
Verifica-se que no h outra opo para definio do domnio A, uma vez que se
consideram apenas funes de uma varivel real a valores reais.
J para o contradomnio, h outra opo, a saber:
B = {y R : y < 0} ;
o que determina a funo f : A B dada por
r
x1
f (x) =
.
x
Esta a nica outra opo.
Exerccio 44.
No sei se entendi direito o que o autor quis dizer, mas vou apresentar uma
prova de geometria analtica para esta questo.
Inicialmente, prova-se a implicao direta. A Figura 0.0.1 ilustra as duas retas
r e s.

Figura 0.0.1. Diagrama esquemtico ilustrativo das duas retas perpendiculares r e s.

Pode-se ento deduzir a implicao direta.
1

EXERCCIO 44.

Sendo ngulo externo do tringulo retngulo que contm , ento = + 2 .

Logo:


tan = tan +
2

sin + 2


mr =
cos + 2
sin cos 2 + sin 2 cos
=
cos cos 2 sin sin 2
0 + cos 2
=
0 sin
1
1
= sin = .
ms
cos
2

J a implicao reversa requer mais cuidado.

Eu optei por uma ttica um tanto diferente da usada pelos autores do livro
7 da coleo Fundamentos de Matemtica Elementar, porque achei que a deles
um tanto circular. Eu acho que esta aqui mais adequada por ser independente da
ttica usada na implicao direta. A Figura 0.0.2 ilustra a modelagem do problema.

Figura 0.0.2. Diagrama esquemtico ilustrando o modelo usado.

Seja (0, a) a interseo da reta r com o eixo das abscissas e (0, b) a interseo da
reta s. m o coeficiente angular de r e 1
da reta s. A interseo das duas retas
m
pode ser determinada pela soluo das duas equaes das duas retas, a saber


yr = m (xr a)
ys = (xsmb) .

+b
O resultado x = am
e y = (ab)m
.
m2 +1
m2 +1
Se o tringulo ABC retngulo, ento deve valer o Teorema de Pitgoras. Se
2
2
2
assim for, AB = AC + BC .
2
2
Como AB = |a b|, ento se AC + BC = (a b)2 , o tringulo retngulo, e
a implicao reversa confirmada.
Vejamos se isto funciona:

COMENTRIO SOBRE O EXEMPLO 4 DA SEO 2.2.


2 
2
am2 + b
am2 + b
2 (a b)2 m2
+ b 2
+ a 2
AC + BC =
m +1
m +1
(m2 + 1)2



2
2
2 2
2 (a b) m
b (m2 + 1) am2 + b
a (m2 + 1) am2 + b
=
+
+
m2 + 1
m2 + 1
(m2 + 1)2
2

(0.0.1)

2 (a b)2 m2 + [b (m2 + 1) am2 + b] + [a (m2 + 1) am2 + b]

=
(m2 + 1)2
= A + B + C,

sendo
A=
B=

2 (a b)2 m2
,
(m2 + 1)2

a2 m4 2abm4 + b2 m4
(m2 + 1)2

e
a2 2ab + b2
.
(m2 + 1)2
A soma expressa na Equao 0.0.1 resulta em
C=

a2 m4 2abm4 + b2 m4 + 2a2 m2 4abm2 + 2b2 m2 + a2 2ab + b2

(m2 + 1)2
(a2 2ab + b2 ) (m4 + 2m2 + 1)
=
(m2 + 1)2

A+B+C =

(a b)2 (m2 + 1)
=
(m2 + 1)2

= (a b)2 .
Que exatamente o resultado pretendido. Logo, o tringulo ABC retngulo, e
por conseguinte, as retas r e s so perpendiculares.
Comentrio sobre o Exemplo 4 da seo 2.2.
Foi solicitado provar que
sin2 x =

1 1
cos 2x.
2 2

bem simples.
Seno vejamos:
cos 2x = cos2 x sin2 x


cos 2x = 1 sin2 x sin2 x
cos 2x = 1 2 sin2 x
2 sin2 x = 1 cos 2x
1 1
sin2 x = cos 2x.
2 2

EXERCCIO 2.2 (H)

Comentrio sobre o Exemplo 5 da seo 2.2.

No item (b), foi solicitada a verificao de que sin 4 =
Ento, vejamos:

2
.
2

sin2 x + cos2 x = 1
 

sin2
= 1 cos2
4
4
v
u
!2
  u
2
sin
= t1
4
2
r
2
= 1
4
r
42
=
4
r

2
2
=
=
.
4
2

Com relao a interpretao grfica a qual o autor se referiu, creio que sua
inteno fosse a de que o leitor posicionasse tais pontos no ciclo trigonomtrico.
As verificaes que ele solicitou so fceis. Inicialmente, calcula-se sin 2 e cos 2
atravs das relaes iniciais do exemplo 4, e a seguir, aplica-se as relaes expressas
no exemplo 2.

Exerccio 2.2 (h)

Este exerccio realmente complicado.
Sem a ajuda do clculo, difcil conceber porque o grfico da funo x sin x1
conforme ilustrado na Figura 0.0.3. Eu tentei explicar na captao da figura.

EXERCCIOS DA SEO 2.3

0.8

0.6

0.4

0.2

-4

-2

-0.2

Figura 0.0.3. Grfico da funo x sin x1 . A medida que x tende a 0, a

funo sin x1 fica oscilando loucamente entre -1 e 1, e por isto, ficar
se comportando desta forma, mas modulada pela funo f (x) = x.
Conforme x vai aumentando, x1 vai tendendo a zero, e neste caso, a
funo sin x1 vai se aproximando do prprio valor x1 . Isto explicaria
porque ela tende a unidade com o aumento do valor de x. Com relao
a paridade, como as duas funes so mpares, o produto das duas
ser par, pois as duas sero positivas e negativas simultaneamente.

Exerccios da seo 2.3

Exerccio 3(a). fcil. Tanto que no quero fazer nunca mais.

sin 2x = 2 sin x cos x

x
x
sin x = 2 sin cos
2
2
=
=
=

2 sin x2 cos x2
cos2 x2
1
cos2 x2
2 tan x2
sec2 x2
2 tan x2
1 + tan2 x2

EXERCCIOS DA SEO 2.3

Exerccios da seo 2.3

Exerccio 3(b). fcil. Tanto que no quero fazer nunca mais.
cos 2x = cos2 x sin2 x
x
x
cos x = cos2 sin2
2
2
=

cos2 x2 sin2
cos2 x2
1
cos2 x2
sin2
cos2
sec2 x2

1
=

x
2

x
2
x
2

1 tan2 x2
=
.
1 + tan2 x2