1 La regla de la cadena

Lema 1 (Lema fundamental de la derivación) Supóngase que f tiene derivada

en el punto x0 , de modo que f (x0 ) existe. Se de…ne la función
(
f (x0 + x) f (x0 )
' ( x) = f (x0 ), si x 6= 0;
x
0; si x = 0;

entonces

(a) ' es continua en x = 0, y

(b) es válida la fórmula

f (x0 + x) f (x0 ) = f (x0 ) + ' ( x) x: (1)

Prueba. Por la de…nición de derivada

f (x0 + x) f (x0 )
lim = f (x0 )
x!0 x
o
f (x0 + x) f (x0 )
lim f (x0 ) = 0:
x!0 x
Por lo tanto, ' ( x) ! 0 cuando x ! 0. Así, ' es continua en 0, quedando
demostrada la parte (a). Para demostrar la parte (b) observemos que si x 6= 0,
la igualdad (1) es otra forma de escribir '. Cuando x = 0, los dos miembros
de la igualdad (1) son iguales a cero.

Teorema 2 (La regla de la cadena) Supóngase que la función y = f (x) tiene

derivada en el punto x0 y la función z = F (y) tiene derivada en el punto
y0 = f (x0 ). Entonces la función compuesta (x) = [F f ] (x) = F [f (x)]
también tiene derivada cuando x = x0 y además

(x0 ) = F (y0 ) f (x0 );

o
[F f ] (x0 ) = F f (x0 ) f (x0 ) = F [f (x0 )] f (x0 ):

Prueba. La a…rmación sobre la existencia en el punto x0 de la derivada de la

función compuesta F [f (x)] contiene en sí la suposición de que la función com-
puesta analizada tiene sentido, es decir, está de…nida en un entorno (vecindad)
del punto x0 .
Como y = f (x) tiene derivada en el punto x0 y la función z = F (y) tiene
derivada en el punto y0 = f (x0 ), ambas funciones son continuas en los puntos
x0 e y0 respectivamente y por lo tanto, en un entorno del punto x0 está de…nida
la función compuesta (x) = [F f ] (x) = F [f (x)].

1
 Sea

F = F (x0 + x) F (x) = F [f (x0 + x)] F [f (x0 )]

= F [f (x0 ) + f (x0 + x) f (x0 )] F [f (x0 )]
= F [f + f ] (x0 ) F [f ] (x0 ) :

Aplicando el lema anterior al lado derecho de la igualdad con F en vez de f y

f en vez de x obtenemos

F = F (f ) + ' ( f ) f:

Para x 6= 0,
F f
= F (f ) + ' ( f ) :
x x
f
y ! 0 cuando x ! 0, ya que f = [f (x + x) f (x)] ! 0 cuando
x
x ! 0, y puesto que ' ( f ) ! 0 cuando f ! 0 se concluye que

F f
lim = lim F (f ) + ' ( f )
x!0 x x!0 x
(x0 ) = [F f ] (x0 ) = F [f (x0 )] f (x0 ) :