Teorema de la función implı́cita

M. Sanchis

Institut de Matemàtiques i aplicacions de Castelló, UJI

Curso 2025–2026
Contenidos

Antecedentes

Teorema de la función implı́cita

Diferenciación implı́cita
Contenidos

Antecedentes

Teorema de la función implı́cita

Diferenciación implı́cita
Antecedentes
El teorema de la función implı́cita, junto con el teorema de la función
inversa, es uno de los más importantes y antiguos paradigmas que se han
dado en las matemáticas.
Antecedentes
El teorema de la función implı́cita, junto con el teorema de la función
inversa, es uno de los más importantes y antiguos paradigmas que se han
dado en las matemáticas. Se podrı́a decir que la semilla del teorema
apareció por primera vez entre los escritos de Newton (1642-1727), y en
los de Leibniz (1646-1716), quien llegó incluso a comentar la derivabilidad
implı́cita.
Antecedentes
El teorema de la función implı́cita, junto con el teorema de la función
inversa, es uno de los más importantes y antiguos paradigmas que se han
dado en las matemáticas. Se podrı́a decir que la semilla del teorema
apareció por primera vez entre los escritos de Newton (1642-1727), y en
los de Leibniz (1646-1716), quien llegó incluso a comentar la derivabilidad
implı́cita.
Fue Cauchy (1789-1857) el que con más detalle se centró en el teorema de
la función implı́cita. Debido a ello, es el matemático al que se le suele
atribuir el teorema.
Antecedentes
El teorema de la función implı́cita, junto con el teorema de la función
inversa, es uno de los más importantes y antiguos paradigmas que se han
dado en las matemáticas. Se podrı́a decir que la semilla del teorema
apareció por primera vez entre los escritos de Newton (1642-1727), y en
los de Leibniz (1646-1716), quien llegó incluso a comentar la derivabilidad
implı́cita.
Fue Cauchy (1789-1857) el que con más detalle se centró en el teorema de
la función implı́cita. Debido a ello, es el matemático al que se le suele
atribuir el teorema. Esto es gracias al matemático William Fogg Osgood,
el cual fue el que mencionó la Memoria de Turin, como la fuente del
teorema, definiendo ası́ a Cauchy como su creador.
Antecedentes
El teorema de la función implı́cita, junto con el teorema de la función
inversa, es uno de los más importantes y antiguos paradigmas que se han
dado en las matemáticas. Se podrı́a decir que la semilla del teorema
apareció por primera vez entre los escritos de Newton (1642-1727), y en
los de Leibniz (1646-1716), quien llegó incluso a comentar la derivabilidad
implı́cita.
Fue Cauchy (1789-1857) el que con más detalle se centró en el teorema de
la función implı́cita. Debido a ello, es el matemático al que se le suele
atribuir el teorema. Esto es gracias al matemático William Fogg Osgood,
el cual fue el que mencionó la Memoria de Turin, como la fuente del
teorema, definiendo ası́ a Cauchy como su creador.
El teorema fue evolucionando hasta llegar a convertirse en su versión
actual. Fue formalmente enunciado por primera vez en el contexto del
análisis complejo y de las series de potencias complejas.
Antecedentes
El teorema de la función implı́cita, junto con el teorema de la función
inversa, es uno de los más importantes y antiguos paradigmas que se han
dado en las matemáticas. Se podrı́a decir que la semilla del teorema
apareció por primera vez entre los escritos de Newton (1642-1727), y en
los de Leibniz (1646-1716), quien llegó incluso a comentar la derivabilidad
implı́cita.
Fue Cauchy (1789-1857) el que con más detalle se centró en el teorema de
la función implı́cita. Debido a ello, es el matemático al que se le suele
atribuir el teorema. Esto es gracias al matemático William Fogg Osgood,
el cual fue el que mencionó la Memoria de Turin, como la fuente del
teorema, definiendo ası́ a Cauchy como su creador.
El teorema fue evolucionando hasta llegar a convertirse en su versión
actual. Fue formalmente enunciado por primera vez en el contexto del
análisis complejo y de las series de potencias complejas. El trabajo de
Cauchy mencionado anteriormente estaba basado en resultados de análisis
complejo, ya que no fue hasta el siglo XIX, cuando se pudo apreciar por
primera vez diferencias importantes entre el análisis complejo y el real.
G. Leibniz

I. Newton

E. Cauchy
Contenidos

Antecedentes

Teorema de la función implı́cita

Diferenciación implı́cita
Supongamos que tenemos una función de dos variables z = F (x , y ) y
que estamos interesados en su curva de nivel para k = c ;
Supongamos que tenemos una función de dos variables z = F (x , y ) y
que estamos interesados en su curva de nivel para k = c ; es decir, las
soluciones de la ecuación F (x , y ) = c .
Supongamos que tenemos una función de dos variables z = F (x , y ) y
que estamos interesados en su curva de nivel para k = c ; es decir, las
soluciones de la ecuación F (x , y ) = c .

Por ejemplo, si F (x , y ) = x 2 + y 2 y c = 1 ,
Supongamos que tenemos una función de dos variables z = F (x , y ) y
que estamos interesados en su curva de nivel para k = c ; es decir, las
soluciones de la ecuación F (x , y ) = c .

Por ejemplo, si F (x , y ) = x 2 + y 2 y c = 1 , en este caso la curva de

nivel es la circunferencia de centro el origen y radio uno.
Supongamos que tenemos una función de dos variables z = F (x , y ) y
que estamos interesados en su curva de nivel para k = c ; es decir, las
soluciones de la ecuación F (x , y ) = c .

Por ejemplo, si F (x , y ) = x 2 + y 2 y c = 1 , en este caso la curva de

nivel es la circunferencia de centro el origen y radio uno. Serı́a interesante
escoger una valor de la x en la ecuación F (x , y ) = c que nos
determinara el valor de y ,
Supongamos que tenemos una función de dos variables z = F (x , y ) y
que estamos interesados en su curva de nivel para k = c ; es decir, las
soluciones de la ecuación F (x , y ) = c .

Por ejemplo, si F (x , y ) = x 2 + y 2 y c = 1 , en este caso la curva de

nivel es la circunferencia de centro el origen y radio uno. Serı́a interesante
escoger una valor de la x en la ecuación F (x , y ) = c que nos
determinara el valor de y ,es decir, si F (x , y ) = c , determinar y como
una función de x .
Supongamos que tenemos una función de dos variables z = F (x , y ) y
que estamos interesados en su curva de nivel para k = c ; es decir, las
soluciones de la ecuación F (x , y ) = c .

Por ejemplo, si F (x , y ) = x 2 + y 2 y c = 1 , en este caso la curva de

nivel es la circunferencia de centro el origen y radio uno. Serı́a interesante
escoger una valor de la x en la ecuación F (x , y ) = c que nos
determinara el valor de y ,es decir, si F (x , y ) = c , determinar y como
una función de x .
No obstante, sabemos que, en general, esto no es cierto. En este caso, la
circunferencia unidad, fijado un valor de x , tenemos dos posibilidades
parta el valor de y :
Supongamos que tenemos una función de dos variables z = F (x , y ) y
que estamos interesados en su curva de nivel para k = c ; es decir, las
soluciones de la ecuación F (x , y ) = c .

Por ejemplo, si F (x , y ) = x 2 + y 2 y c = 1 , en este caso la curva de

nivel es la circunferencia de centro el origen y radio uno. Serı́a interesante
escoger una valor de la x en la ecuación F (x , y ) = c que nos
determinara el valor de y ,es decir, si F (x , y ) = c , determinar y como
una función de x .
No obstante, sabemos que, en general, esto no es cierto. En este caso, la
circunferencia unidad, fijado un valor de x , tenemos dos posibilidades
√ √
parta el valor de y : 1 − x 2 y − 1 − x 2 .

Gráficamente, el problema radica en que x 2 + y 2 = 1 no verifica el test

de la recta vertical.
Algunas veces, aunque nuestra gráfica no verifique el test de la recta
vertical, si lo satisface localmente.
Algunas veces, aunque nuestra gráfica no verifique el test de la recta
vertical, si lo satisface localmente. Esto es, en algunos puntos de la
circunferencia, podemos escoger un entorno donde la curva satisface el
test de la recta vertical
Algunas veces, aunque nuestra gráfica no verifique el test de la recta
vertical, si lo satisface localmente. Esto es, en algunos puntos de la
circunferencia, podemos escoger un entorno donde la curva satisface el
test de la recta vertical y, por tanto, podemos determinar y en función
de x .
Algunas veces, aunque nuestra gráfica no verifique el test de la recta
vertical, si lo satisface localmente. Esto es, en algunos puntos de la
circunferencia, podemos escoger un entorno donde la curva satisface el
test de la recta vertical y, por tanto, podemos determinar y en función
de x . Fijémonos que los dos puntos en los que no podemos escoger un
entorno en esas circunstancias son (1, 0) y (−1, 0) :
Algunas veces, aunque nuestra gráfica no verifique el test de la recta
vertical, si lo satisface localmente. Esto es, en algunos puntos de la
circunferencia, podemos escoger un entorno donde la curva satisface el
test de la recta vertical y, por tanto, podemos determinar y en función
de x . Fijémonos que los dos puntos en los que no podemos escoger un
entorno en esas circunstancias son (1, 0) y (−1, 0) : son justamente los
puntos en los que no se puede aplicar el siguiente teorema.
Teorema de la función implı́cita

Teorema de la función implı́cita para R2

Sea F : R2 → R una función continuamente diferenciable y sea
𝜕F
(x0 , y0 ) ∈ R2 tal que F (x0 , y0 ) = c . Si (x0 , y0 ) ̸= 0 , entonces
𝜕y
existe un entorno de (x0 , y0 ) tal que, para x suficientemente próximo a
x0 , existe un único y tal que F (x , y ) = c de tal forma que define y
como una función de x .

 Notemos que el papel de la variable x y de la variable y pueden

intercambiarse en el teorema anterior.
Teorema de la función implı́cita

Teorema de la función implı́cita para R3

Sea F : R3 → R una función continuamente diferenciable y sea
𝜕F
(x0 , y0 , z0 ) ∈ R3 tal que F (x0 , y0 , z0 ) = c . Si (x0 , y0 , z0 ) ̸= 0 ,
𝜕z
entonces existe un entorno de (x0 , y0 , z0 ) tal que, para (x , y )
suficientemente próximo a (x0 , y0 ), existe un único z tal que
F (x , y , z) = c de tal forma que define z como una función de (x , y ) .

 Notemos que el papel de la variable z y de las variables x , y pueden

intercambiarse en el teorema anterior.
Contenidos

Antecedentes

Teorema de la función implı́cita

Diferenciación implı́cita
Diferenciación implı́cita

Coloquialmente, el significado del teorema de la función implı́cita nos dice

que para puntos adecuados de una superficie podemos verla localmente
com la gráfica de una función.
Diferenciación implı́cita

Coloquialmente, el significado del teorema de la función implı́cita nos dice

que para puntos adecuados de una superficie podemos verla localmente
com la gráfica de una función.
Un primer uso del teorema es la derivación implı́cita.
Diferenciación implı́cita

Coloquialmente, el significado del teorema de la función implı́cita nos dice

que para puntos adecuados de una superficie podemos verla localmente
com la gráfica de una función.
Un primer uso del teorema es la derivación implı́cita. Ya sabemos como
derivar implı́citamente cuando trabajamos con una ecuación de dos
variables (x , y ) : si consideramos y como función de x , usamos las reglas
usuales de derivación.
Diferenciación implı́cita

Coloquialmente, el significado del teorema de la función implı́cita nos dice

que para puntos adecuados de una superficie podemos verla localmente
com la gráfica de una función.
Un primer uso del teorema es la derivación implı́cita. Ya sabemos como
derivar implı́citamente cuando trabajamos con una ecuación de dos
variables (x , y ) : si consideramos y como función de x , usamos las reglas
usuales de derivación. Por ejemplo, si tenemos la ecuación

2xy − xy 3 + sen (2x − y ) = 0

obtenemos

2y + 2xy ′ − y 3 − 3xy 2 y ′ + (2 − y ′ ) cos (2x − y ) = 0.

Mediante la regla de la cadena, el problema de la derivación implı́cita lo
podemos abordar de una forma más general.
Mediante la regla de la cadena, el problema de la derivación implı́cita lo
podemos abordar de una forma más general. Diferenciando ambos lados
de la ecuación F (x , y ) = c mediante la regla de la cadena, obtenemos

𝜕F 𝜕F dy
·1+
𝜕x 𝜕y dx

dy
Despejando , se tiene
dx

dy 𝜕F /𝜕x
=−
dx 𝜕F /𝜕y

𝜕F
siempre que ̸= 0.
𝜕y
Podemos aplicar también la regla de la cadena en el caso de ecuaciones de
la forma F (x , y , z) = 0 y un punto (x0 , y0 , z0 ) .
Podemos aplicar también la regla de la cadena en el caso de ecuaciones de
la forma F (x , y , z) = 0 y un punto (x0 , y0 , z0 ) . Si podemos aplicar el
teorema de la función implı́cita y obtenemos una función z = z(x , y ) con
𝜕z 𝜕z
z0 = z(x0 , y0 ) , la regla de la cadena nos permite calcular y .
𝜕x 𝜕y

𝜕z 𝜕z
 Ejercicio En la situación anterior, calcula la expresión de y
𝜕x 𝜕y