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 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
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
.