Dem de Irracionalidad de e Por T Taylor

DERIVANDO SUCESIVAMENTE.
EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ

SEVILLA, 2004
1

DERIVANDO SUCESIVAMENTE. EL
DESARROLLO DE TAYLOR

Introduccin.
Polinomios de Taylor.
Algunos ejemplos de desarrollos de Taylor.
Aplicaciones al estudio de la convexidad.
Aplicacin a la determinacin de extremos relativos.
Carcter infinitesimal del resto. Aplicacin a la determinacin de
infinitsimos equivalentes.
Teorema de Taylor. Las formas del resto.
Aplicacin a la demostracin de la irracionalidad del nmero e.
Determinacin aproximada del nmero e.

DERIVANDO SUCESIVAMENTE. EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ
SEVILLA, 2004
2

Introduccin:

Sabemos que:

- Una funcin f(x) es continua en un punto x
0
si y solo si el limite de la funcin
en ese punto coincide con f(x
0
):

0 ) ( ) ( ) (
0 0
x f x f x punto el en continua x f
o bien:
0
0 0 0
) ( ) ( ) ( ) ( x x x f x f x punto el en continua x f

- Una funcin f(x) es derivable en un punto x
0
si y solo si la recta tangente en
ese punto coincide con f(x
0
):

| |
0
) )( ( ' ) ( ) (
) (
0
0 0
0

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
.
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
+
+ + + + =

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

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

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:


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 (
) )( , (

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:

)
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
(
) (
!
) (
) )( , (


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 (
) )( (

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

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
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).

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

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 (

SEVILLA, 2004
13
O sea:
1
1
x
e
x

2) 1
) 1 (
+
x
x Ln

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

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

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

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:
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

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

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

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:

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
+ =
+
+
=

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
.
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.

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.

Dem de Irracionalidad de e Por T Taylor

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Dem de Irracionalidad de e Por T Taylor

Enviado por

Direitos autorais:

Formatos disponíveis

DERIVANDO SUCESIVAMENTE.

EL DESARROLLO DE TAYLOR CARMEN SNCHEZ DEZ

Você também pode gostar