5

Aproximacin Puntual

En el captulo 2, frmula (3), vimos una idea que prefiguraba el captulo

actual. Se trata de la aproximacin lineal de una funcin con derivada en
un punto, mediante un polinomio de grado 1
T (x) = f (a) + f 0 (a) (x a) .

(1)

(f T ) (x)
= 0.
xa
xa

(2)

All se prob que

lim

de donde (ver ejercicio 104 en el captulo 2),

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

(3)

con (x) una funcin que tiende hacia 0 cuando x a.

Esta representacin permite resolver interesantes problemas, y el uso
del teorema del valor medio de Cauchy en esa misma direccin nos dar un
lenguaje ms flexible. Estas ideas sern explotadas en dos direcciones en
este captulo.

5.1

La regla de lHospital

La aproximacin lineal de una funcin diferenciable (3) puede ser usada

para calcular lmites indeterminados. As se llaman aquellos casos en los
que la aplicacin de las propiedades del lmite llevan a formas sin sentido
del tipo 00 ,
, 0 , , y otras que veremos luego. Por ejemplo, todos

166

Captulo 5 - Aproximacin Puntual

los lmites que aparecen en el clculo de la derivada de una funcin continua

son indeterminaciones de la forma 00 , pues
f (x + h) f (x)
limh0 [f (x + h) f (x)]
0
=
= .
h0
h
limh0 h
0
lim

Si f y g son dos funciones con derivada en el punto a (y por lo tanto

continuas) y f (a) = g (a) = 0, podemos calcular el lmite indeterminado
lim

xa

f (x)
g (x)

con el siguiente artificio:

f (x)
xa g (x)
lim

f (a) + f 0 (a) (x a) + 1 (x) (x a)

xa g (a) + g 0 (a) (x a) + 2 (x) (x a)
f 0 (a)
f 0 (a) + 1 (x)
= 0
.
= lim 0
xa g (a) + 2 (x)
g (a)

lim

(4)

De ms est decir que, para considerar el lmite del cociente en (4), ste
deber estar definido en un entorno reducido del punto a, para lo cual no
se deber anular g en ese entorno.
Guillaume Franois Antoine de lHospital (1661-1704), marqus de SainteMesme, fu quien propuso este mtodo de clculo y es por eso que se lo
conoce con su nombre. Sin embargo, el teorema del valor medio de Cauchy
(quien naci en 1789) permite formular y probar la regla con un enunciado
ms cmodo y demostrarlo con facilidad.
Supongamos que f y g son dos funciones derivables en un entorno del
punto a y que f (a) = g (a) = 0. Si aplicamos el teorema del valor medio
de Cauchy, se puede calcular el lmite del cociente:
f (x)
f (x) 0
f (x) f (a)
f 0 ( (x))
= lim
= lim
= lim 0
,
xa g (x)
xa g (x) 0
xa g (x) g (a)
xa g ( (x))
lim

donde (x) es alguno de los puntos intermedio entre a y x cuya existencia

asegura el teorema. Por eso es que depende de x, para cada x el teorema
da un 1 . Como adems (x) est entre a y x, es claro que (x) a
cuando x a. Entonces, si las funciones f 0 y g 0 son continuas en el
punto a, podremos usar la propiedad no 7 del lmite de la composicin,
f 0 ( (x))
f 0 (a)
=
.
xa g 0 ( (x))
g 0 (a)
lim

En realidad, el teorema puede dar varios, pero es sabido que es posible elegir uno.

5.1. La regla de lHospital

167

Ntese sin embargo que para aplicar, como lo hicimos, el Teorema de Cauchy
en el intervalo [a, x] , g 0 no deber anularse en (a, x)
Ejemplos.
1.

ln0 1
lnx
=
=1
x1 x 1
1
lim

2.

3 12 2 1 + 1
x3 x2 + x 1
=
=2
x1
x1
1
lim

3.

x3 x2 + x 1
P (x)
= lim
2
x1
x1 Q (x)
(x 1)
lim

En este caso, Q0 (x) = 2 (x 1) se anula en x = 1, pero P 0 (1) = 2.

Entonces se calcula
Q0 (1)
Q (x)
= 0
= 0,
x1 P (x)
P (1)
lim

de donde se infiere que

P (x)
= .
lim
x1 Q (x)

Mayor es el problema si f 0 (a) = g 0 (a) = 0.

Teorema 1 (de Cauchy iterado) Si f y g tienen derivadas

hasta el orden n + 1 en un intervalo alrededor del punto a,
f (k) (a) = g (k) (a) = 0 para k = 0, 1, ..., n, y las derivadas de
g no se anulan fuera del punto a, entonces existe un punto
entre x y a tal que
f (n+1) ()
f (x)
= (n+1)
g (x)
g
()
Demostracin.
f (x)
g (x)

f (x) f (a)
f 0 ( )
f 0 ( ) f 0 (a)
f 00 ( 2 )
= 0 1 = 0 1
=
=
g (x) g (a)
g ( 1 )
g ( 1 ) g 0 (a)
g 00 ( 2 )
f (n) ( n ) f (n) (a)
f (n+1) ()
f (n) ( n )
=
=
g (n) ( n )
g (n) ( n ) g (n) (a)
g (n+1) ()

168

Captulo 5 - Aproximacin Puntual

Corolario 1 (Regla de lHospial). Bajo las hiptesis del teorema, si adems las derivadas f (n+1) y g (n+1) son continuas
en el punto a
f (x)
f (n+1) (x)
= lim (n+1)
.
xa g (x)
xa g
(x)
lim

Demostracin. Nuevamente, = (x) (a, x) y es de

aplicacin la 7a propiedad de los lmites

Con pocas modificaciones el corolario se extiende a los casos en que el

valor comn de las funciones y sus primeras n derivadas es en vez de
0 y al caso a = .

Ejemplos:

4.

ex 1 x
ex 1
ex
=
=
lim
=
lim
x0
x0 3x2
x0 6x
x3
lim

5.

xn
n!
= lim x = 0,
x+ ex
x+ e
lim

despus de derivar n veces. De aqu se deduce que

P (x)
=0 y
x+ ex
lim

ex
= +
x+ |P (x)|
lim

para cualquier polinomio P.

6.
P (x)
= 0.
x+
ex

lim P (x) ex = lim

7.
lim

x0+

lnx
1
x

= lim

x0+

1
x
x12

= lim
x0+

x2
=0
x

5.1. La regla de lHospital

169

Ejercicios:
Calcular los siguientes lmites
x 1

1. lim e
x0

2. lim x1
lnx

x1

a
4. lim x+a
, a, b > 0
x+b2 b

xa
3. lim lnxlna
, a>0
xa

x0

5.

x2
lim
x+ xsen x

6.

7.

ln(lnx)
x+ x

8.

lim

lim

x+

ln(1+x)
x

e x
2
x+ x +2

lim

Ms ejemplos:

8. Forma 0

lim x n lnx

x0+

lnx
1
x n

observando que x n lnx =

para los clculos.
1

lim x n lnx = lim

x0+

x0+

lnx
1

x n

= lim

0
0

es de la forma 0 . Se convierte en

x n lnx =

xn
1
lnx

o bien en

La segunda forma es ms cmoda

x0+

x1
1

n1 x n 1

= lim

x0+

1
nx n = 0.

Si n es muy grande, x n es un cero muy dbil. Pero lnx es un

1
infinito an ms dbil. Gana el 0 de x n . Ntese que el acercamiento
de lnx al eje y en el origen es equivalente al acercamiento de ex
al eje x en . La debilidad del de lnx en el origen coicide
con la fortaleza del 0 de ex en .
9. Forma

1 cos x

=
lim
x0 x
sen x
cos x (cos x x sen x)
lim
=
x0
sen x + x cos x
sen x
lim sen x
=
x0
x + cos x

sen x x cos x
=
x0
x sen x
x sen x
lim
=
x0 sen x + x cos x
0
=0
1+1
lim

170

Captulo 5 - Aproximacin Puntual

10. Forma 0

lim f (x) con f (x) = (1 + x) x

x+

Se calcula el lmite de lnf (x) = x1 ln (1 + x), que es de la forma /.

1

ln (1 + x)
= lim 1+x = 0
x+
x+ 1
x
lim

Entonces,
lnf (x)

lim f (x) = lim e

x+

x+

= exp

lim (lnf (x)) = e0 = 1

x+

11. Forma 00
lim xx

x0+

Nuevamente se calcula el lmite del logaritmo, para convertir la potencia en producto:

lnx
x1
= lim
= lim x = 0
1
x0+ x
x0+ x2
x0+

lim ln (xx ) = lim xlnx = lim

x0+

x0+

Entonces, limx0+ xx = e0 = 1.
12. Forma 1

se calcula

1 x
lim 1 +
x+
x

ln 1 + x1
x2
1

= lim
=
lim
lim xln 1 +
=1
x+
x+
x+ 1 + 1 (x2 )
x
x1
x

Tomando una exponencial para deshacer el logaritmo introducido,

1 x
lim 1 +
= e1 = e
x+
x

Nota: El mismo lmite se obtiene, por supuesto, si se restringe la

variable x a tomar slo valores naturales:

1 n
lim
1+
= e.
n+
n
De hecho, es habitual definir al nmero e como el lmite de la
sucesin

1 3
1 n
1 2
, 1+
, , 1 +
,
2, 1 +
2
3
n

5.2. Polinomio de Taylor

171

Ejercicios:
Calcular los siguientes lmites
1

9. lim xe x

10. lim xlnx

x0+

11.

lim ex x3 + x2
1

x0 x

20.

5.2

cos x
sen x

x0+

14. lim

x1

x0

x
lim 1 + x1

x+

x
lim 1 + xa

x+

1
lnx

n
xlnx

x
x1

17. lim (1 cos x)ln cos x

16. lim xsen x

x0

18.

12. lim

13. lim
15. lim xx

x0+

x0

19. lim (1 + x) x
x0

21.

lim

x+

1+

a x
2
x

Polinomio de Taylor

Volviendo sobre el polinomio T de la introduccin (fla. (1)), se observa

que tiene sus derivadas de orden 0 y 1 coincidentes con aqullas de f :
T (a) = f (a) ,

T 0 (a) = f 0 (a) .

(5)

En el captulo 2, el ejercicio 91 nos llev a calcular:

dk

n!
nk ,
(nk)! x

si k < n
si k = n ,
si k > n

x =
n!,

dxk
0,

dk n
n! si k = n
x
=
.
0 si k 6= n
dxk x=0

A su vez, el ejercicio 109 estableca, sobre la base de este clculo, las relaciones entre los coeficientes de un polinomio
P (x) = a0 + a1 x + ... + an xn
y sus derivadas de orden superior en el origen:

k!ak si 0 k n
P (k) (0) =
0
si k > n

172

Captulo 5 - Aproximacin Puntual

En consecuencia, si f es una funcin con derivadas hasta el orden n y

ponemos
Tn (x) = f (0) +

f 00 (0) 2
f 0 (0)
f (n) (0) n
x+
x ++
x ,
1
2!
n!

resultar
Tn(k) (0) = f (k) (0)

para k = 0, 1, , n y T (n+1) (0) = 0.

(6)

Claramente la relacin (6) generaliza a (5). El polinomio Tn , es llamado

polinomio de Taylor de grado n de f en el origen. El polinomio de
grado 1 definido por (1) coincide con el polinomio de Taylor de grado 1 T1 .
Nosotros afirmamos que existe una relacin similar a (2) entre f y Tn . La
simplificacin de hacer ahora el trabajo en 0 cuando antes se hizo en un
punto cualquiera a no es importante y se arregla fcilmente. Ante todo
debe observarse que, en virtud de (6), la diferencia Rn = f Tn es una
funcin nula con derivadas nulas en el origen hasta el orden n.
La regla de lHospital nos permite establecer una relacin entre f y Tn
que extiende (2)
(n)

(f Tn ) (x)
Rn (x)
= 0.
= lim
n
x0
x0
x
n!
lim

(7)

Esta es una muestra del buen ajuste entre f y Tn cerca del origen.
Como el lmite es 0, habr un entorno I del origen en el cual es, digamos,
Rn (x)
n
xn 1. Esto significa que |Rn (x)| |x| . Por ejemplo, tomando
|x| 0.1, tendremos que |Rn (x)| 0.00....01 (n 1 ceros).

La diferencia Rn entre f y Tn es llamada habitualmente el residuo2 .

La relacin (7) describe el comportamiento lmite del residuo. Pero tambin
se puede obtener una expresin ms precisa de ste cuando la funcion f
admite tambin una derivada de orden n + 1. En este caso, aplicando el
teorema 1 (Cauchy iterado) en vez de su corolario (lHospital), con Rn en
el numerador y xn+1 en el denominador, se tendr
(n+1)

Rn (x)
()
Rn
,
=
n+1
x
(n + 1)!
2
Hay funciones f llamadas analticas, que son representables exactamente por un
proceso de sumacin infinita de trminos como los del polinomio de Taylor. Al quedarnos
como aproximante de la funcin con ste ltimo, estamos dejando la "cola" de esa serie,
que justamente es la diferencia entre la funcin y el polinomio, como residuo.

5.2. Polinomio de Taylor

173

para cierto (0, x) . Pero siendo Rn = f Tn con Tn polinomio

(n+1)
(n+1)
de grado n (y por lo tanto Tn
(x) = 0 x), resulta que Rn
() =
f (n+1) () . En consecuencia,
Rn (x) =

f (n+1) () n+1
x ,
(n + 1)!

(8)

para algn = (x) (0, x) . La expresin (8) para el residuo es debida

a Lagrange y tiene el encanto de su semejanza con el trmino general del
desarrollo, en el que slo se cambia 0 por . Con frecuencia el lector
encontrar que se llama desarrollo de Taylor en el origen de la funcin f a
la expresin
f 00 (0) 2
f (n) (0) n f n+1 () n+1
f 0 (0)
x+
x ++
x +
x , (9)
1
2!
n!
(n + 1)!

f (x) = f (0) +

donde es algn nmero entre x y 0.

Ejemplos.
1. Si f (x) = ex , f (k) (x) = ex y f (k) (0) = e0 = 1 para todo k. Luego,
ex = 1 + x +
con Rn =

e
n+1 ,
(n+1)! x

xn
x2 x3 x4
+
+
++
+ Rn
2
6
24
n!

donde es algn punto entre 0 y x.

2. Desarrollo de sen x. Las primeras derivadas de sen x son: sen(0) x =

sen x, sen0 x = cos x, sen00 x = sen x, sen(3) x = cos x que, evaluadas en x = 0, dan los valores 0, 1, 0, 1. La derivada cuarta vuelve
a ser sen x, de modo que en adelante se repetiran los valores 0, 1, 0, 1.
Luego
x3 x5 x7
+

+
Tn (x) = x
3!
5!
7!
Como no hay trminos pares, es T2n = T2n1 . El trmino del polinomio correspondiente a la potencia x2k+1 es
(1)k 2k+1
x
,
(2k + 1)!
as que
sen x = x

x2n+1
x3 x5 x7
+

+ + (1)n
+ R.
3!
5!
7!
(2n + 1)!

174

Captulo 5 - Aproximacin Puntual

En este caso es fcil acotar R, porque |sen | 1

Luego
1
|x|2n+2
|R|
(2n + 2)!

y |cos | 1.

En la figura se muestran las grficas de sen x y de T7 (x) , donde se

aprecia el excelente ajuste cerca del 0.
4

/2

/2

3/2

figura 5.1

Aproximacin de Taylor en un punto a distinto de 0

Se considera la funcin g (h) = f (a + h) y se desarrolla g en el origen.
Pero claramente g (k) (0) = f (k) (a) . Por lo tanto, el desarrollo de g en 0,
g (h) = g (0) +

g (n) (0) n g (n+1) () (n+1)

g 0 (0)
h++
h +
h
,
1!
n!
(n + 1)!

se traduce, haciendo x = a + h ( h = x a) en
f 00 (a)
f 0 (a)
(x a) +
(x a)2 +
1
2!
f n+1 ()
f (n) (a)
(x a)n +
(x a)n+1 ,
+
n!
(n + 1)!

f (x) = f (a) +

con entre x y a.

(10)
(11)

5.2. Polinomio de Taylor

175

Ejemplos.
3. Si P es un polinomio de grado n, su desarrollo de Taylor de orden n
en un punto a,
P 0 (a)
(x a) +
1
P (n+1) ()
P (n) (a)
(x a)n +
(x a)n+1 ,
+
n!
(n + 1)!

P (x) = P (a) +

puesto que derivadas de orden n + 1 de un polinomio de grado n

son nulas, da una identidad
P (x) = c0 + c1 (x a) + + cn (x a)n .
Esto es, un polinomio de grado n se puede escribir, con otros coeficientes, como un polinomio de grado n en (x a) . Este desarrollo
tambin se puede obtener algebraicamente, con el algoritmo de divisin, en forma similar al clculo del desarrollo de un nmero entero
"en otra base".
4. Polinomio de Taylor de ln en 1.
lnx
ln0 x = x1
ln00 x = x2
ln(3) x = 2x3
ln(4) x = 3!x4
ln(n) x = (1)n1 (n 1)!xn

=0
=1
= 1
= 2!
= 3!
= (1)n1 (n 1)!

en
en
en
en
en
en

x=1
x=1
x=1
x=1
x=1
x=1

De manera que
1
2!
3!
(x 1)2 + (x 1)3 (x 1)4 +
2!
3!
4!
(n 1)!
(x 1)n + Tn
+ (1)n1
n!
1
1
1
= (x 1) (x 1)2 + (x 1)3 (x 1)4 +
2
3
4
n1 1
n
(x 1) + Tn
+ (1)
n

lnx = (x 1)

Nota: Poniendo x = 2 y dejando tender n hacia , se obtiene la suma

de la serie armnica alternada:

1 1 1 1
+ + = ln2.
2 3 4 5

176

Captulo 5 - Aproximacin Puntual

Ejercicios.
Hallar los siguientes polinomios de Taylor:
22. de f (x) = 3x4 + 5x2 + 18x 15

en el punto a = 0

23. de f (x) = x3 2x2 + 5x 1

en el punto a = 1

Hallar el polinomio de Taylor del grado indicado en el origen

24. de ex

con grado n

25. de sen x

con grado 7

26. de cosx

con grado 2n

Unicidad
Es claro que (7) sigue valiendo si se cambia 0 por a. Esto es, si T es
el polinomio de Taylor de grado n de f en el punto a, entonces
lim

xa

(f T ) (x)
= 0.
(x a)n

(12)

Esta circunstancia caracteriza al polinomio de Taylor.

Teorema (de unicidad) Cualquier polinomio T (x) = c0 +
c1 (x a) + + cn (x a)n de grado menor o igual que n que
verifique la condicin (12) tiene necesariamente los coeficientes
ck =

f (k) (a)
,
(k + 1)!

k = 0, 1, ..., n.

Demostracin: Si otro polinomio, digamos P , satisface (12),

entonces
P (x) T (x)
xa
(x a)n
lim

P (x) f (x) + (f (x) T (x))

=
xa
(x a)n
P (x) f (x)
f (x) T (x)
+ lim
=0
= lim
n
xa
xa
(x a)
(x a)n

lim

y esto basta para afirmar que P = T. (Ver ejercicio 27.).

5.2. Polinomio de Taylor

177

Ejemplo 5: De la frmula para calcular la suma de la progresin geomtrica:

1 + x + x2 + + xn =

xn+1 1
,
x1

se deduce que

Como

1
xn+1
1 + x + x2 + + xn =
.
1x
1x
xn+1
= 0,
x0 xn (1 x)
lim

el teorema de unicidad asegura que 1 + x + x2 + + xn es el

polinomio de Taylor de (1 x)1 .
Ejercicios.
27. Un polinomio Q de grado no mayor que n tal que, para
algn nmero a verifica que
lim

xa

Q (x)
= 0,
(x a)n

debe ser el polinomio 0. (Todos sus coeficientes son 0).

n
Pista: Escribir Q (x) = c0 +c1 (x a)+cn (x a) . Despus
Q(x)
P (x)
usar que limxa (xa)n = 0 = limxa (xa)m = 0 m < n
28. Hallar los polinomios de Taylor en el origen de
1
1
1
,
y
1 + x 1 x2 1 + x2
Sugerencia: Hacer transformaciones a partir del ejemplo 5 y usar
el teorema de unicidad.

29. Hallar el polinomio de Taylor en el punto a = 12 de la funcin

1
1x .
1
Sugerencia: 1x
= 12 2x 1 . vuelva a usar el ejemplo 5.
( 2)