Vous êtes sur la page 1sur 12

y = ex

Dveloppements limits
Nous cherchons dans ce chapitre approximer les fonctions par des fonctions polynomiales au voisinage dun point, gnralement 0. Nous allons par exemple montrer
x2 x3
que : ex = 1+x+ + +o(x3 ). Ce rsultat signie que la fonction polynomiale
x0
2
6
de degr infrieur ou gal 3 la plus proche de lexponentielle au voisinage de 0 est la
x2
x2 x3
fonction x 1+x+ + . Pour la mme raison, puisque ex = 1+x+ +o(x2 ),
x0
2
6
2
la fonction polynomiale de degr infrieur ou gal 2 la plus proche de lexponentielle
x2
.
au voisinage de 0 est la fonction x 1 + x +
2

Ord
re 3
Ord
re 2

c Christophe Bertault - MPSI

Approximation
locale
au voisinage de 0
r

Ordre 0

Dans tout ce chapitre, les lettres I, J . . . dsignent des runions finies dintervalles ventuellement des intervalles mais pas forcment.

Dfinitions et premires proprits

Dnition (Dveloppement limit) Soient f : I R une fonction, a I R et n N. On dit que f possde un


dveloppement limit lordre n au voisinage de a sil existe des rels a0 , a1 , . . . , an pour lesquels :
f (x) = a0 + a1 (x a) + . . . + an (x a)n + o (x a)n .
xa

Explication Plus n est grand, plus la quantit (x a)n est petite au voisinage de a. Du coup, plus n est grand, plus
lapproximation de f obtenue au voisinage de a est prcise.
En pratique
On peut ramener tout dveloppement limit au voisinage de a un dveloppement limit au voisinage de 0.
Prcisment, si : f (x) = a0 + a1 (x a) + . . . + an (x a)n + o (x a)n , alors aprs composition droite par la
xa

fonction x x + a :

f (x + a) = a0 + a1 x + . . . + an xn + o(xn ).
x0

Supposons quon ait un dveloppement limit de f lordre n :


On dispose alors dun dveloppement de f tout ordre m

n:

Lopration inverse est tout aussi possible.

f (x) = a0 + a1 (x a) + . . . + an (x a)n + o (x a)n .


xa

f (x) = a0 + a1 (x a) + . . . + am (x a)m + o (x a)m .


xa

Cette opration doubli des termes de degr compris entre m + 1 et n sappelle une troncature de dveloppement limit.
Supposons quon ait un dveloppement limit de f lordre n :

f (x) = a0 + a1 (x a) + . . . + an (x a)n + o (x a)n .


xa

Les premiers coecients sont peut-tre nuls, ventuellement tous. Notons p, sil existe, lindice du premier coecient non
nul avant n. Aprs troncature : f (x) = ap (x a)p + o (x a)p , ce qui scrit aussi : f (x) ap (x a)p .
xa

xa

Conclusion : le premier monme non nul dans un dveloppement limit est un quivalent de la fonction considre au point
considr. Les dveloppements limits peuvent donc servir calculer des quivalents, et donc aussi des limites.
n

Exemple

1
xk + o(xn ) = 1 + x + x2 + . . . + xn + o(xn ).
=
x0
1 x x0 k=0

Pour tout n N :

En eet
donc :

Pour tout x R
1
=
1x

xk =

1 :

xn+1
x +
=
1x

k=0
n

k=0

xk + xn
k=0

1 xn+1
,
1x
x
=
1 x x0

xk + o(xn ).

xk + xn o(1) =
k=0

x0

k=0

Thorme (Unicit des coecients dun dveloppement limit) Soient f : I R une fonction, a I R et
n N. Si a0 , a1 , . . . , an , b0 , b1 , . . . , bn sont des rels et si :
f (x) = a0 + a1 (x a) + . . . + an (x a)n + o (x a)n
xa

f (x) = b0 + b1 (x a) + . . . + bn (x a)n + o (x a)n


xa

alors pour tout k 0, n :

a k = bk .

Dmonstration Supposons par labsurde lassertion k 0, n , ak = bk fausse et notons p le plus petit


indice pour lequel ap = bp . Aprs troncature : 0 = (bp ap )(xa)p +o (xa)p , puis : 0 = (bp ap )+o(1)
xa

et enn ap = bp contradiction !

xa

c Christophe Bertault - MPSI

Le rsultat suivant est une consquence immdiate des dnitions de la continuit et de la drivabilit en un point.
Thorme

(Dveloppement limit, continuit et drivabilit) Soient f : I R une fonction et a I.

f est continue en a si et seulement si f possde un dveloppement limit lordre 0 au voisinage de a.


Prcisment alors : f (x) = f (a) + o(1). Le coecient dordre 0 dun dveloppement limit de f en a est toujours f (a).
xa

f est drivable en a si et seulement si f possde un dveloppement limit lordre 1 au voisinage de a.


Prcisment alors : f (x) = f (a) + f (a)(x a) + o(x a). Le coecient dordre 1 dun dveloppement limit de f en
xa

a est toujours f (a).

Thorme (Dveloppements limits et parit/imparit) Soit f : I R une fonction et n N. On suppose


que 0 I, que I est symtrique par rapport 0 et que f possde un dveloppement limit lordre n au voisinage de 0 :
f (x) = a0 + a1 x + . . . + an xn + o(xn ), o a0 , a1 , . . . , an R.
x0

(i) Si f est paire, les coecients de rang impair sont nuls :

a1 = a3 = a5 = . . . = 0.

(ii) Si f est impaire, les coecients de rang pair sont nuls :

a0 = a2 = a4 = . . . = 0.

Dmonstration
Travaillons seulement sous lhypothse que f est paire. Composant droite par x x le
dveloppement limit de f , nous obtenons un nouveau dveloppement limit de f lordre n au voisinage de 0 :
f (x) = f (x) = a0 a1 x + a2 x2 a3 x3 + . . . + (1)n an xn + o(xn ). Aussitt, par unicit des coecients :
x0

a0 = a0 ,

2.1

a1 = a1 ,

a2 = a2 ,

a3 = a3 ,

an = (1)n an .

...

Le rsultat en dcoule.

Primitivation des dveloppements limits


et formule de Taylor-Young
Primitivation des dveloppements limits

Thorme

(Primitivation des dveloppements limits) Soient f D(I, R), a I et n N. Si f possde un


n

dveloppement limit lordre n au voisinage de a :

f (x) =

xa

k=0

ak (x a)k + o (x a)n
n

possde un dveloppement limit lordre n + 1 au voisinage de a :

Explication
Attention !

xa

k=0

(x a)k+1
+ o (x a)n+1 .
k+1

Bref, on peut toujours primitiver terme terme le dveloppement limit dune drive.
Noubliez pas le terme f (a) dans le membre de droite cest la constante de primitivation .
n

Dmonstration
g

ak

f (x) = f (a) +

o a0 , a1 , . . . , an R, alors f

La fonction x f (x) f (a)

ak
k=0

(x a)k+1
est drivable sur I de drive la fonction
k+1

x f (x)

k=0

ak (x a) . Par hypothse, du coup :

g (x) = o (x a)n ,
xa

i.e. lim

xa

g (x)
= 0.
(x a)n

Pour tout x I \ a , comme g est continue sur [a, x] (ou [x, a]) et drivable sur ]a, x[ (ou ]x, a[), le thorme des
g(x) g(a)
accroissements nis arme que
= g (cx ) pour un certain cx ]a, x[ (ou ]x, a[). Nous obtenons ainsi
xa
une fonction c : I \ a R telle que pour tout x I \ a : |cx a| < |x a|. En particulier : lim cx = a,
et donc :

cx a
g (cx )
g (cx )
g(x) g(a)

=
=
n+1
n
(x a)
(x a)
(cx a)n
xa
0

xa

avons donc montr ceci :

g(x) = o (x a)
xa

xa

0.

xa

savoir le rsultat voulu.

Sachant enn que g(a) = 0, nous

c Christophe Bertault - MPSI

Pour tout n N :

Exemple

En eet

(1)k+1

ln(1 + x) =

x0

1
=
1 x x0

Puisque :

par x x. Primitivons :

k=1

xk
x2
x3
x4
xn
+ o(xn ) = x
+

+ . . . + (1)n+1
+ o(xn ).
x0
k
2
3
4
n

n1

1
=
1 + x x0

xk +o(xn1 ), alors :
k=0

(1)k

x0

(1)k xk +o(xn1 ) aprs composition


k=0
n

n1

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

n1

k=0

xk
xk+1
(1)k+1
+ o(xn ) =
+ o(xn ).
x0
k+1
k
k=1

x2k+1
x3 x5 x7
x2n+1
+o(x2n+1 ) = x
+

+. . . +(1)n
+o(x2n+1 ).
x0
x0
2k + 1
3
5
7
2n + 1
k=0
On remarque que les coecients de rang pair sont tous nuls videmment puisque la fonction arctangente est impaire.
Exemple

Pour tout n N :

En eet Puisque :

1
=
1 x x0

x x . Primitivons :

2.2

(1)k

Arctan x =

1
=
1 + x2 x0

xk +o(xn ), alors :
k=0
n

Arctan x = Arctan 0 +
x0

(1)k x2k +o(x2n ) aprs composition par


k=0

x2k+1
(1)
+ o(x2n+1 ) =
x0
2k + 1

k=0

(1)k
k=0

x2k+1
+ o(x2n+1 ).
2k + 1

Formule de Taylor-Young

(Formule de Taylor-Young) Soient n N, f C n (I, R) et a I. Alors f possde un dveloppement limit


n
f (k) (a)
lordre n au voisinage de a. Prcisment : f (x) =
(x a)k + o (x a)n .
xa
k!
k=0
Thorme

Explication
Ce rsultat est avant tout un thorme dexistence de dveloppements limits. Sur cette question,
nous disposons prsent de deux quivalences et dune implication (seulement) :
Continuit

Existence dun dveloppement limit lordre 0

Drivabilit

Existence dun dveloppement limit lordre 1

Classe C n

Existence dun dveloppement limit lordre n

Dmonstration
suivante :

On raisonne par rcurrence. Pour tout n N, la proposition dmontrer au rang n est la


n
f (k) (a)
(x a)k + o (x a)n .
f C (I, R), f (x) =
xa
k!
k=0
n

Initialisation : Nous savons dj que pour toute fonction f : I R continue :

f (x) = f (a) + o(1).


xa

Hrdit : Soit n N. On suppose la proposition dmontrer vraie au rang n. Soit f C n+1 (I, R). Alors
f est de classe C n sur I, donc par hypothse :
n

f (x) =

xa

k=0

(f )(k) (a)
(x a)k + o (x a)n
k!

xa

k=0

f (k+1) (a)
(x a)k + o (x a)n .
k!

Le thorme de primitivation des dveloppements limits montre aussitt le rsultat souhait :


n

f (x) = f (a) +
xa

k=0
n+1

= f (a) +

xa

f (k+1) (a)
(x a)k+1 + o (x a)n+1
k!(k + 1)
f

k=1

Exemple

Pour tout n N :

ex =

x0

k=0

xa
n+1

(k)

(a)
(x a)k + o (x a)n+1
k!

= f (a) +

xa

k=0

k=0

f (k+1) (a)
(x a)k+1 + o (x a)n+1
(k + 1)!

(k)

(a)
(x a)k + o (x a)n+1 .
k!

x2
x3
x4
xn
xk
+ o(xn ) = 1 + x +
+
+
+ ... +
+ o(xn ).
x0
k!
2
6
24
n!

Lexponentielle est de classe C n sur R donc possde un dveloppement limit lordre n au voisinage
n
n
xk
exp(k) (0) k
x + o(xn ) =
+ o(xn ).
de 0 daprs la formule de Taylor-Young, et de plus : ex =
x0
x0
k!
k!
k=0
k=0
En eet

c Christophe Bertault - MPSI

Exemple

Pour tous R et n N :
( 1) 2 ( 1)( 2) 3
( 1)( 2) . . . ( n + 1) n
x +
x + ... +
x + o(xn ).
2
6
n!

(1 + x) = 1 + x +
x0

En eet La fonction x (1 + x) est de classe C n sur ] 1, [ et pour tout k 0, n , sa drive kme est la
fonction x ( 1)( 2) . . . ( k + 1)(1 + x)k . La formule de Taylor donne aussitt le rsultat annonc.
x3
+ o(x3 ).
3
On pourrait dterminer un dveloppement limit de tangente tout ordre au voisinage de 0, mais le rsultat est complexe et
hors programme.

En eet La fonction tangente est de classe C 3 sur ,
donc possde un dveloppement limite lordre 3
2 2
au voisinage de 0 daprs la formule de Taylor-Young. Mais que valent donc ses quatre premires drives en 0 ?
Exemple

tan x = x +
x0

tan = 1 + tan2 donc tan (0) = 1,

tan 0 = 0,

tan = 2 tan tan = 2 donc tan (0) = 0

tan = 2 tan2 +2 tan tan donc tan (0) = 2.

et

En pratique (Drivation des dveloppements limits) Soient n N , f C n (I, R) et a I. Daprs


la formule de Taylor-Young, f possde un dveloppement limit lordre n et f un dveloppement limit lordre n 1 au
voisinage de a. Prcisment :
n

f (x) =

xa

k=0

f (k) (a)
(x a)k + o (x a)n
k!

n1

f (x) =

et

xa

k=0

f (k+1) (a)
(x a)k + o (x a)n1 .
k!

Il se trouve alors essayez, a marche que le dveloppement limit de f sobtient en drivant terme terme celui de f .
Attention !
Il ne sagit pas darmer quon peut toujours driver un dveloppement limit ! On peut driver un
dveloppement limit lordre n si la fonction sous-jacente est de classe C n au voisinage du point considr.
n

Exemple

1
(k + 1)xk + o(xn ) = 1 + 2x + 3x2 + 4x3 + . . . + (n + 1)xn + o(xn ).
=
x0
(1 x)2 x0 k=0

Pour tout n N :

1
est de classe C n+1 sur ] , 1[ et nous connaissons son dveloppement limit
1x
1
lordre n + 1 au voisinage de 0 :
= 1 + x + x2 + x3 + . . . + xn+1 + o(xn+1 ). Il sut de driver terme
1 x x0
terme ce dveloppement pour obtenir le rsultat annonc.
En eet

2.3

La fonction x

Dveloppements limits usuels

Thorme

(Dveloppements limits usuels)

1) Logarithme, exponentielle, puissances :


n

1
xk + o(xn ) = 1 + x + x2 + . . . + xn + o(xn ).
=
x0
1 x x0 k=0
n

(1)k+1

ln(1 + x) =

x0

k=1
n

ex =

x0

k=0

x2
x3
x4
xn
xk
+ o(xn ) = 1 + x +
+
+
+... +
+ o(xn ).
x0
k!
2
6
24
n!

Pour tout R : (1+x) = 1+x+


x0

xk
x2
x3
x4
xn
+ o(xn ) = x
+

+ . . . + (1)n+1
+ o(xn ).
x0
k
2
3
4
n

( 1)( 2) . . . ( n + 1) n
( 1) 2 ( 1)( 2) 3
x +
x +. . .+
x +o(xn ).
2
6
n!

c Christophe Bertault - MPSI

Thorme

(Dveloppements limits usuels)

2) Fonctions circulaires :
n

(1)k

sin x =

x0

k=0

x3
x5
x2n+1
x2k+1
+ o(x2n+1 ) = x
+
+ . . . + (1)n
+ o(x2n+1 ).
x0
(2k + 1)!
6
120
(2n + 1)!

(1)k

cos x =

x0

k=0

(1)k

Arctan x =

x0

k=0

x2k
x2
x4
x2n
+ o(x2n ) = 1
+
+ . . . + (1)n
+ o(x2n ).
x0
(2k)!
2
24
(2n)!

x3
x5
x7
x2n+1
x2k+1
+ o(x2n+1 ) = x
+

+ . . . + (1)n
+ o(x2n+1 ).
x0
2k + 1
3
5
7
2n + 1
tan x = x +
x0

x3
+ o(x3 ).
3

3) Fonctions hyperboliques :
n

sh x =

x0

k=0

x2k+1
x3
x5
x2n+1
+ o(x2n+1 ) = x +
+
+... +
+ o(x2n+1 ).
x0
(2k + 1)!
6
120
(2n + 1)!
n

ch x =

x0

Dmonstration

k=0

x2k
x2
x4
x2n
+ o(x2n ) = 1 +
+
+ ... +
+ o(x2n ).
x0
(2k)!
2
24
(2n)!

Il nous reste dmontrer les formules pour sin, cos, sh et ch.

sin(2k) (0) = 0
sin(2k+1) (0) = (1)k

et

k
,
2

sin(k) (x) = sin x +

k
2

cos(2k) (0) = (1)k


cos(2k+1) (0) = 0.

Pour tous k N et x R :

La formule de Taylor-Young permet de conclure.

et

cos(k) (x) = cos x +

donc :

Pour sh et ch, on revient simplement la dnition de ces fonctions. Pour tout n N :


sh x =

1
ex ex
=
x0 2
2

2n+1

k=0

2n+1

1
xk

k!
2

(1)k
k=0

xk
x2k+1
+ o(x2n+1 ) =
+ o(x2n+1 ).
x0
k!
(2k + 1)!
k=0

Explication : les termes de rang pair des deux sommes se simplient deux deux tandis que les termes de
rang impair sont compts deux fois mais aussitt diviss par 2. Mme chose pour la fonction ch.

2.4

Un contre-exemple instructif
1
2

Exemple

On pose, pour tout x R :

f (x) =

sin e x2

si x = 0

0
si x = 0.
Alors f admet un dveloppement limite tout ordre au voisinage de 0. En loccurrence, pour tout n N :

f (x) = o(xn ).
x0

Par ailleurs f est drivable sur R tout entier, mais f nest pas continue en 0.
En eet
Soit n N. Pour tout t R tel que |t|
donc lim tn f
t

1
t

1 :

= 0. Par composition lim

x0

tn f

1
t

= |t|n et sin et

|t|n et

f (x)
f (x)
= 0, donc lim n = 0. Bref :
x0 x
xn

2 |t|

|t|n e|t| ,

f (x) = o(xn ).
x0

En particulier f admet un dveloppement limit lordre 1 au voisinage de 0, donc est drivable en 0 avec
f (0) = 0. Comme cette fonction est videmment drivable sur R , elle est drivable sur R tout entier.
Montrons enn que f nest pas continue en 0. Pour tout x R :

f (x) =

1
2
2f (x)
3 cos e x2 .
x3
x

f (x)
= 0, alors pour montrer que f nest pas continue en 0, il nous sut de montrer que
x3
1
2
1
lim 3 cos e x2
pour tout n
2. Alors :
= f (0) = 0. Dans ce but, posons un =
x0
x
ln(2n)
3
1
1
2
2
2
2
n
3 cos e u2 = 3 = 2 ln(2n)
= f (0).
, donc en eet lim 3 cos e x2
n
x0
un
un
x
Comme lim

x0

c Christophe Bertault - MPSI

Attention !

On peut tirer de lexemple ci-dessus un certain nombre de mises en garde importantes. A mditer !

Une fonction qui admet un dveloppement limit lordre 0 (resp. 1) au voisinage dun point est continue (resp. drivable)
en ce point. Peut-on gnraliser et dire par exemple quune fonction qui admet un dveloppement limit lordre 2 au
voisinage dun point est deux fois drivable en ce point ?
Rponse : non. Dans lexemple ci-dessus, f admet un dveloppement limit tout ordre au voisinage de 0 mais nest
mme pas deux fois drivable en 0 car f nest pas continue en 0.
On peut toujours primitiver les dveloppements limits dune drive. Inversement, peut-on toujours driver les dveloppements limits dune fonction drivable ?
Rponse : non. Dans lexemple ci-dessus, f admet un dveloppement limit tout ordre au voisinage de 0 mais f , parce
quelle nest pas continue en 0, ny possde mme pas un dveloppement limit lordre 0.
Les coecients dun dveloppement limit sont uniques, nous lavons vu. Rciproquement, quand deux fonctions ont le
mme dveloppement limit tout ordre au voisinage dun point, sont-elles gales au voisinage de ce point ?
Rponse : non. Dans lexemple ci-dessus, la fonction f a un dveloppement limit nul tout ordre au voisinage de 0, mais
nest pas du tout la fonction nulle au voisinage de 0.

Oprations sur les dveloppements limits


Pour obtenir un dveloppement limit de f + g, f g ou g f lordre n, on peut
toujours partir dun dveloppement limit de f lordre n et dun dveloppement
limit de g lordre n.

Explication

Cela dit on peut souvent faire mieux, cest--dire partir de dveloppements limits de f et g des ordres infrieurs n.
Supposons par exemple quon veuille un dveloppement limit de ex sin(x2 ) lordre 6 lorsque x tend vers 0.
o(xm+2 )

ex sin(x2 ) =

1 + . . . + o(xm )

x0

Comme on le voit ci-contre, la solution la plus


ecace ici consiste dvelopper ex lordre 4
(m + 2 = 6) et sin(x2 ) lordre 6 (n = 6).

x2 + . . . + o(xn ) .

o(xn )
On souhaite prsent dvelopper sin4 x lordre 7 lorsque x tend vers 0. A quel ordre devons-nous dvelopper sin x au
dpart ?
o(xn+3 )
sin4 x =

x0

x + . . . + o(xn )

x0

x + . . . + o(xn )

x + . . . + o(xn )

x + . . . + o(xn )

x + . . . + o(xn ) .

Comme on le voit ci-dessus, la solution la plus ecace ici consiste dvelopper sin x lordre 4 (n + 3 = 7).
ln(1 + x2 )
lordre 5 lorsque x tend vers 0. A quel ordre devons-nous dvelopper
x
ln(1 + x2 )
lordre 5 revient :
ln(1 + x) au dpart ? Dvelopper
x

On cherche un dveloppement limit de

dvelopper ln(1 + x2 ) lordre 6 car la division par x nous fait perdre un ordre,
i.e. dvelopper ln(1 + x) lordre 3 car la composition par x2 multiplie lordre par 2.
2

Finalement :

ln(1 + x )
=
x0
x

(x2 )

(x2 )3
(x2 )2
+
+ o (x2 )3
2
3
x

= x

x0

x3
x5
+
+ o(x5 ).
2
3

On souhaite enn dvelopper ln cos x lordre 6 lorsque x tend vers 0. Sachant que
2

ln cos x = ln 1
x0

x
x
x
+

+ o(x6 )
2
24
720
=u

x0

ln(1 + u) = u + . . . + o(un ) :
u0

x
x
x
+

+ o(x6 ) + . . . + o
2
24
720

A cause du premier terme u,


prcision bloque o(x6 ).

x2
x4
x6
+

+ o(x6 )
2
24
720
o(x2n )

Comme on le voit ci-dessus, la solution la plus ecace ici consiste dvelopper ln(1 + u) lordre 3 (2n = 6).

c Christophe Bertault - MPSI

Exemple

(Arctan x)2 cos x = x2


x0

(Arctan x)2 cos x =

En eet

Exemple

7x4
+ o(x5 ).
6
x0

x3
+ o(x4 )
3

x2
+ o(x3 )
2

x
x2
x3
ex 1
= 1+ +
+
+ o(x3 ).
x x0
6
36
324

1
u
3
En eet Tout dabord :
1 + u = (1 + u) 3 = 1 +
u0
3
x3
x4
x2
+
+
+ o(x4 )
x+
x
e 1
2
6
24
=
= 1+
Egalement :
x0
x0
x
x

2x4
+ o(x5 )
x0
3
7x4
+ o(x5 ).
= x2
x0
6
x2

x2
+ o(x3 )
2

ex 1
=
x0
x

1+

= 1+

x0

1
3

x
x2
x3
+
+
+ o(x3 )
2
6
24
x2
x3
x
+
+
2
6
24

1
9

1
3

= 1+

x0

x3
x2
+
4
6

u2
5u3
+
+ o(u3 ).
9
81
x
x2
x3
+
+
+ o(x3 ).
2
6
24

x2
x3
x
+
+
2
6
24

1
3

x3
8

5
81

1
9

Du coup :

x2
x3
x
+
+
2
6
24

+ o(x3 ) = 1 +
x0

5
81

x2
x3
x
+
+
2
6
24

+ o(x3 )

x2
x3
x
+
+
+ o(x3 ).
6
36
324

1
au voisinage de 0 lorsque lim f = 1, on compose
0
f
1
simplement un dveloppement limit de f au voisinage de 0 avec un dveloppement limit de
lorsque u tend vers 0.
1+u
En pratique

Exemple

Pour calculer un dveloppement limit de

x2
5x4
1
= 1+
+
+ o(x4 ).
cos x x0
2
24
En eet

Comme :

cos x = 1
x0

1
=
cos x x0

1
x
x4
1+
+
+ o(x4 )
2
24

= 1

x0

Exemple

4.1

x0

x4
4

1
= 1 u + u2 + o(u2 ),
1 + u u0

= 1

x4
x2
+
2
24

et

x2
x4
+
2
24

+ o(x4 ) = 1 +
x0

x4
x2
+
2
24

alors :

+ o(x4 )

5x4
x2
+
+ o(x4 ).
2
24

x3
= +o(x2 ).
sh x x x0
En eet

x4
x2
+
+ o(x4 )
2
24

x3
6
x2
x3
=
=
= 6 1
+ o(x2 )
2
5
3
x0
x0
sh x x x0 x
20
x
x
5)
2)
1+
+
+ o(x
+ o(x
6
120
20

= 6

x0

3x2
+ o(x2 ).
10

Exemples et applications
Dveloppements limits au voisinage dun point autre que 0

Exemple

Exemple

(x 2)2
(x 2)3
x2

+
+ o (x 2)3 .
x2
2
8
24
En eet
On ramne le problme en 0 via le changement de variable x = 2 + h. Chercher un dveloppement
limit de ln x lordre 3 lorsque x tend vers 2 revient chercher un dveloppement limit de ln(2 + h) lordre 3
h
h2
h3
h
lorsque h tend vers 0. Or : ln(2 + h) = ln 2 + ln 1 +
+
+ o(h3 ).
= ln 2 +
2 h0
2
8
24
ln x = ln 2 +

1
cos x = x
x 4
4
2
2
En eet
cos

x
4
2 2

+ x
4
6 2

+o

On ramne le problme en 0 via le changement de variable x =

1
+ h = (cos h sin h) =
h0
4
2
2

+ h.
4

h2
h3
+ o(h3 ) h
+ o(h3 )
2
6

h
h2
h3
1
= + +o(h3 ).
h0
2
2 2 2 6 2

c Christophe Bertault - MPSI

4.2

Calculs de limites et recherche dquivalents

Exemple

x4
.
x0
6
En eet Chercher un quivalent revient chercher le premier terme non nul du dveloppement limit
de x ln(1 + x2 ) sin2 x au voisinage de 0. Mais quel ordre devons-nous pousser nos calculs ? Nous navons
hlas aucun moyen de le savoir lavance. Le tatnnement simpose. Il faut juste esprer que le premier terme non
nul cherch nest pas dordre 50.
ln(1 + x2 ) sin2 x

ln(1+x2 )sin2 x =

x2

x0

Exemple

x0

x2

x4
x4
+ o(x4 ) x2
+ o(x4 )
2
3

x0

x4
+o(x4 ).
6

1
1+x 1xx
= .
x0
x3
8
En eet Il nous sut dexhiber un quivalent simple du numrateur et du dnominateur de la fonction tudie.
lim

x3
x2
x3
x
x2
x3
x

+
+ o(x3 ) 1

+ o(x3 ) x =
+ o(x3 ).
x0 8
x0
2
8
16
2
8
16

x3
1
1+x 1xx
1+x 1xx
, donc :

et cest ni.
x0 8
x0 8
x3

1+x

Bref :

4.3

x4
x3
+ o(x4 ) x
+ o(x4 )
2
6

1xx =

1+

Dveloppements asymptotiques

1
x2
ecos x possde une asymptote au voisinage de , dquation y = ex e, et le graphe de
x+1
f est situ au-dessus de cette asymptote au voisinage de .

Exemple

La fonction x

En eet
On se ramne ici au voisinage de 0 laide du changement de variable h =
sagit donc de travailler avec la fonction h f

1
h

1
qui semble adapt f . Il
x

au voisinage de 0.

Se demander si f possde une asymptote au voisinage de , cest se demander sil existe des rels a et b
1
a
+ b + o(1),
=
pour lesquels f (x) = ax + b + o(1). Avec la variable h, cette relation scrit f
x
h h0 h
1
ou encore hf
= a + bh + o(h) on multiplie par h pour avoir sous les yeux un vrai dveloppement
h h0
limit sans coecient dordre 1 .
Plus prcisment, pour connatre la position du graphe de f par rapport son asymptote au voisinage de
, il sut de connatre un quivalent de x f (x) (ax + b) au voisinage de , i.e. de trouver un terme
1
plus n que o(1). Avec la variable h, cela revient chercher un quivalent de h hf
(a + bh) au
h
voisinage de 0, i.e. un terme plus n que o(h).
Concrtement ici, il nous sut de trouver un dveloppement limit lordre 2 de h hf

1
h

au voisinage

de 0, en esprant un coecient dordre 2 non nul.


hf

1
h

ecos h
1+h

h0

2
2
h2
h2
1
e1 2 +o(h ) = e 1 h + h2 + o(h2 ) e 2 +o(h )
h0
1+h

= e 1 h + h2 + o(h2 )

h0

h2
+ o(h2 )
2

= e eh +

h0

eh2
+ o(h2 ).
2

1
e
+o
. En particulier f (x) = ex e + o(1), donc f
x
2x
x
e
admet la droite dquation y = ex e pour asymptote au voisinage de . Et comme f (x) (ex e)
x 2x
est positif au voisinage de , le graphe de f est au-dessus de son asymptote au voisinage de .

Aprs rcriture en x :

f (x) = ex e +
x

En pratique Les dveloppements limits servent souvent pour ltude des suites. Nous savons par exemple que :
u3
u2
x2 x3
+
+ o(x3 ). Du coup pour toute suite (un )nN de limite nulle : eun = 1 + un + n + n + o(u3 ).
e = 1+x+
n
n
x0
2
6
2
6
x

c Christophe Bertault - MPSI

Pour tout n N, lquation x4 + x3 = n dinconnue x R+ possde une et une seule solution note xn .

1
1
3
.
La suite (xn )nN admet le dveloppement asymptotique suivant : xn = 4 n + + o
4
n
4
32 4 n
n

Exemple

En eet
La fonction x x4 + x3 est strictement croissante sur R+ comme somme de fonctions strictement croissantes. Elle par ailleurs continue sur R+ . En vertu du corollaire strictement monotone du TVI, elle est donc
bijective de R+ sur R+ . Or R+ contient N, donc pour tout n N, il existe bien un et un seul xn R+ pour
lequel x4 + x3 = n. Nous noterons ci-dessous cette relation.
n
n
Soit n N. Si xn < 1, alors n = x4 + x3 < 1 + 1 = 2, donc n = 1. Par contraposition, xn
1 pour tout
n
n
n
n
4
3
4
4
n
2, donc xn
xn . Avec on en dduit que xn
, puis que xn
. En particulier, daprs le
2
2
3
4
thorme de minoration :
lim xn = . Il en dcoule que xn = o(xn ), puis que : x4 n daprs
n
n
n
n
4
, et enn : xn
n.
n

Mettons maintenant x4 en facteur dans puis composons avec


n

tout n N relation .
xn

n=

1+

1
xn

. Alors :

xn =

n 1+

1
xn

1
4

pour

Aussitt :
1
4

1
4xn

1
.
4

Conclusion :

xn

1
+ o(1).
4

Les quivalents usuels ont su jusquici mais nous aurons besoin des dveloppements limits pour calculer
le terme suivant du dveloppement asymptotique de xn lorsque n tend vers . Nous allons partir de et
1
x
5x2
15x3

+ . . . + o(x??? ), mais quel ordre ?


du dveloppement limit : (1 + x) 4 = 1 +
x0
4
32
128
1
1
, commenons par chercher un dveloppement asymptotique de
.
Comme nous aurons poser x =
xn
xn
1
xn

1
1
n + o(1)
4

1

4
n

1
1
1 +o
44n

1
1
1+ +o
4
n
44n

4
n

4
n

1
1
+ +o
4
n 4 n

1
= 1t+t2 +o(t2 ), voire un dveloppement
1 + t t0
1
1
plus prcis encore ? Cela naurait hlas pas donn mieux. En eet, pour t = + o
, le terme
4
44n
n
1
qui mangerait les termes en t2 et rend inutile leur introduction.
1 + t contient un o
4
n
Aurions-nous pu utiliser le dveloppement plus prcis :

Finissons-en.
xn =

n 1+

1
4

1
xn

n 1

1
4

1
1
n 1+ + +o
4
n
4 n

1
1
+
4
n
4 n

5
32

+o

1
4

n 1

1
4

1
1
+
4
n
4 n

1
3
+ +o
4
32 4 n

4
n

5
32

1
1
+
4
n
4 n

+o

.
1

Aurions-nous fait mieux si nous avions pouss le dveloppement limit de (1 + x) 4 lordre 3, voire plus ?
1
1
1
x 5x2
1
contient un o
, le terme 1 +
qui ne ferait quune
Non, car avec x = + + o
4
4
32
n 4 n
n
n
3
bouche des termes en x .

4.4

Allure locale des courbes paramtres

Nous avons dans le chapitre Courbes paramtres introduit les notions de demi-tangente et tangente en un point et de
point rgulier/singulier. Notre rsultat principal fut quen un point rgulier, il existe toujours une tangente et quelle est dirige
par la drive. Le rsultat suivant, entre autres choses, tend ce rsultat au cas des points singuliers.
Thorme (Tangente et premier entier caractristique dune courbe paramtre) Soient k 1, f C k (I, R2 ) et

a I. Sil existe, on note p le plus petit entier i 1, k pour lequel f (i) (a) = 0 , appel le premier entier caractristique
de f en a.
Alors f possde une tangente en a, dirige par le vecteur f (p) (a).

c Christophe Bertault - MPSI


Notons (x, y) les coordonnes de f dans le repre orthonormal direct usuel (O, , ). Par

(p1)
x (a) = x (a) = . . . = x
(a) = 0
(p)
(p)
(p)
et
f (a) = x (a), y (a) = (0, 0), donc
dnition de p :
y (a) = y (a) = . . . = y (p1) (a) = 0
daprs la formule de Taylor-Young :
Dmonstration

x(t) = x(a) +
ta

x(p) (a)
(t a)p + o (t a)p
p!

f (t) f (a)
=
|t a|p

Ainsi :

Egalement :

x(t) x(a)
=
f (t) f (a)

Finalement, sachant que


lim

ta+

x(t) x(a)
(t a)p
f (t) f (a)
(t a)p

x(t) x(a)
(t a)p
f (t) f (a)
(t a)p

x(t) x(a)
=
f (t) f (a)

et :

x(t) x(a)
(t a)p

ta

et

y(t) = y(a) +
ta

y(t) y(a)
(t a)p

ta+

f (t) f (a)
f (p) (a)
=
f (t) f (a)
f (p) (a)

et

x(p) (a)
p!

ta

x(p) (a)
p!
f (p) (a)
p!

x(p) (a)
p!
(1)p f (p) (a)
p!

f (t) f (a)
x(t) x(a)
=
f (t) f (a)
f (t) f (a)

y (p) (a)
(t a)p + o (t a)p .
p!

ta

x(p) (a)
p!

f (p) (a)
.
p!

x(p) (a)
f (p) (a)

= (1)p

+ y(t) y(a)

f (t) f (a)
lim

x(p) (a)
. Mme chose avec y.
f (p) (a)

f (t) f (a)
= (1)p
f (t) f (a)

f (p) (a)
,
f (p) (a)

donc f possde comme voulu une tangente en a dirige par f (p) (a).

Thorme (Allure locale et second entier caractristique dune courbe paramtre) Soient k 2, f C k (I, R2 )
et a I. On suppose que f admet un premier entier caractristique p. Sil existe, on note alors q le plus petit entier
i p, k pour lequel f (p) (a) et f (i) (a) sont non colinaires, appel le second entier caractristique de f en a.
Lallure du support de f au voisinage de a dpend alors des parits/imparits de p et q. Ci-dessous, la petite che indique
le sens de parcours de la courbe (croissance de la variable).
Cas o p et q sont impairs :
On dit alors que f (a) est un point dinexion.

Cas o p est impair et q pair :


On dit alors que f (a) est un point ordinaire.
f (p) (a)

f (p) (a)
f (q) (a)

f (q) (a)

f (a)

f (a)

Cas o p est pair et q impair :


On dit alors que f (a) est un point de rebroussement de
premire espce.
f (p) (a)

Cas o p et q sont pairs :


On dit alors que f (a) est un point de rebroussement de
deuxime espce.
f (p) (a)

f (q) (a)

f (q) (a)

f (a)

En pratique

f (a)

Et comment fait-on pour tester la colinarit de deux vecteurs ? On calcule leur dterminant.

Dmonstration


Notons (x, y) les coordonnes de f dans le repre orthonormal direct usuel (O, , ).

x (a) = x (a) = . . . = x(p1) (a) = 0


y (a) = y (a) = . . . = y (p1) (a) = 0
donc daprs la formule de Taylor-Young :

Par dnition de p :

x(t) = x(a)+
ta

x(p)(a)
x(q) (a)
(ta)p +. . .+
(ta)q +o (ta)q
p!
q!

10

et

et

y(t) = y(a)+
ta

f (p) (a) = x(p) (a), y (p) (a) = (0, 0),

y (p)(a)
y (q) (a)
(ta)p +. . .+
(ta)q +o (ta)q ,
p!
q!

c Christophe Bertault - MPSI

dveloppements limits que lon peut fondre en un unique dveloppement limit vectoriel :
f (t) = f (a) +
ta

f (p) (a)
f (q) (a)

(t a)p + . . . +
(t a)q + (t a)q
o
p!
q!

dans lequel (t a)q est un vecteur dont la norme est un o (t a)q au sens usuel au voisinage de a.
o
Par hypothse, f (a), f (p) (a), f (q) (a) est un repre du plan mais pas forcment orthonormal direct.
Notons (X, Y ) les coordonnes de f dans ce repre. Puisque f (p) (a), f (p+1) (a). . . et f (q1) (a) sont colinaires,
le dveloppement limit vectoriel crit ci-dessus nous donne :

p
p
X(t) (t a)
X(t) = (t a) + o (t a)p

ta
ta
p!
p!
i.e.
q
q
Y (t) (t a) .
Y (t) = (t a) + o (t a)q ,

ta
ta
q!
q!

t<a

X(t) > 0

Y (t) < 0

Traitons pour nir, par exemple, le cas o p est pair et o q est impair.

t>a
Puisque p est pair, lquivalent de X trouv ci-dessus montre que X est
X(t) > 0
strictement positive au voisinage de a, gauche comme droite.

Y (t) > 0
f (p) (a)
Puisque q est impair, lquivalent de Y trouv ci-dessus montre que Y est
(q)
strictement ngative au voisinage de a gauche, et strictement positive au
f (a)
voisinage de a droite.
f (a)

Dnition (Point birgulier) Soient f C 2 (I, R2 ) et a I. On dit que le point f (a) est birgulier si f (a) = 0 et si la

famille f (a), f (a) est libre cela revient dire que les entiers caractristiques de f en a sont, dans lordre, 1 et 2.
Si le point f (a) est birgulier, il est ordinaire.

Explication
Je madresse ici votre seule intuition. Dans la mesure o f (a) peut tre nimporte quel vecteur a

priori, la probabilit quil soit 0 est gale la probabilit de tirer 0 dans lensemble des vecteurs du plan : probabilit nulle.
Ce nest donc pas sans raison que presque tous les points dune courbe paramtre soient rguliers, il est en fait peu probable
quune courbe tire au hasard aient des points singuliers.
A prsent, pour un point f (a) rgulier, sachant que f (a) peut tre nimporte quel vecteur a priori, la probabilit pour que f (a)
et f (a) soient colinaires est galement nulle. Cest dire sil est peu probable quun point tir au hasard ne soit pas birgulier !
La non-birgularit est une sorte daberration statistique. Sur une courbe normalement constitue, tous les points sont birguliers
sauf quelques-uns.
Exemple

On note f = (x, y) la courbe paramtre de classe C dnie par :

1
Pour tout t R : x (t) = t2 + 1 = 0 et y (t) = t .
2
tous soit des points ordinaires, soit des points dinexion.

t R,

x(t) = t +

t3
3

et

y(t) =

t2 t 1
.
2

La courbe f est en particulier rgulire, donc ses points sont

Quels ventuels points dinexion au juste ? Nous cherchons en tout point le second entier caractristique de f .
t2 + 1 2t
x (t) x (t)
=
= t2 + t + 1, la famille f (t), f (t)
Fixons t R. Comme : det f (t), f (t) =
1

y (t) y (t)
1
t
2

1+ 5 1 5
1+ 5 1 5
2
est libre si et seulement si t = t + 1, i.e. t
/
,
,
. Pour t
/
, nous pouvons au moins
2
2
2
2
dire tout de suite que le point f (t) est birgulier, donc ordinaire.

t2 + 1 2
1 5
x (t) x(3) (t)
=
Mais si t =
? Dans ces deux cas : det f (t), f (3) (t) =
= 2t + 1 = 0.
1
(3)
y (t) y (t)
2
0
t
2

1 5
Les deux points f
sont des points dinexion.
2
Les variations de x et y et les branches innies de f vous sont laisss en exercice. Sur le trac ci-dessous, les tangentes aux
points dinexion ont t traces en pointills : on visualise ainsi mieux le fait que la courbe traverse la tangente en un
point dinexion.

11

c Christophe Bertault - MPSI

1
et y(t) = t ln(1 t).
1 + 6t2 + 3t3

Alors le point g(0) est un point de rebroussement de deuxime espce en lequel la tangente est dirige par 6 .

Exemple

On note g = (x, y) la courbe de classe C dnie par : t ] 1, [, x(t) =

t3
t4
+
+ o(t4 ). Or g est de
t0
t0
2
3
4
classe C , donc ces dveloppements limits sont aussi donns par la formule de Taylor Young. Par identication :

En eet

Simple calcul :

x(0) = 1,
y(0) = 0,

x(t) = 1 6t2 3t3 + 36t4 + o(t4 )

x (0) = 0,
y (0) = 0,

x (0) = 12,
y (0) = 2,

et

y(t) = t2 +

x (0) = 18
y (0) = 3

et
et

x(4) (0) = 36 4! = 864


y (4) (0) = 8.

Colinaires

Bref :

g(0) = (1, 0),

g (0) = 0 ,

g (0) = (12, 2),

g (0) = (18, 3)

et

g (4) (0) = (864, 8).


Le premier entier caractristique de g en 0 vaut donc 2 la tangente est dirige par g (0), donc par 6

tandis que le second vaut 4. Le point g(0) est nalement un point de rebroussement de deuxime espce.

12