Documentos de Académico
Documentos de Profesional
Documentos de Cultura
x x
x x x f x f x f
x punto el en derivable x f
o bien
| | )' ( ) )( ( ' ) ( ) ( ) (
0 0 0 0
x x x x x f x f x f x punto el en derivable x f +
Estos conceptos podemos extenderlos a un orden mayor:
Si es f: (a,b) R, existe un polinomio p(x) de grado n tal que verifica esto?:
( )
n
n
x x x p x f bien o
x x
x p x f
) ( ) ( ) ( , 0
) ( ) (
0
0
Definicin:
Dada una funcin f: (a,b) R derivable, diremos que f es 2-veces derivable si su
derivada f: (a,b) R es a su vez derivable. En tal caso denotamos por la derivada
segunda de f por:
) ( )' ' ( ) ( " x f x f =
Por induccin, si una funcin f es n-veces derivable (nN), se dice que f es (n+1)-
veces derivable si la derivada n-sima es derivable y entonces:
) ( )' ( ) (
) ( ) 1
x f x f
n n
=
+
Podemos usar, segn esto, la notacin f
0
para la funcin sin derivar: f
0
=f.
Expresin de un polinomio cualquiera como potencias de x-x
0
:
Todo polinomio de grado nN, ( ) R a x a x a a x p
j
n
n
+ + + = ... ) (
1 0
, tambin es
representable mediante potencias de x-x
0
.
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
3
Es decir, dado un polinomio p(x) y un x
0
R fijo, existen coeficientes b
0
, b
1
, ..., b
n
tales que
n
n
x x b x x b x x b b x p ) ( ... ) ( ) .( ) (
0
2
0 2 0 1 0
+ + + + =
Demostracin:
Consideremos las derivadas sucesivas de p(x):
n
n
n n
n
n
n
n
b n x p
x x b n b n x p
x x n n x x b b x p
x x b n x x b x x b b x p
. ... 3 . 2 ) (
) .( . ... 3 . 2 ). 1 ...( 3 . 2 ) (
... ... ... ... ... ... ... ... ... ... ... ... ... ... ...
... ... ... ... ... ... ... ... ... ... ... ... ... ... ...
) .( ). 1 ( ... ) ( . 3 . 2 2 ) ( "
) .( . ... ) ( . 3 ) ( . 2 ) ( '
) (
0 1
) 1 (
2
0 0 3 2
1
0
2
0 3 0 2 1
=
+ =
+ + + =
+ + + + =
Haciendo x=x
0
:
n o
n
n
n
b n x p b n x p
b x p b x p b x p
. .... 3 . 2 ) ( , ). 1 ....( 3 . 2 ) ( ...
... , . 2 ) ( " , ) ( ' , ) (
) (
1 0
) 1 (
2 0 1 0 0 0
= =
= = =
Esto nos indica que cada coeficiente b
j
es de la forma:
!
) (
) (
j
x p
b
j
j
=
y el polinomio resulta con la expresin:
n
n
n
n
x x
n
x p
x x
n
x p
x x
x p
x x x p x p x p ) (
!
) (
) (
)! 1 (
) (
... ) (
! 2
) ( "
) ).( ( ' ) ( ) (
0
0
) (
1
0
0
) 1 (
2
0
0
0 0 0
+
+ + + + =
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
4
Polinomios de Taylor:
Sea f: (a,b) R una funcin n-veces derivable (nN) y x
0
(a,b).
Se define el Polinomio de Taylor de la funcin f(x) hasta el orden n y centrado en
x
0
, por la expresin
=
=
n
k
k
k
n
x x
k
x f
x x f T
0
0
0
) (
0
) (
!
) (
) )( , (
En consonancia se define la diferencia entre una funcin f(x) y su polinomio de
Taylor como el resto de Taylor hasta el orden n y centrado en el punto x
0
:
) )( , ( ) ( ) )( , (
0 0
x x f T x f x x f r
n n
=
Usaremos la notacin ) )( ( x f T
n
y ) )( ( x f r
n
si el punto x
0
es el origen. O sea:
Si x
0
=0 es
= =
= = =
n
k
k
k
n n
n
k
k
k
n
x
k
f
x f x f T x f x f r x
k
f
x f T
0
) (
0
) (
!
) 0 (
) ( ) )( ( ) ( ) )( (
!
) 0 (
) )( (
Propiedades:
1)
1
0
) 1 (
0 1
) (
)! 1 (
) (
) )( , ( ) )( , (
+
+
+
+
+ =
n
n
n o n
x x
n
x f
x x f T x x f T
- Trivialmente.
2) ) )( , ' ( ) ( )' , (
0 0
x x f T x x f T
n n
=
- Veamos un razonamiento:
Puesto que es
=
n
k
k
k
n
x x
k
x f
x x f T
1
1
0
0
) (
0
) (
)! 1 (
) (
) ( )' , ( , si llamamos j=k-1, se
tendr:
) )( , ' ( ) (
!
) ( ) ' (
) (
!
) (
) ( )' , (
0 0
0
0
0
1
0
) 1 (
0
x x f T x x
j
x f
x x
j
x f
x x f T
n
j
n
j
j
j
n
k
j
n
= = =
= =
+
Proposicin:
Si f: (a,b) R es n-veces derivable (nN) y x
0
(a,b), entonces:
n
n n
x x x x f T x x f r ) ( ) )( , ( ) )( , (
0 0 0
o sea, es, al tender x x
0
:
0
) (
) )( , ( ) (
0
0
n
n
x x
x x f T x f
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
5
Demostracin:
Bastar aplicar la regla de LHpital reiteradamente:
) !.(
) )( , ( ) (
...
) .(
) )( , ' ( ) ( '
) (
) )( , ( ) (
0
0
) 1 (
1
) 1 (
1
0
0 1
0
0
x x n
x x f T x f
x x n
x x f T x f
x x
x x f T x f
n n
n
n
n
n
Y, por definicin de Polinomio de Taylor es:
! 1
) ).( ( ) (
) (
! 1
) ( ) (
) (
! 0
) ( ) (
) (
!
) ( ) (
) )( , (
0 0
) (
0
) 1 (
1
0
0
) (' ) 1 (
0
0
0
) 0 ( ) 1 (
0
1
0
0
) ( ) 1 (
0
) 1 (
1
x x x f x f
x x
x f
x x
x f
x x
k
x f
x x f T
n n n n
k
k
k n
n
+
= + =
= =
=
por tanto, al sustituir, se tiene:
0 ) (
) ( ) ( ) ).( ( ) ( ) (
) !.(
) )( , ( ) (
...
) .(
) )( , ' ( ) ( '
) (
) )( , ( ) (
0
) (
0
0
) 1 ( ) 1 (
0
0 0
) (
0
) 1 ( ) 1 (
0
0
) 1 (
1
) 1 (
1
0
0 1
0
0
=
=
x f
x x
x f x f
x x
x x x f x f x f
x x n
x x f T x f
x x n
x x f T x f
x x
x x f T x f
n
n n n n n
n n
n
n
n
n
ya que, por definicin de derivada, es:
) (
) ( ) (
0
) (
0
0
) 1 ( ) 1 (
x f
x x
x f x f
n
n n
cuando
0
x x
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
6
Algunos ejemplos de desarrollos de Taylor:
Veamos los desarrollos de Taylor de algunas funciones elementales:
a) Desarrollo de f(x)=e
x
en x
0
=0:
Derivadas sucesivas:
0 0 0
) ( ..., , ) ( ' , ) (
0
) (
0 0
x n x x
e x f e x f e x f = = =
Desarrollo para x=x
0
:
= =
= =
n
k
k
x n
k
k
k
n
x x
k
e
x x
k
x f
x x f T
0
0
0
0
0
) (
0
) (
!
) (
!
) (
) )( , (
0
Desarrollo en el origen (x=0):
!
...
6 2
1
!
1
) 0 (
!
) )( (
3 2
0 0
0
n
x x x
x x
k
x
k
e
x f T
n n
k
k
n
k
k
n
+ + + + + = = =
= =
b) Desarrollo de f(x)=Ln(x+1) en x
0
=0:
Derivadas sucesivas:
n
n n
x
n
x f
x
x f
x
x f x Ln x f
) 1 (
)! 1 (
. ) 1 ( ) ( ...,
) 1 (
1
) ( " ,
1
1
) ( ' ), 1 ( ) (
0
1
0
) (
2
0
0
0
0 0 0
+
=
+
=
+
= + =
+
Desarrollo para x=x
0
:
=
+
=
+
+
=
+
=
n
k
k
k k
n
k
k
k k
n
x x
k
x
x x
k
x k
x x f T
0
0
0
1
0
0
0
1
0
) (
) 1 ( ) 1 (
) (
!
) 1 )!.( 1 ( ) 1 (
) )( , (
Desarrollo en el origen (x=0):
n
n n
k
k
k n
k
k
k k
n
x
n
x x
x x
k
x
k
k
x x f T
1 3 2
1
1
1
1
0
) 1 (
...
3 2
) 1 (
) 0 (
!
) 1 0 )!.( 1 ( ) 1 (
) )( , (
+
=
+
=
+
+ + + =
=
+
=
c) Desarrollo de f(x)=sen(x) en x
0
=0:
Derivadas sucesivas:
)
2
( )
2
) 1 ( cos( ) ( ...,
),...
2
2 ( )
2
cos( ) ( " ),
2
( ) cos( ) ( ' ), ( ) (
0 0 0
) (
0 0 0 0 0 0 0 0
n x sen n x x f
x sen x x f x sen x x f x sen x f
n
+ = + =
+ = + = + = = =
Desarrollo para x=x
0
:
= =
+
= =
n
k
k
n
k
k
k
n
x x
k
n x sen
x x
k
x f
x x f T
0
0
0
0
0
0
) (
0
) (
!
)
2
(
) (
!
) (
) )( , (
Desarrollo en el origen (x=0):
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
7
=
+
=
+
+ + = =
+
=
n
k
n
n k
n
k
k
n
n
x x x
x x
k
n sen
x
k
n sen
x f T
0
1 2 5 3
0
)! 1 2 (
) 1 ( ...
! 5 ! 3 !
)
2
(
) 0 (
!
)
2
0 (
) )( (
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
8
Aplicaciones al estudio de la convexidad:
Se dice que una funcin f: (a,b) R, derivable, es convexa si el grafo de la funcin
pertenece a todos los semiplanos superiores definidos por sus tangentes en dicho
intervalo (a,b).
Se define simtricamente la concavidad por el hecho de el grafo pertenezca a todos
los semiplanos inferiores que definen las rectas tangentes en (a,b).
Es inmediato que f(x) es convexa (globalmente) en el intervalo (a,b) sii es convexa
localmente en todo punto x
0
(a,b). Lo mismo ocurre con la concavidad.
As, pues, si es ) ).( ( ' ) (
0 0 0
x x x f x f y = la recta tangente a f(x) en ) , (
0
b a x , se
tiene que:
- Si ), , ( , 0 ) ( b a x y x f > f(x) es convexa en (a,b).
- Si ), , ( , 0 ) ( b a x y x f < f(x) es cncava en (a,b).
Proposicin:
Si la funcin f: (a,b) R es 2-veces derivable en x
0
(a,b), entonces, se tiene que
f(x) es convexa en x
0
si f(x
0
)>0, o cncava en x
0
si f(x
0
)<0.
Demostracin:
Consideremos el desarrollo de Taylor de f(x) hasta el orden 2, y la recta tangente
en x
0
:
) ).( ( ' ) (
), )( , ( ) (
2
) ( "
) ).( ( ' ) ( ) (
0 0 0
0 2
2
0
0
0 0 0
x x x f x f y
x x f r x x
x f
x x x f x f x f
+ =
+ + + =
Se tiene, al restar ambas expresiones:
(
+ = + =
2
0
0 2 0 2
0 0 2
2
0
0
) (
) )( , (
2
) ( "
. ) ( ) )( , ( ) (
2
) ( "
) (
x x
x x f r x f
x x x x f r x x
x f
y x f
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
9
y siendo 0
) (
) )( , (
2
0
0 2
x x
x x f r
, se tienen las dos alternativas:
- Si es ) ( 0 ) ( 0 ) ( "
0
x f y x f x f > > convexa en x
0
.
- Si es ) ( 0 ) ( 0 ) ( "
0
x f y x f x f < < cncava en x
0
.
Corolario:
Si es f(x) 3-veces derivable en x
0
(a,b), se cumple que si f(x
0
)=0, y es f(x
0
)>0,
la funcin es cncava a la izquierda y convexa a la derecha de x
0
, y,
simtricamente, si es f(x
0
)=0, y es f(x
0
)>0, la funcin es convexa a la izquierda
y cncava a la derecha de x
0
.
Para probar esto bastar aqu el desarrollo de Taylor de f(x) hasta el orden 3, y la
recta tangente en x
0
:
) ).( ( ' ) (
), )( , ( ) (
! 3
) ( ' ' '
) ).( ( ' ) ( ) (
0 0 0
0 3
3
0
0
0 0 0
x x x f x f y
x x f r x x
x f
x x x f x f x f
+ =
+ + + =
Restamos tambin ahora ambas expresiones:
(
+ = + =
3
0
0 3 0 3
0 0 2
3
0
0
) (
) )( , (
! 3
) ( ' ' '
. ) ( ) )( , ( ) (
! 3
) ( ' ' '
) (
x x
x x f r x f
x x x x f r x x
x f
y x f
y siendo 0
) (
) )( , (
3
0
0 3
x x
x x f r
, se tienen las dos alternativas:
- Si es
> >
< <
>
convexa y x f x x si
concava y x f x x si
x f
0 ) (
0 ) (
0 ) ( ' ' '
0
0
0
la funcin es
cncava a la izquierda y convexa a la derecha de x
0
. Es decir, en x
0
hay un
punto de inflexin cncavo -convexo
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
10
- Si es
< >
> <
<
concava y x f x x si
convexa y x f x x si
x f
0 ) (
0 ) (
0 ) ( ' ' '
0
0
0
la funcin es
convexa a la izquierda y cncava a la derecha de x
0
. Es decir, en x
0
hay un
punto de inflexin convexo-cncavo.
Generalizacin:
Sea f(x) suficientemente derivable en x
0
(a,b).
Si la primera derivada que no se anula, f
n)
(x
0
), es de orden par, la curva es cncava
(si f
n)
(x
0
)>0), o convexa (si f
n)
(x
0
)<0).
Si la primera derivada que no se anula, f
n)
(x
0
), es de orden impar, la curva tiene un
punto de inflexin , que ser cncavo-convexo (si f
n)
(x
0
)>0), o convexo-cncavo (si
f
n)
(x
0
)<0).
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
11
Aplicacin a la determinacin de extremos relativos:
Sabemos que los puntos que anulan a las primeras derivadas de una funcin f(x),
lo suficientemente derivable, podemos estudiar la existencia de extremos relativos
y de puntos de inflexin en su grfica.
Si la primera derivada es cero, f(x
0
)=0, esto nos indica que la tangente es
horizontal, y por tanto puede existir en el punto un mximo (si la funcin es
cncava), un mnimo (si la funcin es convexa), o bien, un punto de inflexin con la
tangente horizontal.
Esto es, sabemos que si:
0 ) ( ), ( ... ) ( " ) ( ' 0
0
) 1 (
0
) (
0 0
= = = =
+
x f x f x f x f
n n
Se cumple que:
I) Si n es impar, entonces la primera derivada que no se anula es f
(n+1)
(x),
de orden par, por lo que f(x) tiene un extremo relativo en x
0
, que ser
mximo si es 0 ) (
0
) 1 (
<
+
x f
n
y ser mnimo si 0 ) (
0
) 1 (
>
+
x f
n
.
II) Si n es par, entonces la primera derivada que no se anula es f
(n+1)
(x), de
orden impar, f(x) tiene en x
0
un punto de inflexin (no hay extremo).
Esto nos hace plantearnos la siguiente pregunta: existe alguna funcin no
constante infinitamente derivable tal que todas sus derivadas se anulan en un
punto dado?. La proposicin siguiente contesta afirmativamente.
Proposicin: La funcin
2
1
) (
x
e x f
= es infinitamente derivable y sus derivadas son
nulas en el origen.
Veamos, pues, que N n f
n
= , 0 ) 0 (
) (
En efecto:
Trivialmente, pues siempre, la derivada de un orden cualquiera ser el producto de
la exponencial por otro funcin, y la exponencial siempre es cero en el origen, luego
las infinitas derivadas de esta funcin se anulan en el origen.
0 ) 0 ( . 0 ) 0 ( ). 0 ( ) 0 ( ) ( ). ( ) ( ) (
) )
1
2
= = = = =
k k
k
k
k
x
g g f f x g x f x f e x f
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
12
Carcter infinitesimal del resto. Aplicacin a la determinacin de
infinitsimos equivalentes:
1. Carcter infinitesimal del resto:
Si la funcin f(x) y sus derivadas sucesivas f(x), f(x), ..., f
(n+1)
(x) estn definidas
en [x
0
, x] se verifica que
0
) (
) )( , (
0
0
0
n
n
x x
x x f r
x x
lm
Demostracin:
De ser
=
=
n
k
k
k
n
x x
k
x f
x f x x f r
0
0
0
)
0
) (
!
) (
) ( ) )( , (
Y su valor y el de sus derivadas sucesivas en x=x
0
:
0 ) ( ) ( ) )( , (
0 0 0
= = x f x f x x f r
n
0 ) (
!
) (
) ( ' ) )( , ( '
0
1
0
) (
0 0
= =
=
k
n
k
k
n
x x
k
x f
x f x x f r
... ... ... ... ... ... ... ... ... ...
0
!
) (
!. ) ( ) )( , (
0
) (
0
) (
0
) (
= =
n
x f
n x f x x f r
n
n n
n
Por lo que, aplicando la Regla de LHpital:
0
!
) )( , (
...
) (
) )( , ( '
) (
) )( , (
0
) (
0
1
0
0
0
0
0
0
= =
n
x x f r
x x
lm
x x n
x x f r
x x
lm
x x
x x f r
x x
lm
n
n
n
n
n
n
2. Aplicacin a la determinacin de infinitsimos equivalentes:
Mediante un Desarrollo de Taylor de orden mnimo, generalmente de orden 1 o de
orden 2, puede obtener la equivalencia de los lmites de algunas expresiones
sencillas. Veamos algunos ejemplos:
1) 1
1
x
e
x
Demostracin usando el desarrollo de Taylor de orden 1, en x
0
=0:
x x e x o f f e
x x
+ = + + 1 . 1 1 ) 0 ).( ( ' ) 0 (
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
13
O sea:
1
1
x
e
x
2) 1
) 1 (
+
x
x Ln
Demostracin usando el desarrollo de Taylor de orden 1, en x
0
=0:
x x x f f x Ln
+
+ + + ) 0 (
1 0
1
0 ) 0 ).( 0 ( ' ) 0 ( ) 1 (
Por tanto:
1
) 1 (
+
x
x Ln
3) 1
x
senx
Demostracin usando el desarrollo de Taylor de orden 1, en x
0
=0:
x x x sen x f f senx = + + + . 1 0 ) 0 ).( 0 cos( ) 0 ( ) 0 )( 0 ( ' ) 0 (
Por lo cual:
1
x
senx
4) 1
2
1
1 cos
2
x
x
Demostracin usando el desarrollo de Taylor de orden 2, en x
0
=0:
2 2
2 2
! 2
1
1
! 2
1
0 1
) 0 (
! 2
) 0 cos(
) 0 ).( 0 ( ) 0 cos( ) 0 (
! 2
) 0 ( "
) 0 ).( 0 ( ' ) 0 ( cos
x x
x x sen x
f
x f f x
= =
=
+ = + +
En definitiva:
1
2
1
1 cos
2
x
x
5) 1
! 3
1
3
x
senx
Demostracin usando el desarrollo de Taylor de orden 3, en x
0
=0:
3 3 2
) 0 (
! 3
1
) 0 .( 1 0 ) 0 (
! 3
0 cos
) 0 .(
! 2
0
) 0 .( 0 cos 0 + = + x x x x
sen
x sen senx
por tanto:
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
14
1
! 3
1
1
! 3
1
3
3
x
senx
x x senx
6) 1
! 3
! 2
1
3
2
x
x
x e
x
Demostracin usando el desarrollo de Taylor de orden 3, en x
0
=0:
! 3 2
1 ) 0 (
! 3
) 0 (
! 2
) 0 .(
3 2
3
0
2
0
0 0
x x
x e x
e
x
e
x e e e
x x
+ + + + + +
Y de ah que sea:
1
! 3
2
1
3
2
x
x
x e
x
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
15
Teorema de Taylor. Las formas del resto:
Sea el desarrollo de Taylor hasta el orden n:
) )( , ( ) (
!
) (
) (
0
0
0
0
) (
x x f r x x
k
x f
x f
n
n
k
k
k
+ =
=
y consideremos toda la expresin en funcin de x
0
. Por simplicidad, llamemos al
resto con ) )( , ( ) (
0 0
x x f r x s
n
= . Si derivamos con respecto a x
0
tenemos:
) ( ' ) (
!
) (
) (
!
) ( ) (
0
0
1
0
0
) (
0
0
) 1 (
0
x s x x k
k
x f
x x
k
x f
dx
x df
n
k
k
k
k
k
+
(
+
por tanto, al simplificar:
n
n
n
n
x x
n
x f
x s x s x x
n
x f
) (
!
) (
) ( ' ) ( ' ) (
!
) (
0
0
0
) 1 (
0 0 0
0
) 1 (
= + =
+ +
Con esta expresin de la derivada podemos determinar algunas formas para el
resto del desarrollo de Taylor.
i. La expresin de Cauchy del Resto:
Si aplicamos el teorema del valor medio de Lagrange a la funcin s(x
0
), se tiene:
) ( '
) ( ) (
/ ) , (
0
0
0
s
x x
x s x s
x x =
y como es:
n
n
n
x
n
f
s
x x f r x s
) (
!
) (
) ( '
0 ) )( , ( ) (
) 1 (
=
= =
+
queda:
) ( ) (
!
) (
) ( ) (
!
) ( ) ( 0
0
) 1 (
0
) 1 (
0
0
x x x
n
f
x s x
n
f
x x
x s
n
n
n
n
= =
+ +
Quedando, por consiguiente:
) ( ) (
!
) (
) )( , (
0
) 1 (
0
x x x
n
f
x x f r
n
n
n
=
+
, (con ) , (
0
x x )
(Forma de Cauchy del resto)
ii. La expresin de Lagrange del resto:
Llamando aqu tambin ) )( , ( ) (
0 0
x x f r x s
n
= , y considerando la derivada hallada
antes
n
n
x x
n
x f
x f ) (
!
) (
) ( '
0
0
) 1 (
0
=
+
, aplicamos el Teorema del valor medio de
Cauchy a las funciones
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
16
1
0 0 0 0
) ( ) ( ) )( , ( ) (
+
= =
n
n
x x x g x x f r x s
se tiene:
) ( '
) ( '
) ( ) (
) ( ) (
/ ) , (
0
0
0
g
s
x g x g
x s x s
x x =
y siendo 0 ) ( ) ( , 0 ) )( , ( ) (
1
= = = =
+ n
n
x x x g x x f r x s , resulta:
1
0
) 1 (
0
) 1 (
0
0
) (
)! 1 (
) (
) (
) )( 1 (
) (
!
) (
) (
) (
+
+
+
+
=
+
=
n
n
n
n
n
x x
n
f
x s
x n
x
n
f
x g
x s
Y queda, definitivamente:
1
0
) 1 (
0
) (
)! 1 (
) (
) )( , (
+
+
+
=
n
n
n
x x
n
f
x x f r
, (con ) , (
0
x x )
(Forma de Lagrange del resto)
iii. Una expresin integral para el resto:
Si la funcin ) (
) 1 (
x f
n+
es integrable, y haciendo nuevamente ) )( , ( ) (
0 2 0
x x f r x s = ,
se tiene:
d x
n
f
x s d x
n
f
d s x s x s
n
x
x
n
n
x
x
n x
x
. ) (
!
) (
) ( . ) (
!
) (
). ( ' ) ( ) (
0 0 0
) 1 (
0
) 1 (
0
= = =
+ +
As, pues, se tiene la expresin:
d x
n
f
x x f r
n
x
x
n
n
. ) (
!
) (
) )( , (
0
) 1 (
0
=
+
(Forma integral del resto)
iv. El criterio de Schlomich:
Consideremos de nuevo la funcin ) )( , ( ) (
0 2 0
x x f r x s = y la funcin
+
= R p x x x g
p
, ) ( ) (
0 0
Se tiene, pues, que:
1
0 0
0
0
) 1 (
0
) ( ) ( '
) (
!
) (
) ( '
+
=
=
p
n
n
x x p x g
x x
n
x f
x f
y aplicamos el Teorema del valor medio de Cauchy a ambas funciones:
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
17
1
) 1 (
0
0
0
0
0
) .(
) (
!
) (
) (
) (
) ( '
) ( '
) ( ) (
) ( ) (
/ ) , (
+
=
p
n
n
x p
x
n
f
x g
x s
g
s
x g x g
x s x s
x x
y, al despejar x
0
:
) , ( ) ( ) (
! .
) (
) )( , (
0 0
1
) 1 (
0
x x x x x
n p
f
x x f r
p p n
n
n
=
+
+
(Frmula de Scholmilch)
En resumen:
Desarrollo de Taylor con resto de Cauchy:
) , ( ) ( ) (
!
) (
) (
!
) (
) (
0 0
) 1 (
0
0
0
) (
x x x x x
n
f
x x
k
x f
x f
n
n n
k
k
k
+ =
+
=
Desarrollo de Taylor con resto de Lagrange:
) , ( ) (
)! 1 (
) (
) (
!
) (
) (
0
1
0
) 1 (
0
0
0
) (
x x x x
n
f
x x
k
x f
x f
n
n n
k
k
k
+
+ =
+
+
=
Desarrollo de Taylor con resto integral:
d x
n
f
x x
k
x f
x f
n
x
x
n n
k
k
k
. ) (
!
) (
) (
!
) (
) (
0
) 1 (
0
0
0
) (
+ =
+
=
Desarrollo de Taylor con resto de Scholmilch:
) , ( ) ( ) (
! .
) (
) (
!
) (
) (
0 0
1
) 1 (
0
0
0
) (
x x x x x
n p
f
x x
k
x f
x f
p p n
n n
k
k
k
+ =
+
+
=
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
18
Aplicacin a la demostracin de la irracionalidad del nmero e:
Puede probarse fcilmente mediante el desarrollo de Taylor de la funcin e
x
, en el
origen, que el nmero e no puede ser racional:
Por una reduccin al absurdo, veamos lo que ocurrira si el nmero e fuese racional,
esto es, de la forma e=p/q, siendo p y q nmeros naturales no nulos.
Se tiene, para el desarrollo de la exponencial e
x
con resto de Lagrange:
1
3 2
)! 1 ( !
...
! 3 2
1
+
+
+ + + + + + =
n
n
x
x
n
e
n
x x x
x e
donde es ) 1 , 0 ( , lo cual nos indica que ) , 1 ( e e
Si consideramos el desarrollo anterior para x=1, se tendr:
)! 1 ( !
1
...
! 3
1
2
1
1 1
+
+ + + + + + =
n
e
n
e
por tanto,si consideramos un n>q:
e
n
n n n
n e n
n
e
n
n
n n n
n n e n
+
+
+ +
+
+
+
+ + = +
+
+ +
+
+ +
+
+
+
+ + + + = +
!
)! 1 (
1
...
! 3
)! 1 (
2
)! 1 (
)! 1 .( 2 )!. 1 (
)! 1 (
)! 1 (
!
)! 1 (
1
...
! 3
)! 1 (
2
)! 1 (
)! 1 ( )! 1 ( )!. 1 (
y si es e=p/q ser entonces N e n + )!. 1 ( , pues es n>q, pero esto implicara que
N
n
n n n
n e n e
+
+
+
+ + =
!
)! 1 (
1
...
! 3
)! 1 (
2
)! 1 (
)! 1 .( 2 )!. 1 (
Lo cual es imposible, pues ) , 1 ( e e
.
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
19
Determinacin aproximada del nmero e:
Desde la frmula de Taylor para la funcin exponencial (con resto de Lagrange):
=
+
+
+ =
n
k
n k
x
x
x x
n
e
x x
k
e
e
0
1
0 0
) (
)! 1 (
) (
!
0
o bien, si x
0
=0:
=
+
+
+ =
n
k
n k x
x
n
e
x
k
e
0
1
)! 1 ( !
1
y, para obtener el nmero e, bastar hacer x=1:
=
+
+ =
n
k
n
e
k
e
0
)! 1 ( !
1
Si pretendemos encontrar un polinomio de Taylor que se aproxime al nmero e
hasta el orden de las centsimas, esto es, de forma que el error cometido al
suprimir el resto sea inferior a una centsima, debemos determinar cuantos
trminos tendra dicho polinomio, o bien, hasta que orden habra que hacer el
desarrollo:
)! 1 ( . 100
100
1
)! 1 (
+ < <
+
n e
n
e
En definitiva, hemos de encontrar n tal que
)! 1 ( . 100 ! )! 1 ( . 100 ! + < < + < < n e n n e n
y como 100e =278,1... , ha de ser n=5, pues n!=120 y (n+1)!=720, que cumplen
la condicin.
Por tanto, la expresin del nmero e con un error menor que una centsima ser:
! 5
1
! 4
1
! 3
1
! 2
1
! 1
1
! 0
1
+ + + + + = e
Por analoga, puede determinarse e con cualquier aproximacin.
DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
20
BIBLIOGRAFA:
BURGOS, J.: Clculo infinitesimal de varias variables. Editorial McGraw-Hill.
Madrid, 1995.
GARCIA, A., LOPEZ, A. y otros: Clculo II: Teora y problemas de funciones
de varias variables. Clculo diferencial. Clculo integral. Ecuaciones
diferenciales. Ed. CLAGSA. Madrid.
RODRGUEZ MARN, L., y PERN MAZN, J.: Funciones de varias variables.
Clculo diferencial. Coleccin Cuadernos de la UNED. Editorial UNED.
SALAS y HILLE: Calculus de una y varias variables (Tomo II). Editorial
Revert.
SOLER ,M.; BRONTE, R., y MARCHANTE, L.: Clculo infinitesimal e integral.
Publicaciones ETSI Caminos. Politcnica de Madrid, 1989.
THOMAS, G. B., y FINNEY, L. R.: Clculo con geometra analtica. Ed.
Addison-Wesley Iberoamericana, 1987.