Documentos de Académico
Documentos de Profesional
Documentos de Cultura
f (x) − P (x)
lı́m = 0.
x→x0 (x − x0 )n
Esto nos permitirı́a obtener una aproximación de f (x) tan buena como de-
seáramos, bastarı́a escoger n convenientemente grande. Nos puede ayudar,
en la búsqueda de un tal polinomio, recordar la relación que existe entre las
gráficas de y = f (x) e y = t(x) = f (x0 ) + f (x0 )(x − x0 ): son una curva y la
recta tangente en el punto (x0 , f (x0 )). Por tanto, se trata de dos curvas que
1
pasan por el punto (x0 , f (x0 )) con la misma tangente:
Estas ideas nos sugieren buscar un polinomio Tn (x) (de grado menor o igual
que n) que tenga en común con f las primeras derivadas hasta el orden n:
Tn (x) = a0 + a1 (x − x0 ) + a2 (x − x0 )2 + . . . + an (x − x0 )n
Tn (x) = a1 + 2a2 (x − x0 ) + 3a3 (x − x0 )2 + . . . + nan (x − x0 )n−1
Tn (x) = 2a2 + 2 · 3a3 (x − x0 ) + 3 · 4a4 (x − x0 )2 + . . . + (n − 1) · nan (x − x0 )n−2
Tn (x) = 3 · 2a3 + 2 · 3 · 4a4 (x − x0 ) + 3 · 4 · 5a5 (x − x0 )2 + . . .
. . . + n(n − 1)(n − 2)an (x − x0 )n−3
Haciendo x = x0 , obtenemos
2
Definición 3.1.1. Sea f una función n veces derivable en x0 . El polinomio
n
f k) (x0 )
Tn (x) = (x − x0 )k
k=0
k!
f (x) − Tn (x)
lı́m = 0.
x→x0 (x − x0 )n
Esta igualdad expresa que la diferencia |f (x) − Tn (x)| (el error que se comete
al usar Tn (x) para aproximar f (x)) es un infinitésimo de orden superior a
(x − x0 )n . Por tanto, tomando x cercano a x0 y n convenientemente grande,
Tn (x) debe ser una buena aproximación de f (x). Lógicamente, cuanto más
alejado esté x de x0 tanto más grande habrá que escoger n.
3
Teorema 3.1.3. (Fórmula de Taylor). Si f es una función n veces derivable
en un entorno de x0 y f n) es continua en x0 , entonces
f (x) − Tn (x)
lı́m = 0.
x→x0 (x − x0 )n
4
DEMOSTRACIÓN: Fijado x, consideramos el par de funciones
n
f k) (t)
F (t) = f (t) + (x − t)k y G(t) = (x − t)n+1 .
k=1
k!
Podemos aplicar el teorema del valor medio de Cauchy a este par de funciones
en el intervalo cerrado que determinan x y x0 . Según dicho teorema, existe
cx , intermedio entre x y x0 , de modo que
5
primeros polinomios de Taylor en el origen. La gráfica de la función
exponencial aparece con trazo continuo, la del polinomio de grado 1
con trazo discontinuo (–), la del de grado 2 con trazo punteado (· · · ) y
la dgráfica del de grado 3 con guiones y puntos (-·-·-).
60
50
40
Eje OY
1
30 0.8
20 0.6
10 0.4
0 0.2
Eje OX
0 0.2 0.4 0.6 0.8 1
−10 0
−4 −3 −2 −1 0 1 2 3 4
Si hacemos x = 0, resulta
x 3 x5 x2n+1
T2n+1 (x) = x − + + .... + (−1)n
3! 5! (2n + 1)!
6
y el término complementario
Nótese que f 2n+2) (x) = ± sen x, según que n sea par o impar.
1 −1 2 −2·3
f (x) = 1+x
, f 2) (x) = (1+x)2
, f 3) (x) = (1+x)3
, f 4) (x) = (1+x)4
,...
7
siendo c ∈ (0, 0.5). Debemos escoger n de modo que el error |e0.5 − Tn (0.5)|
sea menor que 10−3 . Es decir, n debe verificar la desigualdad
ec
(0.5)n+1 < 10−3 .
(n + 1)!
ec e0.5 e 3
(0.5)n+1 < (0.5)n+1 < (0.5)n+1 < (0.5)n+1 .
(n + 1)! (n + 1)! (n + 1)! (n + 1)!
(en el último paso, suponemos conocido que e < 3). Con esto hemos proba-
3
do que (0.5)n+1 es una cota superior del error. Por tanto, bastará
(n + 1)!
escoger n de modo que se verifique
3 1
(0.5)n+1 < 3 .
(n + 1)! 10
Para finalizar, basta elaborar una tabla que nos muestre a partir de qué n se
verifica la desigualdad anterior:
n (n + 1)! · 2n+1
3 384
4 3840
8
3.3. Aplicaciones de la fórmula de Taylor a la
representación gráfica de funciones
3.3.1. Una mejora de la condición suficiente de ex-
tremo relativo.
Recordemos que los extremos relativos de una función derivable f se en-
cuentran entre los puntos crı́ticos, es decir, entre los puntos que verifican
f (x) = 0. Por ello, cuando buscamos los valores extremos de una función, lo
primero que hacemos es resolver esta ecuación. Una vez obtenidos los pun-
tos crı́ticos, se plantea el problema de averiguar cuáles de ellos son extremos
relativos de la función. En el tema sobre la derivada, hemos visto dos formas
de atacar este problema. La primera consistı́a en el estudio del signo de la
derivada primera, para conocer si la función es creciente o decreciente antes
y después de cada punto crı́tico. La segunda forma precisa del cálculo de la
derivada segunda de la función y del estudio del signo de dicha derivada en
el punto crı́tico en cuestión. Naturalmente, se sigue este método cuando el
estudio del signo de la derivada segunda lo permita y el método basado en
la derivada primera nos resulte especialmente difı́cil.
En esta subsección, x0 será un punto crı́tico de f y vamos a estudiar cómo
tratar el caso en que f (x0 ) = 0 (en dicho caso, la condición suficiente antes
comentada no nos dice nada).
I) Si n es par:
9
I.a) Si f n) (x0 ) > 0, entonces x0 es un mı́nimo relativo de f .
I.b) Si f n) (x0 ) < 0, entonces x0 es un máximo relativo de f .
f n) (cx )
+ (x − x0 )n ;
n!
es decir,
f n) (cx )
f (x) − f (x0 ) = (x − x0 )n
n!
para cada x ∈ E(x0 ). Observemos que, en cualquier caso, el signo de f n) (cx )
coincide con el signo de f n) (x0 ) gracias a la continuidad de f n) en x0 . Tenemos
la siguiente casuı́stica:
f n) (cx )
• Si f n) (x0 ) > 0 ⇒ (x − x0 )n > 0 ⇒ f (x) − f (x0 ) > 0
n!
es decir, f alcanza un mı́nimo relativo en x0
f n) (cx )
• Si f n) (x0 ) < 0 ⇒ (x − x0 )n < 0 ⇒ f (x) − f (x0 ) < 0
n!
es decir, f alcanza un máximo relativo en x0
10
II) Si n es impar, entonces (x − x0 )n es positivo o negativo dependiendo
de que x sea mayor o menor que x0 ; esto conlleva a que la expresión
f n) (cx )
(x − x0 )n (y, por tanto, f (x) − f (x0 )) tendrá un determinado
n!
signo para x menores que x0 y el signo contrario para x mayores que
x0 . En consecuencia, f no puede tener extremo relativo en el punto x0 .
y = f(x) y = f(x)
Y
Y P
O X X
O
x0 x0
11
f (x0 )(x − x0 ), para cada x en un entorno de x0 . Diremos que f es
cóncava en I si es cóncava en cada punto de I.
12
Ejemplo 3.3.3. Estudiar la concavidad y convexidad de f (x) = x4 + 2x3 −
12x2 + 12x.
Calculamos las dos primeras derivadas de f :
x2 + x − 2 = 0
cuyas soluciones son x = 1 y x = −2. Por tanto f (x) = 12(x − 1)(x + 2). El
estudio del signo de la derivada segunda de f queda recogido en la siguiente
tabla:
13