Matemtica 1 Anatolie Sochirca ACM DEETC ISEL

1


Clculo diferencial das funes reais de varivel real.

Funo implcita .

Noo de funo implcita .

Suponhamos que os valores de duas variveis x e y so ligados entre si por
uma equao qual, geralmente, pode ser dada na forma
0 ) , ( = y x F , (1)
passando todos termos para o lado esquerdo.
Geralmente qualquer valor de x pode corresponder pela equao 0 ) , ( = y x F
mais do que um valor de y ou qualquer valor de y pode corresponder pela equao
mais do que um valor de x .
Diz-se que a equao 0 ) , ( = y x F define y como funo de x (ou x como
funo de y ) se qualquer valor de x , num certo domnio I , corresponde pela
equao um e s um valor de y num domnio J (se a um valor de y , num certo
domnio
1
J , corresponde pela equao um e s um valor de x num domnio
1
I ) e
neste caso diz-se que a equao (1) define uma funo implcita ) (x f y = (ou
) ( y g x = ) e tem-se
0 )) ( , ( = x f x F (ou 0 ) ), ( ( = y y g F ).

Por exemplo a equao 0 1
2
2
2
2
= +
b
y
a
x
, que num sistema de coordenadas
cartesianas define um elipse, ao qualquer ponto [ ] a a x , faz corresponder dois
pontos [ ] b b y , ,
2 2
x a
a
b
y = e ao qualquer ponto [ ] b b y , faz
corresponder dois pontos [ ] a a x , ,
2 2
y b
b
a
x = .




Neste caso tem-se:
Matemtica 1 Anatolie Sochirca ACM DEETC ISEL

2
0 1
2
2
2 2
2
2
=
|

\
|

+
b
x a
a
b
a
x
e 0 1
2
2
2 2
2
2
=
|

\
|

+
b
x a
a
b
a
x
,

isto a equao no define implicitamente y como funo de x ;
0 1
2
2
2
2
2 2
= +
|

\
|

b
y
a
y b
b
a
e 0 1
2
2
2
2
2 2
= +
|

\
|

b
y
a
y b
b
a
,

isto a equao no define implicitamente x como funo de y .
No entanto, considerando uma restrio do conjunto dos valores da varivel y ,
por exemplo [ ] b y , 0 , obtemos que a equao
0 1
2
2
2
2
= +
b
y
a
x

define implicitamente y como funo de argumento x e a expresso analtica dela
2 2
) ( x a
a
b
x f y = = com [ ] a a D
f
, = e [ ] b CD
f
, 0 = ,
e considerando [ ] 0 , b y obtemos que a equao define implicitamente outra
funo
1
y de argumento x e a expresso analtica dela
2 2
1 1
) ( x a
a
b
x f y = = com [ ] a a D
f
,
1
= e [ ] 0 ,
1
b CD
f
= .





Analogamente, considerando uma restrio do conjunto dos valores da varivel
x , por exemplo [ ] a x , 0 , obtemos que a equao
0 1
2
2
2
2
= +
b
y
a
x

define implicitamente x como funo de argumento y e a expresso analtica dela
2 2
) ( y b
b
a
y g x = = com [ ] b b D
f
, = e [ ] a CD
f
, 0 = ,
e considerando [ ] 0 , a x obtemos que a equao define implicitamente outra
funo x de argumento y e a expresso analtica dela
2 2
1 1
) ( y b
b
a
y g x = = com [ ] b b D
g
,
1
= e [ ] 0 ,
1
a CD
g
= .

Matemtica 1 Anatolie Sochirca ACM DEETC ISEL

3


Neste caso conseguimos obter as expresses analticas das funes
(considerando restries sobre os valores das variveis e resolvendo a equao em
relao varivel y ou varivel x ). Geralmente no sempre possvel resolver a
equao em relao as variveis, por exemplo

0 2 = +
+
y x e
y x
, 0 2 ) 2 (
2 2
= +

y x y x sen
y
.

Definio 1. A funo ) (x f y = diz-se na forma implcita, se dada atravs da
equao 0 ) , ( = y x F no resolvida em relao varivel y . Resolvendo a equao
0 ) , ( = y x F em relao varivel y (caso possvel) obtm-se a funo na forma
explcita, ) (x f y = . A resoluo da equao em ordem a varivel y diz-se
explicitao da funo.

Por exemplo:

a) 0 4 3 2 = + x y funo na forma implcita e resolvendo em relao varivel y
obtemos a funo na forma explcita 2
2
3
= x y .
b) 0 2 = + x sen y x funo na forma implcita e resolvendo em relao varivel
y obtemos a funo na forma explcita
x
x sen
x
y
2 1
= .
c) 0 4
2 3
= + x y x funo na forma implcita e resolvendo em relao varivel
y obtemos a funo na forma explcita
3
2
4
x
x
y

= .
d) 0 4
2
= + y x x uma equao que define implicitamente a funo ) (x f y = e
resolvendo em relao varivel y obtemos a funo na forma explcita
x
x
y
2
4
= .
Mas a equao no define implicitamente funo x de varivel y . Resolvendo em
Matemtica 1 Anatolie Sochirca ACM DEETC ISEL

4
relao varivel x obtemos
2
16
2
+
=
y y
x , isto , qualquer valor de y
corresponde pela equao dois valores de x . No entanto considerando s o valor
positivo da raiz quadrada, 16
2
+ y , obtm-se uma funo
2
16
2
+ +
=
y y
x e
considerando s o valor negativo da raiz quadrada, 16
2
+ y , obtm-se tambm uma
funo
2
16
2
+
=
y y
x .
e) 0 2 = +
+
y x e
y x
. No podemos resolver analiticamente a equao em relao x
nem em relao y e portanto no podemos concluir se a equao define
implicitamente uma funo ) (x f y = ou ) ( y g x = .
Vamos dar uma interpretao geomtrica do problema de explicitao de uma
funo dada pela equao 0 ) , ( = y x F . Geralmente a equao 0 ) , ( = y x F determina no
plano uma linha, assim como a equao 0 1
2
2
2
2
= +
b
y
a
x
num sistema de coordenadas
cartesianas define um elipse. O problema de explicitao consiste em determinao da
possibilidade de representar a linha (ou uma parte dela) dada por 0 ) , ( = y x F atravs de
uma funo na forma explcita. Geometricamente isto significa que uma recta paralela
ao eixo y O intersecta a linha (ou uma parte dela) s num ponto.
Diz-se que numa vizinhana ) (c V

do ponto ) , (
0 0
y x c = pertencente linha a
equao 0 ) , ( = y x F define implicitamente uma funo ) (x f y = se R x V ) (
0
tal
que a equao 0 ) , ( = y x F , resolvida em relao varivel y , tem uma e s uma raiz,
isto , qualquer recta que passa por um ponto ) (
0
x V x

e paralela ao eixo y O
intersecta a linha s num ponto.


Na figura temos que:
na vizinhana ) (c V

do ponto ) , (
0 0
y x c = a equao define implicitamente uma
funo ) (x f y = porque R x V ) (
0
tal que qualquer recta que passa por um ponto
) (
0
x V x

e paralela ao eixo y O intersecta a linha s num ponto.
Matemtica 1 Anatolie Sochirca ACM DEETC ISEL

5
na vizinhana ) (a V

do ponto ) 0 , (a a = a equao no define implicitamente uma

funo ) (x f y = porque no R a V ) (

tal que qualquer recta que passa por um

ponto [ ] a a a V x , ) ( I

e paralela ao eixo y O intersecta a linha em dois pontos.

As condies de existncia da funo implcita ) (x f y = so dados no

Teorema 1.

Se
1) a equao 0 ) , ( = y x F determina uma linha continua numa vizinhana ) (c V

do
ponto ) , (
0 0
y x c = ;
2) no ponto ) , (
0 0
y x c = a equao transforma-se numa identidade, isto ,
0 ) , (
0 0
= y x F ;
3) existe uma vizinhana R x V ) (
0
correspondente ) (c V

, tal que para

qualquer

0
x constante de ) (
0
x V

a funo ) , ( ) (
0
y x F y

= montona;
ento
a) na vizinhana ) (c V

do ponto ) , (
0 0
y x c = a equao define implicitamente
uma funo ) (x f y = ;
b) para
0
x x = tem-se ) (
0 0
x f y = ;
c) a funo ) (x f y = continua em ) (
0
x V

.


Derivada da funo implcita .

Seja 0 ) , ( = y x F define implicitamente uma funo ) (x f y = numa vizinhana
) (c V

do ponto ) , (
0 0
y x c = .

Regra de clculo da derivada.
Para calcular a derivada ) (x f y = no ponto
0
x x = deriva-se ambas partes da
equao 0 ) , ( = y x F considerando que ) (x y uma funo composta, isto , y a
funo principal na funo composta e x a funo intermediria na funo composta.

Neste sentido tem-se:
a) ( ) ) ( 1 ) ( ) ( ) ( x y x y x x y x y = = =

;

b) se ) (x y a funo intermediria na funo composta )) ( ( x y g , ento
( ) ) ( )) ( ( )) ( ( x y x y g x y g =

.

Como resultado de derivao das ambas partes a equao 0 ) , ( = y x F
transforma-se noutra equao 0 ) , , (
1
= y y x F e substituindo nela
0
x x = e ) (
0 0
x f y =
facilmente conseguimos calcular ) (
0
x y .
Notamos que na pratica no necessrio levar a equao forma 0 ) , ( = y x F .

Matemtica 1 Anatolie Sochirca ACM DEETC ISEL

6
Exemplos.

1) Calcular primeira e segunda derivada da funo.
x
y
arctg y x n l = + ) (
2 2
em ) 0 , 1 ( ) , (
0 0
= y x .

Primeira derivada.

Derivamos ambas partes da equao.
( )

|

\
|
=

+
x
y
arctg y x n l ) (
2 2
.
Nas ambas partes temos para calcular derivadas das funes compostas:
A funo logaritmo natural (funo principal) composta com a funo
2 2
y x + (funo
intermediar) e a funo arcotangente (funo principal) composta com a funo
x
y

(funo intermediar). Na continuao temos:

( ) ( ) ( )

\
|
+
=
(

\
|

\
|
+
=

+
+
2 2
2 2
2 2 2
2 2
2 2
1
1 1
1
1 1
x
x y x y
x
y
y x
y x x
y
x
y
y x
y x
Como y funo (no varivel independente) temos:

[ ] y x y y y x
x
y x y
y x
x
y y x
y x
= +

+
= +
+
2 2 2 2
1
2 2 2
2
2 2
.
Resolvendo a ultima equao em relao a y obtemos
y x
y x
x d
y d
y

+
= =
2
2
.

(Notamos que a primeira derivada depende de x e y )

Portanto 2
0 2 1
0 1 2
2
2
) 1 ( ) (
0 0
0 0
1
0
0
=

+
=

+
= = =
=
y x
y x
x d
y d
y x y
x
.

Segunda derivada.

Levando em conta a definio da segunda derivada temos:

( )
( ) ( ) ( ) ( )
( )
=

+
=

|
|

\
|

+
=

=
2
2
2 2 2 2
2
2
y x
y x y x y x y x
y x
y x
y y

( ) ( ) ( ) ( )
( )
2
2
2 1 2 2 2
y x
y y x y x y

+ +
= .

(Notamos que a segunda derivada depende de x , y e y )
Matemtica 1 Anatolie Sochirca ACM DEETC ISEL

7

Portanto
( ) ( ) ( ) ( )
( )
=

+ +
= = =
=
2
1
0
2
2
0
2
2 1 2 2 2
) 1 ( ) (
y x
y y x y x y
x d
y d
y x y
x


( ) ( ) ( ) ( )
( )
10
0 2 1
2 2 1 0 1 2 0 2 1 2 2
2
=

+ +
= .



2) Calcular primeira derivada da funo

( ) 1
2
+ =
+
y x arcsen e
y n l x
em ) 1 , 0 ( ) , (
0 0
= y x .

Derivamos ambas partes da equao.

( ) ( ) ( )

+ =

+
1
2
y x arcsen e
y n l x
.

Nas ambas partes temos para calcular derivadas das funes compostas:
A funo exponencial (funo principal) composta com a funo y n l x +
2
(funo
intermediar) e a funo arcoseno (funo principal) composta com a funo y x
(funo intermediar). Na continuao temos:

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

+ =

+ +
1 1
2
2 2
y x arcsen y n l x e y x arcsen e
y n l x y n l x


( ) ( ) ( )
( )
( ) +

=
(

+
0
1
1
2
2
2
y x
y x
y n l x e
y n l x


Como y funo (no varivel independente) temos:

( ) ( )
2 2
2
2 2
2
1
1
2
1
1
2
y x
y x y
y
y
x e
y x
y x y x
y
y
x e
y n l x y n l x

+
=
(

+

+
=
(

+
+ +
.

Resolvendo a ultima equao em relao a y obtemos

y n l x
y n l x
e
y
y x
x
y x
y
e x
x d
y d
y
+
+




= =
2
2 2
2 2
2
1
1
1
2
.

(Notamos que a primeira derivada depende de x e y )

Matemtica 1 Anatolie Sochirca ACM DEETC ISEL

8
Portanto
e e
e
e
x d
y d
y x y
n l
n l
x
1 1
1
1
1 0 1
0
1 0 1
1
0 2
) 0 ( ) (
1
2
0
2 2
2 2
1
2
0
0
0
0
=

=




= = =
+
+
=
.


3) Considere que a equao

0 =

y os c x e
y x

define implicitamente define implicitamente uma funo ) (x f y = numa
vizinhana do ponto ) 0 , 1 ( ) , ( = y x .

3.1) Determine
1 = x
x d
y d
e
1
2
2
= x
x d
y d
, e mostre que 3
1
2
2
1
= +
= = x x
x d
y d
x d
y d
.

3.2) Determine a equao da recta tangente e a equao da recta normal ao
grfico da funo no ponto ) 0 , 1 ( ) , ( = y x

Resoluo.

3.1)
( ) ( ) ( ) ( ) =

=

0 0 0 y os c x e y os c x e y os c x e
y x y x y x


( ) ( ) ( ) ( ) =
(

+ + =
(

0 0 y os c x y os c y x y x e y os c x y os c x y x e
y x y x

( ) [ ] 0 = +

y sen y x y os c y x y e
y x
.

Substituindo 1 = x e 0 = y obtemos

( ) [ ] [ ] 1 0 0 1 1 0 0 1 0 1 0
0 0 1
= = = +

y y y e sen y os c y e .

Para calcular a segunda derivada derivamos ambas partes da equao

( ) [ ] 0 = +

y sen y x y os c y x y e
y x
.

( ) [ ] ( ) ( )

0 y sen y x y os c y x y e
y x


( ) ( ) ( ) =

0 y sen y x y os c y x y e
y x


( ) ( ) ( ) ( ) ( ) =

+ + +

0 y sen y x y os c y x y e y x y e
y x y x


Matemtica 1 Anatolie Sochirca ACM DEETC ISEL

9
( ) ( ) ( )
( ) =

+ +
+ +

\
|

+ + +

0
) (
y sen y x y sen y x
y sen y x y y sen y x y e y x y y x e
y x y x


( ) ( ) ( ) ( )
= + +
+ +

+ + + + + +

0 ) ( y osy c y x y sen y x
y sen y y y sen y x y x y e y x y y x y x e
y x y x


( ) ( )
( ) = + +
+ + + + +

0 ) (
2 2
2
2
osy c y x y sen y x
y sen y y x y e y x y e
y x y x


Substituindo 1 = x , 0 = y e 1 = y obtemos

( ) ( )
( ) = + +
+ + + + +

0 ) 0 ( 1 1 0 1
0 1 2 1 1 2 1 1 0
2
0 1 2 0 1
os c sen y
sen y e e


4 0 1 2 1 = = + + + y y .

Portanto 3 ) 4 ( 1
1
2
2
1
= + = +
= = x x
x d
y d
x d
y d
.


3.2)

Como ) ( ) ( ) (
0 0 0
x x x f x f y
an t
+ = e ) (
) (
1
) (
0
0
0
x x
x f
x f y
n

= so,
respectivamente, as equaes da recta tangente e da recta normal ao grfico da funo
no ponto ( ) ) ( ,
0 0
x f x obtemos:

1 ) 1 ( 1 0 ) ( ) ( ) (
0 0 0
= + = + = x x x x x f x f y
an t
.

1 ) 1 (
1
1
0 ) (
) (
1
) (
0
0
0
+ = =

= x x x x
x f
x f y
n
.