Vous êtes sur la page 1sur 15

c Christophe Bertault - MPSI

Dveloppements limits
Nous cherchons dans ce chapitre approximer les fonctions par des fonctions polynomiales au voisinage dun point, gn-
ralement 0. Par exemple, nous savons que cos x = 1 + o(1), ce qui signifie que la meilleure approximation du cosinus au
x0
x2
voisinage de 0 par une fonction polynomiale de degr 0 est 1. Mais nous avons aussi vu mieux : cos x = 1 + o(x2 ) ;
x0 2
x2
ceci montre que la meilleure approximation du cosinus par une fonction polynomiale de degr 2 est x 7 1 .
2

Dans tout ce chapitre, I, J . . . sont des intervalles de R.

1 Dfinitions et premires proprits

Dfinition (Dveloppement limit) Soient f : I R une application, 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 tels que :

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

   Explication Pour une fonction, possder un dveloppement limit lordre n au voisinage de a, cest pouvoir tre
approxime de faon pertinente par une fonction polynomiale de degr n. Mais pourquoi crit-on dans ce contexte les fonctions
polynomiales approximantes au moyen de monmes de la forme (x a)k o k N ? Pourquoi nest-il pas intressant dcrire :
f (x) = a0 + a1 x + . . . + an xn + o(xn ) ?
xa
Parce quon travaille au voisinage de a, les monmes (x a)k pour k N sont des quantits trs petites, de limite nulle en a (sauf
pour k = 0). Qui plus est, plus k grandit, plus (x a)k est proche de 0 au voisinage de a. Ces remarques aident comprendre
pourquoi le dveloppement limit f (x) = a0 + a1 (x a) + o(x a) est par exemple une approximation moins prcise de f
xa 
au voisinage de a que le dveloppement limit f (x) = a0 + a1 (x a) + a2 (x a)2 + o (x a)2 . Si on remplaait les (x a)
xa
par des x, en supposant a 6= 0, on perdrait cette ide que plus lordre du dveloppement est grand, plus la prcision obtenue est
fine.

Remarque
On peut ramener tout dveloppement limit au voisinage de a un dveloppement limit au voisinage de 0. Cest utile en
pratique, comme nous le verrons. 
Prcisment, si on a : f (x) = a0 + a1 (x a) + . . . + an (x a)n + o (x a)n , alors on a, en composant droite par
xa
la fonction x 7 x + a : f (x + a) = a0 + a1 x + . . . + an xn + o(xn ). Lopration inverse est tout aussi possible.
x0

Supposons quon ait un dveloppement limit de f lordre n : f (x) = a0 +a1 (xa)+. . .+an (xa)n +o (xa)n . Alors
xa 
on dispose aussi dun dveloppement de f tout ordre m 6 n : 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.
Lide est simple : qui peut le plus (en prcision) peut le moins.

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 coefficients de ce dveloppement sont peut-tre nuls, ventuellement tous ; notons p, sil existe,lindice du
premier coefficient non nul. Alors : f (x) = ap (x a)p + ap+1 (x a)p+1 + . . . + an (x a)n + o (x a)n . Si nous
xa 
tronquons ce dveloppement, nous obtenons donc galement : f (x) = ap (x a)p + o (x a)p , ce qui scrit aussi :
xa
p
f (x) ap (x a) . Conclusion : le premier monme non nul dans un dveloppement limit est un quivalent de la
xa
fonction considre au point considr. Les dveloppements limits peuvent donc servir calculer des quivalents, et donc
aussi des limites.

1 X k n
Exemple Pour tout n N : = x + o(xn ) = 1 + x + x2 + . . . + xn + o(xn ).
1x x0
k=0
x0

 X
n
1 xn+1
En effet Soit n N. On a, pour tout x R r 1 : xk = ,
1x
k=0
1 X kn
xn+1 X k n
x X k n X k n
donc : = x + = x + xn = x + xn o(1) = x + o(xn ) comme voulu.
1x k=0
1 x k=0
1 x x0
k=0
x0
k=0

1
c Christophe Bertault - MPSI

Thorme (Unicit des coefficients dun dveloppement limit) Soient f : I R une application, 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  , alors : k J0, nK, a k = bk .
f (x) = b0 + b1 (x a) + . . . + bn (x a)n + o (x a) n
xa

Dmonstration Raisonnons par labsurde et supposons que lassertion k J0, nK, ak = bk est fausse.
Notons alors p le plus petit indice pour lequel ap 6= bp . On a alors :

0 = (bp ap )(x a)p + (bp+1 ap+1 )(x a)p+1 + . . . + o (x a)n ,
xa

donc aprs troncature : 0 = (bp ap )(x a)p + o (x a)p , ou encore : 0 (bp ap )(x a)p . Or que
xa xa
signifie tre quivalent 0 au voisinage de a ? Cela signifie tre gal, rigoureusement gal 0 au vosinage de a.
Lgalit ap = bp en dcoule contradiction. 

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

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


f est continue en a si et seulement si f possde un dveloppement limit lordre 0 au voisinage de a.
Prcisment : f (x) = f (a) + o(1). Le coefficient dordre 0 dun dveloppement limit de f en a est systmatiquement
xa
gal f (a).
f est drivable en a si et seulement si f possde un dveloppement limit lordre 1 au voisinage de a.
Prcisment : f (x) = f (a) + f 0 (a)(x a) + o(x a). Le coefficient dordre 1 dun dveloppement limit de f en a est
xa
systmatiquement gal f 0 (a).

$ $ $ Attention ! Malheureusement, il est faux en gnral quon retrouve f (k) (a) au niveau du coefficient dordre k dun
dveloppement limit si k > 2. Lexemple suivant vous en convaincra. On pose, pour tout x R :
(  
12 1
e x sin e x2 si x 6= 0
f (x) = . Bien sr, f est de classe C sur R .
0 si x = 0
12  n  n
f (x)
6 e 2 n 2
2

x 22
Soit n N . Pour tout x R : xn = e nx .
xn nx2 2
2 2 2
Or lim 2
= et lim ueu = 0, donc par composition lim 2
e nx2 = 0. Le thorme des gendarmes montre
x0 nx u x0 nx
f (x)
finalement que lim n = 0, i.e. que : f (x) = o(xn ). Ceci montre que f possde un dveloppement limit tout
x0 x x0
ordre au voisinage de 0 dont la partie polynomiale est toujours nulle, bien que f ne soit pas identiquement nulle au
voisinage de 0 !
En particulier, f (x) = o(x). Le thorme prcdent montre donc que f est continue et mme drivable en 0 et que
x0
f (0) = f 0 (0) = 0. La drive f 0 de f est donc dfinie sur R tout entier.
Montrons que f 0 nest pas continue en 0 donc encore moins drivable en 0, ce qui montrera que f 00 (0) en particulier
nest pas dfini.
2f (x) 2  1 
Pour tout x R , un calcul classique de drive montre que : f 0 (x) = cos e x2 . Mais nous avons dj
x3 x3  1 
2f (x) 0 2
montr que lim = 0. Pour montrer que f nest pas continue en 0, il nous suffit donc de montrer que lim cos e x2
x0 x3 x0 x3
0
nest pas gale f (0) = 0 via la caractrisation squentielle de la limite.
 1  3
1 2 2
Or posons, pour tout n N, n > 2, un = p . On a, pour tout n N, n > 2 : 3
cos e u2n = 3 = ln(2n) 2 .
ln(2n) un un
2  1 
u2 0
Par consquent lim 3 cos e n = = 6 0 = f (0), comme voulu.
n un

Concluons. La fonction f a beau admettre un dveloppement limit tout ordre au voisinage de 0, elle nen est pas pour
autant infiniment drivable en 0 ; elle est bien continue et drivable en 0, mais pas mme deux fois drivable en 0. Le
coefficient de degr 2 de son dveloppement limit ne peut donc en aucune faon reprsenter f 00 (0).

$ $ $ Attention ! Comme lexemple prccent le montre, f peut trs bien admettre un dveloppement limit tout ordre
sans pour autant que f 0 possde ne serait-ce quun dveloppement limit lordre 2.

2
c Christophe Bertault - MPSI

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


0 I et que f possde un dveloppement limit lordre n au voisinage de 0 : f (x) = a0 + a1 x + . . . + an xn + o(xn ), o
x0
a0 , a1 , . . . , an R.
(i) Si f est paire, les coefficients de rang impair du dveloppement limit ci-dessus sont nuls : a1 = a3 = a5 = . . . = 0.
(ii) Si f est impaire, les coefficients de rang pair du dveloppement limit ci-dessus sont nuls : a0 = a2 = a4 = . . . = 0.

Dmonstration Composant droite par x 7 x le dveloppement limit de f , nous obtenons un dveloppe-


ment limit de x 7 f (x) lordre n au voisinage de 0 :
f (x) = a0 a1 x + a2 x2 a3 x3 + . . . + (1)n an xn + o(xn ).
x0

Supposons f paire. Nous avons en fait obtenu ci-dessus une nouvelle expression du dveloppement limit
de f lordre n au voisinage de 0. Par unicit des coefficients dun dveloppement limit, on en dduit les
galits : a0 = a0 , a1 = a1 , a2 = a2 , a3 = a3 , . . . an = (1)n an dont le rsultat est une
consquence immdiate.
Supposons f impaire. Nous avons en fait obtenu ci-dessus une nouvelle expression du dveloppement limit
de f lordre n au voisinage de 0. Par unicit des coefficients dun dveloppement limit, on en dduit les
galits : a0 = a0 , a1 = a1 , a2 = a2 , a3 = a3 , . . . an = (1)n an dont le rsultat
est une consquence immdiate. 

2 Primitivation des dveloppements limits


Formule de Taylor-Young

2.1 Primitivation des dveloppements limits


 
Lemme Soient f D(I, R), a I et n N. Si : f 0 (x) = o (x a)n , alors : f (x) = f (a) + o (x a)n+1 .
xa xa

   Explication Ce lemme est un premier pas vers la primitivation des dveloppements limits.


Dmonstration Soit > 0. Puisque f 0 (x) = o (x a)n , il existe > 0 tel que :
xa

x I, |x a| 6 = f 0 (x) 6 |x a|n .
Fixons x I tel que |x a| 6 . Puisque f est drivable sur I, le thorme des accroissements finis affirme
f (x) f (a)
lexistence dun rel c compris entre a et x tel que f 0 (c) = . Alors :
xa

f (x) f (a) = f 0 (c) |x a| 6 |c a|n |x a| 6 |x a|n+1 .

Lingalit |c a| 6 |x a| provient du
 fait que c est compris entre a et x. Nous avons bien montr comme voulu
que : f (x) = f (a) + o (x a)n+1 . 
xa

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

pement limit lordre n au voisinage de a : f 0 (x) = ak (x a)k + o (x a)n o a0 , a1 , . . . , an R, alors f possde
xa
k=0
X
n
(x a)k+1 
un dveloppement limit lordre (n + 1) au voisinage de a : f (x) = f (a) + ak + o (x a)n+1 .
xa
k=0
k+1

   Explication Bref, on peut toujours primitiver terme terme le dveloppement limit dune drive.

$ $ $ Attention ! Noubliez pas le terme initial f (a) dans le membre de droite ; cest la fameuse constante dintgration .

3
c Christophe Bertault - MPSI

X
n
(x a)k+1
Dmonstration Notons g lapplication x 7 f (x) f (a) ak dfinie sur I. Alors g est drivable
k+1
k=0
X
n
k

0
sur I et sa drive g est lapplication x 7 f (x) 0
ak (xa) . Par hypothse, on a donc : g 0 (x) = o (xa)n .
xa
k=0 
Le lemme prcdent affirme aussitt que : g(x) = o (x a)n+1 , car g(a) = 0. Cest le rsultat cherch. 
xa

X
n
xk x2 x3 x4 xn
Exemple Pour tout n N : ln(1 + x) = (1)k+1 + o(xn ) = x + + . . . + (1)n+1 + o(xn ).
x0
k=1
k x0 2 3 4 n

1 X k
n1
En effet Soit n N . Nous avons dj dmontr le dveloppement limit suivant : = x +o(xn1 ).
1 x x0 k=0
1 X n1
Nous avons donc aussi : = (1)k xk + o(xn1 ) par composition droite avec la fonction x 7 x.
1+x x0
k=0
Primitivant alors ce dveloppement limit, nous obtenons le rsultat voulu :

X
n1
xk+1 X n
xk
ln(1 + x) = ln(1 + 0) + (1)k + o(xn ) = (1)k+1 + o(xn ).
x0
k=0
k+1 x0
k=1
k

X
n
x2k+1 x3 x5 x7 x2n+1
Exemple Pour tout n N : Arctan x = +o(x2n+1 ) = x
(1)k + +. . .+(1)n +o(x2n+1 ).
x0 2k + 1 x0 3 5 7 2n + 1
k=0
On remarque que les coefficients de rang pair sont tous nuls ; ctait prvisible, car la fonction arctangente est impaire.
1 X k
n
En effet Soit n N. Nous avons dj dmontr le dveloppement limit suivant : = x + o(xn ).
1 x x0
k=0
1 X n
Nous avons donc aussi : 2
= (1)k x2k + o(x2n ) par composition droite avec la fonction x 7 x2 .
1 + x x0
k=0
Primitivant alors ce dveloppement limit, nous obtenons le rsultat voulu :
X
n
x2k+1 X n
x2k+1
Arctan x = Arctan 0 + (1)k + o(x2n+1 ) = (1)k+1 + o(x2n+1 ).
x0
k=0
2k + 1 x0
k=1
2k + 1

2.2 Formule de Taylor-Young

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


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

   Explication Ce rsultat, en particulier, est un thorme dexistence de dveloppements limits. Notez que, pour
le moment, nous avions seulement un critre dexistence pour les dveloppements limits lordre 0 (continuit) et lordre 1
(drivabilit).

$ $ $ Attention ! La formule de Taylor-Young fournit les dveloppements limits des fonctions usuelles tout ordre, puisque

les fonctions
usuelles (exp, ln, sin, cos. . . ) sont de classe C sur leurs domaines de dfinition respectifs, sauf ventuellement aux
bornes ( , Arcsin. . . ). Cela dit, tout dveloppement limit ne provient pas de la formule de Taylor-Young : comme nous lavons
remarqu dans un exemple prcdent, une fonction peut possder un dveloppement limit tout ordre sans tre ne serait-ce
que deux fois drivable au point considr ; pour une telle fonction, Taylor-Young est dsesprement muet.

Dmonstration On raisonne par rcurrence. Pour tout n N, la proposition dmontrer au rang n est la
n
Xn
f (k) (a) 
suivante : f C (I, R), f (x) = (x a)k + o (x a)n .
xa
k=0
k!

Initialisation : Nous savons dj que pour toute fonction f : I R continue : f (x) = f (a) + o(1).
xa

4
c Christophe Bertault - MPSI

Hrdit : Soit n N. On suppose la proposition dmontrer vraie au rang n. Soit f C n+1 (I, R). Alors
f 0 est de classe C n sur I, donc par hypothse :
X
n
(f 0 )(k) (a)  X
n
f (k+1) (a) 
f 0 (x) = (x a)k + o (x a)n = (x a)k + o (x a)n .
xa k! xa k!
k=0 k=0

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


X
n
f (k+1) (a)  X
n
f (k+1) (a) 
f (x) = f (a) + (x a)k+1 + o (x a)n+1 = f (a) + (x a)k+1 + o (x a)n+1
xa
k=0
k!(k + 1) xa
k=0
(k + 1)!
X
n+1
f (k)
(a)  X
n+1
f (k)
(a) 
= f (a) + (x a)k + o (x a)n+1 = (x a)k + o (x a)n+1 . 
xa k! xa k!
k=1 k=0

X
n
xk x2 x3 x4 xn
Exemple Pour tout n N : ex = + o(xn ) = 1 + x + + + +... + + o(xn ).
x0 k! x0 2 6 24 n!
k=0

En effet Soit n N. La fonction exponentielle est de classe C n sur R, donc elle possde un dveloppement limit
lordre n au voisinage de 0 via la formule de Taylor-Young. Par ailleurs elle concide avec toutes ses drives
Xn
exp(k) (0) k X n
e0 k Xn
xk
successives. Du coup : ex = x + o(xn ) = x + o(xn ) = + o(xn ).
x0 k! x0 k! x0 k!
k=0 k=0 k=0

Exemple Soit R. Pour tout n N :

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

En effet Soient R et n N. La fonction x 7 (1 + x) est de classe C n sur ] 1, [ et pour tout k J0, nK,
sa drive kme est la fonction x 7 ( 1)( 2) . . . ( k + 1)(1 + x)k . La formule de Taylor donne aussitt
le rsultat annonc.

   En pratique (Drivation des dveloppements limits) Soient n N, f C n+1 (I, R) et a I. Alors via la
formule de Taylor, f possde un dveloppement limit lordre (n + 1), et f 0 un dveloppement limit lordre n au voisinage
de a. Prcisment :
X
n+1
f (k) (a)  X
n
f (k+1) (a) 
f (x) = (x a)k + o (x a)n+1 et f 0 (x) = (x a)k + o (x a)n .
xa k! xa k!
k=0 k=0

On remarque alors essayez, a marche que le dveloppement limit de f 0 sobtient en drivant terme terme le dvelop-
pement limit de f .

$ $ $ Attention ! Nous avons vu dans un exemple prcdent, un peu tordu, quune fonction pouvait admettre un
dveloppement limit tout ordre sans tre ne serait-ce que deux fois drivable au point considr. Cela implique que la
drivation des dveloppements limits nest pas une opration aussi naturelle que leur primitivation. Nous savons dj que
tout dveloppement limit de drive pouvait tre primitiv ; au contraire, si lon veut driver un dveloppement limit sans
problme, une condition de rgularit est ncessaire ci-dessus, tre de classe C n+1 , ce qui permet lutilisation de la formule de
Taylor-Young.

1 X n
Exemple Pour tout n N : = (k + 1)xk + o(xn ) = 1 + 2x + 3x2 + 4x3 + . . . + (n + 1)xn + o(xn ).
(1 x)2 x0 k=0 x0

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

5
c Christophe Bertault - MPSI

3 Dveloppements limits usuels

Thorme (Dveloppements limits usuels)

1) Logarithme, exponentielle, puissances :

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

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

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

( 1) 2 ( 1)( 2) 3 ( 1)( 2) . . . ( n + 1) n
Pour tout R : (1+x) = 1+x+ x + x +. . .+ x +o(xn ).
x0 2 6 n!

2) Fonctions trigonomtriques circulaires :


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

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

3) Arctangente :

X
n
x2k+1 x3 x5 x7 x2n+1
Arctan x = (1)k + o(x2n+1 ) = x + + . . . + (1)n + o(x2n+1 ).
x0 2k + 1 x0 3 5 7 2n + 1
k=0

3) Fonctions trigonomtriques hyperboliques :


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

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

$ $ $ Attention ! Ce tableau ne contient aucun dveloppement limit de la fonction tangente. Cest quen fait la formule
gnrale du dveloppement limit de tan est plus complique que les formules prcdentes. Nous verrons cependant comment
nous pouvons obtenir des dveloppements limits de tan pour de petits ordres.

Dmonstration Il nous reste dmontrer les formules pour sin, cos, sh et ch.
   
k k
Pour sin et cos, il suffit de remarquer que sin(k) (x) = sin x + et cos(k) (x) = cos x + pour tout
2 2
 
sin(2k) (0) = 0 cos(2k) (0) = (1)k
k N et pour tout x R. Aussitt : k N, et .
sin(2k+1) (0) = (1)k cos(2k+1) (0) = 0
Associes la formule de Taylor-Young, ces formules nous donnent notre rsultat.

Pour sh et ch, il faut revenir la dfinition de ces fonctions. Pour tout n N :

1 X xk 1 X X
2n+1 2n+1 n
ex ex xk x2k+1
sh x = = (1)k + o(x2n+1 ) = + o(x2n+1 ).
2 x0 2
k=0
k! 2 k=0
k! x0
k=0
(2k + 1)!

Explication : les termes de rang pair des deux sommes se simplifient deux deux, et les termes de rang
impair sont compts deux fois, mais aussitt diviss par 2. Dmonstration analogue pour la fonction ch. 

6
c Christophe Bertault - MPSI

4 Oprations sur les dveloppements limits


Par commodit, les rsultats de ce paragraphe, trs importants en pratique, sont noncs au voisinage de 0. On suppose donc
ici que 0 I.

Thorme (Somme, multiplication par un scalaire et produit) Soient n N et f : I R et g : I R deux


applications. On suppose que f et g possdent un dveloppement limit lordre n au voisinage de 0 :

f (x) = A(x) + o(xn ) et g(x) = B(x) + o(xn ), o A, B Rn [X].


x0 x0

(i) Somme : (f + g) possde un dveloppement limit lordre n au voisinage de 0 :

(f + g)(x) = (A + B)(x) + o(xn ).


x0

(ii) Multiplication par un scalaire : Pour tout R, f possde un dveloppement limit lordre n au voisinage
de 0 :
f (x) = A(x) + o(xn ).
x0

(iii) Produit : f g possde un dveloppement limit lordre n au voisinage de 0 :

f g(x) = C(x) + o(xn ),


x0

o C est le polynme AB tronqu lordre n, i.e. auquel on a soustrait tous les monmes de degr strictement suprieur n.

   Explication Dans lassertion (iii), comment dtermine-t-on le polynme C partir des polynmes A et B, n tant
fix ? Voyons cela sur un exemple. Pour A = X 2 + 1, B = 2X + 3 et n = 1, on a AB = 2X 3 + 3X 2 + 2X + 3.
| {z }
C

$ $ $ Attention ! Le produit de deux dveloppements limits lordre n nest pas un dveloppement limit lordre 2n,
mais un dveloppement limit lordre n. Remarque importante !

Dmonstration
(i) et (ii) Nous connaissons dj ces deux proprits.
(iii) Par dfinition de C, X n+1 divise AB C ; il existe donc un polynme D tel que AB = C + X n+1 D.
 
f g(x) = A(x)+o(xn ) B(x)+o(xn ) = A(x)B(x)+A(x)o(xn)+B(x)o(xn )+o(xn )o(xn ) = AB(x)+o(xn).
x0 x0

On a pu simplifier ici car A(x) = O(1) et B(x) = O(1). Poursuivons :


x0 x0

n+1
f g(x) = C(x) + x D(x) + o(x ) = C(x) + xn+1 O(1) + o(xn ) = C(x) + o(xn ).
n
Et voil. 
x0 x0 x0

2x3
Exemple ex cos x + 2 sin x = 1 + 3x + o(x3 ).
x0 3
En effet On ne vous demande pas de jusitifer vos troncatures avec force de dtails ; vous devez savoir calculer
vite les dveloppements limits.
    
x2 x3 x2 x3
ex cos x + 2 sin x = 1+x+ + + o(x3 ) 1 + o(x3 ) + 2 x + o(x3 )
x0 2 6 2 6
   
x3 x3
= 1+x + o(x3 ) + 2x + o(x3 )
x0 3 3
2x3
= 1 + 3x + o(x3 ).
x0 3

   En pratique (Puissances entires) Lassertion (iii) du prcdent thorme, gnralise plus de deux termes,
permet le calcul du dveloppement limit des puissances entires dune fonction. Si f (x) = A(x) + o(xn), et si, pour p N fix,
x0
B est le polynme Ap auquel on a soustrait tous les monmes de degr infrieur ou gal n, alors : f (x)p = B(x) + o(xn ).
x0

7
c Christophe Bertault - MPSI

 3
ln(1 + x) 3x 7x2
Exemple = 1 + + o(x2 ).
x x0 2 4
x2 x3 ln(1 + x) x x2
En effet On a : ln(1 + x) = x + + o(x3 ), donc : = 1 + + o(x2 ). Alors :
x0 2 3 x x0 2 3
 3  2  
ln(1 + x) x x2 x x2
= 1 + + o(x2 ) 1 + + o(x2 )
x x0 2 3 2 3
  
11x2 x x2 3x 7x2
= 1x+ + o(x2 ) 1 + + o(x2 ) = 1 + + o(x2 ).
x0 12 2 3 x0 2 4

Thorme (Composition) Soient n N et f : I J et g : J R deux applications. On suppose que f et g possdent


un dveloppement limit lordre n au voisinage de 0 :

f (x) = A(x) + o(xn ) et g(x) = B(x) + o(xn ), o A, B Rn [X].


x0 x0

On suppose en outre que A(0) = 0, i.e. que le coefficient constant de A est nul. Alors g f possde un dveloppement limit
lordre n au voisinage de 0 :
g f (x) = C(x) + o(xn ),
x0

o C est le polynme B A auquel on a soustrait tous les monmes de degr strictement suprieur n.

   Explication Dans lassertion (iii), comment dtermine-t-on le polynme C partir des polynmes A et B, n tant
fix ? Voyons cela sur un exemple. Pour A = X 2 , B = 4X 2 + X + 1 et n = 2, on a B A = 4X 4 + X 2 + 1.
| {z }
C

$ $ $ Attention !
Lhypothse A(0) = 0 , qui signifie que lim f = 0, est fondamentale. Sans elle la composition de deux dveloppements
0
limits au voisinage de 0 na aucun sens.
Pour obtenir un dveloppement limit de g f en a lordre n, on doit absolument dvelopper f et g lordre n.

X
n
Dmonstration Notons b0 , b1 , . . . , bn les coefficients de B, de sorte que B = bk X k . Par dfinition de C,
k=0
X n+1 divise B A C ; il existe donc un polynme D tel que B A = C + X n+1 D.
Remarquons par ailleurs que, puisque A(0) = 0, alors f (x) = x + o(x) pour un certain R. En particulier
x
f (x) = O(x), et donc f (x)n = O(xn ) par produit.
x0 x0
Finalement :
  
g f (x) = B f (x) + o f (x)n = B f (x) + o(xn ) car f (x)n = O(xn )
x0 x0 x0
X
n X
n
 X
n
= bk f (x)k + o(xn ) = bk A(x)k + o(xn ) + o(xn ) = bk A(x)k + o(xn ) = B A(x) + o(xn )
x0 x0 x0 x0
k=0 =0 k=0

= C(x) + xn+1 D(x) + o(xn ) = C(x) + xn+1 O(1) + o(xn ) = C(x) + o(xn ). 
x0 x0 x0

x2
Exemple ln cos x = + o(x3 ).
x0 2
x2 x3 x2
En effet On a : ln(1 + x) = x + + o(x3 ) dune part, et : cos x 1 = + o(x3 ) dautre
  2
x0
 3    x0 2
2 3
x2 1 x2 1 x2 x2
part. Du coup : ln cos x = + + o(x3 ) = + o(x3 ).
x0 2 2 2 3 2 x0 2

   En pratique (Inverse) La composition des dveloppements limits permet dinverser les dveloppements limits,
1 Xn
au moyen de la formule : = xk + o(xn ) valable pour tout n N. Des exemples valent ici mieux quun long
1 x x0
k=0
discours, en voici deux.

1 x2 5x4 x3
Exemple = 1+ + + o(x4 ) et tan x = x + + o(x4 ).
cos x x0 2 24 x0 3

8
c Christophe Bertault - MPSI

x2 x4 1
En effet On a : cos x = 1 + + o(x4 ) et = 1 + x + x2 + x3 + x4 + o(x4 ). Donc :
x0 2 24 1 x x0
   2  3  4
1 1 x2 x4 x2 x4 x2 x4 x2 x4
=   = 1+ + + + + o(x4 )
cos x x0 x2 x4 x0 2 24 2 24 2 24 2 24
1 + o(x4 )
2 24
   
x2 x4 x4 x2 5x4
= 1+ + + o(x4 ) = 1 + + + o(x4 ).
x0 2 24 4 x0 2 24
Nous pouvons du coup en dduire un dveloppement limit de la fonction tangente au voisinage de 0 :
  
sin x x3 x2 5x4 x3
tan x = = x + o(x4 ) 1+ + + o(x4 ) = x+ + o(x4 ).
cos x x0 6 2 24 x0 3

x x x2
Exemple = 1 + + o(x2 ).
ex 1 x0 2 12
En effet
x x 1 1
= = =  
ex 1 x0 x2 x3 x0 x x 2 x0 x x2
x+ + + o(x3 ) 1+ + + o(x2 ) 1 + o(x2 )
2 6 2 6 2 6
   2
x x2 x x2 x x2
= 1+ + + o(x2 ) = 1 + + o(x2 ).
x0 2 6 2 6 x0 2 12
Vous noterez bien que nous avons d dvelopper lexponentielle lordre 3 pour obtenir un dveloppement limit
x
de x 7 x lordre 2 au voisinage de 0. Comprenez-vous pourquoi ?
e 1

Achevons ce paragraphe avec quelques remarques pratiques. Comprenez-les imprativement. Sans elles vous tes perdus.

   En pratique
sin(x2 )
Soit calculer un dveloppement limit de x 7 lordre 5 au voisinage de 0. Pour obtenir un tel rsultat,
x
quel ordre convient-il de dvelopper sin au voisinage de 0 ? Deux risques se prsentent : si notre dveloppement du sinus
est trop prcis, nous allons effectuer de longs calculs inutilement ; si au contraire notre dveloppement du sinus nest pas
assez prcis, nous nobtiendrons jamais le rsultat escompt. Pour ces deux raisons, il est important de pouvoir prvoir
lavance quelles prcisions doivent tre utilises dans les calculs.
sin(x2 )
Calculer un dveloppement limit de x 7 lordre 5 au voisinage de 0 revient calculer un dveloppement limit
x
2
de x 7 sin(x ) lordre 6 au voisinage de 0. Pour effectuer un tel calcul, on partira dun dveloppement limit du sinus
lordre 3 au voisinage de 0. Dans lordre, on aura donc :
x3
sin x = x + o(x3 ),
x0 6
6
x
puis sin(x2 ) = x2 + o(x6 ) par composition droite avec la fonction x 7 x2 ,
x0 6
sin(x2 ) x5
et enfin = x + o(x5 ).
x x0 6
Soit calculer un dveloppement limit de x 7 sin5 x lordre 7 au voisinage de 0. Premire ide : on dveloppe sin
lordre 7 au voisinage de 0, puis on calcule la puissance 7me de ce dveloppement. Malheureusement cette ide conduit
des calculs tout fait inhumains. Nous allons donc tcher de raffiner notre mthode.
Remarquons quon a : sin x x, et donc : sin5 x x5 . Le premier terme non nul du dveloppement limit de
x0 x0
x 7 sin x au voisinage de 0 est donc x . Calculer un dveloppement limit de x 7 sin5 x lordre 7 au voisinage de 0
5 5
 5
sin5 x sin x
revient donc calculer un dveloppement limit de x 7 = lordre 2 au voisinage de 0. Dans lordre,
x5 x
on rdigera ainsi sa rponse :
x3 sin x x2
sin x = x + o(x3 ), donc = 1 + o(x2 ),
x0 6 x x0 6
 5
sin5 x sin x 5x2
puis = = 1 + o(x2 ),
x5 x x0 6
5x7
et enfin sin5 x = x5 + o(x7 ). Mthode rapide !
x0 6

9
c Christophe Bertault - MPSI

5 Exemples et applications

5.1 Dveloppements limits au voisinage dun point autre que 0


x2 (x 2)2 (x 2)3 
Exemple ln x = ln 2 + + + o (x 2)3 .
x2 2 8 24
En effet On ramne le problme en 0. Chercher un dveloppement limit de x 7 ln x lordre 3 au voisinage
de 2 revient chercher un dveloppement limit de h 7 ln(2 + h) lordre 3 au voisinage de 0. Or :
 
h h h2 h3
ln(2 + h) = ln 2 + ln 1 + = ln 2 + + + o(h3 ).
2 h0 2 8 24

On revient la fonction x 7 ln x en effectuant le changement de variable x = 2 + h.

 
1 1   1  2 1  3 3
Exemple cos x = x x + x +o x .
x 4 2 2 4 2 2 4 6 2 4 4
En effet On ramne le problme en 0. Chercher un dveloppement
 limit
 de x 7 cos x lordre 3 au voisinage

de revient chercher un dveloppement limit de h 7 cos + h lordre 3 au voisinage de 0. Or :
4 4
     
1 1 h2 h3 1 h h2 h3
cos + h = (cos h sin h) = 1 + o(h3 ) h + o(h3 ) = + +o(h3 ).
4 2 h0 2 2 6 h0 2 2 2 2 6 2

On revient la fonction x 7 cos x en effectuant le changement de variable x = + h.
4

5.2 Calculs de limites et recherche dquivalents



1+x 1xx 1
Exemple lim = .
x0 x3 8
En effet Nous allons utiliser des dveloppements limits, mais quel ordre faut-il pousser ces dveloppements ?
Puisquon cherche une limite , cest la prcision o(1) qui est requise, au pire : nous devons donc chercher un

1+x 1xx
dveloppement limit de x 7 lordre 0 au voisinage de 0, partir dun dveloppement
x3
limit de x 7 1 + x et x 7 1 x lordre 3 au voisinage de 0 ( cause de la division par x3 ).
   
x x2 x3 x x2 x3
1+ + + o(x3 ) 1 + o(x3 ) x
1+x 1xx 2 8 16 2 8 16 1
= = + o(1).
x3 x0 x3 x0 8

x4
Exemple ln(1 + x2 ) sin2 x .
x0 6
En effet Nous cherchons un quivalent de x 7 ln(1 + x2 ) sin2 x au voisinage de 0. Nous savons que, dans
un dveloppement limit, le premier terme non nul est un quivalent de la fonction considre. Nous sommes donc
la recherche du premier terme non nul du dveloppement limit de x 7 ln(1 + x2 ) sin2 x au voisinage de
0. Mais quel ordre devons-nous pousser nos dveloppements ? Nous navons malheureusement ici aucune faon
de le savoir, sauf faire le calcul explicitement. Dans ce genre de situation, nous sommes obligs de tatnner en
commenant par lordre 0, puis lordre 1. . . jusqu obtenir le rsultat souhait.
Laissons ici de ct les checs, ne donnons que le calcul qui marche lui seul doit apparatre sur une copie.
   2    
x4 x3 x4 x4
ln(1 + x2 ) sin2 x = x2 + o(x4 ) x + o(x3 ) = x2 + o(x4 ) x2 + o(x4 )
x0 2 6 x0 2 3
x4
= + o(x4 ). Le rsultat sen dduit aussitt.
x0 6

10
c Christophe Bertault - MPSI

5.3 Dveloppements asymptotiques

   En pratique Les dveloppements limits savrent utiles quand on cherche le comportement asymptotique
i.e. le comportement limite dune fonction au voisinage dun point ; par exemple, pour ltude des courbes paramtres :
dtermination de lquation dune tangente, position relative dune courbe par rapport une autre. . .

   
x2 1 1 3 1
Exemple Soit f lapplication x 7 esin x 2x ln 1 + dfinie sur R
+ . Alors : f (x) = x 2 + +o .
 x+ 1 x x 2x x
Comme en particulier lim f (x) x + 2 = 0, f possde une asymptote au voisinage de , dquation y = x 2. Mais on a
x
3
plus prcisment : f (x) x + 2 , donc la fonction x 7 f (x) x + 2 est strictement positive au voisinage de ; en
x0 2x
dautres termes, le graphe de f est au-dessus de son asymptote au voisinage de .

En effet Pour obtenir le dveloppement asymptotique de f ci-dessus au voisinage de , commenons par


nous ramener au voisinage de 0 ; nous pourrons ainsi peut-tre utiliser nos dveloppements limits usuels. Cette
1
opration est effectue ici au moyen dun changement de variable h = . Le rsultat voulu peut tre rcrit de
  x 
1 1 3h 1 3h2
la faon suivante : f = 2+ + o(h), ou encore : hf = 1 2h + + o(h2 ). Nous
h h0 h 2 h  
h0 2
1
sommes donc la recherche du dveloppement limit de la fonction h 7 hf lordre 2 au voisinage de 0.
h
0  2 1
1
  B C  
1 B h 2 C 1  2 h2
hf = hB esin h ln(1 + h)C = esin h 2 ln(1 + h) = 1 h + h2 + o(h2 ) eh+o(h ) 2 h + o(h2 )
h @ 1 h A h0 1 + h h0 2
+1
h
 
 h2 3h2
= 1 h + h2 + o(h2 ) 1+h+ + o(h2 ) 2h + h2 + o(h2 ) = 1 2h + + o(h2 ) comme voulu.
h0 2 h0 2

   En pratique Les dveloppements limits servent souvent pour ltude des suites. Par exemple, soit un le terme
x2 x3
gnral dune suite de limite nulle. Nous savons par exemple que : ex = 1 + x + + + o(x3 ). On a alors aussi le
x0 2 6
u2 u3
dveloppement : eun = 1 + un + n + n + o(u3n ). Ce principe se gnralise bien entendu.
n 2 6

Exemple Pour tout n N, lquation x4 + x3 =n dinconnue


 x R+ possde une unique solution note xn .
1 3 1
On a : xn = 4
n + +o
n 4 32 4 n 4
n
En effet
La fonction x 7 x4 + x3 est strictement croissante sur R+ comme somme de fonctions strictement crois-
santes. Elle par ailleurs continue sur R+ . Elle ralise donc une bijection de R+ sur son image qui se trouve
tre aussi R+ . Or R+ contient N, donc pour tout n N, il existe un unique xn R+ tel que x4n + x3n = n.
Nous noterons dans ce qui suit cette relation.

Soit n N. Peut-on avoir xn < 1 ? Si cest le cas, alors n = x4n + x3n < 1 + 1 = 2, donc n = 1. r
4 3 4 n n
Du coup, pour n > 2, xn > 1, et donc xn > xn . Via , on en dduit que xn > , puis que xn > 4 . En
2 2
particulier : lim xn = .
n

Maintenant quon connat lim xn , on peut affirmer que x3n = o(x4n ), de sorte que : x4n n via ,
n n n
et donc : xn 4 n.
n


Reprenons ensuite , mais mettons x4n en facteur et composons avec la fonction 4
. Cela nous donne, pour
  1
1 4
tout n N : xn = 4 n 1 + . Du coup :
xn
"  1 #

4

4 1 4
4 1 1
4 1
xn n= n 1+ 1 n . Conclusion : xn = n + o(1).
xn n 4xn n 4 n 4

11
c Christophe Bertault - MPSI

Nous souhaitons pousser un cran plus loin ce dveloppement asymptotique. Les quivalents usuels suffisaient
jusquici, mais nous ne pouvons aller plus loin avec eux. Les dveloppements limits vont donc prendre le
relais. Nous allons bien sr partir de la formule et du dveloppement limit usuel :

1 x 5x2 15x3
(1 + x) 4 = 1 + + o(x3 ) . . . mais quel ordre sarrter ?
x0 4 32 128
1 1
Puisque nous aurons poser x = , commenons par chercher un dveloppement asymptotique de .
xn xn
  
1 1 1 1 1 1 1
= =   = 1+ +o
xn n 1 n 4
n 1 1 n 4
n 44n 4
n
4
n + o(1) 1 +o
4 44n 4
n
 
1 1 1
= + +o .
n 4
n 4 n n
1
Aurions-nous pu ici utiliser le dveloppement limit plus prcis : = 1 + t + t2 + o(t2 ), voire
1 t t0
un dveloppement
 limit plus prcis encore ? A vrai dire,
 cela  naurait rien donn de mieux. En effet, avec
1 1 1
t= +o , nous voyons apparatre un o dans le terme 1 + t, qui mange invitablement
44n 4
n 4
n
les termes en t2 .

Finissons-en.
  1   

4 1 4
4 1 5 1
xn = n 1+ = n 1 + +o
xn n 4xn 32x2n x2n
"      2  #

4 1 1 1 1 5 1 1 1 1
= n 1 + +o + + +o +o
n 4 4
n 4 n n 32 4
n 4 n n n
        

4 1 1 1 1 5 1 1 1
= n 1 + +o + +o +o
n 4
n 44 n n 32 n n n
    

4 1 3 1 1 3 1
= n 1 + +o = 4n + +o .
n 44n 32 n n n 4 32 4 n 4
n
1
Aurions-nous fait mieux si nous avions pouss le dveloppement limit de lordre 3, voire plus ?
  1 x
1 1 1 x 5x2
Non, car nous voyons ci-dessus quavec x = + +o , le terme 1 + introduit un
 
4
n 4 n n 4 32
1
o qui ne ferait quune bouche des termes en x3 .
n

5.4 Allure locale des courbes paramtres


Commenons par un rappel.

Dfinition (Demi-tangente et tangente en un point dune courbe paramtre) Soient f : I R2 une courbe
paramtre et a I.
f (t) f (a)
On suppose que pour t proche de a tel que t < a, on a f (t) 6= f (a), et que lim = ~
u existe. La
f (t) f (a) ta
demi-droite passant par f (a) dirige par ~
u est alors appele la demi-tangente gauche de f en a.
f (t) f (a)
On suppose que pour t proche de a tel que t > a, on a f (t) 6= f (a), et que lim
f (t) f (a)
=~
v existe. La
ta+
demi-droite passant par f (a) dirige par ~v est alors appele la demi-tangente droite de f en a.
Si f possde une demi-tangente gauche et une demi-tangente droite, et si, avec les notations prcdentes, ~
u = ~v ,
alors la droite passant par f (a) dirige par ~
u (ou ~v ) est appele la tangente de f en a.

Nous allons dans ce qui suit rpondre au problme de lexistence dune tangente en un point quelconque dune courbe
paramtre. Jusquici, nous avions seulement russi aborder ce problme dans le cas des points rguliers.

12
c Christophe Bertault - MPSI

Thorme (Allure dune courbe paramtre au voisinage dun point) Soient k N, k > 2, f C k (I, R2 ) et a I.
Soit p, sil existe, le plus petit entier naturel compris entre 1 et k tel que f (p) (a) 6= ~0. Alors f possde une tangente
en a et celle-ci est dirige par le vecteur f (p) (a).
Soit alors q, sil existe lui aussi, le plus petit entier naturel compris entre p et k pour lequel f (p) (a) et f (q) (a) sont
non colinaires. Lallure du support de f au voisinage de dpend alors des parits de p et q. La petite flche indique le sens de
parcours de la courbe (croissance de la variable t).

1) Cas o p est impair et q pair : 2) Cas o p et q sont impairs :


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

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

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

f (a) b f (a) b

3) Cas o p est pair et q impair : 4) Cas o p et q sont pairs :


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

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

b b

f (a) f (a)

   Explication
Lentier p, sil existe, est caractris de la faon suivante : f 0 (a) = f 00 (a) = f (3) (a) = . . . = f (p1) (a) = ~0 mais f (p) (a) 6= ~0.
Le cas p = 1 exprime prcisment le fait que le point f (a) est rgulier, i.e. que f 0 (a) 6= ~0. Ce cas nous tait dj connu.
Bien sr, f (p) (a) et f (p) (a) sont colinaires, donc q > p. Lentier q, sil existe, est caractris de la faon suivante :

f (p) (a) et f (p) (a) sont colinaires, f (p) (a) et f (p+1) (a) sont colinaires, f (p) (a) et f (p+2) (a) sont colinaires . . .

mais f (p) (a) et f (q) (a) ne sont pas colinaires.

   En pratique 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,~, ~). Alors par
x0 (a) = x00 (a) = . . . = x(p1) (a) = 0 
dfinition de p : 0 00 (p1) et f (p) (a) = x(p) (a), y (p) (a) 6= (0, 0).
y (a) = y (a) = . . . = y (a) = 0

La formule de Taylor-Young applique aux fonctions x et y nous donne alors ceci :


x(p) (a)  y (p) (a) 
x(t) = x(a) + (t a)p + o (t a)p et y(t) = y(a) + (t a)p + o (t a)p .
ta p! ta p!
(p)
La non-nullit de f (a) montre en particulier que f (t) 6= f (a) pour tout t 6= a proche de a. Poursuivons :
 2  2
2 x(p) (a)  2 y (p) (a) 
x(t)x(a) = (t a)p +o (ta)2p et y(t)y(a) = (t a)p +o (ta)2p .
ta p! ta p!
(p)
  f (a) 2 
Aussitt : f (t) f (a) 2 = x(t) x(a) 2 + y(t) y(a) 2 = (t a)2p + o (t a)2p .
ta p!2
(p)
f (a)
Or par hypothse f (p) (a) 6= ~0, donc finalement : kf (t) f (a)k |t a|p .
ta p!
Nous pouvons maintenant montrer que f possde une tangente en a dirige par f (p) (a).
f (t) f (a) x(t) x(a) y(t) y(a)
On a tout dabord : = ~ + ~. Or nos calculs prcdents
f (t) f (a) f (t) f (a) f (t) f (a)
x(t) x(a) x(p) (a)
x(t) x(a) (t a)p p! x(p) (a)
montrent que : = (p) =
f (t) f (a) f (t) f (a) ta+ f (a) f (p) (a)
(t a)p p!

13
c Christophe Bertault - MPSI

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


x(t) x(a) (t a) p
p! x(p) (a)
et que : =
f (t) f (a) f (t) f (a)
= (1)p

.
ta p (p)
(1) f (a) f (p) (a)
(t a)p p!
f (t) f (a) f (p) (a) f (t) f (a) f (p) (a)
Mme chose avec y. Finalement lim = et lim = (1)p .

ta+ f (t) f (a) (p)
f (a)
ta f (t) f (a) f (p) (a)
Conclusion : f possde une tangente en a dirige par f (p) (a).

Et le paramtre q prsent ? La formule de Taylor-Young applique aux fonctions x et y nous donne ceci :
x(p)(a) x(q) (a)  y (p)(a) y (q) (a) 
x(t) = x(a)+ (ta)p +. . .+ (ta)q +o (ta)q et y(t) = y(a)+ (ta)p +. . .+ (ta)q +o (ta)p ,
ta p! q! ta p! q!
dveloppements limits que lon peut fondre en un unique dveloppement limit vectoriel :
f (p) (a) f (q) (a) 
f (t) = f (a) + (t a)p + . . . + (t a)q + ~o (t a)q
ta p! q!
q
 
dans lequel le ~o (t a) est par dfinition un vecteur dont la norme est un o (t a)q au sens usuel, au
voisinage de a.

Par hypothse, f (a), f (p) (a), f (q) (a) est un repre du plan, pas ncessairement orthonormal direct. Notons
alors, pour tout t I, (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 :
8  8
> (t a)p > (t a)p
< X(t) = + o (t a)p < X(t)
ta p! , i.e.
ta p! .
q  q
: Y (t) = (t a) + o (t a)q
> : Y (t) (t a)
>
ta q! ta q!

Pour finir, plaons-nous dans le cas o p est pair et o q est impair on raisonnerait de la mme faon
dans les autres cas.
1) Puisque p est pair, lquivalent de X trouv ci-dessus au voisinage de a montre que X est stric-
tement positive au voisinage de a, gauche comme droite.
2) Puisque q est impair, lquivalent de Y trouv ci-dessus au voisinage de a montre que Y est
strictement ngative au voisinage de a gauche, et strictement positive au voisinage de a droite.
8
< t>a
X(t) > 0
.:
9 f (p) (a) Y (t) > 0
t<a =
X(t) > 0 f (q) (a)
;
Y (t) < 0
b

f (a)

Dfinition (Point 2 2 0 ~
0 00
 birgulier) Soient f C (I, R ) et a I. On dit que le point f (a) est birgulier si f (a) 6= 0 et si la
famille f (a), f (a) est libre cela revient dire que p = 1 et que q = 2 avec les notations du thorme prcdent.
Si le point f (a) est birgulier, il est ordinaire.

8 3
>
< x(t) = t + t
Exemple Soit f = (x, y) la courbe paramtre de classe C sur R dfinie par : t R, 2
3 .
>
: y(t) = t t 1
2
0 2 1 0
Pour tout t R : x (t) = t + 1 6= 0 et y (t) = t . Les variations de x et y sont alors aises dterminer. En
2
outre f est rgulire, et donc les points du support de f sont soit ordinaires, soit des points dinflexion.
Dterminons les ventuels points dinflexion de f .
0 2
x (t) x00 (t) t + 1 2t

1) Fixons t R. On a : det f (t), f (t) = 0
0 00
= 1 = t2 + t + 1. Ce calcul montre donc
t 1
00
y (t) y (t)
2 
0 00
 2 1+ 5 1 5
que la famille f (t), f (t) est libre si et seulement si t 6= t + 1, i.e. t / , . On peut dores et dj
2 2
 
1+ 5 1 5
affirmer que f (t) est birgulier, donc ordinaire, si t
/ , .
2 2

14
c Christophe Bertault - MPSI

0
x (t) t2 + 1 2
1 5  x(3) (t)
2) Que se passe-t-il enfin si t = ? det f 0 (t), f (3) (t) = 0 = 1 = 2t + 1 6= 0.
2 y (t) y (t)
(3)
t 0
  2
1 5
Ainsi les deux points f sont des points dinflexion.
2
Les dtails de cette tude de courbe paramtre vous sont laisss en exercice branches infinies, etc. Cest enfin lheure
de dessiner. Les tangentes aux points dinflexion ont t traces en pointills : on visualise ainsi mieux le fait que la courbe
traverse la tangente en un point dinflexion.

b b


x(t) = 5 cos t cos(5t)
Exemple On souhaite tudier la courbe paramtre f = (x, y) dfinie par : t R, , clairement
y(t) = 5 sin t sin(5t)
de classe C sur R.
Comme x et y sont 2-priodiques, on peut se contenter dtudier ces fonctions sur un intervalle de longueur 2. Mais x
est paire et y impaire, donc on peut en fait se contenter de travailler sur [0, ] condition deffectuer la fin une symtrie
par rapport laxe (Ox).
On peut ensuite remarquer que pour tout t R : x( t) = x(t) et y( t) = y(t). h Cecii rvle une symtrie du

support de f par rapport laxe (Oy), et nous pouvons nous contenter dtudier x et y sur 0, .
    2
Enfin, pour tout t R : x t = y(t) et y t = x(t). Nous pouvons finalement nous contenter dtudier
h i 2 2
f sur 0, condition deffectuer une symtrie supplmentaire par rapport la premire bissectrice dquation y = x.
4
 
Drivons x et y : t R, x0 (t) = 5 sin(5t)sin t = 10 cos(3t) sin(2t) et y 0 (t) = 5 cos tcos(5t) = 10 sin(3t) sin(2t).
Evidemment, si on ne connat pas ses formules de trigonomtrie, on ny arrive pas.

t 0
6 4
x0 (t) +
On dresse alors le tableau des variations de x et y. Les dtails vous sont laisss
12 3
en exercice. x(t) 12 2
4
4 4

4 12 2
y(t) 4
2
0
y 0 (t) +
h i
Dans lintervalle 0, , seul le point 0 est singulier. Mais quelle est sa nature ? Point ordinaire, point dinflexion, point
4  
de rebroussement ? On a, pour tout t R : x00 (t) = 5 5 cos(5t) cos t et y 00 (t) = 5 5 sin(5t) sin t , donc
f 00 (0) = 20 ~ 6= ~0. Le premier f (p) (0) non nul, o p N , est donc obtenue pour p = 2, entier pair ; nous avons donc affaire
un point de rebroussement, assorti dune tangente horizontale.
 
Mais de quelle espce ? On a , pour tout t R : x(3) (t) = 5 sin t 25 sin(5t) et y (3) (t) = 5 25 cos(5t) cos t , donc
f (3) (0) = 120 ~. Comme ce vecteur f (3) (0) nest pas colinaire au vecteur f 00 (0), nous pouvons affirmer que le point f (0)
est un point de rebroussement de premire espce.
Traons enfin le support de f .

b b

b b b
b

b b b

b b b

b b
Aprs les symtries. . .

b
b b

15 b b

Vous aimerez peut-être aussi