Universidad Nacional del Nordeste

Facultad de Ciencias Agrarias

Unidad N°3
Funciones Compuestas e
Implícitas.
 Funciones compuestas de una variable
independiente
Consideramos una función z  f ( x, y) y suponemos que
x e y no sean ya variables independientes, sino
funciones de una misma variable t. x  g (t ) , y  h(t )
Con estas condiciones, a cada valor de t, le
corresponde un punto [ g (t ), h(t )].
En consecuencia z  f [ g (t ), h(t )]  F (t ) es en definitiva
una función de t y la llamamos función compuesta de t.
Teorema: Si z  f ( x, y) es diferenciable en ( x, y) como
función de dos variables y las funciones x  g (t ) e
y  h(t ) son derivables respecto de t , entonces la
función z  f [ g (t ), h(t )]  F (t ) es derivable respecto de t
 Demostración: Dado que la función z  f ( x, y) es
diferenciable podemos escribir:
z z
z  .x  .y  1.x   2 .y
x y
donde  1 ,  2 tienden a cero cuando x, y tienden
a cero.
Si dividimos ambos miembros por t , queda:
z z x z y x y
 .  .   1.   2 .
t x t y t t t

x  g (t  t )  g (t ) y  h(t  t )  h(t )
t  0   1  0 t  0   2  0
Para t  0, ambos miembros tienen límite por haber
supuesto que x  g (t ) e y  h(t ) son derivables respecto
de t.
Además, teniendo en cuenta que 1 y  2 tienden a
cero, cuando x, y tienden a cero, y que estos
incrementos lo hacen cuando t  0, resulta:
z  z x z y x y 
lím  lím  .  .  1.   2 . 
t 0 t t 0 x t y t t t 

Como z z no dependen de t , resulta:
; dz z dx z dy
x y F´(t )   .  .
dt x dt y dt
o bien dz
F´(t )   f x .g´(t )  f y .h´(t )
dt
 Ejercicios
1) Dada la función z  x  2 y donde x  5t e
2

y  t 3 1
Hallar la función compuesta z (t ) y su
derivada.
1
Dada la función z  x  y donde x  1 e
2
2)
1 t
y 2
t
Hallar la función compuesta z (t ) y su
derivada.
El mismo razonamiento puede aplicarse al caso en
que z es función diferenciable de varias variables
u, v,...., w , que son funciones derivables de la única
variable independiente t, resultando la que también
llamaremos derivada total:

dz z du z dv z dw
F´(t )   .  .  .....  .
dt u dt v dt w dt
O bien: dz
F´(t )   f u .u´ f v .v´.....  f w .w´
dt
Así se obtiene la regla de derivación de funciones
compuestas (Teorema):
Teorema: la derivada de una función diferenciable
de las variables u, v,...., w , que son funciones
derivables de la única variable independiente t, es
igual a la derivada parcial respecto de u por la
derivada de u respecto de t, más la derivada
parcial respecto de v por la derivada de v respecto
de t, etc.

F´(t) es una derivada total y no parcial.

 Funciones compuestas de dos variables
independientes
Consideramos una función z  f ( x, y) y suponemos que
x e y no sean ya variables independientes, sino
funciones de dos variables (u y v). x  g (u, v) y  h(u, v)
En consecuencia z  f [ g (u, v), h(u, v)]  F (u, v) es en
definitiva una función de u y v. Es decir, es una función
compuesta de dos variables que depende de otras dos.
Teorema: Si z  f ( x, y) es diferenciable en ( x, y) como
función de dos variables y las funciones x  g (u, v) e
y  h(u, v) son derivables respecto de u, v , entonces la
función z  f [ g (u, v), h(u, v)]  F (u, v) es derivable
respecto de u, v siendo sus derivadas:
 z z x z y z z x z y
 .  .  .  .
u x u y u v x v y v

Demostración:
Dando al argumento u, un incremento u , manteniendo
constante el valor de v, entonces x e y recibirán los incrementos
 u x,  u y respectivamente y consecuentemente z se verá
incrementado en  u z , y como z es diferenciable se puede
escribir:
z z
 u z  . u x  . u y  1. u x   2 . u y
x y
donde  1 ,  2 tienden a cero cuando u x, u y tienden a
cero.
Dividiendo ambos miembros por u se tiene:
  u z z  u x z  u y u x u y
 .  .   1.   2.
u x u y u u u
Hallamos el límite con u  0 , se tiene:

u z  z  u x z  u y u x u y 
lím  lím  .  .   1.   2. 
u 0 u u 0 x u y u u u 

u  0  1  0   2  0

z z x z y
 .  .
u x u y u
z z x z y
Del mismo modo podemos probar:  .  .
v x v y v
 Ejercicios
1) Dada la función f ( x, y)  x  y
2 2

Hallar la función compuesta G(u, v)  f (uv, u / v)

y H (u, v)  f (v 2 ,u)
Luego, hallar las derivadas Gu y H v

2) Dada la función f ( x, y )  x 2
 3y
Hallar la función compuesta G(u, v)  f (2u 2v, uv 2 )
y H (u, v)  f (uv3 , u 2v6 )
Luego, hallar las derivadas Gu y H v
 Funciones compuestas de varias variables
independientes
Una función z  f ( x1 , x2 ,...., xn ) donde x1 , x2 ,......, xn no
son variables independientes, sino funciones de las
variables independientes t1 , t2 , t3 ,...., tk , se llama también
función compuesta.
Teorema:
Si z  f ( x1 , x2 ,......, xn ) es diferenciable en x1 , x2 ,......, xn
y las funciones x1 , x2 ,......, xn son derivables respecto
de t1 , t2 , t3 ,...., tk , entonces la función z  f ( x1 , x2 ,......, xn )
es derivable respecto de t1 , t2 , t3 ,...., tk y su derivada es:
z z x1 z x2 z xn
 .  .  ....  .
tk x1 tk x2 tk xn tk
 Diferenciabilidad de Funciones compuestas
Teorema: Si z  f (u, v) es una función diferenciable
respecto de u, v y éstas son funciones u( x, y), v( x, y)
diferenciables de x, y , entonces z  f [u( x, y), v( x, y)]
es función diferenciable de x, y con diferencial total
dada por: z z
dz  .du  .dv
u v
Teorema: Si z  f (u, v, w) es una función diferenciable
respecto de u, v, w y éstas son funciones u( x, y), v( x, y)
w( x, y) diferenciables de x, y , entonces
z  f [u( x, y), v( x, y), w( x, y)] es función diferenciable
de x, y con diferencial total dada por:
z z z
dz  .du  .dv  .dw
u v w
 Derivadas sucesivas de funciones compuestas

Sea y  f ( x1 , x2 ,...., xn ) donde x j  x j (u, v) para

j  1,2,..., n . Es decir, una función de n variables x j , las
que a su vez dependen de dos variables u, v .
Resulta entonces que y es función compuesta de u,v:
y  f ( x1 , x2 ,......, xn )  f [ x1 (u, v), x2 (u, v),......, xn (u, v)]  F (u, v)
Hemos visto como se calculan las derivadas primeras:
y n y x j y n y x j
 .  .
u j 1 x j u v j 1 x j v

Queremos calcular ahora las derivadas de segundo

orden: (las demostraciones quedan a cargo del lector)
Derivadas segundas de funciones compuestas

 y
2 n n
 y xk
2
x n
y  2
xj
  
j

u 2
j 1 k 1 x j xk u u j 1 x j u
2

 y  y xk x j y  x j
2 n n 2 n 2

  
v 2
j 1 k 1 x j xk v v j 1 x j v 2

 y
2 n n
 y xk
2
x n
y  2
xj
  
j

uv j 1 k 1 x j xk v u j 1 x j uv

 Teorema del valor Medio o de Lagrange
Recordemos este teorema para funciones de una
variable independiente.
Si la función y= f(x) es continua en [a, b] y derivable
en (a,b), entonces:
  (a, b) / f (b)  f (a)  (b  a). f ´( )
B
f(b) y=f(x)
C Q
f ( )
α
f(a) D
A

α α
a  b
Geométricamente la igualdad f (b)  f (a)  (b  a). f ´( )
significa que: Si por cada punto del arco AB puede
trazarse una tangente, existirá en este arco AB,
entre A y B, un punto C tal que en éste la recta
tangente sea paralela a la cuerda que une los puntos
A y B.

B
f(b) y=f(x)
C Q
f ( )
α
f(a) D
A

α α
a  b
Teorema: “El incremento de una función derivable es
igual al producto del incremento correspondiente de
la variable por la derivada de la función en un punto
interior del intervalo.” f (b)  f (a)  (b  a). f ´( ) (*)
y  f (b)  f (a)  (b  a). f ´( )
Si hacemos: (b  a)  h  b  a  h
Por lo tanto:  : 0    1 /   a   .h
Entonces por (*) : f (a  h)  f (a)  h. f ´(a   .h) (**)
Finalmente si escribimos: y  f (a  h)  f (a)
Resultará de (**) : y  f (b)  f (a)  h. f ´(a   .h),
con 0    1
 Teorema del valor medio o de Lagrange para
funciones de dos variables independientes

Si la función z  f ( x, y) es diferenciable en un
entorno abierto  del punto (a,b), entonces el
incremento z de f ( x, y) se puede expresar:
z  f (a  h, b  k )  f (a, b) 
 h. f x (a   .h, b   .k )  k. f y (a   .h, b   .k )

con 0    1, h y k incrementos de las variables

x e y respectivamente / (a  h, b  k ) 
 Demostración
Sean A(a, b)  R , entorno abierto, circular o rectangular,
2

de A(a, b) , z  f ( x, y) una función diferenciable en y

B(a  h, b  k )  .
B 
b+k
y P P``
b C
A P`

a x a+h

Sea P(x,y) un punto variable sobre el segmento AB (el

cual está totalmente contenido en  ).
  
Por semejanza de triángulos AP ´P y ACB se tiene:
AP AP ´ PP ´
   t [0,1] 
AB AC CB b+k
B
y P P``
Notamos que:
t  0  P  A
b C
A P`

t  1  P  B
a x a+h
Resulta entonces que es:
 AP´ x  a
t  
  x  a  h.t  x(t )

AC h  t  0,1
t  P´P  y  b  y  b  k .t  y (t )

 CB k
Entonces, z  f ( x, y) podrá escribirse
____ como función
compuesta de t, cuando P( x, y)  AB
z  f ( x, y)  f [ x(t ), y(t )]  f (a  h.t , b  k.t )  F (t ) con t [0,1]
Como f(x,y) es diferenciable y x(t) e y(t) son funciones
derivables, será z  f [ x(t ), y(t )]  F (t ) derivable en (0,1)
Y continua en [0,1].
Luego, por el teorema de Lagrange para funciones de
una variable independiente aplicado a F(t), se tiene:
F (t )  F (0)  t.F´( .t ) (*) con 0    1 y t [0,1]
Por otra parte: F (0)  f (a  h.0, b  k.0)  F (a, b)  F ( A)
F (1)  f (a  h.1, b  k.1)  F ( B)
dF (t ) d f [ x(t ), y(t )] f dx f dy
F´(t )    .  .
dt dt x dt y dt
 dF (t ) d f [ x(t ), y(t )] f dx f dy
F´(t )    .  .
dt dt x dt y dt

 f x .(a  h.t , b  k.t ).h  f y .(a  h.t , b  k.t ).k

 F´( t )  h. f x (a  h. t , b  k. t )  k. f y (a  h. t , b  k. t )
Reemplazando en (*)
f (a  h.t , b  k.t )  f (a, b) 
 t.[h. f x (a  ht , b  k t )  k. f y (a  h t , b   kt)](**)
Si t=1 en (**)
f (a  h, b  k )  f (a, b) 
 h. f x (a  h, b  k )  k. f y (a  h, b  k )]
Como z  f (a  h, b  k )  f (a, b)
Finalmente tenemos:
z  f (a  h, b  k )  f (a, b) 
 h. f x (a  h, b  k )  k. f y (a  h, b  k )]
con 0    1
 Teorema del valor medio o de Lagrange para
funciones de «n» variables independientes
Si la función y  f ( x1 , x2 ,...., xn ) es diferenciable en un
entorno abierto  del punto ( x1 , x2 ,...., xn ) , entonces el
incremento total y se puede expresar:
y  f ( x1  h1 , x2  h2 ,...., xn  hn )  f ( x1 , x2 ,..., xn ) 
 h1. f x1 ( x1   .h1 ,....., xn   .hn )  ......  hn . f xn ( x1   .h1 ,....., xn   .hn )
n
  hi . f xi ( x1   .h1 ,....., xn   .hn )
i 1

Donde 0    1 y ( x1  h1 ,....., xn  hn ) 
Función Implícita de una variable independiente
Se dice que y es función implícita de x cuando está
dada indirectamente mediante una ecuación F ( x, y)  0

A veces es posible despejar «y», es decir transformar la

función implícita en explícita. Pero a veces no es
posible esa transformación y no por eso renunciaremos
a construir la curva.

Decir que y=f(x) es la función determinada por la

ecuación F ( x, y)  0 significa que se verifica
idénticamente en x, es decir para todo x del conjunto en
que la función f(x) exista: F [ x, f ( x)]  0
Función Implícita de una variable independiente

Si tomamos un tercer eje z y representamos la

superficie z  F ( x, y) , la gráfica de la función buscada
y=f(x) será la intersección de dicha superficie con el
plano z = 0, o sea la curva de nivel con k=0. F ( x, y)  0

No toda ecuación F ( x, y)  0 , aún siendo F ( x, y) una

función continua indefinidamente derivable, define una
función implícita.
Por ejemplo: z  x 2  y 2
Función Implícita de una variable independiente

En el ejemplo: z  x 2
 y 2

Observemos que para esta función representada

por un paraboloide elíptico, que existe para todo
par (x,y) es diferenciable y por lo tanto continua, no
tiene curva de nivel para z=-1, su intersección con
z=0 se reduce solo al punto (0,0) y la curva de nivel
con z=1 es la circunferencia definida solamente en
el intervalo [-1,1]
 Función Implícita de una variable
independiente

Dada la ecuación F ( x, y)  0 , interesan dos problemas.

Uno, dar condiciones para que esa expresión en dos
variables defina, en cierto conjunto, una función de
una variable. En segundo lugar, calcular su derivada
sin llevarla a la forma explícita.
 Funciones Implícitas
Dada la ecuación F ( x, y)  0 , decimos que define
implícitamente a “y” como función de “x”, en un
entorno de P( x0 , y0 ) , si se verifica:

1) Existe por lo menos un punto P( x0 , y0 ) , llamado

solución inicial, tal que F ( x, y)  0
2) F ( x, y) como función de dos variables, es
diferenciable, lo que equivale a decir que la
superficie admite plano tangente en P( x0 , y0 ) .
3) Fy ( x, y)  0 lo que asegura que el plano
tangente a la superficie en ese punto no es
horizontal.
 Entonces estas condiciones son suficientes para
afirmar que en un entorno de P( x0 , y0 ) existe la función
y  f (x) continua y derivable, y su derivada vale:
Fx ( x0 , y0 )
y´ f ´(x0 )   , o lo que es igual Fx ( x0 , y0 )  Fy ( x0 , y0 ). y´ 0
Fy ( x0 , y0 )

Las ecuaciones de las rectas tangente y normal a la

curva y  f (x) definida implícitamente por F ( x, y)  0
en P( x0 , y0 ) son:
Recta Tangente: Fx ( x0 , y0 ).( x  x0 )  Fy ( x0 , y0 ).( y  y0 )  0
ó ( y  y )   Fx ( x0 , y0 ) .( x  x )
0 0
Fy ( x0 , y0 )
Fy ( x0 , y0 )
Recta Normal: ( y  y0 )  F ( x , y ) .( x  x0 )
x 0 0
 Función Implícita de dos variables
independientes
De igual modo, F ( x, y, z )  0 define implícitamente a
una función z  f ( x, y) si:
1) ExisteP( x0 , y0 , z0 ) / F ( x0 , y0 , z0 )  0
2) F es diferenciable
3) Fz ( x0 , y0 , z0 )  0
Luego, las derivadas parciales vienen dadas por:
Fx ( x0 , y0 , z0 ) Fy ( x0 , y0 , z0 )
zx   zy  
Fz ( x0 , y0 , z0 ) Fz ( x0 , y0 , z0 )
La ecuación del plano tangente a z  f ( x, y) en P( x0 , y0 , z0 )
es:
Fx ( x0 , y0 , z0 )  ( x  x0 )  Fy ( x0 , y0 , z0 )  ( y  y0 )  Fz ( z0 , y0 , z0 )  ( z  z0 )  0