Tema 9

Frmula de Taylor
El proceso de derivacin de funciones reales de variable real puede obviamente iterarse,
obteniendo la segunda y sucesivas derivadas de una funcin. Igual que la derivabilidad de una
funcin en un punto permita aproximar la funcin mediante un polinomio de grado menor o
igual que uno, la existencia de la derivada n-sima en un punto dar lugar a una aproximacin
an mejor, mediante un polinomio de grado menor o igual que n, llamado polinomio de Taylor.
El error que se comete al hacer esta aproximacin, es decir, la diferencia entre la funcin de
partida y su polinomio de Taylor, se conoce como resto de Taylor. La validez de la aproximacin
se cuantica mediante la llamada frmula innitesimal del resto, porque describe la rapidez
con la que el resto de Taylor tiende a cero al acercarnos al punto en cuestin. Una estimacin
an ms precisa se consigue mediante la llamada frmula de Taylor, que describe con exactitud
el resto de Taylor y es un resultado anlogo al Teorema del Valor Medio, pero involucrando las
derivadas sucesivas de una funcin.
9.1. Derivadas sucesivas
Sea f : A R una funcin real de variable real, y recordemos la denicin de la funcin
derivada de f , que en adelante se denotar tambin por f
(1)
:
A
1
= {a A A

: f es derivable en a}, y si A
1
= / 0,
f
(1)
= f

: A
1
R, f
(1)
(a) = f

(a) = lm
xa
f (x) f (a)
x a
a A
1
Si a A
1
A

1
y f

es derivable en a, decimos que f es dos veces derivable en a. La derivada
de f

en a recibe el nombre de segunda derivada de f en a y se denota lgicamente por
f

(a), o tambin por f
(2)
(a). Si ahora A
2
es el conjunto de los puntos de A
1
A

1
en los que
f es dos veces derivable, y suponemos que A
2
= / 0, la funcin f

= f
(2)
: A
2
R, que a cada
punto a A
2
hace corresponder la segunda derivada de f en a, es la funcin derivada segunda
de f . As pues, tenemos:
A
2
= {a A
1
A

1
: f es dos veces derivable en a}, y si A
2
= / 0,
f
(2)
= f

: A
2
R, f
(2)
(a) = f

(a) = lm
xa
f

(x) f

(a)
x a
a A
2
104
9. Frmula de Taylor 105
En general, sea n N y sea f
(n)
: A
n
R la funcin derivada n-sima de f . Si a A
n
A

n
y f
(n)
es derivable en a, decimos que f es n +1 veces derivable en a y la derivada de f
(n)
en a es, por denicin, la (n +1)-sima derivada de f en a, que se denota por f
(n+1)
(a).
Si A
n+1
es el conjunto de puntos de A
n
A

n
en los que f es n +1 veces derivable, cuando
sea A
n+1
= / 0, podemos considerar la funcin derivada (n+1)-sima de f , es decir, la funcin
f
(n+1)
: A
n+1
R que a cada punto de A
n+1
hace corresponder la (n +1)-sima derivada de
f en dicho punto. En resumen:
A
n+1
= {a A
n
A

n
: f es n+1 veces derivable en a}, y si A
n+1
= / 0,
f
(n+1)
: A
n+1
R, f
(n+1)
(a) = lm
xa
f
(n)
(x) f
(n)
(a)
x a
a A
n+1
Por conveniencia de notacin, para cualquier funcin real de variable real f : A R, es
frecuente escribir f
(0)
para referirse a la propia funcin: f
(0)
= f .
Es fcil adivinar que la mayora de los resultados sobre derivadas sucesivas se probarn por
induccin, obteniendo informacin sobre la derivada (n+1)-sima de una funcin, a partir de
su derivada n-sima. A este respecto conviene aclarar que, aunque f
(n+1)
se ha denido por
induccin como la derivada de f
(n)
, tambin es la n-sima derivada de f

. Ms concretamente:
Sea f : A R una funcin real de variable real y sean a A A

, n N. Entonces f
es n+1 veces derivable en a si, y slo si, f es derivable en a y f

es n veces derivable
en a, en cuyo caso se tiene: f
(n+1)
(a) = ( f

)
(n)
(a).
La demostracin por induccin es bastante clara, partiendo del caso evidente n =1. Suponiendo
que la armacin buscada es cierta para un nmero natural n, la comprobamos para n+1. Para
ello, sea A
n+1
el conjunto de denicin de la funcin f
(n+1)
=
_
f

_
(n)
. Cualquiera de las
armaciones cuya equivalencia queremos probar implica que a A
n+1
A

n+1
y, para todo
x A
n+1
\{a}, se tiene por hiptesis
f
(n+1)
(x) f
(n+1)
(a)
x a
=
( f

)
(n)
(x) ( f

)
(n)
(a)
x a
luego f es n+2 veces derivable en a si, y slo si, f

es n+1 veces derivable en a, en cuyo
caso se tiene f
(n+2)
(a) =
_
f

_
(n+1)
(a), como se quera.
Naturalmente la observacin anterior puede iterarse. Obtenemos que, para cualesquiera
n, m N, decir que una funcin f es n +m veces derivable en un punto a equivale a decir
que f es n veces derivable en a y f
(n)
es m veces derivable en a, en cuyo caso se tiene:
f
(n+m)
(a) =
_
f
(n)
_
(m)
(a). Hemos probado con detalle el caso m = 1 y anlogo razonamiento
permite pasar de m a m+1. Lo indicamos brevemente:
f
(n+m+1)
=
_
f
(n+m)
_

=
_
_
f
(n)
_
(m)
_

=
_
f
(n)
_
(m+1)
9. Frmula de Taylor 106
9.2. Caso de funciones denidas en intervalos
Ha quedado claro que la denicin de las derivadas sucesivas tiene sentido para funciones
denidas en conjuntos bastante arbitrarios. Sin embargo, este contexto general puede resultar
demasiado problemtico: el conjunto A
n
en el que est denida la funcin derivada n-sima va
reducindose al aumentar n, porque ni los puntos aislados de A
n
ni los puntos de acumulacin
de A
n
en los que f
(n)
no es derivable pueden pertenecer al conjunto A
n+1
. Para evitar este
tipo de complicaciones, a partir de ahora trabajaremos solamente con funciones denidas en un
intervalo, estudiando solamente la derivabilidad en todos los puntos del intervalo, con lo que el
intervalo de denicin de la funcin y de las sucesivas derivadas que vayamos considerando es
siempre el mismo. Como ya hemos hecho anteriormente, siempre que hablemos de un intervalo,
se entender que no es vaco y no se reduce a un punto.
Si I es un intervalo y n N, denotamos por D
n
(I) al conjunto de todas las funciones
de I en R que son n veces derivables en todo punto de I . Coherentemente, D
0
(I) ser el
conjunto de todas las funciones de I en R, que se suele denotar ms bien por F(I, R), como ya
hemos hecho anteriormente. Para f D
n
(I) y k = 0, 1, 2, . . . , n tenemos que f
(k)
D
nk
(I).
En particular, cuando k < n, f
(k)
es continua en I, cosa que puede no ocurrir para k = n.
Decimos que f : I R es una funcin de clase C
n
en I cuando f D
n
(I) y f
(n)
es
continua en I . Denotamos por C
n
(I) al conjunto de todas las funciones de clase C
n
en I.
Ahora C
0
(I) ser el conjunto de todas las funciones de I en R que son continuas en I, que
tambin se denota a veces por C(I, R). De nuevo, para f C
n
(I) y k = 0, 1, 2, . . . n tenemos
que f
(k)
C
nk
(I).
Decimos nalmente que una funcin f : I R es indenidamente derivable en I o tambin
que f es de clase C

en I , cuando f D
n
(I) para todo n N, y denotamos por C

(I) al
conjunto de todas las funciones de clase C

en I. Se tiene por tanto:

C

(I) =

n=1
D
n
(I) =

n=1
C
n
(I)
Si f C

(I) tenemos claramente que f

(k)
C

(I) para todo k N. Recprocamente, tambin

es claro que si para algn k N se tiene que f D
k
(I) y f
(k)
C

(I), entonces f C

(I).
Observemos la relacin entre los conjuntos de funciones recin denidos. Para todo n N, se
tiene claramente:
F(I, R) C
0
(I) D
n
(I) C
n
(I) D
n+1
(I) C
n+1
(I) C

(I)
Ms adelante veremos que, para cualquier intervalo I , las inclusiones anteriores son estrictas:
existen funciones f D
n
(I) tales que f / C
n
(I), as como funciones g C
n
(I) tales que
g / D
n+1
(I). Para n = 0 esto es ms que sabido, y tambin sabemos que D
1
(I) = C
1
(I).
Pasamos a establecer las reglas bsicas para el clculo de derivadas sucesivas:
Sea I un intervalo y n N. Si f , g D
n
(I), entonces f +g D
n
(I) con
( f +g)
(n)
= f
(n)
+ g
(n)
(1)
Por tanto, para f , g C
n
(I) se tiene f +g C
n
(I), y f +g C

(I) para f , g C

(I).
9. Frmula de Taylor 107
La demostracin por induccin, partiendo del caso conocido n =1, es clara. Si f , g D
n+1
(I),
tenemos en particular que f , g D
n
(I), con lo que la hiptesis de induccin nos dice que
f + g D
n
(I) vericndose (1). Es claro entonces que ( f + g)
(n)
es derivable en I, como
suma de dos funciones derivables en I, luego f +g D
n+1
(I) y tenemos
( f +g)
(n+1)
=
_
( f +g)
(n)
_

=
_
f
(n)
_

+
_
g
(n)
_

= f
(n+1)
+ g
(n+1)

Con un poco ms esfuerzo, obtenemos una frmula explcita para las derivadas sucesivas de
un producto, que se conoce como regla de Leibniz y recuerda claramente la frmula del binomio
de Newton:
Sea I un intervalo y n N. Si f , g D
n
(I), entonces f g D
n
(I) con
( f g)
(n)
=
n

k=0
_
n
k
_
f
(nk)
g
(k)
(2)
Por tanto, para f , g C
n
(I) se tiene f g C
n
(I), y f g C

(I) para f , g C

(I).
De nuevo razonamos por induccin, pues para n = 1 la regla de Leibniz no es ms que la regla
ya conocida para la primera derivada del producto. Si f , g D
n+1
(I), tenemos en particular que
f , g D
n
(I), con lo que la hiptesis de induccin nos dice que f g D
n
(I) vericndose (2).
Puesto que, para k = 0, 1, . . . , n, las funciones f
(nk)
y g
(k)
son derivables en I , deducimos
que ( f g)
(n)
es derivable en I , es decir, f g es n+1 veces derivable en I . Usando la regla para
la primera derivada de un producto tenemos:
( f g)
(n+1)
=
n

k=0
_
n
k
_
_
f
(nk)
g
(k)
_

=
n

k=0
_
n
k
_
f
(nk+1)
g
(k)
+
n

k=0
_
n
k
_
f
(nk)
g
(k+1)
=
n

k=0
_
n
k
_
f
(n+1k)
g
(k)
+
n+1

k=1
_
n
k 1
_
f
(n+1k)
g
(k)
= f
(n+1)
g +
n

k=1
__
n
k
_
+
_
n
k 1
__
f
(n+1k)
g
(k)
+ f g
(n+1)
=
n+1

k=0
_
n+1
k
_
f
(n+1k)
g
(k)
que es la regla de Leibniz para la derivada (n+1)-sima.
Como caso particular del resultado anterior, tomando como g una funcin constante en R,
que obviamente es de clase C

en R, deducimos que para f D

n
(I) y R, se tiene que
f D
n
(I) con ( f )
(n)
= f
(n)
. Por tanto, si f C
n
(I) tenemos f C
n
(I) y si f C

(I)
ser f C

(I).
Podemos resumir los resultados anteriores diciendo que, para cualquier n N, D
n
(I), C
n
(I)
y C

(I) son subanillos y tambin subespacios vectoriales de F(I, R). Presentamos ya los
primeros ejemplos de funciones de clase C

.
9. Frmula de Taylor 108
Toda funcin polinmica es de clase C

en R.
Ms adelante trabajaremos con detalle las sucesivas derivadas de las funciones polinmicas.
Veamos ahora lo que ocurre con los cocientes:
Sea I un intervalo, n N, f , g : I R y supongamos que g(x) = 0 para todo x I.
Si f , g D
n
(I), entonces f /g D
n
(I). Si f , g C
n
(I) se tiene f /g C
n
(I), luego si
f , g C

(I) ser f /g C

(I).
Razonamos una vez ms por induccin, partiendo del caso conocido n = 1, pero de forma
diferente, porque no tenemos una frmula explcita para la derivada n-sima del cociente. Si
f , g D
n+1
(I), sabemos que f /g es derivable en I con
_
f
g
_

=
f

g f g

g
2
Puesto que f , g, f

, g

D
n
(I), los resultados anteriores sobre sumas y productos nos dicen que
f

g f g

D
n
(I) y tambin g
2
D
n
(I). La hiptesis de induccin nos dice entonces que
( f /g)

D
n
(I), es decir, que f /g D
n+1
(I).
En el caso de funciones de clase C
n
la induccin es completamente anloga. Si f , g C
1
(I),
es claro que ( f /g)

es continua en I, luego f /g C
1
(I) y tenemos probado el caso n = 1.
Suponiendo que el resultado es cierto para un n N, para f , g C
n+1
(I), obtenemos que
f

g f g

C
n
(I) y que g
2
C
n
(I), y la hiptesis de induccin nos da ( f /g)

C
n
(I), es
decir, f /g C
n+1
(I).
Como consecuencia inmediata de los dos ltimos resultados obtenemos:
Toda funcin racional en un intervalo I es de clase C

en I.
Obtenemos ahora fcilmente una versin de la regla de la cadena para funciones varias veces
derivables, pero tampoco tendremos una frmula explcita para las derivadas sucesivas de una
composicin de funciones.
Sean I, J intervalos y consideremos dos funciones f : I J y g : J R. Si f D
n
(I) y
g D
n
(J) entonces g f D
n
(I). Si f C
n
(I) y g C
n
(J) se tiene g f C
n
(I). Por
tanto, si f C

(I) y g C

(J) ser g f C

(I).
El razonamiento, como siempre por induccin, es muy similar al que hemos hecho para el
cociente. Suponiendo que f es derivable en I y g es derivable en J, la regla de la cadena nos
dice que g f es derivable en I con
(g f )

= (g

f ) f

Si f C
1
(I) y g C
1
(J), vemos que (g f )

es continua en I , es decir, g f C
1
(I), lo
que completa el caso n = 1. Suponiendo entonces que f D
n+1
(I) y g D
n+1
(J), tenemos
g

D
n
(J) y f D
n
(I), con lo que la hiptesis de induccin nos dice que g

f D
n
(I), pero
tambin f

D
n
(I), luego (g

f ) f

D
n
(I). El razonamiento para funciones de clase C
n
es
idntico.
9. Frmula de Taylor 109
Completamos las reglas bsicas de clculo con la versin del teorema de la funcin inversa
para las derivadas sucesivas.
Sea I un intervalo y f : I R una funcin derivable en I vericando que f

(x) = 0
para todo x I. Consideremos el intervalo J = f (I) y la funcin inversa f
1
: J R.
Si n N y f D
n
(I), entonces f
1
D
n
(J). Si f C
n
(I) se tiene f
1
C
n
(J), y si
f C

(I) ser f
1
C

(J).
Sabemos que f
1
es derivable en J con
_
f
1
)

=
1
f

f
1
Si f C
1
(I) tenemos claramente que
_
f
1
_

es continua en I, luego f
1
C
1
(I), lo nico
que nos quedaba por ver en el caso n = 1. De nuevo por induccin, si suponemos f D
n+1
(I),
tenemos f

D
n
(I) y f
1
D
n
(J), luego
_
f
1
_

D
n
(J). De haber supuesto f C
n+1
(I), el
mismo razonamiento nos hubiera dado f
1
C
n+1
(J).
Pasamos a presentar una amplia gama de funciones de clase C

en diferentes intervalos.
Aparte de las funciones racionales en R, un nuevo ejemplo salta a la vista:
La funcin exponencial es de clase C

en R y todas sus derivadas coinciden con la

propia funcin exponencial.
Para el logaritmo, podemos aplicar que es la inversa de la funcin exponencial, o pensar que
su primera derivada es una funcin racional en R
+
. Por composicin obtenemos las funciones
potencia:
La funcin logaritmo es de clase C

en R
+
.
Para R, la funcin potencia de exponente es de clase C

en R
+
. En particular,
para n N, la funcin raz n-sima es de clase C

en R
+
. Si n es impar, la funcin raz
n-sima tambin es de clase C

en R

.
Con respecto a las funciones trigonomtricas y sus inversas, las siguientes armaciones se
deducen fcilmente de los resultados anteriores:
Las funciones seno y coseno son de clase C

en R.
Las funciones tangente y secante son de clase C

en ] k (/2), k + (/2)[ , para

todo k Z.
Las funciones cosecante y cotangente son de clase C

en ] k, (k +1)[ , para todo

k Z.
Las funciones arco seno y arco coseno son de clase C

en ] 1, 1[ .
La funcin arco tangente es de clase C

en R.
9. Frmula de Taylor 110
9.3. Polinomios de Taylor
Para motivar la denicin, empecemos observando las derivadas sucesivas de una funcin
polinmica de grado n N{0} que, jado a R, se puede siempre escribir en la forma:
P(x) =
n

j=0

j
(x a)
j
x R
con
0
,
1
, . . . ,
n
R. Sabemos que, si n 1, pues en otro caso P es constante, se tiene
P

(x) =
n

j=1
j
j
(x a)
j1
=
n1

j=0
( j +1)
j+1
(x a)
j
x R
Si n 2 deducimos que
P

(x) =
n

j=2
j( j 1)
j
(x a)
j2
=
n2

j=0
( j +2)( j +1)
j+2
(x a)
j
x R
En general, una sencilla induccin (nita) nos permite concluir que para 0 k n se tiene
P
(k)
(x) =
n

j=k
j !
( j k)!

j
(x a)
jk
=
nk

j=0
( j +k)!
j !

j+k
(x a)
j
x R
mientras que, para k > n la derivada k-sima P
(k)
es idnticamente nula. Tomando x = a en la
ltima igualdad obtenemos
P
(k)
(a) = k!
k
para k = 0, 1, . . . , n
As pues, el polinomio P queda determinado cuando se conocen los valores de P y de sus n
primeras derivadas en un slo punto a R. En concreto, se tiene claramente
P(x) =
n

k=0
P
(k)
(a)
k!
(x a)
k
x R
En el segundo miembro, podemos sustituir las derivadas de P por las de cualquier funcin que
sea n veces derivable en a, obteniendo un polinomio que no coincidir con dicha funcin, pero
puede ser una buena aproximacin de la misma. Esto motiva la denicin que sigue.
Sea f : A R una funcin real de variable real, a A y n N{0}. Si f es n veces
derivable a, podemos considerar el polinomio T
n
[ f , a] dado por:
T
n
[ f , a](x) =
n

k=0
f
(k)
(a)
k!
(x a)
k
x R
que se denomina polinomio de Taylor de orden n de la funcin f en el punto a, en honor del
matemtico ingls B. Taylor (1685-1731). Resaltamos que T
n
[ f , a] es el nico polinomio P, de
grado menor o igual que n, que verica P
(k)
(a) = f
(k)
(a) para 0 k n.
9. Frmula de Taylor 111
Veamos si podemos esperar que T
n
[ f , a] sea una buena aproximacin de la funcin f cerca
del punto a. El polinomio T
0
[ f , a] es constantemente igual a f (a) y la continuidad de f en a
nos dice que f T
0
[ f , a] tiene lmite cero en el punto a. Ms interesante es el caso n = 1, pues
entonces tenemos
T
1
[ f , a](x) = f (a) + f

(a)(x a) x R
y la derivabilidad de f en a implica como sabemos que
lm
xa
f (x) T
1
[ f , a](x)
x a
= 0
luego podemos decir que la diferencia f T
1
[ f , a] tiende a cero en el punto a ms rpidamente
que x a, algo mejor que lo dicho para la diferencia f T
0
[ f , a]. En general, podemos esperar
que al aumentar n, la aproximacin de f mediante su polinomio de Taylor vaya mejorando.
Bajo ciertas condiciones podremos probar efectivamente este hecho y, para ello, usaremos la
siguiente relacin entre los polinomios de Taylor de una funcin y de su derivada.
Sea n N{0} y f una funcin n +1 veces derivable en un punto a R. Se tiene
entonces:
T
n+1
[ f , a]

= T
n
[ f

, a]
La comprobacin es inmediata, pues de
T
n+1
[ f , a](x) =
n+1

k=0
f
(k)
(a)
k!
(x a)
k
x R
deducimos directamente que, para todo x R, se tiene
T
n+1
[ f , a]

(x) =
n

k=0
(k +1)
f
(k+1)
(a)
(k +1)!
(x a)
k
=
n

k=0
_
f

_
(k)
k!
(x a)
k
= T
n
[ f

, a](x)
9.4. Frmula innitesimal del resto
Veamos ya en qu sentido, y bajo qu condiciones, podemos decir que el polinomio de
Taylor de una funcin es una buena aproximacin de la funcin, cerca del punto considerado.
El siguiente resultado se conoce como Teorema de Taylor, o tambin como frmula innitesimal
del resto.
Teorema. Sea I un intervalo, n N y f D
n1
(I). Si f es n veces derivable en un punto
a I, entonces
lm
xa
f (x) T
n
[ f , a](x)
(x a)
n
= 0 (3)
Demostracin. Se har una vez ms por induccin. En el caso n = 1 la nica hiptesis es
que f : I R es derivable en a, pero entonces sabemos, por denicin de derivada, que
lm
xa
f (x) T
1
[ f , a](x)
x a
= lm
xa
f (x) f (a) f

(a)(x a)
x a
= 0
9. Frmula de Taylor 112
Supongamos demostrado el teorema para un n N y, lo que es importante, para cualquier
funcin que cumpla sus hiptesis. Para una funcin f D
n
(I) que sea n +1 veces derivable
en a, deberemos probar (3), pero sustituyendo n por n+1.
Para ello aplicamos la regla de lHpital, usando las funciones , : I \{a} R dadas por
(x) = f (x) T
n+1
[ f , a](x), (x) = (x a)
n+1
x I \{a}
Claramente, ambas son funciones derivables en I \{a}, con

(x) = (n+1)(x a)
n
= 0 para
todo x I \{a} y se tiene evidentemente que lm
xa
(x) = lm
xa
(x) = 0, luego se cumplen la
hiptesis de la primera regla de lHpital. Adems, tenemos claramente

(x)

(x)
=
f

(x) T
n+1
[ f , a]

(x)
(n+1)(x a)
n
=
1
n+1
f

(x) T
n
[ f

, a](x)
(x a)
n
donde hemos usado la relacin entre los polinomios de Taylor de f y de su derivada. Puesto
que f

D
n1
(I) y f

es n veces derivable en a, la hiptesis de induccin se puede aplicar a
la funcin f

obteniendo que
lm
xa
f

(x) T
n
[ f

, a](x)
(x a)
n
= 0, es decir, lm
xa

(x)

(x)
= 0
Aplicando la regla de lHpital concluimos que
lm
xa
f (x) T
n+1
[ f , a](x)
(x a)
n+1
= lm
xa
(x)
(x)
= 0
como queramos demostrar.
El resultado anterior explica la utilidad de las derivadas sucesivas. Ha quedado claro que en
el caso n = 1 la frmula innitesimal del resto no es otra cosa que la denicin de derivada,
interpretada en su momento como la posibilidad de aproximar una funcin cerca de un punto
mediante un polinomio de grado menor o igual que 1, justo su polinomio de Taylor de orden
1 en dicho punto. Pues bien, ahora hemos obtenido el mismo resultado para n N arbitrario:
suponiendo que la funcin es derivable n 1 veces en un intervalo que contiene al punto a
(la hiptesis restrictiva que nos ha permitido usar la regla de lHpital) y n veces derivable en
a, podemos aproximar la funcin, cerca del punto a por un polinomio de grado menor o igual
que n, su polinomio de Taylor de orden n en el punto a. En general, podemos esperar que esta
aproximacin sea tanto mejor cuanto mayor sea n, puesto que la diferencia f T
n
[ f , a] tiende
a cero en el punto a ms rpidamente que (x a)
n
.
9.5. Extremos relativos
La frmula innitesimal del resto permite completar el estudio de los extremos relativos de
una funcin: nos da una condicin suciente de extremo relativo, que complementa la condicin
necesaria (primera derivada nula) vista como paso previo al Teorema de Rolle.
9. Frmula de Taylor 113
Sea I un intervalo y a I

. Sea n N y f D
n1
(I) vericando que f
(k)
(a) = 0 para
1 k < n. Supongamos que f es n veces derivable en a con f
(n)
(a) = 0. Entonces:
(i) Si n es par y f
(n)
(a) > 0, f tiene un mnimo relativo en el punto a.
(ii) Si n es par y f
(n)
(a) < 0, f tiene un mximo relativo en el punto a.
(iii) Si n es impar, f no tiene un extremo relativo en el punto a.
Empecemos observando el polinomio de Taylor de orden n y la informacin que nos da la
frmula innitesimal del resto:
T
n
[ f , a](x) = f (a) +
f
(n)
(a)
n!
x R, luego lm
xa
f (x) f (a)
(x a)
n
=
f
(n)
(a)
n!
Por ser f
(n)
(a) = 0, tenemos que para x sucientemente cerca de a, la diferencia f (x) f (a)
tiene el mismo signo que el producto f
(n)
(a)(x a)
n
, que evidentemente depende del signo
de f
(n)
(a) y de que n sea par o impar. Con ms detalle, existe > 0, que podemos tomar
sucientemente pequeo para que ]a, a+[I (porque a I

) vericando que
|x a| < =
f (x) f (a)
(x a)
n
f
(n)
(a) 0 (4)
(i). En este caso tenemos que f (x) f (a) para todo x ]a, a+[ , luego f tiene un mnimo
relativo en el punto a.
(ii). Ahora (4) nos dice que f (x) f (a) para todo x ]a, a+[ .
(iii). Suponiendo f
(n)
(a) > 0, (4) nos dice ahora que f (x) f (a) para todo x ]a , a[
mientras que f (x) f (a) para todo x ]a, a+[ , luego f no puede tener un extremo relativo
en a. Si f
(n)
(a) < 0, lo anterior se aplica a f , obteniendo la misma conclusin.
9.6. Frmula de Taylor
Con hiptesis algo ms restrictivas que las de la frmula innitesimal del resto, vamos a
obtener ahora una expresin concreta para la diferencia entre una funcin y su polinomio de
Taylor de un cierto orden, a la que se suele llamar resto de Taylor de dicho orden para la
funcin dada, en el punto considerado. Los resultados de este tipo se conocen con el nombre
genrico de frmulas de Taylor y dieren unos de otros precisamente en la expresin concreta
que se obtiene para el resto.
Teorema (Frmula de Taylor con resto de Lagrange). Sea I un intervalo, n N{0} y
f C
n
(I) D
n+1
(I

). Entonces, para cualesquiera a, x I con a = x, existe un punto c en el

intervalo abierto de extremos a y x ( ]a, x[ o ]x, a[ ) tal que
f (x) T
n
[ f , a](x) = f (x)
n

k=0
f
(k)
(a)
k!
=
f
(n+1)
(c)
(n+1)!
(x a)
n+1
Demostracin. Fijamos a, x I con a = x, y llamamos J al intervalo cerrado y acotado
de extremos a y x, que evidentemente verica J I . Conviene tener muy presente que a y x
van a estar jos en todo el razonamiento.
9. Frmula de Taylor 114
Aplicaremos el Teorema del Valor Medio generalizado a las funciones , : J R denidas
de la siguiente forma:
(t) =
n

k=0
f
(k)
(t)
k!
(x t)
k
, (t) = (x t)
n+1
t J
Observamos que es una suma de funciones, siendo cada sumando el producto de una derivada
f
(k)
, con 0 k n, por una funcin polinmica. Por ser f C
n
(I) tenemos que es continua
en J y, por ser f D
n+1
(I

) tenemos tambin que es derivable en J

. Con respecto a
, es claro que C

(J). Tenemos pues dos funciones continuas en J y derivables en J

. Si
a < x ser J = [a, x] y el Teorema del Valor Medio generalizado nos da c ]a, x[ tal que:

(c)
_
(x) (a)
_
=

(c)
_
(x) (a)
_
(5)
Si fuese a >x tendramos J = [x, a] y obtenemos c ]x, a[ vericando la misma igualdad, salvo
que ambos miembros aparecen cambiados de signo. En cualquier caso, tenemos c J

como
se quera, vericando (5). Todo lo que queda es traducir en trminos de f los valores de ,
y sus derivadas que aparecen en (5), para comprobar que se trata precisamente de la igualdad
buscada. Empecemos por lo ms obvio:
(x) = f (x), (a) =
n

k=0
f
(k)
(a)
k!
(x a)
k
(x) = 0, (a) = (x a)
n+1
,

(c) = (n+1)(x c)
n
(6)
El clculo de

es algo ms laborioso, pero tambin sencillo. Para todo t J

se tiene:

(t) =
n

k=0
f
(k+1)
(t)
k!
(x t)
k

k=1
f
(k)
(t)
(k 1)!
(x t)
k1
=
n

k=0
f
(k+1)
(t)
k!
(x t)
k

n1

k=0
f
(k+1)
(t)
k!
(x t)
k
=
f
(n+1)
(t)
n!
(x t)
n
(7)
Al sustituir (6) y (7) (con t = c) en (5), obtenemos:
(n+1)(x c)
n
_
f (x)
n

k=0
f
(k)
(a)
k!
(x a)
k
_
=
f
(n+1)
(c)
n!
(x c)
n
(x a)
n+1
y la igualdad buscada se consigue dividiendo ambos miembros por (n+1)(x c)
n
= 0.
En el caso n = 0 la hiptesis del teorema anterior es f C
0
(I) D
1
(I) y la tesis que se
obtiene es f (x) f (a) = f

(c)(xa), que son precisamente la hiptesis y la tesis del Teorema
del Valor Medio. As pues, podemos armar que la Frmula de Taylor generaliza el Teorema del
Valor Medio de la misma forma que la frmula innitesimal del resto generalizaba la denicin
de derivada, en ambos casos involucrando derivadas sucesivas.
Como aplicacin evidente de la Frmula de Taylor, obtenemos la siguiente consecuencia,
que tambin se podra probar directamente por induccin.
9. Frmula de Taylor 115
Sea I un intervalo, n N{0} y f C
n
(I) D
n+1
(I) vericando que f
(n+1)
(x) = 0
para todo x I

. Entonces f es una funcin polinmica de grado menor o igual que n.

9.7. Desarrollos en serie de Taylor
Concluimos este tema viendo algunas aplicaciones importantes de la frmula de Taylor.
Observemos en primer lugar la regla de denicin que siguen los sucesivos polinomios de
Taylor de una funcin en un punto, que es anloga a la que usamos para obtener las sumas
parciales de una serie.
Ms concretamente, sea I un intervalo, consideremos una funcin f C

(I) y jemos un
punto a I. Para cada x R podemos considerar la serie

n0
f
(n)
(a)
n!
(x a)
n
que se conoce como serie de Taylor de la funcin f centrada en el punto a. En realidad tenemos
una serie de funciones denidas en R, cuyo trmino general es una sucesin de funciones. Sin
embargo, no vamos a trabajar con sucesiones y series de funciones, simplemente nos limitamos
a pensar que, para cada x R, tenemos una serie de nmeros reales que se obtiene evaluando
la serie de Taylor en el punto x. La Frmula de Taylor nos informa sobre la relacin entre la
funcin f y las sumas parciales de la serie de Taylor, nos da la siguiente estimacin:
f (x)
n

k=0
f
(n)
(a)
n!
(x a)
n
=
f
(n+1)
(c)
(n+1)!
(x a)
n+1
a, x I , n N{0} (8)
donde c depende de la terna (a, x, n) y slo sabemos que pertenece al intervalo abierto de
extremos a y x. Para cada x I , parece natural hacerse la siguiente pregunta
f (x) =

n=0
f
(n)
(a)
n!
(x a)
n
?
En el mejor de los casos, esta igualdad sera cierta para todo x I , con lo que podramos
expresar la funcin f como suma de la serie de Taylor en todo el intervalo I , obteniendo lo que
se conoce como desarrollo en serie de Taylor de la funcin f centrado en el punto a.
Para abordar esta pregunta usando (8), se puede empezar observando que para cualquier
x R se tiene {(x a)
n+1
/(n +1)!} 0, pues el criterio del cociente nos dice incluso que
la serie

n1
(x a)
n+1
(n+1)!
es convergente. Sin embargo, no tenemos suciente informacin sobre
la sucesin
_
f
(n+1)
(c)
_
. En general, la respuesta a la pregunta planteada puede ser negativa:
dado x I , puede ocurrir que la serie de Taylor en el punto x no sea convergente e incluso
que, siendo convergente, su suma no coincida con f (x). No vamos a estudiar con detalle este
problema, nos limitaremos a presentar un par de ejemplos de desarrollos en serie de Taylor.
9. Frmula de Taylor 116
Consideremos en primer lugar la funcin exponencial. Dado a R, tenemos evidentemente
exp
(k)
(a) = e
a
para todo k N{0}. Por tanto, la serie de Taylor de la funcin exponencial
centrada en el punto a es

n0
e
a
n!
(x a)
n
y la frmula de Taylor nos dice que
e
x
=
n

k=0
e
a
k!
(x a)
k
+
e
c
(n+1)!
(x a)
n+1
a, x R, n N{0} (9)
donde c pertenece al intervalo abierto de extremos a y x. Por tanto, c a |c a| < |x a|
y, usando la frmula de adicin junto con el crecimiento de la funcin exponencial, obtenemos:
e
c
= e
a
e
ca
e
a+|xa|
. De (9) deducimos entonces que

e
x

k=0
e
a
k!

e
a+|xa|
(n+1)!
|x a|
n+1
a, x R, n N{0} (10)
Fijados a, x R, recordamos que la sucesin que aparece en el segundo miembro de (10)
converge a cero. Obtenemos as los desarrollos en serie de Taylor de la funcin exponencial:
e
x
=

n=0
e
a
n!
(x a)
n
a, x R
El caso a = 0 tiene especial inters:
e
x
=

n=0
x
n
n!
x R
Como segundo ejemplo consideremos la funcin seno. Para calcular sus derivadas sucesivas,
conviene observar que
sen

(a) = cos a = sen

_
a+

2
_
a R
de donde deducimos inmediatamente por induccin que
sen
(n)
(a) = sen
_
a+
n
2
_
a R, n N{0}
Por tanto, la serie de Taylor de la funcin seno centrada en el punto a R es

n0
sen
(n)
(a)
n!
(x a)
n
=

n0
sen
_
a+
n
2
_
n!
(x a)
n
Usando la frmula de Taylor, obtenemos

sen x
n

k=0
sen
(k)
(a)
k!
(x a)
k

sen
_
c +
(n+1)
2
_
(n+1)!
(x a)
n+1

|x a|
n+1
(n+1)!
9. Frmula de Taylor 117
De aqu deducimos los desarrollos en serie de Taylor de la funcin seno:
sen x =

n=0
sen
_
a+
n
2
_
n!
(x a)
n
a, x R
De nuevo, el caso a = 0 tiene especial inters. Para k N {0} tenemos evidentemente que
sen
(2k)
(0) = 0 mientras que sen
(2k+1)
(0) = (1)
k
. Para x R podemos pues escribir:
sen x = lm
n
_
2n+1

j=0
sen
( j)
(0)
j !
x
j
_
= lm
n
_
n

k=0
(1)
k
(2k +1)!
x
2k+1
_
=

n=0
(1)
n
(2n+1)!
x
2n+1
Razonando de manera anloga, se prueba que
cos x =

n=0
(1)
n
(2n)!
x
2n
x R
9.8. Ejercicios
1. Sea f D
2
(R) tal que
f

(x) + f (x) = 0 x R, f (0) = 0, f

(0) = 1
Probar que f (x) = sen x para todo x R.
2. Estudiar el comportamiento en el origen de la funcin h : A R en cada uno de los
siguientes casos:
(a) A =] /2, /2[\{0}, h(x) =
(tg x)(arctgx) x
2
x
6
x A
(b) A =R

, h(x) =
1
x
4

1
6x
2

sen x
x
5
x A
3. Encontrar los extremos relativos de la funcin f : R R en cada uno de los siguientes
casos:
(a) f (x) = x
5
5x
4
+ 5x
3
+ 10 x R
(b) f (x) =
x
2
3x + 2
x
2
+1
x R
(c) f (x) = x
2
log |x| x R

, f (0) = 0
4. Sea I un intervalo y f D
2
(I) tal que
f

(x) = f (x) x I
Probar que, si existe a I tal que f (a) = f

(a) = 0, entonces f (x) = 0 para todo x I.