4.

Funciones Implícitas
Teorema de existencia y derivación de funciones definidas
2
implícitamente por una ecuación en R
Sean la ecuación F ( x, y )  k , k  R y un punto (a, b) tal que F (a, b)  k
Si se verifican las siguientes condiciones:

1. Fx ( x, y ) y Fy ( x, y ) existen y son continuas en un entorno del punto(a, b)

2. F y (a, b)  0

entonces:
La ecuación define a y como función implícita de x en un entorno de (a, b)
es decir, existe un intervalo I alrededor de a y una funcióng : I  R
llamémosla y  g (x) , tal que :
a) g ( a )  b y F ( x, g ( x))  k

b) La función g es derivable en el intervalo I y para todo x  I se verifica:

dy F ( x, y ) Fx ( x , y )
( x)   x o g ' ( x)  
dx F y ( x, y ) F y ( x, y )
Observaciones:
La función g no se da explícitamente, es decir, no conocemos su expresión
analítica. Sin embargo, se sabe que la función g es derivable en un intervalo y
cómo calcular su derivada en ese intervalo

El Teorema sólo da condiciones suficientes para la existencia de funciones

implícitas. La ecuación ( x  y ) 3  0 no verifica la segunda hipótesis del
teorema de la función implícita en el punto (0,0) y sin embargo la ecuación
define a y como función implícita de x, pues

( x  y) 3  0  x  y  0  y  x
Si Fx (a, b)  0 entonces se verifica que la ecuación define a x como
función implícita de y en un entorno de b.

Toda ecuación de dos variables se puede interpretar como una curva de nivel
de x3  y 2  3
una función de dos variables.
F ( x, y )Por
 xejemplo,
3
 y 2 . la ecuación es la
curva
de nivel 3 de la función
Teorema de existencia y derivación de funciones definidas
3
implícitamente por una ecuación en R
Sean la ecuación F ( x, y, z )  k , k  R y un punto (a, b, c) tal que F (a, b, c)  k

Si se verifican las siguientes condiciones:

( a , b, c )
1. F tiene derivadas parciales continuas en un entorno del punto
F z ( a , b, c )  0
2.
entonces:
La ecuación define a z como función implícita de x (ea, by ) en un entornoR 2
(a, b) ( z  g ( x, y ))
de es decir, existe un entorno
g : U U
R 2de
 R contenido en
y una función g definida en ese entorno tal que:
g ( a, b)  c y F ( x, y, g ( x, y ))  k
a)
b) La función g tiene derivadas parciales continuas en todo punto de dicho
entorno y las derivadas parciales son:

g F ( x, y , z ) g F y ( x, y , z )
( x, y )   x , ( x, y )  
x Fz ( x , y , z ) y Fz ( x , y , z )

Observaciones:
La función g no se da explícitamente, es decir, no conocemos su expresión
analítica.

El teorema sólo da condiciones suficientes para la existencia de funciones

implícitas.
Fy ( a , b , c )  0
Si entonces se verifica que la ecuación define a y como
función implícita de x y z en un entorno de (a, c).
Fx (a, b, c)  0
Si entonces se verifica que la ecuación define a x como
función implícita de y y z en un entorno de (b, c).