1

5.2 CONSECUENCIAS DE LA DERIVADA

Mara Concepcin Gonzlez Enrquez

Teorema del valor medio de Cauchy. Si f , g son funciones continuas
en | | b a, y derivables en ) , ( b a , entonces existe ) , ( b a c tal que
) ( )) ( ) ( ( ) ( )) ( ) ( ( c f a g b g c g a f b f = o

) (
) (
) ( ) (
) ( ) (
c g
c f
a g b g
a f b f

si 0 ) ( ) ( y 0 ) ( a g b g c g
Demostracin.
Consideramos la funcin
)) ( ) ( )( ( )) ( ) ( )( ( ) ( a f b f x g a g b g x f x h =
) ( x h es continua en | | b a, y derivable en ) , ( b a , adems
) ( ) ( ) ( ) ( )) ( ) ( )( ( )) ( ) ( )( ( ) ( b f a g b g a f a f b f a g a g b g a f a h = = y

) ( ) ( ) ( ) ( )) ( ) ( )( ( )) ( ) ( )( ( ) ( a f b g a g b f a f b f b g a g b g b f b h + = =

Es decir ) ( ) ( b h a h =
Aplicando el teorema de Rolle a la funcin ) ( x h , existe ) , ( b a c tal que
0 ) ( = c h ,
Ahora )) ( ) ( )( ( )) ( ) ( )( ( ) ( a f b f x g a g b g x f x h = y

0 )) ( ) ( )( ( )) ( ) ( )( ( ) ( = = a f b f c g a g b g c f c h de donde
) ( )) ( ) ( ( ) ( )) ( ) ( ( c f a g b g c g a f b f = .

Ejemplo.
x
x f
1
) ( = y 4 ) (
2
= x x g en el intervalo | | 2 , 1 son continuas y
derivables en ) 2 , 1 ( .
Tenemos
2
1
) (
x
x f = y x x g 2 ) ( =
0 ) 2 ( , 3 ) 1 ( ,
2
1
) 2 ( , 1 ) 1 ( = = = = g g f f
Sustituimos en
) ( ) (
) ( ) (
) (
) (
a g b g
a f b f
c g
c f

3 0
1 2 / 1
2
/ 1
2
+

c
c
despejamos c
44 . 1 3 6 2
6
1
2
1
3 3
3
= = =

c c
c


2
Ejemplo. senx x f = ) ( y x x g cos ) ( = en el intervalo
(

2
, 0

son continuas
y derivables en
|

\
|
2
, 0

.
Tenemos x x f cos ) ( = y senx x g = ) (
0
2
, 1 ) 0 ( 1,
2
, 0 ) 0 ( = |

\
|
= = |

\
|
=

g g f f
Sustituimos en
) ( ) (
) ( ) (
) (
) (
a g b g
a f b f
c g
c f

1
1 0
0 1 cos
=

=
senc
c
despejamos c
4
5
,
4
1 tan

= = c c
|

\
|
=
2
, 0
4

c


Regla de Lhopital. Sean f , g funciones derivables en ) , ( b a tales
que 0 ) ( lim =
+

x f
a x
0 ) ( lim =
+

x g
a x
y 0 ) ( x g para todo ) , ( b a x . Si existe
) (
) (
lim
x g
x f
a x

entonces existe
) (
) (
lim
x g
x f
a x
+

y
) (
) (
lim
) (
) (
lim
x g
x f
x g
x f
a x a x

=
+ +

.
Demostracin. Se definen las funciones

=

=
a x
a x x f
x F
si 0
si ) (
) ( y

=
a x
a x x g
x G
si 0
si ) (
) (
G F y son funciones continuas en | | x a, para cualquier b x a < < , y tiene
derivada en ) , ( x a , por el teorema de Cauchy, existe ) , ( x a c tal que
) ( )) ( ) ( ( ) ( )) ( ) ( ( c F a g x G c G a F x F =
O ) ( ) ( ) ( ) ( c F x G c G x F =

Suponiendo 0 ) ( = x G , como 0 ) ( = a G por el teorema de Rolle existe
) , (
1
x a x tal que 0 ) ( ) (
1 1
= = x g x G , contradiciendo que 0 ) ( x g para todo
) , ( b a x , por lo que 0 ) ( x G
As que ) ( ) ( ) ( ) ( c F x G c G x F = implica que
) (
) (
) (
) (
c G
c F
x G
x F

=

Luego como ) , ( x a c , si x se aproxima a a , entonces c se aproxima a
a , por lo tanto
) (
) (
lim
) (
) (
lim
x g
x f
x g
x f
a x a x

=
+ +

.

Este resultado trata de las indeterminaciones de la forma
0
0
y el caso
especial de un lmite por la derecha, en forma similar existen resultados
para lmites por la izquierda y se pueden pedir condiciones adecuadas para
3
el lmite completo. Tambin cuando se trata de indeterminaciones de
algunas de las formas


.

Ejemplos.
1. b
x
b
x
x
ln
1
lim
0
=

0
0 1
lim
0
=

x
b
x
x
es una indeterminacin
b
b b
x
b
x
x
x
x
ln
1
) (ln
lim
1
lim
0 0
= =

aplicamos LHopital

2.
3
0
lim
x
x senx
x

0
0
lim
3
0
=

x
x senx
x


0
0
3
1 cos
lim lim
2
0
3
0
=

x
x
x
x senx
x x


0
0
6
lim
3
1 cos
lim
0
2
0
=

x
senx
x
x
x x


6
1
6
cos
lim
6
lim
0 0

x
x
senx
x x

Observamos que ambos lmites anteriores eran en el mismo punto y la
indeterminacin era del mismo tipo
0
0
sin embargo los resultados fueron
diferentes, de ah el nombre de indeterminacin.

3.
1 2
1 3
lim
2
2
+

x
x
x

=
+

1 2
1 3
lim
2
2
x
x
x
indeterminacin

= =
+

x
x
x
x
x x
4
6
lim
1 2
1 3
lim
2
2
aplicamos Lhopital

2
3
4
6
lim
4
6
lim = =
x x
x
x


4.
x
x
x
ln
lim

=

x
x
x
ln
lim
4
0
1
lim
1
/ 1
lim = =

x
x
x x


Otras formas indeterminadas:

0 0
0 1 . 0



Caso: . 0
i) 0 . )) (ln( tan lim
2
=
+

senx x
x


se reescribe de otra forma

0
0
cot
) ln(
lim
2
=
+

x
senx
x


Ahora aplicamos Lhopital

0 cos lim
cos
lim
1
cos
lim
cos
cos
lim
cos
) ln(
lim
cot
) ln(
lim
2
2
2
2
2
2
2 2
2 2 2
= =

=

= =
+
+ +
+ + +

x senx
senx
x x sen
x sen
senx
x
x sen
x x sen
senx
x
senx
x
senx
x
senx
x
x x
x x x





ii) 0 .
2
2
ln lim =
|

\
|

+

x
x
x
x

reescribimos

0
0
1
2
2
ln
lim =
|

\
|

x
x
x
x

aplicamos Lhopital

2
2
1
) 2 (
) 2 ( 2
2
2
lim
1
2
2
ln
lim
x
x
x x
x
x
x
x
x
x x

|
|

\
|

+
+

=
|

\
|

+



4
) 2 )( 2 (
4
lim
1
) 2 )( 2 (
4
lim
2
2
=
+
=

+

=

x x
x
x
x x
x x

Caso:

1
5

i)

= |

\
|
+ 1
1
1 lim
x
x
x

reescribimos

|
|

\
|
|

\
|
+ =
|
|

\
|
|

\
|
+ =
|

\
|
+
x
x
x x
x x
1
1 ln exp
1
1 ln exp
1
1

|
|

\
|
|

\
|
+ =
|

\
|
+

x
x
x
x
x
x
1
1 ln exp lim
1
1 lim

|
|

\
|
|
|

\
|
|

\
|
+ =

x
x
x
1
1 ln lim exp
Ahora calculamos 0 .
1
1 ln lim =
|
|

\
|
|

\
|
+

x
x
x


2
2
1
) 1 (
1
lim
1
1
1 ln
lim
1
1 ln lim
x
x
x x
x
x
x
x
x
x
x x x

\
| +
+
=
|

\
|
+
=
|
|

\
|
|

\
|
+



1
) 1 (
lim
1
) 1 (
1
lim
2
2
=
+
=

=

x x
x
x
x x
x x

Por lo que
e
x
x
x
x
x x
= =
|
|

\
|
|
|

\
|
|

\
|
+ =
|
|

\
|
|

\
|
+

) 1 exp(
1
1 ln lim exp
1
1 ln exp lim

ii) ( )

= + 1 lim
/ 3
3 /
0
x
x
x
e x
expresamos
( ) ( ) ( ) ( )
|

\
|
+ = + = +
3 /
/ 3
3 /
/ 3
3 /
ln
3
exp ln exp
x
x
x
x
x
e x
x
e x e x

luego
( ) ( )
|

\
|
+ = +

3 /
0
/ 3
3 /
0
ln
3
exp lim lim
x
x
x
x
x
e x
x
e x
( )
|

\
|
+ =

3 /
0
ln
3
lim exp
x
x
e x
x

Ahora para ( )
0
0
ln
3
lim
3 /
0
= +

x
x
e x
x
aplicamos Lhopital

( ) 4
1
) 3 / 1 ( 1
3
) 3 / 1 ( 1
lim 3 ln
3
lim
3 /
3 /
0
3 /
0
=
+
=
+
+
= +

x
x
x
x
x
e x
e
e x
x

6
As que ( ) ( )
4 3 /
0
/ 3
3 /
0
) 4 exp( ln
3
exp lim lim e e x
x
e x
x
x
x
x
x
= = |

\
|
+ = +



Caso:
0
0

i)
0 ln / 1
0
0 ) ( lim =
+

x
x
senx
( ) ( ) ( ) ( ) ( )
|

\
|
= = senx
x
senx senx
x x
ln
ln
1
exp ln exp
ln / 1 ln / 1


luego
( ) ( )
|

\
|
=
+ +

senx
x
senx
x
x
x
ln
ln
1
exp lim lim
0
ln / 1
0

( )
|

\
|
=
+

senx
x
x
ln
ln
1
lim exp
0

Ahora para ( )


=
+

senx
x
x
ln
ln
1
lim
0
, aplicamos Lhopital

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

senx
x x
x
senx
x
senx
x
x x x


1
cos
cos
lim
cos
lim
0 0
=

=
+ +

x
xsenx x
senx
x x
x x

As que

( ) ( )
( ) e senx
x
senx
x
senx
x
x
x
x
= =
|

\
|
=
|

\
|
=
+
+ +

) 1 exp( ln
ln
1
lim exp
ln
ln
1
exp lim lim
0
0
ln / 1
0


ii)
0
0
0 lim =
+

senx
x
x
( ) ( ) ( ) x senx x x
senx senx
ln exp ln exp = =

luego
( ) x senx x
x
senx
x
ln exp lim lim
0 0
+ +

=
( ) ( ) x senx
x
ln lim exp
0
+

=
Ahora calculamos ( ) =
+

. 0 ln lim
0
x senx
x
, reescribimos y aplicamos
Lhopital

7
( )
0
0
cos
lim
cos
1
lim
1
ln
lim ln lim
2
0
2
0 0 0
=

= =
+ + + +

x x
x sen
x sen
x
x
senx
x
x senx
x x x x


Volvemos aplicar LHopital
0
cos
cos 2
lim
cos
lim
0
2
0
=

+ +

xsenx x
x senx
x x
x sen
x x


As que
( ) ( ) ( ) 1 ) 0 exp( ln lim exp ln exp lim lim
0 0 0
= = = =
+ + +

x senx x senx x
x x
senx
x


Caso:
0


i)
0 / 1 2
) ( lim = + +

x x x
x
e e x
( ) ( ) ( )
|

\
|
+ + = + + = + +
x x x x x x x x
e e x
x
e e x e e x
2 / 1 2 / 1 2
ln
1
exp ) ( ln exp ) (

luego
( )
|

\
|
+ + = + +

x x
x
x x x
x
e e x
x
e e x
2 / 1 2
ln
1
exp lim ) ( lim
( )
|
|

\
|
|

\
|
+ + =

x x
x
e e x
x
2
ln
1
lim exp
Ahora para ( )

= |

\
|
+ +

x x
x
e e x
x
2
ln
1
lim , aplicamos Lhopital

( )

=
|
|

\
|
+ +
+ +
= |

\
|
+ +

x x
x x
x
x x
x
e e x
e e
e e x
x
2
2
2
2 1
lim ln
1
lim
aplicamos Lhopital otras dos veces

=
|
|

\
|
+
+
=
|
|

\
|
+ +
+
=
|
|

\
|
+ +
+ +

x x
x x
x
x x
x x
x
x x
x x
x
e e
e e
e e
e e
e e x
e e
2
2
2
2
2
2
4
8
lim
2 1
4
lim
2 1
lim
Para terminar este proceso que continuar, dividimos numerador
y denominador por
x
e
2
/ 1
2
4
8
lim
/ 1
/ 1
4
8
lim
2
2
2
2
=
|
|

\
|
+
+
=
|
|

\
|
+
+

x
x
x
x
x
x x
x x
x
e
e
e
e
e e
e e

As que
( )
2 2 / 1 2
) 2 exp( ln
1
lim exp ) ( lim e e e x
x
e e x
x x
x
x x x
x
= =
|
|

\
|
|

\
|
+ + = + +



ii)
0 cos
2
) (tan lim =
+

x
x
x


8
( ) ( ) ( ) ) ln(tan cos exp tan ln exp tan
cos cos
x x x x
x x
= =
entonces

( ) ( )
|
|
|

\
|
=
=
+
+ +

) ln(tan cos lim exp
) ln(tan cos exp lim ) (tan lim
2
2
cos
2
x x
x x x
x
x
x
x



Despus
=
+

. 0 ) ln(tan cos lim

2
x x
x


Reescribimos la expresin

= =
+ +

x
x
x x
x x
cos
1
) ln(tan
lim ) ln(tan cos lim
2 2


Aplicamos LHopital

0
cos
lim
tan
1
lim
tan
cos sec
lim
cos
tan
sec
lim
cos
1
) ln(tan
lim
2
2 2
2 2
2
2
2
2 2
= = =
= =
+ +
+ + +


x sen
x
xsenx
xsenx
x x
x
senx
x
x
x
x
x x
x x x



Por lo tanto
1 ) 0 exp( ) ln(tan cos lim exp ) (tan lim
2
cos
2
= =
|
|
|

\
|
=
+ +

x x x
x
x
x



Caso:
La mayora de estas indeterminaciones se resuelven algebraicamente

i) =
|
|

\
|
=

x sen
x
x sen
x x
x x
2
2
2
0
2 2
0
cos 1
lim ) cot (csc lim

1 ) 1 ( lim lim
cos 1
lim
cos 1
lim
0
2
2
0
2
2
0
2
2
2
0
= =
|
|

\
|
=
|
|

\
|
=
|
|

\
|

x x
x x
x sen
x sen
x sen
x
x sen
x
x sen



ii) = |

\
|

senx x
x
1 1
lim
0


0
0
lim
1 1
lim
0 0
= |

\
|
= |

\
|


xsenx
x senx
senx x
x x

9
aplicamos Lhopital dos veces

0
2
0
cos cos
lim
cos
1 cos
lim
0
0
cos
1 cos
lim lim
0 0
0 0
= =
|

\
|
+

=
|

\
|
+

= |

\
|
+

= |

\
|


xsenx x x
senx
x x senx
x
x x senx
x
xsenx
x senx
x x
x x

Por lo tanto
0
1 1
lim
0
= |

\
|

senx x
x


Nota: las siguientes formas no son indeterminadas
= = + = = =

0 0 0 0 0

Ejemplo.
x
xe x g

= ) (
R g Dom = ) (
Interseccin con el eje Y : ) 0 , 0 (
Interseccin con el eje X : ) 0 , 0 (
No hay simetra
No tiene puntos de discontinuidad

Puntos crticos:
) 1 ( ) ( x e xe e x g
x x x
= =


0 ) 1 ( ) ( = =

x e x g
x
en 1 = x

Para 1 < x , 0 ) ( > x g ; indica que ) ( x g es creciente en ) 1 , (
Para 1 > x , 0 ) ( < x g ; indica que ) ( x g es decreciente en ) , 1 (
por lo que
1 = x es un punto mximo; valor mximo
e
e g
1
) 1 (
1
= =


Ahora ) 2 ( 2 ) ( = = + =

x e e xe xe e e x g
x x x x x x

0 ) ( = x g si 2 = x
Para 2 < x , 0 ) ( < x g ; indica que ) ( x g es cncava hacia abajo en
) 2 , (
Para 2 > x , 0 ) ( > x g ; indica que ) ( x g es cncava hacia arriba en
) , 2 (
por lo que |

\
|
=
2
2
, 2 )) 2 ( , 2 (
e
g es punto de inflexin de la grfica

Comportamiento en infinito:

= =

x
x
x
x
e
x
xe lim lim
Aplicamos Lhopital
10
0
1
lim lim lim = = =

x
x
x
x
x
x
e e
x
xe
Es decir 0 = y a la derecha es asntota horizontal

= =

) ( lim
x
x
xe

Recorrido o imagen: ( |
1
,

e
5 4 3 2 1 1 2 3 4 5 6 7 8
7
6
5
4
3
2
1
1
2
3
x
y

x
xe x g

= ) (

Ejemplo. ) 8 ln( ) (
2
+ = x x h
R h Dom = ) (
Interseccin con el eje Y : ) 8 ln , 0 (
Interseccin con el eje X : No hay
Simtrica respecto al eje Y
No tiene puntos de discontinuidad

Puntos crticos:

8
2
) (
2
+
=
x
x
x h
0 ) ( = x h en 0 = x

2 2
2
2 2
2
2 2
2
) 8 (
) 8 ( 2
) 8 (
2 16
) 8 (
) 2 ( 2 ) 8 ( 2
) (
+

=
+

=
+
+
=
x
x
x
x
x
x x x
x h
0 ) 0 ( > h
por lo que
0 = x es un punto mnimo; valor mnimo 8 ln ) 0 ( = h
Luego 0 ) 0 ( = h si 8
2
= x o 2 2 = x

( ) ( ) ( )

< > <
= = =

cncava cncava cncava
h h h
x x x
0 ) 3 ( 0 ) 0 ( 0 ) 1 (
3 0 3
, 2 2 2 2 , 2 2 2 2 ,

11
por lo que ( ) 16 ln , 8 y ( ) 16 ln , 8 son puntos de inflexin de la
grfica

Comportamiento en infinito:
= +

) 8 ln( lim
2
x
x
= +

) 8 ln( lim
2
x
x


Recorrido o imagen: | ) , 8 ln
109876 54321 1 2 3 4 5 6 7 8 9 1011
3
2
1
1
2
3
4
5
6
7
8
x
y

) 8 ln( ) (
2
+ = x x h

Desarrollo de Taylor
Sea ) ( x f definida en un intervalo I y I c tal que
) ( , ), ( ), (
) ( ) 2 (
c f c f c f
n
K existen, se define para I x el polinomio
n
n
c x
n
c f
c x
c f
c x
c f
c x
c f c f
x P ) (
!
) (
) (
! 3
) (
) (
! 2
) (
) (
! 1
) (
! 0
) (
) (
) (
3
) 3 (
2
) 2 (
+ + + +

+ = K
El cual se llama polinomio de Taylor de grado n para f en c .

Ejemplo. Para 6 5 3 ) (
3 4
+ = x x x x f escriba su polinomio de Taylor de
grado 4 en 0 = c
Existen todas sus derivadas en cualquier intervalo, tomamos 0 = c
Calculemos las derivadas y las evaluamos en 0 = c
Primero 6 5 3 ) (
3 4
+ = x x x x f 6 ) 0 ( = f
1 15 12 ) (
2 3
+ = x x x f 1 ) 0 ( = f
x x x f 30 36 ) (
2 ) 2 (
= 0 ) 0 (
) 2 (
= f
30 72 ) (
) 3 (
= x x f 30 ) 0 (
) 3 (
= f
72 ) (
) 4 (
= x f 72 ) 0 (
) 4 (
= f
Sustituimos en
12
4 3 2
4 3 2
4
) 4 (
3
) 3 (
2
) 2 (
4
) 4 (
3
) 3 (
2
) 2 (
3 5 0 6 ) (
24
72
6
30
2
0
1
1
1
6
) (
) 0 (
! 4
) 0 (
) 0 (
! 3
) 0 (
) 0 (
! 2
) 0 (
) 0 (
! 1
) 0 (
! 0
) 0 (
) (
) (
! 4
) (
) (
! 3
) (
) (
! 2
) (
) (
! 1
) (
! 0
) (
) (
x x x x x P
x x x x x P
x
f
x
f
x
f
x
f f
x P
c x
c f
c x
c f
c x
c f
c x
c f c f
x P
+ + + =
+

+ + +

=
+ + +

+ =
+ + +

+ =

El cual es idntico al polinomio original.
Es decir el polinomio de Taylor nos da una aproximacin de la funcin
cuando sta no es un polinomio, a travs de un polinomio, el cual es fcil
de evaluar.

Teorema de Taylor. Si una funcin
) ( x f definida en un intervalo I es derivable hasta el orden 1 + n en el
intervalo y I c , entonces para cada I x existe z entre x y c tal
que ) ( ) (
!
) (
) (
! 2
) (
) (
! 1
) (
! 0
) (
) (
) (
2
) 2 (
x R c x
n
c f
c x
c f
c x
c f c f
x f
n
n
n
+ + + +

+ = K
Donde el trmino ) ( x R
n
se llama residuo n-simo y est dado por

1
) 1 (
) (
)! 1 (
) (
) (
+
+

+
=
n
n
n
c x
n
z f
x R
A dicha expresin se le conoce como la forma de Lagrange para el resto,
porque se conocen otras formas para calcular el resto.

Sea ) ( x f una funcin con derivadas de todos los rdenes sobre un
intervalo I que contenga al nmero c si 0 ) ( lim

=

x R
n
n
para todo I x
Entonces la serie de Taylor generada por la funcin converge a ) ( x f
Es decir, K K + + + +

+ =
n
n
c x
n
c f
c x
c f
c x
c f c f
x f ) (
!
) (
) (
! 2
) (
) (
! 1
) (
! 0
) (
) (
) (
2
) 2 (


El polinomio de Taylor de una funcin cuando est evaluado en 0 = c es
conocido como polinomio de Maclaurin

Vamos a obtener los polinomios de Taylor para las funciones ms
importantes

) ( ) ( x sen x f = en 0 = c
Tenemos 0 ) 0 ( ) 0 ( = = sen f
) cos( ) ( x x f = 1 ) 0 cos( ) 0 ( = = f
) ( ) (
) 2 (
x sen x f = 0 ) 0 ( ) 0 (
) 2 (
= = sen f
) cos( ) (
) 3 (
x x f = 1 ) 0 cos( ) 0 (
) 3 (
= = f
) ( ) (
) 4 (
x sen x f = 0 ) 0 ( ) 0 (
) 4 (
= = sen f
13
Sustituimos en la expresin
) ( ) (
!
) (
) (
! 2
) (
) (
! 1
) (
! 0
) (
) (
) (
2
) 2 (
x R c x
n
c f
c x
c f
c x
c f c f
x f
n
n
n
+ + + +

+ = K
) (
)! 1 2 (
) 1 (
! 5
1
0
! 3
1
0
! 1
1
0 ) (
1 2
1 2 5 3
x R x
n
x x x x sen
n
n
n
+
+
+
+

+ + + +

+ + + = K
) (
)! 1 2 (
) 1 (
! 5
1
! 3
1
) (
1 2
1 2 5 3
x R x
n
x x x x sen
n
n
n
+
+
+
+

+ + + = K
Corresponde al desarrollo de Taylor de orden 1 2 + n
Con
2 2
) 2 2 (
1 2
)! 2 2 (
) (
) (
+
+
+
+
=
n
n
n
x
n
z sen
x R

) cos( ) ( x x f = en 0 = c
Tenemos 1 ) 0 cos( ) 0 ( = = f
) ( ) ( x sen x f = 0 ) 0 ( ) 0 ( = = sen f
) cos( ) (
) 2 (
x x f = 1 ) 0 cos( ) 0 (
) 2 (
= = f
) ( ) (
) 3 (
x sen x f = 0 ) 0 ( ) 0 (
) 3 (
= = sen f
) cos( ) (
) 4 (
x x f = 1 ) 0 cos( ) 0 (
) 4 (
= = f

Sustituimos en la expresin
) ( ) (
!
) (
) (
! 2
) (
) (
! 1
) (
! 0
) (
) (
) (
2
) 2 (
x R c x
n
c f
c x
c f
c x
c f c f
x f
n
n
n
+ + + +

+ = K
) (
! 2
) 1 (
0
! 4
1
0
! 2
1
0
! 0
1
) cos(
2
2 4 2
x R x
n
x x x
n
n
n
+

+ + + + +

+ + = K
) (
! 2
) 1 (
! 4
1
! 2
1
1 ) cos(
2
2 4 2
x R x
n
x x x
n
n
n
+

+ + + = K
Corresponde al desarrollo de Taylor de orden n 2
Como ) cos( ) (
) (
x x f
n
= si n es impar y ) ( ) (
) (
x sen x f
n
= si n es
par
)! 1 ( )! 1 (
) (
) (
1
1
) 1 (
+

+
=
+
+
+
n
x
x
n
z f
x R
n
n
n
n



x
e x f = ) ( en 0 = c
Tenemos 1 ) 0 (
0
= = e f
x k
e x f = ) (
) (
1 ) 0 (
0 ) (
= = e f
k
para todo 1 k

Sustituimos en la expresin
) ( ) (
!
) (
) (
! 2
) (
) (
! 1
) (
! 0
) (
) (
) (
2
) 2 (
x R c x
n
c f
c x
c f
c x
c f c f
x f
n
n
n
+ + + +

+ = K
) (
!
1
! 2
1
! 1
1
! 0
1
2
x R x
n
x x e
n
n x
+ + + + + = K
14
) (
! ! 3 ! 2
1
3 2
x R
n
x x x
x e
n
n
x
+ + + + + + = K
Corresponde al desarrollo de Taylor de orden n
Con
1 1
) 1 (
)! 1 ( )! 1 (
) (
) (
+ +
+
+
=
+
=
n
z
n
n
n
x
n
e
x
n
z f
x R

x x f ln ) ( = en 1 = c
Tenemos 0 ) 1 ln( ) 1 ( = = f
x
x f
1
) ( = 1
1
1
) 1 ( = = f
2
) 2 (
1
) (
x
x f = 1
1
1
) 1 (
2
) 2 (
= = f
3
) 3 (
2
) (
x
x f = 2
1
2
) 1 (
3
) 3 (
= = f
4
) 4 (
6
) (
x
x f = 6
1
6
) 1 (
4
) 4 (
= = f
k
k k
x
k
x f
)! 1 (
) 1 ( ) (
1 ) (

=
+
)! 1 ( ) 1 (
1
)! 1 (
) 1 ( ) 1 (
1 1 ) (
=

=
+ +
k
k
f
k
k
k k

Sustituimos en la expresin
) ( ) (
!
) (
) (
! 2
) (
) (
! 1
) (
! 0
) (
) (
) (
2
) 2 (
x R c x
n
c f
c x
c f
c x
c f c f
x f
n
n
n
+ + + +

+ = K

) ( ) 1 (
!
)! 1 ( ) 1 (
) 1 (
! 4
6
) 1 (
! 3
2
) 1 (
! 2
1
) 1 (
! 1
1
0 ) ln(
) 1 (
4 3 2
x R x
n
n
x x x x x
n
n
n
+

+
+

+ +

+ + =
+
K


) (
) 1 (
) 1 (
4
) 1 (
3
) 1 (
2
) 1 (
) 1 ( ) ln(
) 1 (
4 3 2
x R
n
x
x x x
x x
n
n
n
+

+
+

=
+
K

Corresponde al desarrollo de Taylor de orden n

) ( ) ( x sen x f = en
3

= c
Tenemos
2
3
3 3
=
|

\
|
=
|

\
|
sen f
) cos( ) ( x x f =
2
1
3
cos
3
= |

\
|
= |

\
|

f
) ( ) (
) 2 (
x sen x f =
2
3
3 3
) 2 (
=
|

\
|
=
|

\
|
sen f
15
) cos( ) (
) 3 (
x x f =
2
1
3
cos
3
) 3 (
= |

\
|
= |

\
|
f
) ( ) (
) 4 (
x sen x f =
2
3
3 3
) 4 (
=
|

\
|
=
|

\
|
sen f
Sustituimos en la expresin
) ( ) (
!
) (
) (
! 2
) (
) (
! 1
) (
! 0
) (
) (
) (
2
) 2 (
x R c x
n
c f
c x
c f
c x
c f c f
x f
n
n
n
+ + + +

+ = K
K + |

\
|
+
+
|

\
|

|

\
|

|

\
|
+ =
4
3 2
3 ) ! 4 ( 2
3
3 ) ! 3 ( 2
1
3 ) ! 2 ( 2
3
3 2
1
2
3
) (


x
x x x x sen


Aplicaciones
i) Encuentre una aproximacin de ) 5 . 0 ( sen usando el desarrollo de
Taylor de orden 5 con centro en 0 = a .

5 3
! 5
1
! 3
1
) ( x x x x sen + =

47942708 . 0
3840
1841
) 32 ( 120
1 80 1920
) 32 ( 120
1 ) 4 ( 20 ) 32 ( 60
32
1
120
1
8
1
6
1
2
1
2
1
! 5
1
2
1
! 3
1
2
1
) 5 . 0 (
5 3
= =
+
=
+
=
|

\
|
+
|

\
|
=
|

\
|
+
|

\
|
= sen

Mientras que el valor exacto es 479425538 . 0 ) 5 . 0 ( = sen
Para este caso

6 6
) 6 (
5
) 5 . 0 (
! 6
) (
! 6
) (
) (
z sen
x
z f
x R

= = para algn 5 . 0 0 < < z
000021701 . 0
) 64 ( 720
1
) 5 . 0 (
! 6
) (
) (
6
5
=

=
z sen
x R
Lo cual asegura la exactitud en las primeras 4 cifras decimales

Nota: entre mayor es el orden del desarrollo de Taylor es mejor la
aproximacin o el error de aproximacin tiende a cero.

ii) Encuentre una aproximacin de
2 . 0
e usando el desarrollo de
Taylor de orden 3 con centro en 0 = c

! 3 ! 2
1
3 2
x x
x e
x
+ + + =
8187 . 0
! 3
) 2 . 0 (
! 2
) 2 . 0 (
) 2 . 0 ( 1
3 2
2 . 0
=

+ + =

e
Con
4 4
) 4 (
3
)! 1 ( ! 4
) (
) ( x
n
e
x
z f
x R
z
+
= =
Luego 0 2 . 0 < implica 0 2 . 0 < < z y 1
0
= < e e
z

16
Sustituyendo 2 . 0 = x , tenemos
0001 . 0
! 4
) 2 . 0 (
) 2 . 0 (
! 4
) 2 . 0 (
4
4
3
=

< =
z
e
R
Siendo el resultado exacto hasta tres lugares decimales.


BIBLIOGRAFIA
1. Haaser, LaSalle, Sullivan. Anlisis Matemtico. Vol. 1 Ed. Trillas
2. Spivak Michael. Clculus. Ed. Reverte.
3. Kosmala A. J. Witold. Advanced Calculus. Prentice Hall.