Académique Documents
Professionnel Documents
Culture Documents
11 Formules de Taylor
11 Formules de Taylor
Dans tout ce chapitre, I est un intervalle de R, et les fonctions sont valeurs dans R ; n
dsigne un entier naturel.
I Prliminaire
Soient 0 , 1 , 2 ,... n R .
Soit
P :R R
n
x n x n n 1x n 1 ...1x0 k x k .
k 0
Alors
P C (R , R ) ,
P ( 0 ) ( x) k x k
k 0
n
P (1) ( x) k k x k 1
k 1
(2)
( x) n(n 1) n x n 1 ... 2 2
P ( n ) ( x) n! n
Et P ( k ) ( x) 0 pour k n
En 0 :
P ( 0 ) ( x) 0
P (1) ( x ) 1
P ( 2 ) ( x ) 2 2
P ( k ) ( x) k! k pour 0 k n
Plus gnralement :
Soient 0 , 1 , 2 ,... n R , a R .
Soit
P:R R
x n ( xa )n n 1 ( xa)n1 ...1 ( xa)0
Page 1 sur 7
II Ingalit de TaylorLagrange
Thorme :
, b] . Alors :
Soit f une fonction de classe C n 1 sur un segment [ a
(b a ) 2
(b a ) n ( n )
f (b) f (a ) (b a ) f ' (a )
f ' ' (a ) ...
f (a ) Rn (b)
, avec
2! n!
Tn ( b )
Rn (b)
ba
n 1
( n 1)!
sup f
( n 1)
t[ a ,b ]
(t ) .
, b] )
(La borne sup. est bien dfinie car f ( n 1) est dfinie et continue sur le segment [ a
Cest lingalit de TaylorLagrange lordre n de f entre a et b.
Dmonstration :
* Le cas o a b est trivial.
* Si a b : on va montrer que pour tout x [a, b] , on a :
( x a ) n 1
( x a) 2
( x a) n
M f ( x) f ( a ) ( x a ) f ' (a )
f ' ' (a ) ...
f
( n 1)!
2!
n!
f
o M tsup
[ a ,b ]
( n 1)
(n)
(a )
( x a ) n 1
M
(n 1)!
Soit
x f ( x) f (a )( xa) f '(a )
( x a) 2
( x a) n ( n )
( x a ) n 1
f ''(a )...
f (a )
M
2!
n!
(n 1)!
( x a ) n 1
M
(n 1)!
( x a) n
M
n!
x [ a, b], ( n ) ( x ) f
( x) ( x a) M f
( n)
( x ) Tn
(n)
(n)
( x) f
(n)
(a) ( x a) M
x [ a, b],
( x) f
( x ) M 0 car f
( x) M .
(n)
(n)
Donc
est dcroissante, et ( a) 0 . Donc x [a, b], ( n ) ( x) 0 , donc
( n 1) est dcroissante, et ( n 1) ( a ) 0 . Donc donc est dcroissante, et (a ) 0 ,
donc x [ a, b], ( x) 0 .
( n 1)
( n 1)
( n 1)
( x a ) n 1
M 0
(n 1)!
(b a ) n 1
f
(
b
)
T
(
b
)
M
Et, en particulier :
n
( n 1)!
Page 2 sur 7
( x a)
Soit dfinie par x [a, b], ( x) f ( x) Tn ( x)
n 1
(n 1)!
( x a) n
M
n!
Donc x [ a, b], f ( x) Tn ( x)
Donc f (b) Tn (b)
-
(b a ) n 1
M
( n 1)!
f (b) Tn (b)
Ainsi,
Rn (b)
ba
( x a ) n 1
M 0
( n 1)!
(b a ) n 1
sup f
( n 1)! t[ a ,b ]
( n 1)
(t ) ,
soit
n 1
sup f
( n 1)!
( n 1)
t[ a ,b ]
(t )
* Si a b :
f
Etant donn f : [a, b] R de classe C n 1 , en posant M tsup
[ a ,b ]
g : [ a,b] R
x f ( x ) .
Alors
g
(k )
( x) ( 1) f
k
est
(k )
de
classe
C n 1 ,
et
( x) .
( n 1)
(t ) , on introduit
k 0, n 1 , x [ a,b] ,
a et
b donne :
( b a )
( b a ) n ( n )
g ( b) g ( a ) (b a ) g ' ( a )
g ' ' ( a ) ...
g ( a ) S n ( b)
2!
n!
(b a ) n 1
S
(
b
)
sup g ( n 1) (t ) .
avec n
( n 1)! t[ a , b ]
On a :
g ( a ) f (a ), g ( b) f (b),
(b a ) g ' ( a ) (b a )(1) f ' (a ) (b a ) f ' (a ),
(b a ) 2 g ' ' ( a ) (b a ) 2 ( 1) 2 f ' ' (a ) (b a ) 2 f ' ' (a )...
Donc
f (b) f (a ) (b a ) f ' (a)
S n ( b )
(b a ) 2
(b a ) n
f ' ' (a ) ...
f
2!
n!
(n)
(a ) S n (b) , et :
( b a ) n 1
sup g ( n 1) (t )
(n 1)!
t[ a , b ]
ba
n 1
( n 1)!
Page 3 sur 7
x2
xn
f ' ' (0) ...
f
2!
n!
(n)
(0) Rn ( x) , avec :
n 1
Rn ( x )
x
sup f
( n 1)! t[ 0 , x ]
( n 1)
(t )
Exemple :
La fonction exponentielle tant de classe C sur R, on peut crire cette ingalit
nimporte quel ordre :
n 1
x
x2
xn
sup (e t )
e 1 x
...
Rn ( x) , avec Rn ( x)
(
n
1
)!
t
[ 0 , x ]
2!
n!
(n)
(a) ( x a) n ( x) F
( x a) 2
( x a) n
f ' ' ( a) ...
f
2!
n!
(n)
( a) o(( x a) n )
Dmonstration :
Soit n 1 .
Pour x I , posons :
f ( x ) Tn ( x)
si x a
( x) ( x a) n
0 si x a
On a alors dj lgalit. Reste montrer que
( x) x a 0 .
x a
(a)
( n 1)!
n!
sup ( n ) (t )
t[ a , x ]
t I , ( n ) (t ) f ( n ) (t )
Ainsi, f ( x) Tn ( x)
Tn( n ) (t )
Tn( n ) ( a ) f ( n ) ( a )
xa
n!
Donc, pour x a :
sup f
t[ a , x ]
(n)
(t ) f
( n)
(a ) .
Page 4 sur 7
( x)
1
sup f
n! t[ a , x ]
(n)
(t ) f
(n)
(a )
sup f ( n ) (t ) f ( n ) (a) x a 0
t[ a , x ]
(puisque pour
( n)
t [ a, x ], t a x a
g (t ) / 2 .
x I , ( x a sup g (t ) / 2 )
Donc
t[ a , x ]
* Autre dmonstration :
Pour tout x I , on a :
, x] . Donc, sur ce segment, elle est bien
La fonction g est continue sur le segment [a
, x] tel que sup g (t ) g (c x ) .
borne, et elle atteint ses bornes. Il existe donc c x [a
t[ a , x ]
On a :
x I , c x a x a
, x] .
car c x [a
sup g (t )
t[ a , x ]
x a
Dans le cas o n 0 :
Le thorme dit :
0 , ce qui est vrai.
Si f est continue sur I contenant a : f ( x) f (a) ( x) o
a
Cas particulier : TaylorYoung lordre n en 0 :
Soit f de classe C n sur I contenant 0.
Alors f ( x) f (0) xf ' (0)
x2
xn
f ' ' (0) ...
f
2!
n!
(n)
( 0) o ( x n ) .
(b a ) 2
(b a) n ( n )
(b a) n 1 ( n 1)
f ' ' (a ) ...
f (a )
f
(c ) .
2!
n!
(n 1)!
Dmonstration :
Soit : [a, b] R dfinie par :
(b x) n ( n )
(b x) n 1
f ( x)
A
n!
( n 1)!
O A est une constante de sorte que (a ) f (b) , c'est--dire :
(n 1)!
(b a) n ( n )
A
f
(
a
)
(
b
a
)
f
'
(
a
)
...
f (a )
n 1
n!
(b a)
Page 5 sur 7
Soit ' ( x)
x2
xn
f ' ' (0) ...
f
2!
n!
(n)
(0) Rn ( x) , avec :
n 1
x
Rn ( x )
sup f
( n 1)! t[ 0 , x ]
( n 1)
(t )
Thorme (TaylorYoung) :
Soit f C n1 ( I , R ) , o I contient 0. Alors, au voisinage de 0 :
f ( x) f (0) xf ' (0)
x2
xn
f ' ' (0) ...
f
2!
n!
(n)
( 0) o ( x n )
x I \ 0 , il existe c
] 0, x[ tel que :
x2
xn
f ' ' (0) ...
f
2!
n!
(n)
( 0)
x n 1
f
(n 1)!
( n 1)
(c x )
... (1) n
o( x 2 n ) (ordre 2n )
2!
4!
6!
(2n)!
2
4
6
2n
x
x
x
n x
cos
x
...
1
)
o( x 2 n 1 ) (ordre 2n 1 )
Et mme
2!
4!
6!
( 2n)!
ex 1 x
Page 6 sur 7
sin x x
x3 x5 x7
x 2 n 1
... ( 1) n
o( x 2 n 1 ) (ordre 2n 1 )
3!
5!
7!
( 2n 1)!
Et mme sin x x
x3 x5 x7
x 2 n 1
... (1) n
o( x 2 n 2 ) (ordre 2n 2 )
3!
5!
7!
(2n 1)!
f( 0 ) ( x ) (1 x )
f(1) ( x) (1 x ) 1
f( 2 ) ( x ) ( 1)(1 x ) 2
Donc (1 x) 1 x
( 1) 2
( 1)( 2)...( n 1) n
x ...
x o( x n )
2!
n!
Commentaire :
Le cosinus lordre 2 donne :
cos x 1 x2 x 2 ( x)
2
Donc
cos x 1 x2 x 2 ( x)
2
C'est--dire cos x 1 ~0
x2
2
1 x
1 ( 1) n 1 x n 1
1( x )
( 1) n 1 x n 1
1 x
C
p
0
p
1
C 2p
C3p
C pp
1 n 1
2
(2 k)
n! k 0
1 2n
Page 7 sur 7