As derivadas parciais podem ser usadas para achar a derivada de funções definidas implicitamente. Suponhamos que uma equação
(ou
) defina implicitamente uma função
diferenciável tal que
, isto é,
, para todo
, onde
é o domínio de
. Introduzimos a seguinte função composta:
![]() |
em que
e
. Temos que
![]() |
Como
segue que
Além disso,
,
segue que
![]() |
se
então
![]() |
Teorema 14. Se uma equação
define implicitamente, uma função diferenciável
de uma variável
tal que
, então
![\[ \dfrac {dy}{dx}=\dfrac {-F_ x(x,y)}{F_ y(x,y)}. \]](images/img-0524.png)
Exemplo 38. Ache
se
é definida implicitamente por
![\[ y^4+3y-4x^3-5x-1=0. \]](images/img-0526.png)
Solução: Se
então
e
. Logo,
![]() |
Dada a equação
![]() |
podemos resolvê-la em relação a
, obtendo
![]() |
que é da forma
.
Teorema 15. Se uma equação
define implicitamente uma função diferenciável
de duas variáveis
e
tais que
para todo
então
![\[ \dfrac {\partial z}{\partial x}=-\dfrac {F_ x(x,y,z)}{F_ z(x,y,z)}, \quad \dfrac {\partial z}{\partial y}=-\dfrac {F_ y(x,y,z)}{F_ z(x,y,z)}. \]](images/img-0535.png)
Prova: A equação
define
implicitamente tal que
Consideremos
![]() |
onde
,
e
Então
![]() |
Mas
![]() |
(já que
) assim
![]() |
e se
então
![]() |
Exemplo 39. Ache
e
se
é definida implicitamente por
![\[ x^2 z^2+xy^2-z^3+4yz-5=0. \]](images/img-0548.png)
Solução: Seja
temos que
![]() |