You are on page 1of 13

Laurent Garcin MPSI Lyce Jean-Baptiste Corot

D VELOPPEMENTS LIMITS

1 Dfinitions et premires proprits

Dfinition 1.1 Dveloppement limit

Soient f une fonction dfinie au voisinage de a R (ventuellement non dfinie en a) et n N. On dit que f
possde un dveloppement limit lordre n au voisinage de a sil existe des rels c0 , . . . , cn tels que :

f(x) = c0 + c1 (x a) + + cn (x a)n + o ((x a)n )


xa

X
n
= ck (x a)k + o ((x a)n )
xa
k=0

cest--dire sil existe un polynme P de degr au plus n tel que

f(x) = P(x a) + o((x a)n )

Le polynme P(x a) sappelle la partie rgulire du dveloppement limit et f(x) P(x a) sappelle le
reste.

Remarque. Via le changement de variable x = a + h, ce dveloppement limit peut galement scrire :

f(a + h) = c0 + c1 h + + cn hn + o(hn )
h0

X
n
= ck hk + o(hn )
h0
k=0

En pratique, on se ramnera dailleurs toujours un dveloppement limit en 0 via ce changement de variable.

Analogie avec lapproximation dcimale dun rel


On peut penser un dveloppement limit comme une approximation dcimale dun rel. Les monmes de
la partie rgulire correspondent aux dcimales de lapproximation.
Plus lapproximation dcimale dun rel comporte de dcimales, plus elle est proche de ce rel. De mme, la
partie rgulire dun dveloppement limit approche dautant mieux une fonction que son ordre est lev.

Exercice 1.1

Soit n N. Montrer que le DLn (0) de x 7 1


1x est

1 X
n
= xk + o(xn )
1x
k=0

Proposition 1.1 DL et quivalent

Supposons que f admette un dveloppement limit dordre n au voisinage de a :

f(x) = c0 + c1 (x a) + + cn (x a)n + o((x a)n )


xa

Soit p le plus petit entier tel que cp 6= 0, sil existe. Alors f(x) cp (x a)p .
xa

http://lgarcin.github.io 1
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

Remarque. Ceci peut galement scrire f(a + h) cp hp .


h0

Remarque. La fonction x 7 cp (x a)p sappelle la partie principale de f au voisinage de a.

Thorme 1.1 Unicit du dveloppement limit

Si f admet un dveloppement limit lordre n au voisinage de a alors celui-ci est unique.

Remarque. Le dveloppement limit de f lordre n au voisinage de a est donc la meilleure approximation


polynomiale de degr n de f au voisinage de a.

Proposition 1.2 Troncature

Supposons que f admette pour dveloppement limit dordre n au voisinage de a :

f(x) = c0 + c1 (x a) + + cn (x a)n + o((x a)n )


xa

Alors,pour tout p 6 n, f admet pour dveloppement limit dordre p au voisinage de a :

f(x) = c0 + c1 (x a) + + cp (x a)p + o((x a)p )


xa

Remarque. Autrement dit, on ne garde que les termes de degr infrieur ou gal p dans la partie rgulire.

Proposition 1.3 Dveloppement limit et parit

Soit f une fonction admettant un dveloppement limit lordre n au voisinage de 0.


I Si f est paire, alors les coefficients de rang impair du DL sont nuls.
I Si f est impaire, alors les coefficients de rang pair du DL sont nuls.

Thorme 1.2 Dveloppement limit, continuit, drivabilit

Soit f une fonction dfinie au voisinage de a.


I f est continue en a si et seulement si f possde un dveloppement limit dordre 0 en a et dans ce
cas,
f(x) = f(a) + o(1).
xa

I f est drivable en a si et seulement si f possde un dveloppement limit dordre 1 en a et dans ce


cas,
f(x) = f(a) + f 0 (a)(x a) + o(x a)
xa

 Attention ! Ds que k > 2, une fonction peut admettre  un DL dordre k au voisinage de a sans pour autant
x + x3 sin x12 si x 6= 0
tre k fois drivable en a. Par exemple, posons f(x) = . Alors f admet un DL dordre
0 sinon
2 en 0 : f(x) = x + o(x2 ). Cependant f est drivable sur R et

1 1
x R , f 0 (x) = 1 + 3x2 sin 2 cos 2
x2 x
Ainsi f 0 nadmet pas de limite en 0 : elle nest pas continue en 0 et donc encore moins drivable en 0. Ainsi f
nest pas deux fois drivable en 0.

http://lgarcin.github.io 2
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

2 DL dune primitive et dune drive, formule de Taylor-Young


2.1 Primitive et drive dun DL
Le lemme suivant est admis pour linstant.

Lemme 2.1

Soit f une fonction continue sur un intervalle I admettant une primitive F sur I. Soit a I.
Si f(x) = o((x a)n ) alors F(x) = F(a) + o((x a)n+1 ).
xa xa

Thorme 2.1 DL dune primitive

Soit f une fonction dfinie sur un intervalle I admettant une primitive F sur I. Soit a I.
On suppose que f admet un DL dordre n N en a :

X
n
f(x) = ck (x a)k + o((x a)n )
xa
k=0

Alors F admet un DL dordre n + 1 en a :


X
n
(x a)k+1
F(x) = F(a) + ck + o((x a)n+1 )
k+1
k=1

Lexemple suivant est connatre

Exemple 2.1 DL de tan lordre 3 en 0

tan admet le dveloppement limit lordre 3 en 0 suivant :

x3
+ o x3

tan x = x +
x0 3
Il faut tre beaucoup plus attentif en ce qui concerne le DL dune drive.

Thorme 2.2 DL dune drive

Soit f une fonction drivable sur un intervalle I. Soit a I.


On suppose que f admet un DL dordre n N en a :

X
n
f(x) = ck (x a)k + o((x a)n )
xa
k=0

Si on sait que f 0 admet un DL dordre n 1 en a alors celui-ci est le suivant :

X
n
f 0 (x) = kck (x a)k1 + o((x a)n1 )
xa
k=1

 Attention ! Il est absolument ncessaire de savoir que f 0 admet un DL dordre n 1 car une fonction peut
admettre un DL dordre n sans  que sa drive admette un DL dordre n 1. En effet, on a vu plus haut que la
x + x3 sin x12 si x 6= 0
fonction f dfinie par f(x) = admettait un DL dordre 2 en 0. Mais f 0 nadmet pas de
0 sinon
DL dordre 1 en 0 puisque f 0 nest mme pas continue en 0.

http://lgarcin.github.io 3
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

2.2 Formule de Taylor-Young

Thorme 2.3 Formule de Taylor-Young

Soit f une fonction de classe C n sur un intervalle I. Soit a I.


Alors f admet un DL dordre n au voisinage de a donn par :

f 00 (a) f(n) (a)


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

Remarque. La formule de Taylor-Young sert assez peu en pratique. En effet, elle ncessite le calcul de drives
successives, ce qui peut savrer fastidieux ds que les fonctions sont un peu complexes.

Remarque. Via un changement de variable, la formule de Taylor scrit aussi :

f 00 (a) 2 f(n) (a) n


f(a + h) = f(a) + f 0 (a)h + h + + h + o(hn )
h0 2 n!
X
n
f(k) (a) k
= h + o(hn )
h0 k!
k=0

Corollaire 2.1 Drive dun DL

Soit f une fonction de classe C n+1 . Soit a I.


Alors f et f 0 admettent des DL dordre respectifs n + 1 et n au voisinage de a et le DL de f 0 sobtient en
drivant terme terme le DL de f.

Exercice 2.1
1
DL dordre n au voisinage de 0 de .
(1 x)2

http://lgarcin.github.io 4
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

3 Dveloppements limits usuels

Proposition 3.1 Dveloppements limits usuels

Puissance, logarithme, exponentielle

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

1 Xn
= (1)k xk + o(xn ) = 1 x + x2 x3 + x4 + (1)n xn + o(xn )
1 + x x0 x0
k=0
Xn
xk x2 x3 x4 xn
ln(1 + x) = (1)k1 + o(xn ) = x + + + (1)n1 + o(xn )
x0 k x0 2 3 4 n
k=1
Xn
xk x2 x3 xn
ex = + o(xn ) = 1+x+ + + + + o(xn )
x0 k! x0 2 6 n!
k=0

( 1)x2 ( 1)( 2)x3 ( 1)( 2) . . . ( n + 1)xn


(1 + x) = 1 + x + + ++ + o(xn )
x0 2 6 n!
Fonctions circulaires
X
n
x2k+1 x3 x5 x2n+1
sin x = (1)k + o(x2n+1 ) = x + + + (1)n + o(x2n+1 )
x0 (2k + 1)! x0 6 120 (2n + 1)!
k=0
Xn
x2k x2 x4 x2n
cos x = (1)k + o(x2n ) = 1 + + + (1)n + o(x2n )
x0 (2k)! x0 2 24 (2n)!
k=0

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

Fonctions 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
Xn
x2k x2 x4 x2n
ch x = + o(x2n ) = 1+ + + + + o(x2n )
x0 (2k)! x0 2 24 (2n)!
k=0

4 Oprations sur les DL


Quand on vous demande le DL dune expression un certain ordre, la difficult est de prvoir les ordres auxquels
il faut dvelopper chaque lment de lexpression.
I Si on effectue des dveloppements trop pousss (i.e. une trop grande prcision), on obtiendra un DL final
un ordre suprieur celui demand. On peut toujours se ramener la prcision demande en tronquant notre
DL mais on aura fait quantit de calculs inutiles, do perte de temps et risque derreurs de calcul.
I Si on ne pousse pas assez loin nos dveloppements (trop faible prcision), on obtiendra un DL final un ordre
infrieur celui demand. Cest encore plus grave car il ny a alors pas dautre choix que de recommencer
tous les calculs avec une prcision suprieure.

http://lgarcin.github.io 5
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

4.1 Forme normalise

Dfinition 4.1 Forme normalise dun DL

Supposons que f admette un dveloppement limit dordre n au voisinage de a :

f(x) = c0 + c1 (x a) + + cn (x a)n + o((x a)n )


xa

Soit p le plus petit entier tel que cp 6= 0, sil existe. Alors lcriture

f(x) = (x a)p cp + cp+1 (x a) + + cn (x a)np + o (x a)np



xa

sappelle la forme normalise du dveloppement limit de f lordre n au voisinage de a.

Remarque. La forme normalise peut aussi scrire

f(a + h) = hp cp + cp+1 h + + cn hnp + o hnp



h0

Remarque. Si p = 0, on dit que le dveloppement limit est normal.

4.2 Combinaison linaire

Proposition 4.1 Combinaison linaire de DL

Soient f et g deux fonctions admettant un DL dordre n N au voisinage de a. On note P et Q leurs parties


rgulires respectives i.e.

f(a + h) = P(h) + o(hn ) g(a + h) = Q(h) + o(hn )


h0 h0

Soit (, ) R2 . Alors f + g admet un DL dordre n au voisinage de a de partie rgulire P + Q i.e.

(f + g)(a + h) = P(h) + Q(h) + o(hn )


h0

 Attention ! On neffectue que des combinaisons linaires de DL de mme ordre. Si on souhaite effectuer
une combinaison linaire de deux DL dordre diffrent, on nobtiendra quun DL dordre le minimimum des deux
ordres. En pratique, on tronque les deux DL au minimum des deux ordres avant deffectuer leur combinaison
linaire.

Exemple 4.1 DL lordre 4 en 0 de 2 cos x 3 sh x

On a les dvveloppements limits suivants :

x2 x4 x3
cos x = 1 + + o(x4 ) sh x = x + + o(x4 )
x0 2 4 x0 6
On en dduit que
x3 x4
2 cos x 3 sh x = 2 3x x2 + + o(x4 )
x0 2 4

http://lgarcin.github.io 6
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

4.3 Produit

Proposition 4.2 DL dun produit

Soit f et g deux fonctions admettant un DL dordre n N au voisinage de a. On note P et Q leurs parties


rgulires respectives i.e.

f(x) = P(x) + o(xn ) g(x) = Q(x) + o(xn )


x0 x0

Alors fg admet un DL dordre n au voisinage de 0 de partie rgulire le polynme PQ tronqu de tous les
monmes de degr strictement suprieurs n.

 Attention ! A priori, on ne multiplie que des DL de mme ordre. Si on souhaite multiplier deux DL dordre
diffrent, on nobtiendra quun DL dordre le minimimum des deux ordres. En pratique, on tronque les deux DL
au minimum des deux ordres avant de les multiplier.

Exercice 4.1

Dterminer un DL dordre 3 au voisinage de 0 de ex cos x + 2 sin x.

On peut cependant faire mieux si les DL intervenant dans le produit ne sont pas normaux.

Mthode Dterminer de manire optimale un DL dun produit


Supposons que lon veuille calculer le DL dun produit fg en a un ordre n donn.
I On dtermine les parties principales de f et g.
I On crit les dveloppements de f et g des ordres inconnus a priori sous forme normalise :

f(a + h) = ahp (1 + . . . ) g(a + h) = bhq (1 + . . . )


h0 | {z } h0 | {z }
u v

I On crit les DL de u et v lordre n p q et on effectue leur produit. On obtient un DL de uv lordre


n p q.
I Ceci suffit pour obtenir un DL de fg lordre n en tenant compte du facteur abhp+q .

http://lgarcin.github.io 7
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

Exemple 4.2 DL lordre 6 en 0 de (sin2 x ln(1 + x2 ))

On a sin2 x x2 (puisque sin x x) et ln(1 + x2 ) x2 donc (sin2 x) ln(1 + x2 ) x4 . On a donc


x0 x0 x0 x0

sin2 x = x2 (1 + . . . ) ln(1 + x2 ) = x2 (1 + . . . ) (sin2 x) ln(1 + x2 ) = x4 (1 + . . . )

On veut un rsultat final lordre 6 donc tous les (1 + . . . ) doivent tre des DL lordre 2. Ainsi il suffit davoir
un DL de sin2 x et de ln(1 + x2 ) lordre 4.
Il est ais davoir un DL lordre 4 de ln(1 + x2 ). Par composition, il suffit en effet davoir un DL lordre 2
de ln(1 + u) avec u = x2 . On a donc

2 2 x4 4 2 x2 2
ln(1 + x ) = x + o(x ) = x 1 + o(x )
x0 2 x0 2

On veut maintenant avoir un DL lordre 4 de sin2 x. On a :

sin x = x(1 + . . . ) sin2 x = x2 (1 + . . . )

Comme on veut un rsultat final lordre 4, les (1 + . . . ) doivent tre des DL lordre 2. Ainsi il suffit davoir
un DL lordre 3 de sin x. On a

x3 3 x2 2
sin x = x + o(x ) = x 1 + o(x )
x0 6 x0 6

Par consquent,
2 2 x2
sin x = x 1 + o(x2 )
x0 3
Il ny a plus qu calculer le DL final. On conserve encore les termes prpondrants en facteur !

x2 x2
(sin2 x) ln(1 + x2 ) = x4 1 + o(x2 ) 1 + o(x2 )
x0 2 3

5x2 5x6
= x4 1 + o(x2 ) = x4 + o(x6 )
x0 6 x0 6

4.4 Composition

Mthode Dterminer de manire optimale le DL dune compose


Supposons que lon veuille calculer le DL dune compose g f en a un ordre n donn.
I On dtermine la partie principale de f en a : f(a + h) ahp .
h0
n
I On dtermine le DL de g en b = f(a) lordre q o q est le plus petit entier suprieur ou gal p.
I On dveloppe f lordre n en a sous forme normalise et on reporte dans le DL de g en b.

http://lgarcin.github.io 8
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

Exemple 4.3 DL lordre 4 en 0 de ln(cos x)

x2
On crit tout dabord que ln(cos x) = ln(1 + u) avec u = cos x 1. Or on sait que u = cos x 1 . Donc
x0 2
pour avoir un DL de ln(cos x) lordre 4 il nous suffit davoir un DL de ln(1 + u) lordre 2. On aura une
prcision en o(u2 ) et donc en o(x4 ). Il nous faut aussi un DL de u = cos x 1 en x lordre 4.
u2
On a ainsi ln(1 + u) = u + o(u2 ). De plus,
u0 2
x2 x4 x4
u = + + o(x4 ) u2 = + o(x4 )
x0 2 24 x0 4
Par consquent,

x2 x4 1 x4
ln(cos x) = + + o(x4 )
x0 2 24 2 4
x2 x4
= + o(x4 )
x0 2 12
1
Pour calculer le DL dun inverse, on peut utiliser une composition par 1x comme le montre lexemple suivant.

1
Exemple 4.4 DL lordre 4 de en 0
2 + cos x
1
Il sagit de se ramener une expression du type 1u avec u tendant vers 0 : on veut donc un dnominateur
qui tend vers 1 ce qui nest pas le cas ici (2 + cos x) tend vers 3). Peu importe puisque

1 1 1 1 1
= =
2 + cos x 3 1 1cos
3
x 31u

1 cos x 1 cos x x2
avec u = . Remarquons que . On veut un DL lordre 4 donc il nous faut un DL
3 3 x0 6
1
lordre 2 de , cest--dire :
1u
1
= 1 + u + u2 + o(u2 )
1u
1 cos x
Par ailleurs, il nous faut un DL lordre 4 de i.e.
3
x2 x4 x4
u== + o(x4 ) u2 = = + o(x4 )
x0 6 72 x0 36
Finalement,
1 1 x2 x4 x4 1 x2 x4
= 1+ + + o(x4 ) = + + + o(x4 )
2 + cos x x0 3 6 72 36 x0 3 18 216

http://lgarcin.github.io 9
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

4.5 Quotient

Mthode Dterminer de manire optimale le DL dun quotient


f
Supposons que lon veuille calculer le DL dun quotient g en a un ordre n donn.
I On dtermine les parties principales de f et g.
I On crit les dveloppements de f et g des ordres inconnus a priori sous forme normalise :

f(a + h) = ahp (1 + . . . ) g(a + h) = bhq (1 + . . . )


h0 | {z } h0 | {z }
u v

I On dtermine des DL de u et v lordre n p + q puis on effectue leur quotient en remarquant que


u 1 1 1
= u et quun DL de = sobtient par composition.
v v v 1+w
I Ceci suffit pour obtenir un DL de gf lordre n en tenant compte du facteur a
bh
pq
.

sin x2
Exemple 4.5 DL lordre 3 en 0 de en 0
ex 1
Remarquons tout dabord que sin x2 x2 et ex 1 x. Par consquent,
x0 x0

sin x2
sin x2 = x2 (1 + . . . ) ex 1 = x(1 + . . . ) = x(1 + . . . )
ex 1
On veut un rsultat final lordre 3 donc tous les (1 + . . . ) doivent tre des DL lordre 2. Ainsi il suffit davoir
un DL de sin x2 lordre 4 et ex 1 lordre 3.
Il est ais davoir un DL de sin x2 lordre 4. Par composition, il suffit davoir un DL lordre 2 de sin u avec
u = x2 . On a donc
sin x2 = x2 + o(x4 ) = x2 (1 + o(x2 ))
x0 x0

On veut maintenant un DL lordre 3 de ex 1. Rien de plus simple :



x x2 x3 3 x x2 2
e 1 = x+ + + o(x ) = x 1 + + + o(x )
x0 2 6 x0 2 6

Rsultat des courses :


sin x2 1 + o(x2 )
= x
ex 1 x0 1 + x2 + x62 + o(x2 )
1 1
Il nous faut maintenant un DL lordre 2 de x x2
. On utilise donc le DL de lordre 2
1+ + + 2 6 o(x2 ) 1+u
x x2 1
avec u = + + o(x2 ). On a = 1 u + u2 + o(u2 ) et
2 6 1+u

x x2 x2
u = + + o(x2 ) u2 = + o(x2 )
x0 2 6 x0 4
1 x x2
Do x x2
= 1 + + o(x2 ). Finalement,
1+ 2 + 6 + o(x2 ) x0 2 12

sin x2 2 x x2 2 x2 x3
x
= x(1 + o(x )) 1 + + o(x ) = x + + o(x3 )
e 1 x0 2 12 x0 2 12

http://lgarcin.github.io 10
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

5 Exemples et applications
5.1 DL en un point autre que 0

Mthode DL en un point autre que 0


Pour calculer un DL en un point a autre que 0, on effectue le changement de variable x = a + u avec u tendant
vers 0 de sorte que lon est ramen ltude dun DL au voisinage de 0. On revient la fin la variable x en
crivant u = x a.

Exercice 5.1

DL3 (2) de ln(x).

Exercice 5.2

DL3 ( 4 ) de cos(x).

5.2 Obtention de limites et dquivalents

Mthode Obtention de limites


Chercher une limite, cest chercher un DL la prcison o(1).

Exercice 5.3

1+x 1xx
Dterminer la limite en 0 de .
x3

Mthode Obtention dquivalents


On cherche en fait le premier terme non nul dun DL. Malheureusement, il ny a aucune mthode gnrale
pour dterminer a priori lordre du premier terme non nul. On est donc oblig de procder par tatnnements
...

Exercice 5.4

Dterminer un quivalent en 0 de 2ex 1 + 4x 1 + 6x2 .

5.3 Dveloppements asymptotiques


On appelle dveloppement asymptotiques un dveloppement limit qui ne fait pas intervenir que des
puissances entires de x.

http://lgarcin.github.io 11
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

Exemple 5.1

Un dveloppement asymptotique 2 termes de xx en 0+ est :

xx =+ 1 + x ln x + o(x ln x)
x0

On peut galement vous demander des dveloppements asymptotiques au voisnage de . Lide est alors
1
dutiliser un changement de variables u = pour se ramener en 0.
x
Exercice 5.5

Calculer un dveloppement asymptotique 3 termes de x2 + x.

5.4 tude de courbes

Mthode Asymptote et position


Un dveloppement asymptotique dune fonction au voisinage de permet de dterminer les asymptotes la
courbe reprsentative de la fonction et mme la position de la courbe par rapport aux asymptotes.

Exemple 5.2


p 1 1 1
f(x) = x2 + x = x + +o
x+ 2 8x x

On en dduit donc que la courbe reprsentative de f admet une asymptote oblique dquation y = x + 12 au
1
voisinage de +. De plus, sa position par rapport lasymptote dpend du signe de 8x : la courbe est donc
au-dessous de son asymptote au voisinage de +.

Mthode Tangente et position


Un dveloppement limit dune fonction au voisinage de a R permet de dterminer la tangente la courbe
reprsentative de la fonction et mme la position de la courbe par rapport sa tangente.

Exemple 5.3

1 1 x x3
f(x) = = + + o(x3 )
1 + ex x0 2 4 48
1 x
On en dduit donc que la courbe reprsentative de f admet une tangente dquation y = au point
2 4
dabscisse 0 et quelle est au-dessus de sa tangente au voisinage droite de 0 et au-dessous au voisinage
3 3
gauche de 0. En effet f(x) 12 x4 x48 et f(x) 21 x4 et x48 sont donc de mme signe au voisinage de 0.
 
x0

http://lgarcin.github.io 12
Laurent Garcin MPSI Lyce Jean-Baptiste Corot

Exemple 5.4

ex 1 x x3
f(x) = = 1+ + o(x3 )
sh x x0 2 72
f est prolongeable par continuit en 0, ce prolongement est drivable en 0 et la courbe reprsentative de f
admet une tangente dquation y = 1 + x2 au point dabscisse 0. La courbe est situe au-dessous de sa tangente
au voisinage droite de 0 et au-dessus au voisinage gauche de 0.
3 3
En effet f(x) 1 + x2 x72 et f(x) 1 + x2 et x72 sont donc de mme signe au voisinage de 0.
 
x0

5.5 Extremum local

Dfinition 5.1 Extremum local

Soit f une fonction dfinie au voisinage de a R.


I On dit que f admet un maximum local en a si f est majore par f(a) au voisinage de a i.e. si

h > 0, (]a h, a + h[ Df et x ]a h, a + h[, f(x) 6 f(a))

I On dit que f admet un minimum local en a si f est minore par f(a) au voisinage de a i.e. si

h > 0, (]a h, a + h[ Df et x ]a h, a + h[, f(x) > f(a))

On dit que f admet un extremum local en a si f admet un maximum ou un minimum local en a.

Remarque. Par opposition aux extrema locaux, les extrema vu auparavant sont aussi appels des extrema
globaux.

 Attention ! Un extremum local nest pas forcment un extremum global.


Un extremum global nest un extremum local que sil nest pas atteint en les bornes de lensemble de dfinition.

Proposition 5.1

Soit f une fonction admettant un dveloppement limit lordre 2 en a :

f(x) = c0 + c1 (x a) + c2 (x a)2 + o (x a)2



xa

I Si f admet un extremum local en a, alors c1 = 0.


I Si c1 = 0 et c2 > 0, alors f admet un minimum local en a.
I Si c1 = 0 et c2 < 0, alors f admet un maximum local en a.

Exemple 5.5

sh x x2 sh x
+ o x2 donc la fonction f : x 7

On a = 1+ est prolongeable par continuit en 0 en posant
sin x x0 3 sin x
f(0) = 1 et ce prolongement admet un minimum local en 0.

http://lgarcin.github.io 13

You might also like