Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Funciones
Compuestas
e
Implícitas

Unidad 6

1
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Función compuesta. Revisión

En Análisis I se estudió que dadas f :AB y g: CD, donde B y C, tienen intersección no vacía, se
puede definir una sola función que a cada elemento de A le haga corresponder una imagen en D.
Es condición necesaria, para que esto suceda, que el conjunto imagen de f esté incluido en el dominio
de g (ImfDomg).
A esta única función se la llama función compuesta de f con g y se la anota g  f , cuyas imágenes son
g[f(x)].
Recordemos que la composición de funciones no es conmutativa.

Para derivar una función compuesta usamos la regla de la cadena :

siu(x) = g[f(x)] entonces u’(x) = g’[f(x)].f ’(x).

x1 1 2 2
Por ejemplo: u( x )  ln ; u ( x )    .
x 1 x  1 x  12 x 2  1
x 1
x1
Acá podemos visualizar la dependencia funcional u = ln v con v =
x 1

mediante el siguiente diagrama: u v  x

Generalización a campos
Análogamente a lo visto para funciones escalares, las funciones generalizadas sólo pueden componerse
si la imagen de la primera función que se aplica está incluida en el dominio de la segunda.
Supongamos el caso planteado en el punto de partida de este módulo, en que la temperatura de cada
punto (x, y, z) IR3 es T(x,y,z) = x2 + y2 + z2 . Si una partícula viaja por una hélice circular recta dada
por la función vectorial 𝑐̅(t)=(cos t sen t, t) entonces la función compuesta es una función escalar del
tiempo t, como se observa en el siguiente diagrama de árbol
x t
T y t
z t
O sea:𝑐̅: ℝ →IR ; T:IR → ℝ . Entonces , para todo t, se tiene h(t) = (𝑇𝑜𝑐̅)(𝑡) = 𝑇[𝑐̅(𝑡)]
3 3

En este ejemplo siempre 𝑐̅(𝑡) ⊆ 𝐷𝑇

Analicemos en qué casos es posible realizar una composición.

i. Función escalar-función escalar

f:A⊆ ℝ → ℝ, g:B⊆ ℝ → ℝ
- Si Im(f) B, existe gof:A⊆ ℝ → ℝ, que por lo tanto es una función escalar
- Si Im(g)A, existe fog:B⊆ ℝ → ℝ que también resulta una función escalar

2
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

ii. Función escalar- función vectorial

f:A⊆ ℝ → ℝ,𝑔: 𝐵 ⊆ ℝ → ℝ𝑛 con n  2

- Si Im(f) B, existe g of:A⊆ ℝ → ℝ𝑛 que es una función vectorial
 
- Como Im( g ) no está incluida en A, no existe fo g .

iii. Función escalar –campo escalar

f:A⊆ ℝ → ℝ , G: B⊆ ℝ𝑛 → ℝ con n2
- Im(f) no está incluida en B, entonces no existe Gof.
- Si Im(G) A, existe foG:B⊆ ℝ𝑛 → ℝ que resulta un campo escalar

iv. Función escalar- campo vectorial

f:A⊆ ℝ → ℝ ,𝐺̅ : 𝐵 ⊆ ℝ𝑛 → ℝ𝑚 con n  2 y m  2

- Im(f) no está incluida en B, con lo cual no existe G o f
 
- Im( G ) no está incluida en A, entonces no existe fo G

v. Función vectorial- función vectorial

𝑓 :̅ 𝐴 ⊆ ℝ → ℝ𝑛 , 𝑔̅ : 𝐵 ⊆ ℝ → ℝ𝑚 con n  2 y m  2
  
- Im( f ) no está incluida en B, por lo tanto no existe g o f .
 
- Im( g ) no está incluida en A, con lo cual no existe f o g .

Actividad
Decidir si se pueden realizar y bajo qué condiciones las composiciones entre los distintos campos y
funciones que faltan.

Derivación de funciones compuestas

Generalización de la regla de la cadena

Sean 𝐺̅ : 𝐴 ⊆ ℝ𝑛 → ℝ𝑚 y 𝐹̅ : 𝐵 ⊆ ℝ𝑚 → ℝ𝑝 (con n≥1, m≥1, p≥1) tales que Im𝐺̅ ⊆B. Si𝐺̅ diferenciable
en P 0 y 𝐹̅ diferenciable en 𝐺̅ (P0), entonces 𝐹̅ 𝑜𝐺̅ es diferenciable en P 0 y

𝐷(𝐹̅ 𝑜𝐺̅ )(𝑃0 ) = 𝐷𝐹̅ (𝐺̅(𝑃0 ) ). 𝐷𝐺(𝑃0 )

La demostración de la regla de la cadena puede encontrarse en el libro Cálculo Vectorial de Marsden-

Tromba.

Ejemplo 1

Dadas 𝑔̅ : IR2IR2 tal que𝑔̅ (x,y) = ( g1, g2 ) = (x2 +1; y2)𝑓 :̅ IR2 IR3 tal que
̅
𝑓 (u,v) ̅ en (1,1) .
= ( f1 , f2 , f3 ) = (u + v, u, v 2) se pide calcular la derivada de 𝑓 𝑜𝑔̅

̅ ) = 𝐷𝑓 ̅ . 𝐷𝑔̅ . Calcularemos cada una de estas matrices jacobianas

De acuerdo con lo visto 𝐷(𝑓 𝑜𝑔̅
independientemente.

3
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

𝜕𝑓1 𝜕𝑓1
𝜕𝑢 𝜕𝑣 𝜕𝑔1 𝜕𝑔1
𝜕𝑓2 𝜕𝑓2 1 1 𝜕𝑥 𝜕𝑦 2𝑥 0
𝐷𝑓 ̅ = = (1 0 ) 𝐷𝑔̅ = =( )
𝜕𝑢 𝜕𝑣 𝜕𝑔2 𝜕𝑔2 0 2𝑦
0 2𝑣
𝜕𝑓3 𝜕𝑓3
( 𝜕𝑥 𝜕𝑦 )
( 𝜕𝑢 𝜕𝑣 )
Estas matrices especializadas en el punto (x,y) = (1,1) y para el cual (u,v) = ( 2;1),serán:

1 1
̅ 2 0
𝐷𝑓 (2,1) = (1 0) 𝐷𝑔̅ (1,1) = ( )
0 2
0 2

 1 1  2 2
  2 0  
̅ )(1,1) = 𝐷𝑓(̅ 2,1). 𝐷𝑔̅ (1,1) =  1 0  
Finalmente𝐷(𝑓 𝑜𝑔̅  =  2 0 
 
0 2   0 2  0 4
   

Ejemplo 2:
Sean F:ℝ2 → ℝ/F(u,v)=u2+3v y𝐺̅ : ℝ2 → ℝ2 /𝐺̅ (x,y)=(3x+y,cosx) . Se quiere encontrar, si existe, la
ecuación del plano tangente al gráfico de H=Fo𝐺̅ en (0;1;z0).
Como Im(𝐺̅ ) ⊆ ℝ2 , es posible realizar la composición y el resultado es un campo escalar definido de
ℝ2 → ℝ. Como F y 𝐺̅ son funciones diferenciables en todo punto, entonces H=Fo𝐺̅ también lo es y por
lo tanto es posible encontrar una ecuación para el plano tangente a su gráfico.

Para determinar z0, debemos tener en cuenta que z0=H(0;1)= Fo𝐺̅ (0;1)=F(1;1)=4.
Como se puede considerar como vector normal al plano tangente a (H'x (0;1);H'y (0;1); - 1) , debemos
̅𝐻(0,1).
calcular∇

Por la regla de la cadena,

DH(0;1)= D(Fo𝐺̅ )(0;1)=DF(𝐺̅ (0,1))D𝐺̅ (0,1)=DF(1,1)D𝐺̅ (0,1)
3 1 3 1
DH(0;1)= (2u 3)(1;1) ( ) = (2 3)( )=(6 2)
−𝑠𝑒𝑛𝑥 0 (0,1) 0 0
Entonces∇ ̅𝐻(0,1)=(6,2) y la ecuación del plano tangente es:
((x,y,z)-(0,1,4)).(6,2,-1)=0

Red orientada

Es posible derivar utilizando una red orientada. Esta red puede armarse para cualquier composición de
funciones que pueda hacerse y facilita la visualización de la vinculación que existe entre las variables,
ya que muestra cuáles son las variables independientes de la composición, y a través de qué variables
intermedias se llega a ellas.

4
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

 
Ejemplo 3: Si𝐹̅ : ℝ2 → ℝ3 / 𝐹̅ (u;v) = ( u . sen v; u cosv; u) y G :ℝ2 → ℝ2 / G (x;y)= (x2-y2;y.sen x)
  
Podemos obtener H = F o G :ℝ2 → ℝ3 u x

En ese caso es: u = x2-y2 Entonces: H
v = y. sen x y
v
Para obtener la matriz derivada asociada a la composición debemos derivar en el orden que indica la

red, cada componente de F respecto de “x” y respecto de “y”, pasando por u y v.

 H i  Fi  u  Fi  v  H i  Fi  u  Fi  v
    y    
x u x v x y u y v y

Entonces:

 H1  H1
 sen v. 2 x  u.cos v. y cos x ;  sen v.( 2 y)  u.cos v. sen x
x y

 H2  H2
 cos v. 2 x  u.( sen v). y cos x ;  cos v.( 2 y)  u.( sen v). sen x
x y

 H3  H3
 12
. x  0. y cos x ;  1.(2 y)  0. sen x
x x

Y entonces se puede rearmar la matriz diferencial

 2 x.sen v  u. y.cos v.cos x 2 y sen v  u.cos v.sen x 
  
D[ H( x; y) ] =  2 x cos v  uy sen v.cos x 2 y cos v  u.sen v.sen x 

 2x 2 y 

Es decir: D[ H( x; y) ] =
 2 x.sen  y. sen x    x 2 -y 2  . y.cos  y. sen x  .cos x 2 y sen  y. sen x    x 2 -y 2  .cos  y. sen x  .sen x 

 2 x cos  y. sen x    x 2 -y 2  y sen  y. sen x  .cos x 2 y cos  y. sen x    x 2 -y 2  .sen  y. sen x  .sen x 

 2x 2 y 
 

Funciones definidas implícitamente

Una de las formas vistas (en Análisis I) de clasificar funciones escalares, consiste en dividirlas en dos
categorías: explícitas e implícitas. Llamamos explícitas a aquellas funciones en que la variable
considerada dependiente está explícitamente despejada, de tal forma que, al asignar valores a la variable
independiente es inmediato obtener su imagen y = f(x). En campos escalares, para dos variables

independientes es z = f(x, y); para n variables: z  f P siendo P  ( x1 , x2 , x3 ..... xn ) .
Por el contrario, llamamos implícitas a aquellas funciones o campos en los que no está explícitamente
dada una variable en función de las restantes. Esto no significa que no exista relación funcional entre
ellas, sino que la obtención de los pares ordenados o n-uplas que definen dicha función pueden ser un
problema que requiera métodos de cálculo numérico.

5
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Ejemplo 4
Consideremos la ecuación sen ( xy )  y 2 en la que no está despejada ninguna de las dos variables. Si
consideramos a y como variable dependiente, resulta imposible despejarla.

Sin embargo, si damos a x un valor, como por ejemplo x0= 2, resulta la ecuación trascendente
sen (2 y )  y 2 que tiene por soluciones y=0 e y= 0,966877 (verificarlo con un software adecuado).

Entonces los pares (2, 0.966877) y (2,0) pertenecen a dos relaciones funcionales generadas por la
misma ecuación sen (2 y )  y 2 que no puede explicitarse en y. Si elegimos convenientemente el
codominio, uno de estos pares de una relación funcional

Definición
Supongamos tener una ecuación F(x, y) = 0 que se satisface en P0(x0, y0 ) diremos que:

La ecuación F (x, y) = 0 define implícitamente y   (x) en un entorno de P0 si y sólo si

∀𝑥: 𝑥 ∈ 𝐸(𝑥0 ) ⟹ 𝐹(𝑥, 𝜑(𝑥)) = 0

Interpretación gráfica
Cuando decimos que F(x, y) =0 define implícitamente a y como función de x en el entorno de un punto
P0 (x0,y0), estamos admitiendo que existe una curva que pasa por P0 y que es representación gráfica de
esa función .
Podríamos pensar que existe un campo escalar z = F(x, y), cuya representación gráfica es una
superficie a la cual le estamos buscando la curva de nivel 0: F(x, y) =0 (cuando es z = 0).
Esta curva de nivel es la intersección de la superficie con el plano xy.
Admitamos entonces que, para que exista la curva mencionada, debe haber intersección entre la
superficie en cuestión y el plano x y.

¿Será siempre factible lo dicho anteriormente?

¿Cualquier F(x, y) =0 se puede representar como una curva que pasa por P0? O, lo que es equivalente:
¿Cualquier superficie z = F(x, y) tiene intersección con el plano xy?
Pensemos en las superficies z = x2 + y2 +1 o z = x2 + y2 o z = x2 + y2 –1
¿Cuáles son las intersecciones con el plano x y en cada caso? Buscarlas.
Notemos que no siempre estamos en presencia de una curva intersección.
Y más aún: en caso de existir la curva, no siempre va a ser posible explicitar la y en función de x
despejándola desde F(x, y) =0, como ya se afirmó antes.

Ejemplo 5
Sea e y  y 2  2 y  x 2  1  0 . No se puede despejar y en función de x de ninguna manera!! Pero, si
recurrimos al concepto de curva de nivel, gráficamente se puede apreciar la existencia de la misma.

6
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

3 3

2 2

0 3 1 1

-2 2

-1 1 0
0 -1 1 2 3
0
1
2 -2
-1 -1 0 -1
2
3 -1 0 1 2 3

Campo intersectado
con el plano xy Visto desde el eje z
Curva

Puede verse que la curva de nivel corresponde al gráfico de, por lo menos, dos funciones de x.

Los interrogantes anteriores nos llevan a pensar en que deberían verse satisfechas ciertas condiciones
para que y = (x) sea una función. Estas condiciones se encuentran en el llamado “Teorema de
existencia y derivabilidad para una función definida en forma implícita”

“Teorema de existencia y derivabilidad para una función definida en

forma implícita” (Teorema de Cauchy-Dini)
  
Consideremos F ( X ) = 0con X ∈ ℝ𝑛 con n  2, siendo X =( x1;x2;....;xn-1; z)
Si se cumple que:

a) 𝑋
̅̅̅0 = (𝑥10 ; 𝑥20 ; … , 𝑥𝑛−1
0
, 𝑧 0 ) ∈ ℝ𝑛 / F( X 0 ) =0

b) F es continua en un entorno de X0
 
c) Existen y son continuas en unE( X0 ) las derivadas parciales de F en X0
F
0
 z  X
d)
0

Entonces: 
i) Existe un entorno E( X0 ´)  ℝ𝑛−1con,existe un entorno E(yo)  ℝ y existe una única función

 : E( X0 ´)  E(z0) tal que:
  
( X0 ´) =z0 y F (x1; x 2 ;...; x n 1; ( X0 ´))=0 ,( x1;x2;....;xn -1 )  E( X0 ´)
 𝐹𝑥 (𝑋
̅ )
ii)  es continua y diferenciable en X0 ' , siendo 𝜑´𝑥𝑖 (𝑋̅0 ´) = 𝑧´𝑥𝑖 (𝑋̅0 ´) = − 𝐹 𝑖 0
̅ 0)
𝑧(𝑋

Veamos un caso particular del teorema de Cauchy – Dini, que es con el que más se trabaja.

7
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Teorema: Consideremos F(x;y;z) = 0

Si se cumple que:
a) 𝑃̅0 =(x0;y0;z0) /F(𝑃̅0 )=0
b) F es continua en un entorno de 𝑃̅0
c) Existen y son continuas en un E(𝑃̅0 ) las derivadas parciales de F
F 
0
z  
d)
oP

Entonces:

i) Existe un entorno E(xo;yo)  ℝ2 ;existe un entorno E(zo) ℝy existe una única función
 : E(xo;yo)  E(z o) tal que: (xo;yo) = zo y F(x;y;(x;y))=0 (x;y)  E(xo;yo).

ii)  es continua y tiene derivadas parciales en (xo;yo), siendo

𝐹𝑥 (𝑃̅0 ) 𝐹𝑦 (𝑃̅0 )
𝜑´𝑥 (𝑥0 , 𝑦0 ) = 𝑧´𝑥 (𝑥0 , 𝑦0 ) = − 𝜑´𝑦 (𝑥0 , 𝑦0 ) = 𝑧´𝑦 (𝑥0 , 𝑦0 ) = −
𝐹𝑧(𝑃̅0 ) 𝐹𝑧(𝑃̅0 )

Deducción del cálculo de las derivadas

Supondremos válida la existencia y la continuidad y sólo demostraremos las fórmulas de derivación
para el caso particular que más utilizaremos:

Es decir suponemos que F(x,y,z) = 0 define z =  ( x; y ) diferenciable /

F (x,y, 𝜑(𝑥, 𝑦))=0 (x,y) E(x0,y0,z0)

Sea H (x,y)=F (x,y, 𝜑(𝑥, 𝑦)). Como F es continua con derivadas parciales continuas en un entorno de
P0 , H es diferenciable y entonces sus derivadas parciales valen 0 en porque F (x,y,z) = 0

Resulta, por la regla de la cadena, 𝐻 ′ 𝑥 (𝑥0 , 𝑦0 ) = 0 = 𝐹 ′ 𝑥 (𝑃0 ) + 𝐹 ′ 𝑧 (𝑃0 ). 𝜑′𝑥 (𝑥0 , 𝑦0 )

𝐹′ (𝑃 )
Como F´z ( P0 )  0 , resulta 𝜑 ′ 𝑥 (𝑥0 , 𝑦0 ) = − 𝐹′𝑥(𝑃0)
𝑧 0

La demostración es similar para 𝜑 ′ 𝑦 (𝑥0 , 𝑦0 )

Ejemplo 6
En la expresión e y  y 2  2 y  x 2  1  0 , aunque no es posible despejar y en función de x, podemos
averiguar si existe función en el entorno de un punto elegido, por ejemplo (0,0), y en caso afirmativo,
hallar su derivada y también la ecuación de la recta tangente en dicho punto.

Verifiquemos si se cumple la hipótesis del Teorema de Existencia

1. F ( 0 ,0 )  0 
2. Las derivadas parciales de F(x,y) son Fx  2 x y F y  e y  2 y  2 que resultan
continuas en cualquier entorno de (0,0). 

8
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

3. F y  e y  2 y  2  0
( 0 ,0 )

Como las hipótesis se cumplen, la ecuación define a y en función de x en un E(0,0) y se podrá hallar la
derivada
F
y    x  y
2x
F e  2 y  2 que es su expresión genérica. En (0,0) resulta y´(0) = 0.
y
“y” como variable independiente:
F
En este caso, la 3º condición del teorema de existencia deberá ser  0 en P0 .
x
Se propone analizar la existencia de x = h(y) en el origen y también en el punto donde x=1.

Ejemplo 7
Sea la ecuación F( x, y , z )  x  y 2  z  e 2 z  1  0 enla que no es posible despejar z de ninguna
z z
manera simbólica. Sin embargo, mediante las expresiones anteriores podremos calcular y en
x y
algún punto P0 que satisfaga la ecuación. El punto puede ser por ejemplo (0,0,0).

Veamos si se satisfacen las condiciones del teorema de existencia:

1. F ( 0 ,0 ,0 )  0  0 2  0  e 2 0  1  0 
2. Fx  1, F y  2 y , Fz  1  2e 2 z .
Todas las derivadas parciales de F son continuas por ser polinómicas o exponenciales. 

3. Fz   1  2e 2 z ( 0 ,0 ,0 )  1  0 

Observamos que se cumplen las tres condiciones, con lo cual, en un entorno de P0 (0,0,0), existe , es
continua y derivable z = f(x, y).
F
z
  x
1
Con lo que   1 y
x (0,0,0) F  1  2e 2 z ( 0,0,0)
z ( 0,0,0)
F
z y  2y
  0
y ( 0 ,0 ,0 )
F  1  2e 2 z ( 0 ,0 ,0 )
z ( 0 ,0 ,0 )

9
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Plano tangente a superficies dadas en forma implícita

Sea F : A ⊆ ℝ3 → ℝ y P0=(x0;y0;zo) A / F(P0)= k, continua con derivadas parciales continuas en un

E(P0) y F´z(P0)  0; entonces F(x;y;z)= k define z= (x;y), para todo (x;y) perteneciente a un entorno
de (x0;y0)

Es decir: F(x;y;z) = k es una superficie de nivel de F(x;y;z) a la que pertenece P0

Consideremos una curva C sobre la superficie de nivel, que pase por P0


C está asociada al conjunto imagen de un función vectorial / 𝑔̅ : [𝑎, 𝑏] → ℝ3 / g( t)  (g1( t); g2 ( t); g3( t))
regular en un punto t0 /𝑔̅ (t0)=P0.

Como C está sobre la superficie definida en un entorno de P0por F(x;y;z)= k, resulta:

 
(Fo𝑔̅ )(t0) = k ( Fo𝑔̅ )’(t0) = 0  F( x 0 ; y 0 ; z 0 )  g' ( t 0 ) 0

̅F(x0,y0,z0) es no nulo, entonces F( x0 ; y0 ; z0 )  g '( t 0 )
Si∇

Esto significa que el gradiente de un campo escalar de tres variables en un punto P0 es perpendicular a
cualquier curva a la que pertenezca P0, que esté incluida en la superficie de nivel que pasa por dicho
punto. Por lo tanto, F( P0 ) (si es no nulo) es perpendicular a la superficie de nivel de F que pasa por
P0.

Entonces, la ecuación del plano tangente a la superficie de nivel de F que pasa por P0 es:
̅F(P0)(𝑋̅ − 𝑃0 ) = 0F’x(P0). (x - x0) + F’y(P0). (y - y0) + F’z(P0). (z - z0)=0
∇
𝑥−𝑥0 𝑦−𝑦0 𝑧−𝑧0
y la recta normal tiene por ecuación: = 𝐹′ = 𝐹′
𝐹′ 𝑥 (𝑃0 ) 𝑦 (𝑃0 ) 𝑧 (𝑃0 )
(conF’x(P0)≠0; F’y(P0)≠0; F’z(P0)≠0 )

Es posible obtener la misma ecuación del plano tangente si se parte de la ecuación del mismo para
funciones definidas explícitamente.

En efecto: si z = f(x;y) está definida implícitamente por F(x;y;z)=0, y P0=(x0;y0;z0), se tiene

F'x (x0 ; y0 ; z0 ) F' (x ; y ;z )

f 'x (x0 ; y0 ) = - y f 'y (x0 ; y0 ) = - y 0 0 0
F'z (x0 ; y0 ; z0 ) F'z (x0 ; y0 ;z0 )

Reemplazando en la ecuación del plano tangente para z=F(x;y) :

f 'x (x0 ; y 0 ).(x - x0 ) + f 'y (x 0 ; y 0 ).(y - y 0 ) - (z - f(x 0 ; y 0 )) = 0

F'x (x0 ; y0 ;z0 ) F'y (x0 ; y0 ;z0 )

resulta: - (x - x0 ) - (y - y0 ) - (z - z0 ) = 0
F'z (x0 ; y0 ;z0 ) F'z (x0 ; y0 ;z0 )

F 'x (x0 ;y0 ;z0 )(x - x0 ) + F 'y (x0 ;y0 ;z0 )(y - y0 ) + F 'z(x0 ;y0 ;z0 ).(z - z0 ) = 0
Ec. del plano tangente a una superficie definida implícitamente

10
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

En consecuencia, las ecuaciones de la recta normal son:

x - x0 y - y0 z - z0
= =
F'x (x0 ; y0 ;z0 ) F'y (x0 ; y0 ;z0 ) F'z (x0 ; y 0 ;z0 )
Ecs. de la recta normal a una superficie definida implícitamente,
si las tres derivadas son distintas de 0

 Propiedades
1. El gradiente de un campo escalar de tres variables en un punto P0 es perpendicular a la superficie de

nivel de F que pasa por P0 (demostración en pág. 16).
2. De forma similar a como se demostró la propiedad 1., es posible demostrar que el gradiente de un
campo escalar de dos variables en (x0;y0) es perpendicular a la curva de nivel que pasa por dicho
punto.

Ejemplo 8: Para hallar la ecuación del plano tangente a la superficie definida por:
2x2 +4y2-8z2 +4x-8=0 en (0;2;1), consideramos F(x;y;z)= 2x2 +4y2-8z2 +4x-8, como
 
 F  (4 x  4;8y;16z) (0;2;1)  (4;16;16)
 (0;2;1)
resulta que la ecuación del plano tangente es: 4.(x-0)+16(y-2) –16.(z-1)=0

O sea: 4x + 16y –16z= 16 , o bien: x+4y-4z=4

Funciones y campos definidos implícitamente por un sistema

Introducción
Recordemos lo visto en Álgebra sobre sistemas de ecuaciones lineales:
 3x  2 y  5 z  1
dado el sistema 
 4 x  y  8 z  2
aplicando el Teorema de Rouché-Frobenius resulta un sistema compatible indeterminado en el cual dos
variables quedan en función de una tercera.

Por ejemplo se podrían obtener x = x (z) e y = y(z) .

En este caso resulta x  11

1 ( 5  21z ) e y   2 ( 1  2 z ) .
11

Veamos su interpretación geométrica. Cada una de las ecuaciones del sistema anterior, tiene como
representación gráfica un plano y por ser un sistema compatible, estas superficies tienen como
 x  1 ( 5  21z )
 11

intersección una recta, cuyas ecuaciones paramétricas son  y   112 ( 1  2z )

 z  z

11
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Observaciones:

1. En el ejemplo anterior se tomaron x e y como variables dependientes, pero, podrían haberse

tomado alternativamente x y z o bien yyz.
2. El sistema lineal es un caso particular, pero el razonamiento, vale para cualquier sistema de la
F ( x, y, z )  0
forma  , que en general, representa dos superficies cuya intersección, si existe, es
G( x, y, z )  0
un punto o una curva.

3. Puede ocurrir que no sea posible despejar ningún par de variables en función de la tercera (por
ejemplo: en ecuaciones que combinen funciones trascendentes y algebraicas o algunas
polinómicas de grado superior a tres). Pero, hay casos en que la curva intersección existe.

Sin embargo, a pesar de no poder escribir explícitamente la función vectorial cuya imagen sea dicha
curva, es posible encontrar la ecuación de la recta tangente y del plano normal en un punto
determinado.

Si la C es una curva intersección de dos superficies S1 y S2

S1 Como CS1, la recta tangente a C en P0 está

incluida en el plano tangente a S1 en el mismo
C punto. Por lo tanto, el vector director de la recta
tangente es perpendicular a 𝑛̅1 el vector normal
S2 del plano tangente a S1.
Se puede pensar lo mismo con S2.

Por lo tanto, el vector directo de la recta tangente

es al mismo tiempo perpendicular a 𝑛̅1 y 𝑛̅2 , y en
consecuencia es posible obtenerlo mediante 𝑛̅1 x𝑛̅2

 x 2  y 2  z 2  1  0
Ejemplo 9: Si  , aquí ya es comprometido despejar z pues aparecería más de una
 y 3  y  x  0
función. Se trata de una superficie esférica y una cilíndrica recta de directriz polinómica.

Representemos solamente la intersección de ambas superficies correspondientes a z  0.

12
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Puede ser necesario buscar la ecuación de la recta tangente a un punto de la curva, por ejemplo el
(1,0,1). En ese caso debemos encontrar los normales a cada una de las superficies en dicho punto. El
tangente a la curva resulta perpendicular a cada uno de los normales.

Si F(x,y,z)=x2+y2+z2-1, F (1, 0,1)  (2 x, 2 y, 2 z ) (1,0,1)  (2, 0, 2)  n1

̅𝐺(1,0,1) = (−1,3𝑦 2 − 1,0)(1,0,1) = (−1,0,0) = 𝑛⃗2
Y G(x,y,z)= y3-y-x, ∇

Como el director de la recta tangente en dicho punto es perpendicular a ambos normales, es posible
obtenerlo realizando el producto vectorial entre los normales, o sea: (-4,-2,-4).

Entonces la ecuación de la recta tangente es: (x,y,z)=(1,0,1)+t(-4,-2,-4)

Bibliografía utilizada

 Hebe T. Rabuffetti. Introducción al Análisis Matemático (Cálculo 2) .Buenos Aires:

Editorial El Ateneo, 1983.

 George B. Thomas y Ross L. Finney. Cálculo Varias Variables, 9a edición. México:

Addison Wesley Longman de México, 1999.

 Jerrold E. Marsden y Anthony Tromba. Cálculo vectorial. : Addison Wesley Longman de

México, 1991.

Bibliografía de consulta

 Juan de Burgos Román. Cálculo Infinitesimal de Varias Variables. Madrid: McGRAW-

HILL / INTERAMERICANA DE ESPAÑA, 1995.

13