Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas

Análisis Matemático III

Prof.: Lic. Ricardo Baloni.

Universidad Nacional de La Matanza

Análisis matemático III

 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

Funciones implícitas

▪ Teorema de La Función implícita.

▪ Fórmulas de las derivadas para una Función Implícita.
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

Funciones implícitas
Teorema de Existencia y Unicidad – Fórmulas de Derivación

Funciones implícitas de una variable

Teorema de la función implícita (TFI). Sea la función

𝐹: 𝐴 ⊆ ℝ2 → ℝ: 𝑤 = 𝐹(𝑥, 𝑦)

de clase 𝒞 1 en el conjunto abierto no vacío 𝐴 de ℝ2 . Sea 𝑃 = (𝑥0 , 𝑦0 ) ∈ 𝐴, un punto para

el cual se cumplen las condiciones

𝜕𝐹
𝐹(𝑥0 , 𝑦0 ) = 0 𝑦 (𝑥 , 𝑦 ) ≠ 0
𝜕𝑦 0 0

Entonces existe un entorno 𝐸1 de 𝑦0 , un entorno 𝐸2 de 𝑃´ = 𝑥0 , donde 𝐸2 × 𝐸1 ⊆ 𝐴, y

una única función

𝜑: 𝐸2 → 𝐸1 : 𝑦 = 𝜑(𝑥)

(la función implícita) de clase 𝒞 1 en 𝐸2 , que para cada 𝑥 ∈ 𝐸2 satisface 𝐹(𝑥, 𝜑(𝑥)) = 0
y además 𝑦0 = 𝜑(𝑥0 ), y cuya derivada en 𝑃´ = 𝑥0 está dadas por la fórmula

𝜕𝐹
𝑑𝜑 (𝑥0 , 𝑦0 )
𝜑´(𝑥0 ) = (𝑥0 ) = − 𝜕𝑥
𝑑𝑥 𝜕𝐹
(𝑥 , 𝑦 )
𝜕𝑦 0 0

Ejemplo 1. A partir de la ecuación

𝐹(𝑥, 𝑦) = sen(𝑥 − 1) + 𝑥𝑦 2 − 𝑥 = 0 (1)

y el punto 𝑃0 = (𝑥0 , 𝑦0 ) = (1, −1) es posible definir una función (la función implícita)

𝜑: 𝐸2 → 𝐸1 : 𝑦 = 𝜑(𝑥)

Donde 𝐸2 es un entorno de 𝑃´0 = 𝑥0 = 1, y 𝐸1 un entorno de 𝑦0 = −1.

Nótese que, efectivamente

𝐹(𝑃0 ) = 𝐹(1, −1) = 0

En efecto

𝐹(𝑃0 ) = 𝐹(1, −1) = sen(1 − 1) + 1 ∙ (−1)2 − 1 = 0

 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

Por otra parte, es claro que 𝐹 es de clase 𝒞 1 en todo 𝐴 = ℝ2 . Obsérvese pues que, sus derivadas
parciales

𝜕𝐹
(𝑥, 𝑦) = cos(𝑥 − 1) + 𝑦 2 − 1
𝜕𝑥
𝜕𝐹
(𝑥, 𝑦) = 2𝑥𝑦
𝜕𝑦

Son siempre continuas en ℝ2 . Además, se cumple también que

𝜕𝐹 𝜕𝐹
(𝑃0 ) = (1, −1) = 2 ∙ 1 ∙ (−1) = −2 ≠ 0
𝜕𝑦 𝜕𝑦

Entonces, en virtud del Teorema de La Función Implícita, es posible asegurar la existencia y unicidad
(junto con todas las propiedades que este resultado garantiza) de la función (la implícita)

𝜑: 𝐸2 → 𝐸1 : 𝑦 = 𝜑(𝑥)

Finalmente, la derivada de esta función en 𝑃´0 = 𝑥0 = 1

𝜕𝐹
𝑑𝜑 (𝑥0 , 𝑦0 ) cos(𝑥0 − 1) + 𝑦02 − 1
𝜑´(𝑥0 ) = (𝑥 ) = − 𝜕𝑥 =−
𝑑𝑥 0 𝜕𝐹
(𝑥0 , 𝑦0 ) 2𝑥0 𝑦0
𝜕𝑦

O sea

𝜕𝐹
𝑑𝜑 (1, −1)
𝜑´(1) = (1) = − 𝜕𝑥
𝑑𝑥 𝜕𝐹
(1, −1)
𝜕𝑦

Entonces, teniendo en cuenta que

𝜕𝐹 𝜕𝐹
(𝑥, 𝑦) = cos(𝑥 − 1) + 𝑦 2 − 1 → (1, −1) = 1
𝜕𝑥 𝜕𝑥
𝜕𝐹 𝜕𝐹
(𝑥, 𝑦) = 2𝑥𝑦 → (1, −1) = −2
𝜕𝑦 𝜕𝑦

En definitiva

𝜕𝐹
𝑑𝜑 (1, −1) 1
𝜑´(1) = (1) = − 𝜕𝑥 =−
𝑑𝑥 𝜕𝐹 −2
(1, −1)
𝜕𝑦

Es decir
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.
𝑑𝜑 1
𝜑´(1) = (1) =
𝑑𝑥 2

Que es en valor de la derivada de la función implícita 𝑦 = 𝜑(𝑥) en 𝑥0 = 1.

La gráfica de la función implícita 𝒚 = 𝝋(𝒙) es el sector de la curva 𝑪: 𝑭(𝒙, 𝒚) = 𝟎 que se encuentra en el interior del
rectángulo sombreado

Representación geométrica de la gráfica de la función implícita 𝒚 = 𝝋(𝒙) y su recta tangente en el punto 𝑷𝟎 =

(𝒙𝟎 , 𝒚𝟎 )
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

Nota adicional: En el TFI no se pone en discusión la posibilidad de obtener efectivamente la ecuación

explícita de la función 𝑦 = 𝜑(𝑥). En algunos casos, esta posibilidad es directamente inexistente. El
TFI ofrece las condiciones para las cuales esta función (la implícita 𝑦 = 𝜑(𝑥)) existe y es única. Es
decir que el TFI es un teorema de existencia y unicidad.

Sin embargo, en algunos casos, como el de este Ejemplo 1, es verdaderamente posible “despejar 𝑦
en términos de 𝑥”. Y esta posibilidad permite verificar los resultados que se obtuvieron al aplicar la
teoría de las funciones implícitas.

En efecto, se tiene

sen(𝑥 − 1) + 𝑥𝑦 2 − 𝑥 = 0

𝑥𝑦 2 = 𝑥 − sen(𝑥 − 1)

𝑥 − sen(𝑥 − 1)
𝑦2 = 𝑥≠0
𝑥

𝑥 − sen(𝑥 − 1)
√𝑦 2 = |𝑦| = √
𝑥

sen(𝑥 − 1)
|𝑦| = √1 −
𝑥

sen(𝑥 − 1)
|𝑦| = 𝑦 = √1 − , 𝑦>0
𝑥

sen(𝑥 − 1)
|𝑦| = −𝑦 = √1 − , 𝑦<0
𝑥

sen(𝑥 − 1)
𝑦 = −√ 1 − , 𝑦<0
𝑥

Esta es precisamente, la ecuación explícita correspondiente a la función 𝑦 = 𝜑(𝑥) que se definió

implícitamente en el Ejemplo 1. Es decir
1
sen(𝑥 − 1) 𝑥 − sen(𝑥 − 1) 𝑥 − sen(𝑥 − 1) 2
𝑦 = 𝜑(𝑥) = −√1 − = −√ = −( )
𝑥 𝑥 𝑥

Obsérvese que
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

sen(1 − 1)
𝑦0 = 𝜑(1) = −√1 − = −1
1

𝑦0 = 𝜑(1) = −1

Como ya se sabía.

Por otra parte, al derivar explícitamente a la función

1
𝑥 − sen(𝑥 − 1) 2
𝑦 = 𝜑(𝑥) = − ( )
𝑥

Se tiene
1
−1
1 𝑥 − sen(𝑥 − 1) 2 (1 − cos(𝑥 − 1))𝑥 − (𝑥 − sen(𝑥 − 1)) ∙ 1
𝑦´ = 𝜑´(𝑥) = − ( ) ( )
2 𝑥 𝑥2

1 1 𝑥 − 𝑥 cos(𝑥 − 1) − 𝑥 + sen(𝑥 − 1)
𝑦´ = 𝜑´(𝑥) = − ( )
2 𝑥 − sen(𝑥 − 1) 𝑥2
√
𝑥

1 1 −𝑥 cos(𝑥 − 1) + sen(𝑥 − 1)
𝑦´ = 𝜑´(𝑥) = − ( )
2 𝑥 − sen(𝑥 − 1) 𝑥2
√
𝑥

1 𝑥 cos(𝑥 − 1) − sen(𝑥 − 1) 1
𝑦´ = 𝜑´(𝑥) = ∙ ∙ 2
2 𝑥 − sen(𝑥 − 1) 𝑥
√
𝑥

Esto es

1 1 𝑥 cos(𝑥 − 1) − sen(𝑥 − 1) 𝑥 cos(𝑥 − 1) − sen(𝑥 − 1)

𝑦´ = 𝜑´(𝑥) = ∙ =
2 𝑥2 𝑥 − sen(𝑥 − 1) 𝑥 − sen(𝑥 − 1)
√ 2𝑥 2 ⋅ √
𝑥 𝑥

Y esta expresión para la derivada de la implícita 𝜑, es la que se obtiene al reemplazar

𝑥 − sen(𝑥 − 1)
𝑦 = 𝜑(𝑥) = −√
𝑥

En la fórmula para la derivada obtenida según el TFI, a saber

𝜕𝐹
𝑑𝜑 (𝑥, 𝑦) cos(𝑥 − 1) + 𝑦 2 − 1
𝜑´(𝑥) = (𝑥) = − 𝜕𝑥 =−
𝑑𝑥 𝜕𝐹 2𝑥𝑦
(𝑥, 𝑦)
𝜕𝑦
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

Por otra parte, se verifica el valor de esta derivada en 𝑥0 = 1, que se obtuvo anteriormente según
el TFI.

1 1 𝑥 ∙ cos(𝑥 − 1) − sen(𝑥 − 1)
𝑦´ = 𝜑´(𝑥) = ∙ ∙
2 𝑥2
√1 − sen(𝑥 − 1)
𝑥

1 1 1 1
𝑦´(1) = 𝜑´(1) = ∙ ∙ =
2 12 1 2
1
𝑦´(1) = 𝜑´(1) =
2

Comparación de las fórmulas para la derivada de la implícita

Fórmula obtenida según el TFI

cos(𝑥 − 1) + 𝑦 2 − 1
𝜑´(𝑥) = −
2𝑥𝑦

En la que se entiende que

𝑦 = 𝜑(𝑥)

O sea
2
cos(𝑥 − 1) + (𝜑(𝑥)) − 1
𝜑´(𝑥) = −
2𝑥𝜑(𝑥)

Pero en este caso, sabemos que

𝑥 − sen(𝑥 − 1)
𝜑(𝑥) = −√
𝑥

Reemplazando esta fórmula de 𝑦 = 𝜑(𝑥), queda

2
𝑥 − sen(𝑥 − 1)
cos(𝑥 − 1) + (−√ ) −1 𝑥 − sen(𝑥 − 1)
𝑥 1 cos(𝑥 − 1) − 1 + 𝑥
𝜑´(𝑥) = − =
𝑥 − sen(𝑥 − 1) 2𝑥
2𝑥 (−√ ) √𝑥 − sen(𝑥 − 1)
𝑥 𝑥

𝑥 − sen(𝑥 − 1)
1 (cos(𝑥 − 1) − 1 + 𝑥
)𝑥 1 𝑥 cos(𝑥 − 1) − 𝑥 + 𝑥 − sen(𝑥 − 1)
𝜑´(𝑥) = = 2
2𝑥 𝑥 2𝑥
√𝑥 − sen(𝑥 − 1) √𝑥 − sen(𝑥 − 1)
𝑥 𝑥
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

Esto quiere decir que la derivada de la función implícita 𝑦 = 𝜑(𝑥), es

1 1 𝑥 cos(𝑥 − 1) − sen(𝑥 − 1)
𝜑´(𝑥) = ∙
2 𝑥2
√𝑥 − sen(𝑥 − 1)
𝑥

Y esta expresión coincide exactamente con la fórmula de la derivada, obtenida a partir de derivar la
fórmula explícita de la función

𝑥 − sen(𝑥 − 1)
𝑦 = 𝜑(𝑥) = −√
𝑥

Funciones implícitas de dos variables

Teorema de la función implícita I (TFI-I). Sea la función

𝐹: 𝐴 ⊆ ℝ3 → ℝ: 𝑤 = 𝐹(𝑥, 𝑦, 𝑧)

de clase 𝒞 1 en el conjunto abierto no vacío 𝐴 de ℝ3 . Sea 𝑃 = (𝑥0 , 𝑦0 , 𝑧0 ) ∈ 𝐴, un punto

para el cual se cumplen las condiciones

𝜕𝐹
𝐹(𝑥0 , 𝑦0 , 𝑧0 ) = 0 𝑦 (𝑥 , 𝑦 , 𝑧 ) ≠ 0
𝜕𝑧 0 0 0

Entonces existe un entorno 𝐸1 de 𝑧0 , un entorno 𝐸2 de 𝑃´ = (𝑥0 , 𝑦0 ), donde 𝐸2 × 𝐸1 ⊆

𝐴, y una única función

𝜑: 𝐸2 → 𝐸1 : 𝑧 = 𝜑(𝑥, 𝑦)

(la función implícita) de clase 𝒞 1 en 𝐸2 , que para cada (𝑥, 𝑦) ∈ 𝐸2 satisface

𝐹(𝑥, 𝑦, 𝜑(𝑥, 𝑦)) = 0 y además 𝑧0 = 𝜑(𝑥0 , 𝑦0 ), cuyas derivadas parciales en 𝑃´ =
(𝑥0 , 𝑦0 ) están dadas por las fórmulas

𝜕𝐹 𝜕𝐹
𝜕𝜑 (𝑥0 , 𝑦0 , 𝑧0 ) 𝜕𝜑 (𝑥 , 𝑦 , 𝑧 )
𝜕𝑦 0 0 0
(𝑥0 , 𝑦0 ) = − 𝜕𝑥 𝑦 (𝑥 , 𝑦 ) = −
𝜕𝑥 𝜕𝐹
(𝑥 , 𝑦 , 𝑧 ) 𝜕𝑦 0 0 𝜕𝐹
(𝑥 , 𝑦 , 𝑧 )
𝜕𝑧 0 0 0 𝜕𝑧 0 0 0
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

Representación geométrica de los elementos mencionados en el Teorema de la Función Implícita I

La Función Implícita 𝒛 = 𝝋(𝒙, 𝒚) asocia a cada par (𝒙, 𝒚) ∈ 𝑬𝟐 un único valor de 𝒛𝟎 ∈ 𝑬𝟏

Ejemplo 2. (Fórmulas de las Derivadas Parciales de una Función Implícita)

Sea la función

𝐹: 𝐷𝑜𝑚 𝑓 ⊆ ℝ3 → ℝ: 𝑤 = 𝐹(𝑥, 𝑦, 𝑧)

Y supóngase que el conjunto de nivel 0 (nivel cero) de 𝑓 es la superficie

𝑆: 𝐹(𝑥, 𝑦, 𝑧) = 0
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

Supóngase además que esta superficie (en general solamente en un entorno de un punto dado) se
puede considerar como la gráfica de la función de dos variables

𝑧 = 𝜑(𝑥, 𝑦)

Esto quiere decir que las termas (𝑥, 𝑦, 𝑧) en la superficie 𝑆, verifican la ecuación

𝐹(𝑥, 𝑦, 𝑧) = 0

Y también la

𝑧 = 𝜑(𝑥, 𝑦)

Pues se trata de la misma superficie.

Entonces se cumple la relación

𝐹(𝑥, 𝑦, 𝑧) = 𝐹(𝑥, 𝑦, 𝜑(𝑥, 𝑦)) = 0

Y en tal situación se presenta la composición nula

𝐹(𝑥, 𝑦, 𝜑(𝑥, 𝑦)) = 0

Nótese que, en este caso, el esquema de dependencia correspondiente es

Esquema de dependencia para el esquema de la Función Implícita

Derivada parcial respecto de 𝒙

𝐹(𝑥, 𝑦, 𝜑(𝑥, 𝑦)) = 0

𝜕 (𝐹(𝑥, 𝑦, 𝜑(𝑥, 𝑦))) 𝜕𝐹 𝜕𝑥 𝜕𝐹 𝜕𝑦 𝜕𝐹 𝜕𝑧

= + + =0
𝜕𝑥 𝜕𝑥 𝜕𝑥 𝜕𝑦 𝜕𝑥 𝜕𝑧 𝜕𝑥

Dado que 𝑧 depende de las variables 𝑥 e 𝑦, según

𝑧 = 𝜑(𝑥, 𝑦)

Resulta que
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.
𝜕𝑧 𝜕𝜑
=
𝜕𝑥 𝜕𝑥

Y, por otra parte, teniendo en cuenta que

𝜕𝑥
=1
𝜕𝑥

Y que la derivada de 𝑦 respecto de 𝑥 es igual a cero, se tiene

𝜕𝑦
=0
𝜕𝑥

Reemplazando en

𝜕 (𝐹(𝑥, 𝑦, 𝜑(𝑥, 𝑦))) 𝜕𝐹 𝜕𝑥 𝜕𝐹 𝜕𝑦 𝜕𝐹 𝜕𝑧

= + + =0
𝜕𝑥 𝜕𝑥 𝜕𝑥 𝜕𝑦 𝜕𝑥 𝜕𝑧 𝜕𝑥

Queda

𝜕𝐹 𝜕𝐹 𝜕𝐹 𝜕𝜑
∙1+ ∙0+ =0
𝜕𝑥 𝜕𝑦 𝜕𝑧 𝜕𝑥

𝜕𝐹 𝜕𝐹 𝜕𝜑
+ =0 (𝐼)
𝜕𝑥 𝜕𝑧 𝜕𝑥
Si se cumple que

𝜕𝐹
≠0
𝜕𝑧

De (𝐼) se puede escribir

𝜕𝐹
𝜕𝜑
= − 𝜕𝑥
𝜕𝑥 𝜕𝐹
𝜕𝑧

Utilizando los símbolos de dependencia queda

𝜕𝐹
𝜕𝜑 (𝑥, 𝑦, 𝑧)
(𝑥, 𝑦) = − 𝜕𝑥
𝜕𝑥 𝜕𝐹
(𝑥, 𝑦, 𝑧)
𝜕𝑧

Y esta es la fórmula de la derivada parcial de la función implícita

𝑧 = 𝜑(𝑥, 𝑦)

definida (implícitamente) a partir de la ecuación

𝐹(𝑥, 𝑦, 𝑧) = 0
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

Derivada parcial respecto de 𝒚

𝐹(𝑥, 𝑦, 𝜑(𝑥, 𝑦)) = 0

𝜕 (𝐹(𝑥, 𝑦, 𝜑(𝑥, 𝑦))) 𝜕𝐹 𝜕𝑥 𝜕𝐹 𝜕𝑦 𝜕𝐹 𝜕𝑧

= + + =0
𝜕𝑦 𝜕𝑥 𝜕𝑦 𝜕𝑦 𝜕𝑦 𝜕𝑧 𝜕𝑦

Dado que 𝑧 depende de las variables 𝑥 e 𝑦, según

𝑧 = 𝜑(𝑥, 𝑦)

Se escribe

𝜕𝑧 𝜕𝜑
=
𝜕𝑦 𝜕𝑦

Por otra parte, teniendo en cuenta que

𝜕𝑦
=1
𝜕𝑦

Y que la derivada de 𝑥 respecto de 𝑦 es igual a cero, se tiene

𝜕𝑥
=0
𝜕𝑦

Reemplazando luego en

𝜕 (𝐹(𝑥, 𝑦, 𝜑(𝑥, 𝑦))) 𝜕𝐹 𝜕𝑥 𝜕𝐹 𝜕𝑦 𝜕𝐹 𝜕𝑧

= + + =0
𝜕𝑦 𝜕𝑥 𝜕𝑦 𝜕𝑦 𝜕𝑦 𝜕𝑧 𝜕𝑦

Queda

𝜕𝐹 𝜕𝐹 𝜕𝐹 𝜕𝜑
∙0+ ∙1+ =0
𝜕𝑥 𝜕𝑦 𝜕𝑧 𝜕𝑦

𝜕𝐹 𝜕𝐹 𝜕𝜑
+ =0 (𝐼𝐼)
𝜕𝑦 𝜕𝑧 𝜕𝑦

Si se cumple además que

𝜕𝐹
≠0
𝜕𝑧

De (𝐼) se puede obtiene

 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.
𝜕𝐹
𝜕𝜑 𝜕𝑦
=−
𝜕𝑦 𝜕𝐹
𝜕𝑧

Utilizando ahora los símbolos de dependencia, queda

𝜕𝐹
𝜕𝜑 (𝑥, 𝑦, 𝑧)
𝜕𝑦
(𝑥, 𝑦) = −
𝜕𝑦 𝜕𝐹
(𝑥, 𝑦, 𝑧)
𝜕𝑧

que es la fórmula de la derivada parcial de la función implícita

𝑧 = 𝜑(𝑥, 𝑦)

definida (implícitamente) a partir de la ecuación

𝐹(𝑥, 𝑦, 𝑧) = 0

Ejemplo 3. A partir de la ecuación

𝐹(𝑥, 𝑦, 𝑧) = 𝑧 ∙ 𝑒 2∙𝑥−𝑦 − 2 ∙ 𝑒 𝑦−𝑧 = 0 (1)

Y la terna 𝑃0 = (𝑥0 , 𝑦0 , 𝑧0 ) = (1,2,2) es posible definir una función (la función implícita)

𝜑: 𝐸2 → 𝐸1 : 𝑧 = 𝜑(𝑥, 𝑦)

Donde 𝐸2 es un entorno de 𝑃´0 = (𝑥0 , 𝑦0 ) = (1,2), y 𝐸1 un entorno de 𝑧0 = 2.

Nótese que la terna satisface la ecuación (1)

𝐹(𝑃0 ) = 𝐹(𝑥0 , 𝑦0 , 𝑧0 ) = 𝐹(1,2,2) = 2 ∙ 𝑒 2∙1−2 − 2 ∙ 𝑒 2−2 = 2 − 2 = 0

Y que, además, la función

𝐹: ℝ3 → ℝ: 𝑤 = 𝐹(𝑥, 𝑦, 𝑧) = 𝑧 ∙ 𝑒 2∙𝑥−𝑦 − 2 ∙ 𝑒 𝑦−𝑧

Es de clase 𝒞 1 en todo ℝ3 . Para esto, obsérvese que, efectivamente, las funciones derivadas
parciales

𝜕𝐹
(𝑥, 𝑦, 𝑧) = 2𝑧 ∙ 𝑒 2∙𝑥−𝑦
𝜕𝑥
𝜕𝐹
(𝑥, 𝑦, 𝑧) = −𝑧 ∙ 𝑒 2∙𝑥−𝑦 − 2 ∙ 𝑒 𝑦−𝑧
𝜕𝑦

𝜕𝐹
(𝑥, 𝑦, 𝑧) = 𝑒 2∙𝑥−𝑦 + 2 ∙ 𝑒 𝑦−𝑧
𝜕𝑧

Son continuas en todo punto de ℝ3 . Y, además, se cumple que

 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.
𝜕𝐹 𝜕𝐹
(𝑃0 ) = (𝑥 , 𝑦 , 𝑧 ) ≠ 0
𝜕𝑧 𝜕𝑧 0 0 0

En efecto

𝜕𝐹 𝜕𝐹 𝜕𝐹
(𝑃0 ) = (𝑥0 , 𝑦0 , 𝑧0 ) = (1,2,2) = 𝑒 2∙1−2 + 2 ∙ 𝑒 2−2 = 3 ≠ 0
𝜕𝑧 𝜕𝑧 𝜕𝑧

En estas condiciones, el Teorema de La Función Implícita asegura la existencia de la función implícita

𝜑: 𝐸2 → 𝐸1 : 𝑧 = 𝜑(𝑥, 𝑦)

de clase 𝒞 1 en el entorno 𝐸2 de 𝑃´0 = (𝑥0 , 𝑦0 ) = (1,2), cuyo codominio es el entorno 𝐸1 de 𝑧0 = 2.

Además, tal que 𝑧0 = 𝜑(𝑥0 , 𝑦0 ) = 𝜑(1,2) = 2.

Ejemplo 4. Sea la función

𝑧 = 𝜑(𝑥, 𝑦)

definida implícitamente por

𝐹(𝑥, 𝑦, 𝑧) = 𝑧 ∙ 𝑒 2∙𝑥−𝑦 − 2 ∙ 𝑒 𝑦−𝑧 = 0 (1)

Localmente según 𝑃0 = (𝑥0 , 𝑦0 , 𝑧0 ) = (1,2,2).

𝑖) Calcular sus derivadas parciales en el punto 𝑃´0 = (𝑥0 , 𝑦0 ), o sea

𝜕𝜑 𝜕𝜑 𝜕𝜑
(𝑃´0 ) = (𝑥0 , 𝑦0 ) = (1,2)
𝜕𝑥 𝜕𝑥 𝜕𝑥
𝜕𝜑 𝜕𝜑 𝜕𝜑
(𝑃´0 ) = (𝑥0 , 𝑦0 ) = (1,2)
𝜕𝑦 𝜕𝑦 𝜕𝑦

Por el TFI-I, se sabe que las derivadas de la función implícita 𝑧 = 𝜑(𝑥, 𝑦), en 𝑃´0 = (𝑥0 , 𝑦0 ) están
dadas por las fórmulas

𝜕𝐹 𝜕𝐹
𝜕𝜑 (𝑥0 , 𝑦0 , 𝑧0 ) 𝜕𝜑 (𝑥 , 𝑦 , 𝑧 )
𝜕𝑦 0 0 0
(𝑥0 , 𝑦0 ) = − 𝜕𝑥 (𝑥 , 𝑦 ) = −
𝜕𝑥 𝜕𝐹
(𝑥 , 𝑦 , 𝑧 ) 𝜕𝑦 0 0 𝜕𝐹
(𝑥 , 𝑦 , 𝑧 )
𝜕𝑧 0 0 0 𝜕𝑧 0 0 0

En este caso, se tiene

𝜕𝐹 𝜕𝐹
(𝑥, 𝑦, 𝑧) = 2𝑧 ∙ 𝑒 2∙𝑥−𝑦 → (1,2,2) = 4
𝜕𝑥 𝜕𝑥
𝜕𝐹 𝜕𝐹
(𝑥, 𝑦, 𝑧) = −𝑧 ∙ 𝑒 2∙𝑥−𝑦 − 2 ∙ 𝑒 𝑦−𝑧 → (1,2,2) = −4
𝜕𝑦 𝜕𝑦
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.
𝜕𝐹 𝜕𝐹
(𝑥, 𝑦, 𝑧) = 𝑒 2∙𝑥−𝑦 + 2 ∙ 𝑒 𝑦−𝑧 → (1,2,2) = 3
𝜕𝑧 𝜕𝑧

Entonces resulta

𝜕𝐹 𝜕𝐹
𝜕𝜑 (1,2,2) 4 𝜕𝜑 (1,2,2) −4
𝜕𝑦
(1,2) = − 𝜕𝑥 =− (1,2) = − =−
𝜕𝑥 𝜕𝐹 3 𝜕𝑦 𝜕𝐹 3
(1,2,2) (1,2,2)
𝜕𝑧 𝜕𝑧

Es decir

𝜕𝜑 4 𝜕𝜑 4
(1,2) = − (1,2) =
𝜕𝑥 3 𝜕𝑦 3

Que son los valores de las derivadas parciales de la función implícita 𝑧 = 𝜑(𝑥, 𝑦), en 𝑃´0 = (1,2).

𝑖) Calcular su derivada direccional en 𝑃´0 = (𝑥0 , 𝑦0 ) = (1,2), respecto de la dirección y sentido del
2 −1
vector unitario 𝑣⃗ = ( , ).
√5 √5

Dado que el TFI-I garantiza que la función

𝜑: 𝐸2 ⊂ ℝ2 → 𝐸1 : 𝑧 = 𝜑(𝑥, 𝑦)

Es de clase 𝒞 1 en el entorno 𝐸2 de 𝑃´0 = (𝑥0 , 𝑦0 ) = (1,2), entonces, en ese punto vale la Fórmula
del Gradiente para la Derivada Direccional

𝜕𝜑
(1,2) = ∇𝜑(1,2) • 𝑣⃗
𝜕𝑣⃗

En concreto

𝜕𝜑 𝜕𝜑 𝜕𝜑 2 −1
(1,2) = ∇𝜑(1,2) • 𝑣⃗ = ( (1,2), (1,2)) • ( , ) =
𝜕𝑣⃗ 𝜕𝑥 𝜕𝑦 √5 √5

𝜕𝜑 4 4 2 −1 4 2 4 1 −8 − 4 4
(1,2) = (− , ) • ( , ) = − ∙ − ∙ = =−
𝜕𝑣⃗ 3 3 √5 √5 3 √5 3 √5 3√5 √5

Es decir que la derivada direccional de la función implícita 𝑧 = 𝜑(𝑥, 𝑦), en el punto 𝑃´0 = (1,2) es

𝜕𝜑 4
(1,2) = −
𝜕𝑣⃗ √5
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

𝑖𝑖𝑖) Determinar la ecuación del plano tangente y de la recta normal a la gráfica de la función implícita
𝑧 = 𝜑(𝑥, 𝑦), en 𝑃0 = (1,2, 𝜑(1,2)) = (1,2,2).

Teniendo en cuenta que se trata de una superficie que coincide con la gráfica de la función

𝑧 = 𝜑(𝑥, 𝑦)

diferenciable en 𝑃´0 = (𝑥0 , 𝑦0 ) = (1,2), la ecuación del plano tangente es

𝜕𝜑 𝜕𝜑
𝜋: 𝑧 = 𝜑(𝑥0 , 𝑦0 ) + (𝑥0 , 𝑦0 ) ∙ (𝑥 − 𝑥0 ) + (𝑥 , 𝑦 ) ∙ (𝑦 − 𝑦0 )
𝜕𝑥 𝜕𝑦 0 0

Sabiendo entonces que

𝜕𝜑 4 𝜕𝜑 4
𝜑(1,2) = 2 (1,2) = − (1,2) =
𝜕𝑥 3 𝜕𝑦 3

Se tiene que, la ecuación del plano tangente a la gráfica de 𝑧 = 𝜑(𝑥, 𝑦), en 𝑃0 = (1,2, 𝜑(1,2)) =
(1,2,2), es

𝜕𝜑 𝜕𝜑
𝜋: 𝑧 = 𝜑(1,2) + (1,2) ∙ (𝑥 − 1) + (1,2) ∙ (𝑦 − 2)
𝜕𝑥 𝜕𝑦

4 4
𝜋: 𝑧 = 2 − ∙ (𝑥 − 1) + ∙ (𝑦 − 2)
3 3

𝜋: 4𝑥 − 4𝑦 + 3𝑧 = 2

Debe observarse que la ecuación del plano 𝜋 también se puede obtener según la formula del
gradiente

𝜋: ∇𝐹(𝑥0 , 𝑦0 , 𝑧0 ) • (𝑥 − 𝑥0 , 𝑦 − 𝑦0 , 𝑧 − 𝑧0 ) = 0

𝜕𝐹 𝜕𝐹 𝜕𝐹
𝜋: ( (𝑥0 , 𝑦0 , 𝑧0 ), (𝑥0 , 𝑦0 , 𝑧0 ), (𝑥 , 𝑦 , 𝑧 )) • (𝑥 − 𝑥0 , 𝑦 − 𝑦0 , 𝑧 − 𝑧0 ) = 0
𝜕𝑥 𝜕𝑦 𝜕𝑧 0 0 0

Ya que la gráfica de la función implícita es una parte de la superficie de nivel cero de 𝑤 = 𝐹(𝑥, 𝑦, 𝑧),
esto es

𝑆: 𝐹(𝑥, 𝑦, 𝑧) = 0

en las inmediaciones de 𝑃0 = (𝑥0 , 𝑦0 , 𝑧0 ).

Nótese además que

𝜕𝐹 𝜕𝐹 𝜕𝐹
∇𝐹(𝑥0 , 𝑦0 , 𝑧0 ) = ( (𝑥0 , 𝑦0 , 𝑧0 ), (𝑥0 , 𝑦0 , 𝑧0 ), (𝑥 , 𝑦 , 𝑧 )) =
𝜕𝑥 𝜕𝑦 𝜕𝑧 0 0 0
 Universidad Nacional de La Matanza - Departamento de Ingeniería e Investigaciones Tecnológicas
Análisis Matemático III
Prof.: Lic. Ricardo Baloni.

𝜕𝐹 𝜕𝐹
𝜕𝐹 (𝑥0 , 𝑦0 , 𝑧0 ) 𝜕𝑦 (𝑥0 , 𝑦0 , 𝑧0 )
=− (𝑥 , 𝑦 , 𝑧 ) ∙ (− 𝜕𝑥 ,− , −1) =
𝜕𝑧 0 0 0 𝜕𝐹
(𝑥0 , 𝑦0 , 𝑧0 )
𝜕𝐹
(𝑥0 , 𝑦0 , 𝑧0 )
𝜕𝑧 𝜕𝑧

𝜕𝐹 𝜕𝜑 𝜕𝜑 𝜕𝐹
=− (𝑥0 , 𝑦0 , 𝑧0 ) ∙ ( (𝑥0 , 𝑦0 ), (𝑥0 , 𝑦0 ), −1) = − (𝑥 , 𝑦 , 𝑧 ) ∙ 𝑁
𝜕𝑧 𝜕𝑥 𝜕𝑦 𝜕𝑧 0 0 0

Es decir que el gradiente

∇𝐹(𝑥0 , 𝑦0 , 𝑧0 )

𝜕𝜑 𝜕𝜑
𝑁=( (𝑥0 , 𝑦0 ), (𝑥 , 𝑦 ), −1)
𝜕𝑥 𝜕𝑦 0 0

Son vectores paralelos entre sí. Recuérdese que el vector 𝑁 es normal al plano tangente a la gráfica
de la función 𝑧 = 𝜑(𝑥, 𝑦), diferenciable en 𝑃´0 = (𝑥0 , 𝑦0 ).

Finalmente, la ecuación vectorial de la recta 𝑅 ⊥ , normal a la gráfica de la implícita 𝑧 = 𝜑(𝑥, 𝑦), en

el punto 𝑃0 = (1,2, 𝜑(1,2)) = (1,2,2), es

𝜕𝜑 𝜕𝜑
𝑅 ⊥ : 𝛼(𝑡) = (1,2, 𝜑(1,2)) + 𝑡 ∙ ( (1,2), (1,2), −1) , 𝑡∈ℝ
𝜕𝑥 𝜕𝑦

O sea

4 4
𝑅 ⊥ : 𝛼(𝑡) = (1,2,2) + 𝑡 ∙ (− , , −1) , 𝑡∈ℝ
3 3

4 4
𝑅 ⊥ : 𝛼(𝑡) = (1 − ∙ 𝑡, 2 + ∙ 𝑡, 2 − 𝑡) , 𝑡∈ℝ
3 3

En la Guía de trabajos prácticos encontrará la secuencia de ejercitación vinculada a los temas

desarrollados en este escrito en:

Trabajo práctico 4: Ejercicios 1 al 8

Para más información sobre los temas desarrollados, puede consultar:

Capítulo 5: Derivadas parciales.
del texto “Cálculo en Varias Variables” de Walter Mora F. que se encuentra disponible en la carpeta
de contenidos del módulo de Análisis Matemático III en la plataforma MIeL.