Antes de entrar en materia, hagamos unas observaciones y comentarios acerca del tema que

nos ocupa, que nos serviran de presentacion del mismo.

Dada una funcion (x, y, z) 7 f (x, y, z), real de varias variables suficientemente regular, nos
preguntamos si la ecuacion f (x, y, z) = 0 tendr a solucion para la variable z en funcion de las x e
y; es decir , si existira una funcion (x, y) 7 z = (x, y) tal que f (x, y, (x, y)) = 0, para todos los
x e y. Cuando as sea, se dira que la ecuacion f (x, y, z) = 0 define implcitamente a z = (x, y),
aunque esta definicion precise de algunas matizaciones.

Notese, en primer lugar, que el problema planteado puede no tener solucion, como ocurre, por
ejemplo, en la ecuacion x2 + y 2 + z 2 + 3 = 0, donde el primer miembro es mayor o igual que 3
(para cualesquiera x,y,z). Para evitar que ocurra lo anterior , tomaremos como punto de par-
tida que se verifica la igualdad f (x0 , y0 , z0 ) = 0, para un cierto punto (x0 , y0 , z0 ), y se buscara
la z = (x, y) para (x, y) en las proximidades de (x0 , y0 ) y de manera que sea z0 = (x0 , y0 ).
Es mas, interesaran aquellas z = (x, y) que sean regulares en el supuesto que lo es f . Si, por
2 2 2
p la ecuacion f (x, y, z) = 0 es ahora x + y + z 1 = 0, ella tiene por solucion a la
ejemplo,
z = 1 x2 y 2 , siempre que (x, y) sea un punto del crculo x2 + y 2 1. Si el punto de partida
1 1 1 p
es el (x0 , y0 , z0 ) = ( , ), la funcion implcita buscada sera la z = 1 x2 y 2 que cerca
3 3 3
de (x0 , y0 ) es de clase C ; notese, no obstante, que cerca de (x0 , y0 ) hay muchas soluciones como la

(
p 1 si x+y Q
z = s(x, y) 1 x2 y 2 , donde s(x, y) = ,
1 si x + y R\Q

si bien es verdad que ellas no son ni siquiera continuas en (x0 , y0 ). La situacion se complica si
se toma (x0 , y0 ) en la circunferencia x2 + y 2 = 1 , ya que entonces cerca de (x0 , yp 0 , z0 ) hay dos
soluciones (y no solo una) de la ecuacion x2 + y 2 + z 2 = 1, pues ahora las dos z = p1 x2 y 2 ,
conducen ambas , a puntos proximos al (x0 , y0 , 0); pero es mas, las soluciones z = 1 x2 y 2
no existen en todo un entorno de (x0 , y0 ), sino solo en la parte de el que esta dentro de la circunfer-
encia x2 + y 2 1. Todas estas dificultades se presentan debido a que, en este punto, (x0 , y0 , 0), el
plano tangente a la superficie f (x, y, z) = 0, esto es, el plano tangente a la esfera x2 + y 2 + z 2 = 1,
es paralelo al eje z, es decir, a causa de que fz0 (x0 , y0 , z0 ) = 0, por ello, cuando se estudian las
funciones implcitas, se parte de la hipotesis fz0 (x0 , y0 , z0 ) 6= 0. Si ademas de lo ya dicho, la funci
on f es diferenciable, se puede entonces asegurar que la funcion , definida implcitamente por la
ecuacion f (x, y, z) = 0, es diferenciable; si f fuese de clase C r , entonces sera tambien de clase C r .

Teorema 1 (de la funcion implcita caso de una sola variable)

Sea U Rp+1 un entorno de un punto (a1 , . . . , ap , b) Rp+1 ,los puntos de U se denotaran

poniendo (x; y) con x = (x1 , . . . , xp ) y en particular a = (a1 , . . . , ap ). Sea dada una funcion real
F : U R tal que F (a; b) = 0. Diremos que la ecuacion F (x; y) = 0 define implcitamente a y
como funcion continua de x, en torno de x = a e y = b, si existe un entorno Ua Rp de a y una
unica funcion continua f : Ua R, x 7 y = f (x) tales que

f (a) = b y F (x; f (x)) = 0 para todo x Ua

I. Existencia de la funcion implcita. Si F : U R, (x; y) 7 F (x; y) es una funcion

continua en el entorno U Rp+1 del punto (a; b), si es F (a; b) = 0 y F es estrictamente

1
 monotona respecto de y, entonces la ecuacion F (x; y) = 0 define implcitamente a una unica
funcion continua x 7 y = f (x) en torno de x = a e, y = b.
II. Diferenciabilidad de la funcion implcita. Si F : U R, (x; y) 7 F (x; y) es una
funcion continua en el entorno U Rp+1 del punto (a; b), si es F (a; b) = 0, si la derivada
parcial Fy0 existe y no es nula en U y si F es diferenciable en (a, b), entonces la ecuacion
F (x, y) = 0 define implcitamente a una unica funcion continua x 7 y = f (x) en torno de
x = a e, y = b; las derivadas parciales de f (para x) en un entorno de x=a valen:

f (x) F 0 (x ; f (x))
= x0i i = 1, . . . , p.
xi Fy (x ; f (x))

Ejemplo 1 La ecuacion F (x, y, z) = 0 donde F es la funcion real definida por

p
F (x, y, z) = xey+z + (z x) sin(y + 1) + 2xyz para (x, y, z) R R R+

define implcitamente a una unica funcion continua z(z, y) en un cierto entorno del punto (x, y) =
(2, 1) y tal que z(2, 1) = 1. As ocurre, en efecto: la funcion F esta definida y es diferen-
ciable en un entorno de (x, y, z) = (2, 1, 1), se verifica que F (2, 1, 1) = 0 y en un entorno
de (2, 1, 1), es no nula la derivada parcial Fz0 , puesto que

r
xy
Fz0 (x, y, z) = xey+z + sin(y + 1) + Fz0 (2, 1, 1) = 1 6= 0.
2z

Notese que Fz0 es continua en (2, 1) y que en este punto es no nula, de lo que se infiere que Fz0 es
no nula en un entorno de tal punto. Esto es, para la ecuacion F (x, y, z) = 0 se verifican las hipotesis
del teorema anterior, de lo que se infiere la existencia de la funcion diferenciable z = z(x, y) que
es solucion de la ecuacion, es decir tal que F (x, y, z(x, y)) = 0 en torno de (x, y) = (2, 1) y
z=1. Como las otras dos derivadas parciales de F (x, y, z) son:
r
yz
Fx0 (x, y, z) = ey+z sin(y + 1) + Fx0 (2, 1, 1) = 3/2
2x

r
xz
Fy0 (x, y, z) = xey+z + (z x) cos(y + 1) + Fy0 (2, 1, 1) = 2
2y

resulta que las derivadas parciales de z(x, y) en el punto (2, 1) son

Fx0 (2, 1, 1)) Fy0 (2, 1, 1))

zx0 (2, 1) = = 3/2 y zy0 (2, 1) = = 2.
Fz0 (2, 1, 1) Fz0 (2, 1, 1)

2
Para fijar ideas, comenzemos con unos comentarios sobre el problema que nos ocupa, tomando
como referencia un caso particular. Consideremos el siguiente sistema de dos ecuaciones

f (x, y, x, u, v) = 0
g(x, y, z, u, v) = 0
que liga las cinco variables x, y, z, u, v, donde f y g son funciones suficientemente regulares. Nos
preguntamos si, por satisfacerse estas dos ligaduras, las u y v son entonces variables dependientes
de las x,y, z (variables independientes). Si as ocurriese, diramos que el sistema de ecuaciones
define implcitamente a u y v como funciones de x, y y z. Salvo en casos sencillos, el problema
planteado no suele tener solucion de tipo global; hay que conformarse con soluciones locales, esto
es, en las que (x, y, z) se mueve en un entorno de un cierto punto (x0 , y0 , z0 ) y a partir de una
determinada solucion (x0 , y0 , z0 , u0 , v0 ) del sistema. En concreto, podemos resumir la situacion
diciendo que si f y g son funciones reales de clase C 1 en un entorno de un punto (x0 , y0 , z0 , u0 , v0 ),
si f y g se anulan en dicho punto y si, en el, el determinante jacobiano de f y g respecto de u y
v es no nulo, entonces existen dos funciones u = u(x, y, z) y v = v(x, y, z), que son de clase C 1 en
un cierto entorno de (x0 , y0 , z0 ), tales que

u0 = u(x0 , y0 , z0 )
v0 = v(x0 , y0 , z0 )
f (x, y, z, u(x, y, z), v(x, y, z)) = 0
g(x, y, z, u(x, y, z), v(x, y, z)) = 0
estas ultimas identidades lo son para todo (x, y, z) del referido entorno de (x0 , y0 , z0 ). Las ex-
presiones de las derivadas y de las diferenciales de u(x, y, z) y v(x, y, z) se obtienen derivando y
diferenciando en las identidades anteriores, siguiendo la regla de la cadena.

Teorema 2 (de la funcion implcita caso de un sistema de ecuaciones)

Sea U Rp+q un entorno de un punto (a1 , . . . , ap ; b1 , . . . , bq ) Rp+q , los puntos de U se de-
notaran poniendo (x; y) con x = (x1 , . . . , xp ) Rp e y = (y1 , . . . , yq ) Rq y en particular ,
a = (a1 , . . . , ap ) Rp y b = (b1 , . . . , bq ) Rq . Sea dada una funcion F : U Rq , (x; y) 7 F (x; y),
a cuyas funciones componentes las denotaremos por Fj : U R, para j = 1, . . . , q. Si F es de
clase C 1 , si F(a; b) = 0 y si el determinante de la matriz jacobiana de F respecto a y es no nulo
en (a; b) entonces la ecuacion F(a; b) = 0 define implicitamente a y como funcion de clase C 1 de
x en torno de x = a e y = b, esto es: existe una unica funcion f : Ua Rq , donde Ua Rp es
un cierto entorno de a, la cual es de clase C 1 en Ua , es tal que b = f(a) y satisface a la identidad
F(x; f(x)) = 0 para x Ua .
La derivada parcial f(x) xj y la diferencial df(x), de la funcion implcita x y = f (x) en un punto
x Ua , quedan definidas por las siguientes relaciones (las matrices con una t de superndice, que
significa transpuesta de, son matrices columna)

 t  t
F(x;y) f(x)
+ Jy F(x;y) = 0.
xj xj
t t
Jx F(x;y) [dx] + Jy F(x;y) [df (x)(dx)] = 0.

3
Ejemplo 2 Mostraremos que cerca del punto (x, y, u, v) = (1, 1, 1, 1) podemos resolver

xu yvu2 = 2
xu3 + y 2 v 4 = 2
de manera unica para u y v como funciones de x y y. Para ello formemos las ecuaciones

F1 (x, y, u, v) = xu yvu2 2 (1)

3 2 4
F2 (x, y, u, v) = xu + y v 22 (2)

y el determinante en (1,1,1,1)
F1 F1
u v x + 2yuv yu2 3 1
= = = 9 6= 0,
F2
u
F2
v
3u2 x 4y 2 v 3 3 4

por lo tanto por el teorema anterior es posible despejar del sistema (1)-(2) u y v como funcion de
x y y.