Vous êtes sur la page 1sur 71

Abdelkader BENHARI

Thorie des fonctions


Theory of fonctions
Sommaire
I Vocabulaire
A. Les ensembles
B. Logique
C. Fonctions
D. Applications
II Rappels sur la continuit
E. Exemples
F. Prolongement par continuit en un point
G. Continuit sur une partie et continuit uniforme
H. Continuit et compacit
I. Cas des fonctions relles dune variable relle : thorme de la valeur intermdiaires et consquences
J. Fonctions monotones et homomorphismes
III Drivation des fonctions dune variable relle
A. Drivabilit et drive en un point
B. Caractrisation par un dveloppement limit
C. Oprations
D. Fonction drive sur un intervalle, drives successives
1) Fonction drivable et fonction drive
2) Espaces de fonctions drivables
E. Les thormes de Rolle et des accroissements finis
F. Consquences du thorme de Rolle
G. Rciproque dune application de classe
k
C et diffomorphisme entre deux intervalles
VI Cas particulier des fonctions valeurs relles
V Approximation uniforme de fonctions continues
VI Fonctions convexes
A. Dfinition
B. Interprtation graphique
C. Proprit de croissance des pentes
VII Fonctions convexes drivables
VIII Ingalit de convexit
IX Exemples
X Fonctions vectorielles valeurs dans espace euclidien
A. Limite, continuit
B. Drivabilit
C. Intgration
D. Ingalits et formules de Taylor diverses
E. Dveloppements limits
XI Comparaison de fonctions
A.BENHARI 2
A. Fonction ngligeable devant une autre
i. Gnralits
ii. Comparaisons usuelles
iii. Proprits
B. Fonctions quivalentes
i. Gnralits
ii. Equivalents usuels au voisinage de 0
iii. Equivalents et limites
iv. Oprations sur les quivalents
v. Oprations sur les quivalents
vi. Autres rsultats
vii. Fonctions polynmes et fonctions rationnelles
C. Fonction domine par une autre
XII Formules de Taylor
A. Prliminaire
B. Ingalit de TaylorLagrange
C. Formule de TaylorYoung
D. Lgalit de TaylorLagrange (hors programme
E. Rcapitulation, formules connatre
XIII Dveloppements limits
A. Gnralits
i. Dfinitions
ii. Thorme dunicit des coefficients dun DL
iii. Troncature dun DL
iv.
B. DL et drivation
C. Oprations sur les DL
i. Retour 0
ii. Somme, produit par un rel
iii. Composition de DL
iv. Inverse
v.
D. Primitive, drive
i. Primitive
ii. Drivation
E. Parit
F. DL connatre
G. Applications
i. Recherche de limites, dquivalents (exemples)
ii. Drive, tangente, position dune courbe par rapport une tangente
iii. Etude locale en +.
A.BENHARI 3
I. Vocabulaire
A. Les ensembles
i. La notion dappartenance
Soit E un ensemble, soit a un objet .
Lnonc E a signifie : a appartient E.
La ngation de cet nonc scrit E a ; autrement dit, lnonc E a est
quivalent :
) ( non E a
.
Exemple :
N 2 , C 2 ,
N 5 , 1
sont vrais.
N 5 , 1
, N 4 sont faux.
ii. Inclusion
Soient deux ensembles E et F.
Lnonc F E se lit E est inclus dans F et signifie : tout lment de E est
lment de F.
Exemple :
R Q
Remarques :
-
E E E ,
- Lquivalence suivante est toujours vraie :
E F E F F E ) et (
.
iii. Vocabulaire et notations
dsigne lunique ensemble qui na pas dlment. On convient que E
est vrai quel que soit E.

{ } c b a , ,
dsigne lensemble dont les lments sont exactement a, b, c.
(remarque : { } { } { } 3 , 2 , 2 , 1 1 , 3 , 2 3 , 2 , 1 )
Soit P une proprit dfinie sur un ensemble E. Pour tout E x ,
) ( P x
est un
nonc (vrai ou faux).
Exemple : P pourrait tre la proprit tre pair dfinie sur Z.
P(6) est vrai ; P(-7) est fausse ; P(3.2) na pas de sens.
La notation { } ) ( P , x E x dsigne lensemble des lments de E qui ont la
proprit P.
) ( P x
est un nonc avec une variable libre x.
{ } ) ( P , x E x est un ensemble avec une variable muette x.
iv. Oprations sur les parties dun ensemble
A.BENHARI 4
Soit E un ensemble.
Une partie de E est un ensemble inclus dans E.
On note
) (E P
lensemble des parties de E.
Ainsi, on a lquivalence :
E A E P A ) (
On a aussi :
) ( ), ( E P E E P
Exemple : soit { } c b a E , , un ensemble trois lments. Alors :
{ } { } { } { } { } { } { } { } c b a c a c b b a c b a E P , , , , , , , , , , , , ) (
Soient A et B deux parties de E.
{ }
{ }
{ } e) (diffrenc ) et ( , \
ion) (intersect ) et ( ,
(runion) ) ou ( ,
B x A x E x B A
B x A x E x B A
B x A x E x B A



E
A
B
Sur le dessin :
- runion : // \\
- intersection :
- diffrence : //
Cas particulier :
Si A B , B A\ est le complmentaire de B dans A, not B C
A
v. Produit cartsien
Soient E, F deux ensembles.
F E est lensemble des couples
) , ( y x
forms dun lment x de E et dun
lment y de F.
Rappel :
' et ' ) ' , ' ( ) , ( y y x x y x y x
De mme on peut dfinir ... G F E
E E est aussi not
2
E
(et

fois
...
n
E E E
est not
n
E
B. Logique
On y utilise :
Des lettres de variables, de constantes, de proprits, de relations
Des connecteurs et, ou,

.
La ngation non
Des quantificateurs
,
Pour lutilisation, les rgles, voir lusage.
Notons cependant :
A.BENHARI 5
Si E dsigne un ensemble, P une proprit dfinie sur E :
- lnonc
) ( P , x E x
signifie que quel que soit x de E,
) ( P x
, soit que tout
lment de E vrifie P.
- lnonc
) ( P , x E x
signifie quil existe un lment de E qui vrifie P.
Exemple : { } 4 , 5 , 3 , 1 E ,
pair" tre " P
; alors
) ( P , x E x
est vrai.
On a les quivalences suivantes (ngation) :
)) ( P ( non , )) ( P , ( non
)) ( P ( non , )) ( P , ( non
x E x x E x
x E x x E x


Concernant et et ou :
)) ( Q , ( ou )) ( P , ( )) ( Q ou ) ( P ( ,
)) ( Q , ( et )) ( P , ( )) ( Q et ) ( P ( ,
)) ( Q , ( ou )) ( P , ( )) ( Q ou ) ( P ( ,
)) ( Q , ( et )) ( P , ( )) ( Q et ) ( P ( ,
x E x x E x x x E x
x E x x E x x x E x
x E x x E x x x E x
x E x x E x x x E x




Autres rgles :
A et B sont deux noncs quelconques.
) ( non et ) ( non
) ( non et ) ( non ) ou ( non
) ( non ou ) ( non ) et ( non
B A B A
B A B A
B A B A

Une simplification dcriture :


) ' ) ' ( P et ) ( P ( , ' , x x x x E x E x
: il y a au plus un lment de E tel que
) ( P x
.
)] ' ) ' ( P et ) ( P ( , ' , [ et )] ( P , [ x x x x E x E x x E x
: il existe un et un seul E x
tel que
) ( P x
: cet nonc est not
) ( P , ! x E x
.
Contrapose :
Soient A et B deux noncs. On a lquivalence :
)) ( non ) ( non ( ) ( A B B A
C. Les fonctions
Une fonction f dun ensemble E vers un ensemble F est une correspondance entre les
lments de E (ensemble de dpart de f ) et ceux de F ( ensemble darriv de f ), telle
qu tout lment x de E correspond au plus un lment de F, appel image de x par f ,
gnralement not f(x).
Certains lment de lensemble de dpart peuvent ne pas avoir dimage par la fonction :
On appelle domaine de dfinition de f lensemble des lments de E qui ont une image
par f .
Notations usuelles : f
D
,
( ) Dom f
,
Dom f
.
Si f est dfinie sur E tout entier , on dit que f est une application de E dans F
On dfinie une fonction en indiquant son nom, son ensemble de dpart et son ensemble
darrive, sous la forme abrge :

:
: ( )
f E F
f x f x

A.BENHARI 6
D. Les applications
E, F, G dsignent ici des ensembles quelconques.
i. Gnralits
La donne dune application f est la donne :
- Dun ensemble de dpart E.
- Dun ensemble darrive F.
- Pour chaque lment x de E, dun lment de F not
) (x f
et appel limage de
x par lapplication f.
On note :
) (
:
x f x
F E f
Exemples :
Lapplication :
x x
E E

est lidentit sur E, note


E
Id

2
x x
+
R R
,
2
x x
R R

,
2
x x
R R
,
2
x x

R R
(Lensemble darrive ne convient
pas),
2
x x
R R
+
,
x x
2
R R
(Mauvaise variable),
2
x x
+ +
R R
; toutes ces
applications sont des applications diffrentes.
On note
) , ( F E F
lensemble des applications de E dans F.
ii. Composition
Dfinition : Soient
F E f :
,
G F g :
.
f g
dsigne lapplication de E dans
G qui tout lment x de E associe
)) ( ( x f g
.
Ainsi, pour tout x de E,
)) ( ( ) )( ( x f g x f g
Thorme : la loi

est une loi associative sur lensemble des fonctions de E dans


E. Elle admet un lment neutre
E
Id , et elle nest pas commutative en gnral.
Dmonstration :


constitue une loi sur
) , ( E E F
:
Pour
) , ( E E f F
,
) , ( E E g F
,
f g
est bien dfini.
Associativit : soient f, g, h trois lments de
) , ( E E F
.
Montrons que
h g f h g f ) ( ) (
. Dj, les deux applications
) ( h g f
et
h g f ) (
sont bien de E dans E.
Soit E x . On a :
))) ( ( ( )) ( )( ( ) )( ) ((
))) ( ( ( )] )( [( ) ))( ( (
x h g f x h g f x h g f
x h g f x h g f x h g f




Cest valable pour tout x de E. donc les deux applications sont gales. Cest
valables pour toutes applications
) , ( , , E E h g f F
. Donc la loi

est associative.
Attention : crire
)] ( [ x g f
na aucun sens. En effet, la loi

prend comme
arguments deux applications, et ici
) (x g
est un lment de E.
Elment neutre :
A.BENHARI 7
Pour tout
) , ( E E f F
, f f f
E E
Id Id . En effet :
Dj, ) , ( Id , Id , E E f f f
E E
F . Pour tout x de E, on a :
E x f x f x f x f
x f x f x f
E E
E E


) ( car ) ( )) ( ( Id ) )( (Id
) ( )) ( Id ( ) )( Id (

Non commutativit : ds que E a au moins trois lments. En effet : supposons


que E a au moins trois lments. Notons a, b, c trois lments distincts de E.
Soient alors deux applications
) , ( , E E g f F
dfinies par :
{ }

'

x x f b a E x
a b f
b a f
) ( , , \
) (
) (
{ }

'

x x g c a E x
a c g
c a g
) ( , , \
) (
) (
Alors :
c c f a g f a g f
b b g a f g a f g


) ( )) ( ( ) )( (
) ( )) ( ( ) )( (

Gnralisation :
On a associativit "en gnral" de la loi

: pour tous
) , ( F E f F
,
) , ( G F g F
,
) , ( H G h F
, on a :
f g h f g h ) ( ) (
, quon note aussi
f g h
Dmonstration : les deux applications
) ( f g h
et
f g h ) (
sont bien des
lments de
) , ( H E F
. Ensuite, procder comme pour montrer lassociativit dans
) , ( E E F
iii. Injectivit, surjectivit
Soit
F E f :
.
On dit que f est injective lorsque
) ' ) ' ( ) ( ( , ' , x x x f x f E x E x
Autrement dit : si deux lments de E ont la mme image par f, alors ils sont gaux
Ou encore : deux lments distincts de E on toujours des images distinctes (cest la
contrapose de lnonc prcdent)
On dit que f est surjective lorsque
)) ( ( , , x f y E x F x
C'est--dire que tout lment de F est limage dun lment de E.
On dit que f est bijective lorsquelle est la fois injective et surjective.
Exemples :
(1)
A.BENHARI 8
E
F
Injective non surjective
E F
Surjective non injective
E F
Bijective
E F
Ni injective ni surjective
(2)
2
:
x x
f

R R
nest ni injective ni surjective :
) 1 ( ) 1 ( f f
et ) 4 , ( non
2
x x R
2
:
x x
g

+
R R
est surjective, non injective.
2
:
x x
h

R R
+
est injective non surjective.
2
:
x x
+ +
R R
est bijective.
(3)
On note H lhumanit, M lensemble des mres, A lensemble des ans.
x x
H H
de mre

nest ni injective ni surjective.


x x
H M
de enfant

ne peut pas tre dfinie, car x peut avoir plusieurs enfants.


x x
M H
de mre

est surjective non injective.


x x
H M
de an

est injective non surjective.


x x
A M
de an

est bijective.
Antcdent ventuel.
Soit
F E f :
Soit
F y
. Un antcdent de y est un lment x de E tel que
) (x f y
.
Attention, il ny a en gnral ni existence ni unicit.
Proposition :
f est injective si et seulement si tout lment de F a au plus un antcdent.
f est surjective si et seulement si tout lment de F a au moins un antcdent.
f est bijective si et seulement si tout lment de F a exactement un antcdent.
Dmonstration :
Pour linjectivit :

: supposons f injective. Supposons que y lment de F a un antcdent x. Soit


x un autre antcdent. On a alors
) (x f y
et
) ' (x f y
. Donc
) ' ( ) ( x f x f
. Comme
f est injective, ' x x . Donc si y admet un antcdent, il nen admet quun seul.
A.BENHARI 9

: supposons f non injective. Alors il existe


E x x ' ,
tels que
) ' ( ) ( x f x f
et
' x x . Alors, en notant
)) ' ( ( ) ( x f x f y
, y admet deux antcdents distincts x et x.
Donc non(tout lment de F a au plus un antcdent). (On a montr la contrapose).
Pour la surjectivit, il suffit de traduire les deux cts de lquivalence pour voir
quon crit exactement la mme chose.
Pour la bijectivit, on utilise les deux rsultats prcdents.
Proposition :
La compose de deux injections est une injection. Il en est de mme pour la
compose de deux surjections ou de deux bijections.
Dmonstration :
Soient
F E f :
,
G F g :
(1) Supposons f et g injectives. Montrons que
f g
lest aussi. (c'est--dire que
) ' ) ' )( ( ) )( (( , ' , x x x f g x f g E x x
)
Soient
E x x ' ,
. Supposons que
) ' )( ( ) )( ( x f g x f g
. Montrons que ' x x .
On a :
) ' )( ( ) )( ( x f g x f g
, soit
)) ' ( ( )) ( ( x f g x f g
. Comme g est injective,
on a alors
) ' ( ) ( x f x f
. Comme f est injective, on a donc ' x x .
(2) Supposons f et g surjectives. Montrons que
f g
lest aussi. (c'est--dire que
) )( ( , , x f g y E x G y
)
Soit
G y
. Comme g est surjective, il existe F x ' tel que
) ' (x g y
.
Comme f est surjective, il existe E x tel que
) ( ' x f x
Ainsi,
) )( ( )) ( ( ) ' ( x f g x f g x g y
iv. Rciproque dune bijection
Soit
F E f :
une application bijective.
On peut introduire lapplication de F dans E qui tout lment de F associe son
unique antcdent par f dans E. Cette application sappelle la rciproque de f, note
1
f .
x y f E y x
E F f

) ( que tel de lment unique l'


:
1

)) ( ) ( ( , ,
1
y f x x f y E y F x

Proposition :
Soit
F E f :
bijective.
Alors
F
f f Id
1

et
E
f f Id
1

Dmonstration :
*
1
f f est bien dfini et va de F dans F.
Soit F x
Alors x x f f x f f

)) ( ( ) )( (
1 1
(car ) (
1
x f

est lantcdent de x par f)
* f f
1
est bien dfini et va de E dans E.
Soit E x .
Alors x x f f x f f

)) ( ( ) )( (
1 1
(car x est lantcdent de
) (x f
par
1
f ).
Thorme (inversible

bijectif).
Soit
F E f :
.
A.BENHARI 10
Sil existe
E F g :
telle que
E
f g Id et
F
g f Id , alors f est bijective et
g f
1
Dmonstration :
Soit
F E f :
. Supposons quil existe
E F g :
telle que
E
f g Id et
F
g f Id
(1) Alors f est injective :
Soient
E x x ' ,
, supposons que
) ' ( ) ( x f x f
.
Alors
)) ' ( ( )) ( ( x f g x f g
, soit
) ' ( ) ( x f g x f g
. Ainsi, ' x x .
(2) Et f est surjective :
Soit
F y
. Alors
)) ( ( ) )( ( y g f y g f y
Donc y a un antcdent par f, savoir
) ( y g
, et ce quel que soit y.
Donc f est surjective
Donc f est bijective.
(3) Montrons que g f
1
On a :
1 1 1 1
Id ) ( ) ( Id

f f f f g f f g g g
E F

Consquence : si f est bijective,
1
f lest aussi et f f
1 1
) (
v. Image directe, image rciproque
Dfinitions :
Soit
F E f :
Soit A une partie de E. On appelle image directe de A par f, et on note ) (

A f
lensemble des images par f des lments de A, c'est--dire :
{ } { } A x x f x f y A x F y A f ), ( ) ( , , ) (

Soit B une partie de F. On appelle image rciproque de B par f et on note


) (B f

lensemble des lments de E dont limage est dans B, c'est--dire :


{ } B x f E x B f

) ( , ) (
Cas particulier :
Limage directe par f de E est lensemble image de f, not
) Im( f
Soit
F E f :
. Alors,
) (
) Im( :
~
x f x
f E f

est videmment surjective.


Visualisation :
E
F
B
A
) (

A f
) (B f

)) ( (

B f f

)) (

( A f f

A.BENHARI 11
Proposition :
Si
F E f :
est bijective, alors pour toute partie B de F,
) ( ) (
1
B f B f

(1) : montrons que


) ( ) (
1
B f B f

Soit
) (
1
B f x

. Montrons que
) (B f x

(c'est--dire que
B x f ) (
).
E x car
E B f

) (
1
, et il existe
B y
tel que ) (
1
y f x

par dfinition de
) (
1
B f

. Donc y y f f x f

)) ( ( ) (
1
. Or,
B y
. Donc
B x f ) (
. Donc
) (B f x

,
do la premire inclusion
(2) : montrons que
) ( ) (
1
B f B f

Soit
) (B f x

. On a :
B x f ) (
, et ) ( )) ( (
1 1
y f x f f x

avec
B x f y ) (
.
Donc
) (
1
B f x

. Do lautre inclusion et lgalit.


Soit
F E f :
, bijective, et A une partie de E. Alors
) ( ) (
1
A f A f

. En effet, il
suffit dappliquer lgalit prcdente avec
1
f qui est aussi une bijection de F dans E.
) ( ) ( ) (
1 1 1
A f A f

, c'est--dire
) ( ) (
1
A f A f

Consquence : pour une application f quelconque de E dans F, on peut noter


) ( A f

pour ) (

A f (cest la nature de E A qui permet de distinguer limage directe) et


) (
1
B f

pour
) (B f

lorsque F B . (attention, le
-1
ne signifie pas pour autant que f est
bijective !).
II. Rappels sur la continuit
Introduction :
Il sagit dtendre ltude de la continuit et de la drivabilit dune variable relle des
applications
E A f :
o A est une partie de R et E un espace vectoriel norm sur R K ou
C (au programme : seulement de dimension finie).
Rappel :
Si
1
E
,
2
E
, F sont des espaces norms, une application bilinaire
F E E B
2 1
:
est
continue si et seulement si il existe 0 C tel que
2 1 2 1 2 1 2 1
) , ( , ) , ( x x C x x B E E x x
.
De plus, lorsque
1
E
et
2
E
sont de dimension finie, toute application bilinaire
F E E B
2 1
:
est continue.
Cas particuliers importants : le produit usuel, le produit de deux matrices, les produits
scalaires, le produit vectoriel sont continus.
A) Exemples
Les applications lipschitziennes sont continues
Un compose, une somme de fonctions continues sont continues.
A.BENHARI 12
Si
1
: E A f
et
2
: E A g
sont continues, et si B est bilinaire continue, alors
)) ( ), ( ( x g x f B x
est continue.
Si E est de dimension finie, et
) ,... (
1 n
e e B
est une base de E, alors une
application
E A f :
se dcompose de manire unique en

n
k
k k
e f f
1
o
K A f
k
:
. f est alors continue si et seulement si toutes les applications coordonnes le
sont.
En particulier, si les
k
f
sont polynomiales ou rationnelles et les dnominateurs
ne sannulant pas, alors f est continue.
B) Prolongement par continuit en un point
Thorme :
Soit
E A f :
une application et
A A a \
. f a un prolongement continu en a si et
seulement si
) (x f
a une limite E b quand x tend vers a.
Dans ce cas, le prolongement par continuit de f est unique et obtenu en posant
b a f ) (
.
C) Continuit sur une partie et continuit uniforme
Dfinition :
E A f :
est dite continue sur A si elle est continue en tout point A a , c'est--
dire
< > > ) ( ) ( , , 0 , 0 , a f y f a y A y A a
(1)
Les deux premiers quantificateurs sont identiques, donc ils peuvent tre permuts :
< > > ) ( ) ( , , 0 , , 0 a f y f a y A y A a
(1)
E A f :
est dite uniformment continue sur A si :
< > > ) ( ) ( , , , 0 , 0 a f y f a y A y A a
(2)
Entre (1) et (2), on a chang deux quantificateurs diffrents.
Mais
)) , ( , 0 , ( )) , ( , , 0 ( a P A a a P A a > >
Donc on peut en dduire que toute fonction
E A f :
uniformment continue sur
A est continue sur A.
Caractrisation de luniforme continuit :
On verra plus loin quune fonction
E A f :
est uniformment continue si et
seulement si il existe une fonction
+ +
R R :
continue en 0 telle que :
0 ) 0 (
et
) ( ) ( ) ( , , y x y f x f A y x
Ainsi, luniforme continuit est en quelque sorte une gnralisation du caractre
lipschitzien.
D) Continuit et compacit
Thorme (Heine) :
A.BENHARI 13
Toute fonction continue sur une partie compacte dun espace norm est
uniformment continue sur cette partie.
Limage dune partie compacte par une application continue est un compact.
En particulier, si
R X f :
est continue sur la partie compacte non vide X dun
espace norm, alors f est borne et atteint ses bornes.
NB :
Les compacts dun espace norm de dimension finie sont les ferms borns. Par
exemple, tout segment est compact ; si la suite
N n n
u ) (
converge vers l, lensemble
{ } { } l n u
n
N ,
est compacte.
Dmonstration du cas particulier (les autres ont dj t vus) :
Dans ce cas,
) ( X f
est un compact non vide de R, il est donc born et non vide.
Donc
) ( X f
admet des bornes infrieures et suprieures, qui sont dans
) ( X f
car
cest un ferm.
Exercices connatre :
(1) Si
R R : f
est uniformment continue, alors il existe
0 , > b a
tels que
b x a x f x + ) ( , R
. Mais la rciproque est fausse, par exemple avec
) sin(
2
x x .
Dmonstration :
Soit
R R : f
, uniformment continue.
Alors
< < > > ) ( ) ( , ) , ( , 0 , 0
2
y f x f x y y x R
On veut montrer quil existe
0 , > b a
tels que
b x a x f x + ) ( , R
.
On pose 1 .
Il existe alors 0 > tel que
1 ) ( ) ( , ) , (
2
< y f x f x y y x R
Soit 0 > x
On pose pour
[ ] n i , 0
,
h i x
i
.
avec
2

h
,
1
]
1

h
x
n
.
On a ainsi
<
+
h x x
i i 1 , soit
1 ) ( ) (
1
<
+ i i
x f x f
Et
< x x
n donc
1 ) ( ) ( < x f x f
n
Donc en sommant :
) 0 ( 1
) 0 ( 1
) 0 ( ) ( ) ( ... ) ( ) ( ) 0 ( ) (
) 0 ( ) 0 ( ) ( ) (
1 2 1
f
h
x
f n
f x f x f x f x f f x f
f f x f x f
n
+ +
+ +
+ + + +
+
Do le rsultat avec
h
a
1

,
) 0 ( 1 f b +
, valable aussi pour 0 < x .
On note ) sin( :
2
x x f .
Alors f est continue, telle que
1 ) sin(
2
x
, mais pas uniformment continue :
On pose
2
2

+ n x
n
, n y
n
2
On a alors
0 lim
+
n n
n
y x
, et
0 1 ) ( ) ( lim
+
n n
n
y f x f
On peut poser
2
1
. Alors pour tout 0 > , il existe N tel que
<
n n
y x N n ,
, mais
2
1
1 ) ( ) ( >
n n
y f x f
Donc f nest pas uniformment continue.
A.BENHARI 14
Remarque :
Caractrisation de luniforme continuit avec les suites :
E A f :
est uniformment continue si et seulement si pour tout couple de suites
N n n
x ) (
,
N n n
y ) (
de A telles que
0 ) ( lim
+
n n
n
y x
, on a
0 )) ( ) ( ( lim
+
n n
n
y f x f
.
Dmonstration :
- Si f nest pas uniformment continue, il existe N n n
x ) (
et N n n
y ) (
suites de
A telles que
0 lim
+
n n
n
y x
et
0 ) ( ) (
+

n n
y f x f
En effet, il existe 0 > tel que
< > ) ( ) ( et , ) , ( , 0
2
y f x f y x A y x
Pour
n
1

, on prend
2
) , ( A y x
n n

vrifiant
< ) ( ) ( et
1
n n n n
y f x f
n
y x
Et les deux suites introduites conviennent.
- Soit f uniformment continue et
N n n
x ) (
,
N n n
y ) (
deux suites telles que
0 lim
+
n n
n
y x
.
Soit 0 > . Comme f est uniformment continue, il existe 0 > tel que
2
) , ( A y x ,
< < ) ( ) ( , ) , (
2
y f x f y x A y x
Comme
0 lim
+
n n
n
y x
, il existe un rang N tel que
<
n n
y x N n ,
Et donc pour N n , on aura
< ) ( ) (
n n
y f x f
.
(2)
E f R :
est uniformment continue si et seulement si :
y x A y f x f y x A + > > ) ( ) ( , ) , ( , 0 , 0
2
R
Dmonstration :
Soit
E f R :
.
Supposons que
y x A y f x f y x A + > > ) ( ) ( , ) , ( , 0 , 0
2
R
.
Soit 0 > . Il existe donc 0 > A tel que y x A y f x f +
2
) ( ) (

Donc pour
) 1 ( 2 +
<
A
y x

, on a alors

<
+
+ <
) 1 ( 2
) ( ) (
2
A
A y f x f
Rciproquement, soit f uniformment continue.
Soit 0 > ; il existe 0 > tel que
< < ) ( ) ( , ) , (
2
y f x f y x y x R
Soit
2
) , ( R y x , avec
x y
.
On note
2

h
,
1
]
1

h
x y
N
Alors pour tout
[ ] N i , 0
,
< + + + h h i x ih x ) ) 1 ( ( ) (
Et
< < + h Nh x y ) (
Donc
) 1 ( ) ( ) ( ... ) ( ) ( ) ( ) ( + + + + + N y f Nh x f h x f x f y f x f
Mais
1 +

1
]
1

h
x y
h
x y
N
Donc

+ ) ( ) ( ) ( x y
h
y f x f
On peut donc prendre
h
A

.
(3) Si
R R : f
est continue et T-priodique, alors f est uniformment continue.
A.BENHARI 15
Dmonstration :
Soit 0 > . Comme f est uniformment continue sur
[ ] T 2 , 0
(car cest un
compact), il existe 0 > tel que
[ ] < < ) ( ) ( , 2 , 0 ) , (
2
y f x f y x T y x
On note alors
) , min( ' T
.
Soit alors
2
) , ( R y x , supposons que
' < y x
, montrons que
) ( ) ( y f x f
.
Comme
T y x
, il existe un entier relatif N tel que
[ ] T NT x 2 , 0
et
[ ] T NT y 2 , 0
.
On a alors
y x NT y NT x ) (
Donc
) ( ) ( ) ( ) ( NT y f NT x f y f x f
Ce qui achve la dmonstration.
(4) Relvements :
On appelle relvement de
U A f :
(cercle unit de C) toute application
R A :
telle que
) (
) ( ,
x i
e x f A x

(o A est un ensemble quelconque)
Problme :
Si f possde une certaine rgularit, peut on choisir

avec la mme rgularit ?


En gnral non. Par exemple, lapplication
U
Id
na pas de relvement continu.

Thorme du relvement
1
C :
Soit I un intervalle de R et
U I f :
de classe
1
C .
Alors il existe
R I :
de classe
1
C telle que
i
e f
.
Dmonstration :
Analyse :
Si
) (
) ( ,
t i
e t f I t

o

est de classe
1
C , alors
) (
) ( ' ) ( ' ,
t i
e t i t f I t


C'est--dire
) (
) ( '
) ( ' ,
t f
t f
i t I t
(f ne sannule pas car valeurs dans U)
Synthse :
Soit
I t
0
. On peut crire
0
) (
0
i
e t f o
R
0

.
On pose alors pour I t ,


t
t
ds
s f
s f
i t
0
) (
) ( '
) (
0

Comme f est de classe
1
C et ne sannule pas,
' f
f
est continue et donc

est de
classe
1
C .
De plus,

est valeurs relles :


On doit montrer que
) ( ) ( , t t I t
, c'est--dire :


t
t
t
t
ds
s f
s f
i ds
s f
s f
i I t
0 0 ) (
) ( '
) (
) ( '
,
Ou encore
0
) (
) ( ' ) ( ) ( ' ) (
,
0
2

+

t
t
ds
s f
s f s f s f s f
I t
Ce qui est vrai car
1 ) ( ,
2
s f I s
, c'est--dire
1 ) ( ) ( s f s f
,
Donc

0 ) ( )' ( ) ( ) ( ) ( ' ,
'
+

s f s f s f s f I s
f
De plus,

est un relvement de f :
Considrons h dfinie par
) (
) ( ) (
t i
e t f t h

.
On a
1 ) (
0
t h
et h est drivable, et 0 ) )( ' . . ' ( ) ( ' ,
) (


t f i f e t h I t
t i

Donc
1 ) ( , t h I t
.
A.BENHARI 16
Thorme du relvement continu :
Soit
[ ] U b a f , :
continue. Alors il existe
[ ] R b a, :
, continue et unique
2 prs, telle que
i
e f
.
Dmonstration :
Unicit 2 prs :
Si [ ]
) ( ) (
2 1
) ( , ,
t i t i
e e t f b a t

o
1

et
2

sont continues et relles, alors


[ ] Z 2 ) ( ) ( , ,
2 1
t t b a t
Donc daprs le thorme des valeurs intermdiaires,
0 2 1
2 cte k
Pour lexistence :
- Si
[ ] { } 1 \ ) , ( U b a f
, c'est--dire
[ ] 1 ) ( , , t f b a t
.
On pose alors pour
[ ] b a t ,
,

,
_

1 )) ( Re(
) ( Im
Arctan 2 ) (
t f
t f
t
(qui est bien
dfinie)
(Justification du choix :
Si
i
e t iy t x t f + ) ( ) ( ) ( o
R ) (t x
et
R ) (t y
, alors

'

+

+


2
2
2
1
2
sin
1
1
cos
u
u
y
u
u
x

o
2
t a n

u et donc
1 +

x
y
u
et

,
_

1 ) (
) (
Arctan 2
t x
t y

)
Alors

est continue (car compose de fonctions continues), et on a


[ ]
) (
) ( , ,
t i
e t f b a t

(Voir justification)
- Si f nest pas surjective ; il existe
0
0
i
e u tel que
[ ]
0
) ( , , u t f b a t
On pose alors ) ( ) (
0
t f e t g
i

On peut alors appliquer le cas prcdent g puis
)) ( (
1 0
) (
t i
e t f
+ +
(o
1

est
continue telle que [ ]
) (
1
) ( , ,
t i
e t g b a t

)
- Dans le cas gnral :
[ ] U b a f , :
est continue, donc uniformment continue sur
[ ] b a,
. Donc il
existe 0 > tel que pour tous
[ ] b a y x , ,
, si
< y x
alors
2 ) ( ) ( < y f x f
Ainsi, pour tout
[ ] b a c ,
, [ ] + c c
f
, / nest pas surjective car
[ ] 2 ) ( ) ( , , < + x f c f c c x
donc
) ( ) ( c f x f
.
On pose alors
1
]
1

a b
N
Et pour
[ ] N k , 0
,
kN a a
k
+
, et
b a
N

+1
Ainsi, pour tout
[ ] N i , 0
,
[ ]
1
, /
+ i i
a a
f
nest pas surjective, il existe
[ ] R
+1
, :
i i i
a a
qui soit un relvement de
[ ]
1
, /
+ i i
a a
f
.
On a alors
) ( ) (
1
1 2 1 1
) (
a i a i
e e a f


Donc il existe
Z
1
n
tel que

1 1 1 1 2
2 ) ( ) ( n a a +
A.BENHARI 17
Quitte remplacer
2

par

1 2
2n
, on peut supposer que
0
1
n
, c'est--dire
que
) ( ) (
1 1 1 2
a a
Et on a toujours
[ ]
2
2 1
, /
i
a a
e f
On recommence ensuite en
2
a

On considre alors
[ ] R b a, :
dfinie par
[ ]
[ ] i a a
i i
N i
+1
, /
, , 0
Ainsi, par construction des
i

est continue.
Remarque :
Le rsultat est vrai aussi pour un intervalle I quelconque :
En effet :
Il existe une suite de segment croissants (au sens de linclusion)
N n n
K ) (
telle
que
N

n
n
K I
.
On applique le thorme du relvement continu
n
K
f
/
On trouve alors
R
n n
K :
continues telles que
n
n
i
K
e f

/
Soit
0 0
K t
. Pour tout N n ,
0
/ K n

est un relvement continu de


0
/ K
f
.
Donc
0
/ K n

et
0

sont deux relvements continus de


0
/ K
f
.
On peut donc supposer (quitte modifier
n

) que
0 /
0

K n
et donc
) ( ) (
0 0 0 /
0
t t
K n

On a alors pour tout
N m n,
tels que
m n >
,
m K n
m

/
car ce sont deux
relvements continus de
m
K
f
/
qui prennent la mme valeur en
0
t
.
On pose alors pour tout I t ,
) ( ) ( t t
n

o n est tel que
n
K t
.
Ainsi, par construction,

est continue et cest un relvement de f.


(5) Module de continuit uniforme dune application borne :
Soient I un intervalle de R et
E I f :
une application borne o E est un evn.
Pour 0 , on pose
{ } y x y f x f
f
, ) ( ) ( sup ) (
. Alors f

est dfinie et
croissante sur
+
R
, vrifie
0 ) 0 (
f

et
) ( ) ( ) ( , 0 ,
f f f
+ +
De plus, f

est continue en 0 si et seulement si f est uniformment continue sur I.


Dmonstration :
Soit 0 .
Alors
{ } y x y f x f , ) ( ) (
est non vide (contient 0) et major par

f 2
.
Donc
) (
f existe pour tout 0 .
On note
{ } y x y f x f A , ) ( ) ( ) (
Alors pour
0 ' ,
tels que ' , on a
) ( ) ' ( A A
.
Donc
) ( ) ' (
f f

De plus,
{ } { } 0 0 sup , ) ( ) ( sup ) 0 ( y x y f x f
f

Soient
0 ,
. Montrons que
) ( ) ( ) (
f f f
+ +
.
Soit
2
) , ( I y x , supposons que
x y
et
+ y x
Si
y x +
, alors
y x
et donc
) ( ) ( ) ( ) ( ) (
f f f
y f x f +
, soit en passant la borne suprieure pour
+ y x
,
) ( ) ( ) (
f f f
+ +
.
Si
y x +
, alors
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
f f
y f x f x f x f y f x f + + + +
car
+ y x
A.BENHARI 18
Montrons maintenant que f est uniformment continue si et seulement si
0 ) ( lim
0

f
Remarque :
Par dfinition de f

, on a
) ( ) ( ) ( , ) , (
2
y x A y f x f I y x
Donc
) ( ) ( ) ( , ) , (
2
y x y f x f I y x
f

Supposons que
0 ) ( lim
0

f .
Soit 0 > . Il existe alors 0 > tel que
[ ] ) ( , , 0
f
Pour
2
) , ( I y x , si
y x
, alors
) ( ) ( ) ( y x y f x f
f
Donc f est uniformment continue.
Rciproquement, supposons que f est uniformment continue.
Soit 0 > . Il existe 0 > tel que
< < ) ( ) ( , ) , (
2
y f x f y x I y x
Pour ,
) ( A
est alors major par

, et donc
) (
f .
E) Cas des fonctions relles dune variable relle : thorme de la valeur
intermdiaires et consquences
Thorme :
Soit
[ ] R b a f , :
une application continue sur
[ ] b a,
telle que
[ ] b a,
. Alors il
existe
] [ b a c ,
tel que
0 ) ( c f
.
Limage dun intervalle par une application continue valeurs relles est encore
un intervalle.
Limage dun segment par une application continue valeurs relles est un
segment.
F) Fonctions monotones et homomorphismes
Thorme (de la limite monotone) :
Soient
R b a,
et
[ [ R b a f , :
croissante. Alors f a une limite finie en b si et
seulement si elle est majore. Si elle nest pas majore, alors
+

) ( lim x f
b x
On a des noncs analogues pour f dcroissante et pour a au lieu de b.
Dfinition :
On appelle homomorphisme entre A et B toute application
B A f :
bijective,
continue et de rciproque continue.
Thorme :
Soit I un intervalle de R et
R I f :
une application continue. Alors :
(1) f est injective si et seulement si elle est strictement monotone. De plus, si f est
injective, cest un homomorphisme de I sur son image
{ } I f J
.
(2) f est un homomorphisme entre I et J si et seulement si
{ } I f J
et f est soit
injective soit strictement monotone.
III. Drivation des fonctions dune variable relle
A) Drivabilit et drive en un point
A.BENHARI 19
Cest la mme chose que pour les fonctions numriques :
Soient R a , A un voisinage de a et
E A f :
. f est dite drivable en a si le taux
daccroissement
a x
a f x f

) ( ) (
a une limite lorsque x tend vers a. Dans ce cas, cette
limite est appele drive de f en a, et note
) ( ' a f
.
Extension :
Le cas chant, on pourra aussi considrer les drives droite et gauche en a.
Proprits :
Si f est drivable en a, alors f est continue en a.
Soit
) ,... (
1 n
e e
une base de E, et
E A f :
se dcomposant en

n
i
i i
e x f x f
1
) ( ) (
.
Alors f est drivable en A a si et seulement si toutes les i
f
le sont et on a alors

n
i
i i
e a f a f
1
) ( ' ) ( '
.
B) Caractrisation par un dveloppement limit
Thorme :
Soit f dfinie dans un voisinage de a. Alors f est drivable en a si et seulement si
elle admet un dveloppement limit dordre 1 en a
) ( ) ( ) ( ) ( a x o a x k a f a f + +

et dans ce cas
k a f ) ( '
.
C) Oprations
Thorme :
- Soient
E A g f : ,
des fonctions drivables en a et K . Alors
g f +
est
drivable en a, et
) ( ' ) ( ' ) ( )' ( a g a f a g f + +
- Soient
1
: E A f
et
2
: E A g
drivables en a et
F E E B
2 1
:
bilinaire
continue. Alors
)) ( ), ( ( : x g x f B x k
est drivable en a et
)) ( ' ), ( ( )) ( ), ( ' ( ) ( ' a g a f B a g a f B a k +
- Soient
R B A f :
drivable en a,
2
: E B g
drivable en
) (a f b
. Alors
f g
est drivable en a et
)) ( ( ' ) ( ' ) ( )' ( a f g a f a f g
Dmonstration (pour le deuxime point) :
Comme B est continue, il existe M tel que
2 1 2 1 2 1 2 1
) , ( , ) , ( V V M V V B E E V V
.
On a des dveloppements limits :
) ( ) ( ' . ) ( ) (
1
h o a f h a f h a f + + +
et
) ( ) ( ' . ) ( ) (
2
h o a g h a g h a g + + +
o 0
) (
lim
0

h
h o
j
h
pour
2 , 1 j
.
Alors
) ( ) ( ))) ( ' ), ( ( )) ( ), ( ' ( ( ) (
)) ( ) ( ' ) ( ), ( ) ( ' ) ( ( )) ( ), ( (
2 1
+ + +
+ + + + + +
h R a g a f B a g a f B h a k
h o a hf a g h o a hf a f B h a g h a f B
avec
)) ( ), ( ( )) ( ) ( ' ), ( ' ( )) ( ), ( ( ) (
1 2 2
h a g h o B h o a hg a f hB h o a f B h R + + + +
A.BENHARI 20
Donc
( ) ) ( ) ( ) ( ) ( ' ) ( ' ) ( ) ( ) (
1 2 2
h a g h o h o a hg a f h h o a f M h R + + + +
Et 0
) (
0

h
h
h R
Donc
) (
est un DL de k en a, donc k est drivable en a et
) ( ' a k
est bien
lexpression souhaite.
Exemple :
Soit
) ( ) ( R R
n
M x P x
une application drivable telle que pour tout R x ,
) (x P
est orthogonale. Alors pour tout R x , ) ( ) ( ' x P x P
t
est antisymtrique. Si de
plus n est impair, alors
0 )) ( ' det( , x P x R
(le dterminant dune matrice
antisymtrique dordre impair est nul)
En effet :
Comme
) ( ) ( , R R
n
O x P x
, on a
n
t
I x P x P x ) ( ) ( , R
On pose
N M N M
M M B
t
n n
) , (
) ( ) ( :
2
R R
, bilinaire continue (on est en dimension finie)
Alors
n
I x P x P B x ) ( ), ( ( , R
Et en drivant 0 ) ( ' ) ( ) ( ) ( ' , + x P x P x P x P x
t t
R
C'est--dire )) ( ) ( ' ( ) ( ) ( ' , x P x P x P x P x
t t t
R
Donc
) ( ) ( ) ( ' , R R
n
t
A x P x P x
.
De plus, le dterminant dune matrice antisymtrique dordre impair est nul.
En effet, soit
) (R
n
A A
.
Alors
A A
t

, et A A A A A
n t
det det ) 1 ( ) det( det det donc
0 det A .
Ainsi, pour tout R x , 0 )) ( ) ( ' det( x P x P
t
.
Mais comme
) (x P
, on a
0 )) ( ' det( x P
.
D) Fonction drive sur un intervalle, drives successives
1) Fonction drivable et fonction drive
Si A est un intervalle ouvert, f est dite drivable sur A si elle lest en tout
point de A. Par extension, si A est un intervalle ferm ou semiferm, f sera dite
drivable si elle lest sur lintrieur de A et admet une drive droite en sa borne
infrieure ventuelle a et gauche en sa borne suprieure ventuelle b (on note
alors
) ( ' ) ( ' a f a f
d

et
) ( ' ) ( ' b f b f
g

)
Dans ce cas, lapplication
) ( ' x f A x
est lapplication drive de f. Elle
est note f, cest aussi une application de A dans E.
Lorsque f est son tour drivable, on note f sa drive. Par rcurrence, on
dfinit les drives successives ventuelles de la manire suivante : f f
) 0 (
et
pour 0 n , la drive dordre 1 + n ,
) 1 ( + n
f , est, si elle existe, la drive de
) (n
f .
2) Espaces de fonctions drivables
A.BENHARI 21
Pour N k , on note ) , ( E I D
k
lespace vectoriel des applications E I
admettant des drives jusqu lordre k inclus et ) , ( E I C
k
le sous-espace de
) , ( E I D
k
constitu des applications f telles que
) (k
f est continue sur I.
On pose aussi

N N


k
k
k
k
E I C E I D E I C ) , ( ) , ( ) , (
Proprits :
On a :
) , ( ) , ( ) , ( ) , ( ... ) , ( ) , (
1 1 0
E I C E I C E I D E I C E I D E I C
k k k

Une compose dapplications de classe
k
C (ou
k
D
) est aussi de classe
k
C (ou
k
D
)
(Leibniz) : soient
1
: E A f
,
2
: E A g
de classe
k
D
(resp.
k
C ) et
F E E B
2 1
:
bilinaire continue.
Alors
)) ( ), ( ( : x g x f B x h
est aussi de classe
k
D
(resp.
k
C ) et on a :


k
j
j k j j
k
k
x g x f B C x h A x
0
) ( ) ( ) (
)) ( ), ( ( ) ( ,
E) Fonctions de classe
k
C
par morceaux
Soit
{ } N k
. Une application
[ ] E b a f , :
est dite de classe
k
C par
morceaux sil existe une subdivision
) ... (
1 0
b a a a a S
n
< < <
de
[ ] b a,
telle que la
restriction de f chaque sousintervalle
] [
1
,
+ i i
a a
(
[ ] 1 , 0 n i
) a un prolongement
k
C
[ ]
1
,
+ i i
a a
. Cela quivaut dire que f est de classe
k
C sur
[ ] S b a \ ,
et que f et
toutes ses drives dordre infrieur k admettent des limites gauche et droite en tout
point de S ( droite seulement en a et gauche seulement en b)
Une fonction
E I f :
dfinie sur un intervalle non compact I est dit de classe
k
C par morceaux si sa restriction tout segment de I lest.
Remarques :
Pour 0 k , on dit plutt continue par morceaux. Une application continue par
morceaux sur un segment est borne.
Dans le cas dun intervalle non compact, f peut avoir une infinit de discontinuits.
Par exemple, la fonction partie entire est de classe

C par morceaux sur R.


Proprits :
Lensemble des fonctions de classe
k
C par morceaux valeurs dans E est un
espace vectoriel.
Si f et g sont de classe
k
C par morceaux et B bilinaire continue, alors
) , ( g f B

est de classe
k
C par morceaux (B, f, g dfinis correctement)
IV. Cas particulier des fonctions valeurs relles
On considre ici uniquement des applications
R A f :
o A est une partie de R.
A) Drives particulires
A.BENHARI 22
1) Drive logarithmique
Si f est drivable et ne sannule pas sur un intervalle I, alors
f ln
est aussi
drivable sur I de drive
f
f '
.
Attention :
Cest faux pour une fonction valeurs complexes, par exemple
ix
e x .
2) Drive dun dterminant
Si
) ( ) ( R
n
M x A x
est une application drivable, alors
) ( det x A x

lest aussi et sa drive est la somme des dterminants obtenus en drivant
successivement chaque colonne (resp. chaque ligne)
Remarque :
) ( ) ) ( ( ) (
. . 1
. . 1 ,
R
n
n j
n i j i
M t a t M t

est drivable signifie que pour tout


[ ]
2
, 1 ) , ( n j i
,
) (
,
t a t
j i est drivable, et dans ce cas
n j
n i j i
t a t M
. . 1
. . 1 ,
) ) ( ' ( ) ( '

.
Ici,
)) ( ' det(
) ( ' ) (
) ( ' ) (
...
) ( ' ) (
) ( ' ) (
) ( ) ( '
) ( ) ( '
)) ( (det
, 1 ,
, 1 1 , 1
1 , 1 ,
2 , 1 1 , 1
1 , 1 ,
2 , 1 1 , 1
t M
t a t a
t a t a
t a t a
t a t a
t a t a
t a t a
dt
t M d
n n n
n
n n n n

+ + +



(Il suffit de dvelopper selon la premire colonne et faire par rcurrence sur n)
B) Les thormes de Rolle et des accroissements finis
Thorme (Rolle) :
Soit
[ ] R b a f , :
continue sur
[ ] b a,
, drivable sur
] [ b a,
et telle que
) ( ) ( b f a f
. Alors il existe
] [ b a c ,
tel que
0 ) ( ' c f
.
(Accroissements finis) : Soit
[ ] R b a f , :
continue sur
[ ] b a,
et drivable sur
] [ b a,
. Alors il existe
] [ b a c ,
tel que
) ( ) ( ) ( ' ) ( a f b f c f a b
Extension de Rolle une borne infinie :
Si f est continue sur
[ [ + , a
, drivable sur
] [ + , a
tendant vers 0 en + et
telle que
0 ) ( a f
, alors il existe
a c >
tel que
0 ) ( ' c f
(Il suffit dappliquer Rolle

,
_

+
x
x
a f x g
1
:
prolonge en 1 par
0 ) 1 ( g
)
Les thormes sont faux pour des fonctions valeurs dans un autre espace que R.
Par exemple, [ ] C
ix
e x f 2 , 0 : est de classe

C telle que
) 2 ( ) 0 ( f f
mais f
ne sannule pas.
Application :
A.BENHARI 23
Si
] [ X P R
est scind, alors P aussi. Il en est de mme pour ' P aP + , R a .
Dmonstration :
Soit


n
i
m
i
i
a X P
1
) (
tel que
n
a a < <...
1
(
d m P
n
i
i

1
deg
,
1
i
m
)
Chaque i
a
est racine de P de multiplicit
1
i
m
, donc on a dj
n d m
n
i
i

1
) 1 (
racines. Il en manque 1 n :
Sur chaque segment
[ ]
1
,
+ i i
a a
pour
[ ] 1 , 1 n i
, on a
0 ) ( ) (
1

+ i i
a P a P
.
Et P est rel, continu sur
[ ]
1
,
+ i i
a a
, drivable sur
] [
1
,
+ i i
a a
.
Donc daprs le thorme de Rolle, il existe
] [
1
,
+

i i i
a a b
tel que
0 ) ( '
i
b P
On a donc 1 n racines supplmentaires, distinctes des autres.
Donc P est scind.
Montrons maintenant que ' P aP + est scind.
Si 0 a , le rsultat est vu.
Sinon :
On a


n
i
m
i
i
X P
1
) (
, et



1
1 1
1
) ( ) ( '
n
i
i
n
i
m
i
X X K P
i

O n n
< < < < < <
1 2 2 1 1
...
Ainsi,

,
_

+ +


1
1 1 1
1
) ( ) ( ) ( '
n
i
i
n
i
i
n
i
m
i
X K X a X aP P
i

On note



+
1
1 1
) ( ) (
n
i
i
n
i
i
X K X a R
.
Ainsi, pour tout
[ ] 1 , 1 n i
, on a
0 ) ( ) ( ) ( ) (
1
1
1
1
1
2
1
<

+
n
j
j i
n
j
j i i i
K R R
, puisque


1
1
) (
n
j
j i

a le
signe de
i n
) 1 ( et

+

1
1
1
) (
n
j
j i

celui de
1
) 1 (

i n
.
Ainsi, pour tout
[ ] 1 , 1 n i
, il existe
] [
1
,
+

i i i

tel que
0 ) )( ' ( +
i
aP P
On a ainsi 1 n valeurs distinctes, et distinctes des
i

On a donc ici encore trouv 1 d racines pour un polynme de degr d, donc il


est scind puisquil scrit
Q X
d
i
i

1
1
) (
, avec Q de degr 1 donc scind.
Autre dmonstration :
Les
i

sont racines de aP P + ' avec des multiplicits au moins gales


1
i
m
.
Sur
[ ]
1
,
+

i i
, on applique le thorme de Rolle ) ( :
.
t P e t f
t a
:
f est de classe

C , et
) ( ) (
1 +

i i
f f
Donc il existe
] [
1
,
+

i i i

tel que
0 ) ( '
i
f
Mais on a )) ( ' ) ( ( ) ( '
.
t P t aP e t f
t a
+
Donc
i

est racine de ' P aP +


On a ainsi encore 1 d racines, et la dernire existe pour la mme raison.
Soient P, Q scinds, et

d
j
j
j
X a Q
0
A.BENHARI 24
Alors

d
j
j
j
P a R
0
) (
est scind.
Dmonstration : par rcurrence.
- Si 1 d , on vient de le faire.
- Soit 1 d , supposons le rsultat vrai pour tout polynme Q scind de degr d.
Alors
1
) ( Q X Q
o
1
Q
est de degr d et scind.
On pose alors
'
] [ ] [ :
P P
X X D R R
Ainsi, ) ))( (
~
) Id (( ) ))( (
~
(
1
P D Q D P D Q R
Et ) )( (
~
1
P D Q S est scind par hypothse de rcurrence, puis
) )( Id ( S D

puisque cest le cas 1 d .
Donc R est scind.
C) Consquences du thorme de Rolle
Thorme (de prolongement
1
C ) :
Soient R a , R b et
] [ R b a f , :
de classe
1
C . f a un prolongement
1
C en
a si et seulement si f a une limite en a (lexistence dune limite pour f est alors
automatiquement assure)
Exemple :
x x
x f
1
sin
1
:
a un prolongement
1
C sur
] [ ,
(Remarque : il ne suffit pas dappliquer le thorme, il ne donnera que le caractre
1
C par morceaux ; il faut aussi vrifier que les limites droite et gauche sont gales)
Monotonie, convexit :
Proprits de rgularit :
(1) Une fonction monotone sur un intervalle admet une limite gauche et une
limite droite en tout point o cela a un sens, et elle est continue, sauf
ventuellement en les points dun ensemble fini ou dnombrable.
(2) Une fonction convexe sur un intervalle I admet une drive gauche et une
drive droite en tout point o cela a un sens. Elle est lipschitzienne sur tout
segment inclus dans I ; en particulier, elle est continue, sauf, ventuellement,
en les bornes de I.
Caractrisation des applications constantes, monotones ou convexes sur un
intervalle :
(1) Une application est constante sur un intervalle si et seulement si elle est
drivable de drive nulle.
(2) Une application drivable est croissante sur un intervalle I si et seulement si sa
drive est positive ; elle est strictement croissante si et seulement si sa drive
est positive et lintrieur de
{ } 0 ) ( ' , x f I x
est vide.
(3) Une application deux fois drivable est convexe sur un intervalle si et
seulement si sa drive seconde est positive.
Attention : Une fonctions drivable de drive nulle sur R A nest pas
ncessairement constante, elle ne lest que sur tout intervalle inclus dans A ; on la dit
localement constante.
A.BENHARI 25
Rgle de lHpital (hors programme) :
Pour f et g relles drivables au voisinage de a, si f et g tendent vers 0 en a et si
'
'
g
f
a une limite R b en a, alors
g
f
a aussi cette limite en a.
Thorme de Darboux :
La drive dune fonction f drivable sur un intervalle I, bien quelle puisse ne pas
tre continue, vrifie quand mme le thorme de la valeur intermdiaire.
Dmonstration :
Pour
[ ] I b a ,
, on applique le thorme de la valeur intermdiaire aux fonctions
continues dfinies par

'

a x a f
a x
a x
a f x f
x g
si ) ( '
si
) ( ) (
) (
et

'

b x b f
b x
b x
b f x f
x h
si ) ( '
si
) ( ) (
) (
On remarque que
[ ] [ ]) , ( ) , ( b a h b a g J
est un intervalle (runion de deux
intervalles scants en
) ( ) ( a h b g
) contenant
) ( ' a f
et
) ( ' b f
.
Mais daprs le thorme des accroissements finis,
[ ]) , ( b a g
et
[ ]) , ( b a h
sont
inclus dans
[ ]) , ( ' b a f
, donc J aussi. Donc on a
[ ] [ ]) , ( ' ) ( ' ), ( ' b a f J b f a f
D) Rciproque dune application de classe
k
C et diffomorphisme entre
deux intervalles
Thorme :
Soient I, J deux intervalles de R, et
J I f :
une application bijective drivable.
Alors f est monotone, sa drive est de signe constant, et
1
f
, rciproque de f, est
drivable en
I a f b ) (
si et seulement si
0 ) ( ' a f
, et dans ce cas on a
)) ( ( '
1
) ( )' (
1
1
b f f
b f

Dfinition :
On appelle diffomorphisme de classe
k
C entre I et J toute application
J I f :

bijective, de classe
k
C et dont la rciproque est aussi de classe
k
C .
Thorme :
Soit 1 k . Une application
J I f :
est un
k
C -diffomorphisme si et
seulement si elle est de classe
k
C , bijective et f ne sannule pas.
V. Approximation uniforme des fonctions continues
Thorme :
(1) Toute fonction continue sur un segment et valeurs dans un espace norm E est
limite uniforme dune suite de fonctions affines par morceaux et continues.
(2) Elle est aussi limite uniforme dune suite de fonctions en escaliers.
A.BENHARI 26
Thorme quon peut aussi noncer sous la forme :
Lensemble des fonctions affines par morceaux et continues est une partie dense de
lespace norm
[ ] ) ), , , ( (
0

E b a C
. Lensemble des fonctions en escalier est dense dans le
mme espace.
Dmonstration :
On considre lensemble
[ ] ) , , ( E b a B
des fonctions bornes muni de

Et les sous-espaces C des fonctions continues,


[ ] ) , , ( E b a
des fonctions en escalier et
A des fonctions affines par morceaux partout continues sur
[ ] b a,
.
On va donc montrer que
0
C A et
0
C .
Soit
C f
. Montrons que pour tout 0 > , il existe [ ] ) , , (
1
E b a et
A
2

tels
que

1
f
et

2
f
.
Soit donc 0 > .
Comme f est continue sur le compact
[ ] b a,
, elle y est uniformment continue.
Il existe donc 0 > tel que
[ ]
E
y f x f y x b a y x ) ( ) ( , , ) , (
2
On pose alors
i a a
i
. +
pour
[ ] 1 , 0 N i
o N est le plus grand entier tel que
b N a < + ) 1 (
Et on pose aussi
b a
N

.
Considrons alors [ ] ) , , (
1
E b a dfini par
[ ]
[ [
) ( , 1 , 0
1
, / 1 i a a
a f N i
i i

+

et
) ( ) (
1
b f a
N

.
On a alors

1
f
.
En effet, pour
[ ] b a x ,
, on a :
Soit b x , et
) ( ) (
1
x x f
Soit
[ [ b a x ,
, et il existe
[ ] 1 , 0 N i
tel que
[ [
1
,
+

i i
a a x
,
Et alors

E
i
E
a f x f x x f ) ( ) ( ) ( ) (
1
Donc
[ ]
E
x x f b a x ) ( ) ( , ,
1 , c'est--dire

1
f
.
Considrons
2

tel que pour tout


[ ] 1 , 0 N i
,
2

est affine sur


[ ]
1
,
+ i i
a a
et
) ( ) (
2 i i
a f a
,
) ( ) (
1 1 2 + +

i i
a f a
.
Ainsi,
A
2

Et pour tout
[ ] b a x ,
, il existe
[ ] 1 , 0 N i
tel que
[ ]
1
,
+

i i
a a x
On note alors
[ ] 1 ; 0 t
tel que i i
a t a t x ). 1 ( .
1
+
+ .
On a ainsi
) ( ) 1 ( ) ( ) ( ) 1 ( ) ( . ) (
1 2 1 2 2 i i i i
a f t a tf a t a t x + +
+ +

Donc
+ +
+
) 1 ( ) ( ) ( ) 1 ( ) ( ) ( . ) ( ) (
1 2
t t a f x f t a f x f t x x f
E
i
E
i
E
(Car

+ + 1 1 i i i
a a a x
et

+1 i i i
a a a x
)
Do

2
f
.
Ainsi, on a montr les inclusions
0
C , A C
0
.
On verra quune limite uniforme dune suite de fonctions continues est continue, et donc
que
0
C A , puisque A est constitue de fonctions continues.
Donc
0
C A pour

.
Remarque (hors programme) :
Ladhrence de
[ ] ) , , ( E b a
dans
[ ] ) ) , , ( (

E b a B
est lensemble des fonctions
rgles, c'est--dire des fonctions admettant une limite droite et gauche en tout point.
A.BENHARI 27
Thorme (Weierstrass) :
(1) (algbrique) toute fonction continue sur un segment
[ ] b a,
est limite uniforme sur
[ ] b a,
dune suite de fonctions polynomiales.
(2) (trigonomtrique) toute fonction continue sur R et 2 -priodique est limite
uniforme dune suite de polynmes trigonomtriques.
Prcision :
Pour tout Z n , on dfini
n
e
par
t n i
n
e t e t
. .
) ( , R
Ainsi, les
C R :
n
e
sont continus, 2 -priodiques.
Et Z n n
e ) (
est libre.
On note alors pour N n ,
) , ( Vect n k e T
k n

et
) , ( Vect Z
N

k e T T
k
n
n
.
Un lment de T est appel polynme trigonomtrique.
Dmonstration (de Bernstein) du thorme :
(1) On se ramne
[ ] [ ] 1 , 0 , b a
.
En effet, supposons le thorme de Weierstrass tabli sur
[ ] 1 , 0
et soit
[ ] C b a f , :

continue.
Posons, pour
[ ] 1 , 0 t
,
) ). 1 ( . ( ) ( a t b t f t g +
. Alors g est continue sur
[ ] 1 , 0
.
Il existe alors une suite
N n n
P ) (
de polynmes telle que [ ]
0
1 , 0 ,

+ n n
g P
On dfinit alors
,
_

a b
a X
P Q
n n
Pour tout
[ ] b a x ,
, en posant
[ ] 1 , 0

a b
a x
t
, on a
a t b t x ). 1 ( . +
et donc
[ ] 1 , 0 ,
) ( ) ( ) ( ) (

g P t P t g x Q x f
n n n
C'est--dire [ ] [ ] 1 , 0 , , ,
g P Q f
n
b a
n , do la limite.
Maintenant :
Soit
[ ] C 1 , 0 : f
. On associe le polynme de Bernstein de f, dfini par :

,
_

n
k
k n k k
n n
X X
n
k
f C f B
0
) 1 ( ) (

(Pour
[ ] 1 , 0 x
,
) )( ( x f B
n
est le barycentre de la famille des

,
_

,
_

k
n
k
f ,
avec
0 ) 1 (
k n k k
n k
x x C
et
1
0

n
k
k

)
Proprits : pour tout 1 n ,
-
1 ) 1 (
0

n
k
k n k k
n
X X C
-
X X X
n
k
C
n
k
k n k k
n

0
) 1 (
(c'est--dire
X B
n
) Id (
)
-
n
X X
X X X
n
k
C
n
k
k n k k
n
) 1 (
) 1 (
2
0
2

+
,
_

-
n
X X
X X
n
k
X C
n
k
k n k k
n
) 1 (
) 1 (
0
2

,
_

En effet :
A.BENHARI 28
La premire galit est simplement une rcriture de
n
X X ) 1 ( +
Posons pour R t ,
n t
n
k
k n k kt k
n X
X X e X X e C t ) 1 ( ) 1 ( ) (
0
+

Ainsi,
X

est drivable et
t n t
n
k
k n k kt k
n X
Xe X X e n X X ke C t
1
0
) 1 ( ) 1 ( ) ( '

Avec 0 t , on a
nX X kX C
n
k
k n k k
n

0
) 1 (
do la deuxime galit.
En redrivant :
t n t t n t
n
k
k n k kt k
n X
e X X e nX e X X X e n n X X e k C t
1 2 2
0
2
) 1 ( ) 1 )( 1 ( ) 1 ( ) ( ' '

+ + +

et donc en 0 t :
nX X n n X X k C
n
k
k n k k
n
+

2
0
2
) 1 ( ) 1 (
do la troisime
Enfin,
n
X X
n
X X
X X X
X X
n
k
C X X
n
k
C X
X X C X X X X C
n
k
k n k k
n
n
k
k n k k
n
n
k
k n k k
n
n
k
k n k
n
k
k
n
) 1 ( ) 1 (
2
) 1 ( ) 1 ( 2
) 1 ( ) 1 ( ) (
2 2 2
0
2
0
0
2
0
2

+ +

,
_

Application au thorme :
Soit
[ ] C 1 ; 0 : f
continue.
Montrons que la suite des polynmes de Bernstein convient pour le thorme, c'est--
dire que
>

) ( , , , 0 f B f N n N
n
N
On note

le module de continuit uniforme de f sur


[ ] 1 ; 0
(qui existe car f est
continue sur
[ ] 1 ; 0
donc borne)
Pour
[ ] 1 ; 0 x
et N n , on a :




n
k
k n k
n
k
k
n
n
k
k n k
n
k
k
n
n
k
k n k
n
k
k
n n
x x f x f C
x x f x f C
x x f C x f x f B x f
0
0
0
) 1 ( ) ( ) (
) 1 ( )) ( ) ( (
) 1 ( ) ( ) ( ) )( ( ) (
(car
1 ) 1 (
0

n
k
k n k k
n
x x C
)
Soit 0 > . On pose [ ] { }
n
k
x n k I , , 0
1
, [ ]
1 2
\ , 0 I n I
Et


j
I k
k n k
n
k
k
n j
x x f x f C S ) 1 ( )) ( ) ( (
(
2 , 1 j
)
Majorons
1
S
avec

:
On a
) ( ) 1 ( ) ( ) 1 ( ) (
0
1
1

n
k
k n k k
n
I k
k n k k
n
x x C x x C S
Majorons
2
S
:
A.BENHARI 29
Si
2
I k
, alors
1

n
k
x
, donc
2
2
) (

n
k
n
k
x
x

Donc
n
f
n
x x
f
x x f
x
C
x x f
x
C S
n
k
k n k n
k
k
n
I k
k n k n
k
k
n
2 2
0
2
2
2
2
2
2
) 1 (
2
) 1 ( 2
) (
) 1 ( 2
) (
2

Car
[ ] 4 / 1 ) 1 ( , 1 , 0 x x x
On a donc, pour tout 1 n et 0 > :
[ ]
n
f
x f B x f x
n
2
2
) ( ) )( ( ) ( , 1 , 0



+
Donc
n
f
f B f
n
2
2
) ( ) (

+
Si on prend
3 / 1
1
n
, on a pour tout 1 n : 0
2
) ( ) (
3 / 1
3 / 1
+
+

n
n
n
f
n f B f
Remarque :
Si f est positive, les
) ( f B
n
le sont aussi sur
[ ] 1 , 0
.
Si f est croissante ou convexe, il en est de mme pour les
) ( f B
n
.
Pour les polynmes trigonomtriques :
- Si
C R : f
est paire et continue, posons
)) ( Arccos ( ) ( x f x g
pour
[ ] 1 , 1 x
Alors
) (cos ) ( , t g t f t R
.
En effet, cest vrai sur
[ ] , 0
, puis sur
[ ] ,
par parit et enfin sur R par priodicit.
[ ] C 1 , 1 : g
est continue, donc limite uniforme dune suite
N n n
P ) (
de polynmes,
disons

) (
0
) (
n d
k
k
k n
X n a P
Donc pour tout R t ,


n n n
P g x P x g t P t f ) ( ) ( ) (cos ) (
en posant
t x cos
Et

) (
0
cos ) ( ) (cos
n d
k
k
k n
t n a t P est un polynme trigonomtrique
Car pour tout
[ ] n k , 0
, ) , ( Vect
2
cos k j e
e e
t
j
k
it it
k

,
_

- Si f est impaire drivable en 0 et

,
on a
) ( ) ( ) ( f f f
donc
0 ) ( ) ( f f
On pose

'

Z
Z
Z

2 si ) ( '
2 si ) 0 ( '
si
sin
) (
) (
t f
t f
t
t
t f
t h
A.BENHARI 30
Comme
) ( ) 0 ( f f
et f est drivable en 0 et

, h est continue sur R, paire et 2 -


priodique. Il existe donc une suite
N n n
Q ) (
de polynmes trigonomtriques telle que
0
+ n n
Q h
.
Donc


n n n
Q h t Q t h t t Q t t f t ) ( ) ( sin ) ( sin ) ( , R
Or,
) ( sin t Q t t
n

est encore un polynme trigonomtrique.


Donc f est bien limite uniforme dune suite de polynmes trigonomtriques.
- Si f est impaire (pas forcment drivable)
On a alors
0 ) ( ) 0 ( f f
Pour tout 0 > , il existe
C R :

k
, continue, impaire et 2 -priodique drivable en
0 et

telle que

f k
.
On peut en effet, pour
] [ , 0
suffisamment petit, dfinir k par
Sur
[ ] ,
, k est affine telle que
) ( ) ( f k
et
) ( ) ( f k
Sur
[ ] + + ,
, k est affine telle que
) ( ) ( f k
,
) ( ) ( + + f k
Et
f k
sur
[ ] [ ] + + 2 , ,
On a ainsi
[ ] [ ]

,
_

) ( ) ( sup , ) ( ) ( sup max


, ,
t k t f t k t f k f
t t
Comme f est continue en 0 et

, on peut choisir 0 > tel que les bornes suprieures


soient infrieures 2 /
Ensuite, on approche k 2 / prs par un polynme trigonomtrique R, et on a
finalement
+

2 / 2 R k k f R f
- Pour f quelconque, on la dcompose en une somme dune fonction paire et dune
fonction impaire (continues), on applique les points prcdents ces deux fonctions et la
somme des deux polynmes trouvs convient
VI. Fonctions convexes
Introduction
Notations :
P dsigne le plan muni dun repre ) , , , ( k j i O

I est un intervalle (infini) de R.
f est une fonction de I dans R, et C est sa courbe reprsentative dans le repre ) , , , ( k j i O

.
Prliminaire :
(1) Soient a, b deux rels
Le segment dextrmits a et b est exactement lensemble des rels qui scrivent
b a +
avec
2
) ( ) , (
+
R et
1 +
, ou encore, ce qui revient bien sr au mme,
lensemble des rels qui scrivent
b a ) 1 ( +
avec [ ] 1 , 0 .
En effet :
Si b a , cest vident.
Sinon, vu les rles symtriques, on peut supposer b a < . Tout rel x scrit
) ( a b t a +
(avec
a b
a x
t

). Or, pour tout R t , on a les quivalences :


1 0
) ( 0 ) (

+
t
a b a b t b a b t a a
Il en rsulte que lon a bien, pour tout R x :
A.BENHARI 31
[ ] [ ]
[ ] tb a t x t
a b t a x t b a x
+
+
) 1 ( , 1 , 0
) ( , 1 , 0 ,
Gomtriquement, cela signifie que le segment dextrmits a et b est lensemble des
barycentres de a et b affects de coefficients positifs.
(2) Soit
R I g :
une fonction affine sur I (c'est--dire du type
q px x +
avec
2
) , ( R q p ). Alors pour tous a et b de I, pour tous
,
de R tels que
1 +
:
) ( ) ( ) ( b g a g b a g + +
) ( ) (
) ( ) (
) 1 (car ) ( ) (
) ( ) ( : effet En
b g a g
q pb q pa
q b a p
q b a p b a g




+
+ + +
+ + + +
+ + +
Gomtriquement, cela signifie que limage des barycentres de deux points par une
fonction affine est le barycentre des images de ces deux points, affects des mmes
coefficients.
a b
) ( a b t a x +
) ( ' x g x
) ( ' a g a
) ( ' b g b
Courbe reprsentative de g
Sur cet exemple :
) ( a b t a x +
, avec
10
3
t (c'est--dire b a x
10
3
10
7
+ ). Alors
) ' ' ( ' ' a b t a x +
(c'est-
-dire '
10
3
'
10
7
' b a x + )
(On voit ici quil ne sagit de rien dautre que du thorme de Thals :
' '
' '
a b
a x
a b
a x

)
A. Dfinition
Soit
R I f :
. On dit que f est convexe (sur I) lorsque :
(1) Pour tous a, b de I, pour tous
,
de
+
R tels que
1 +
:
) ( ) ( ) ( b f a f b a f + +
Notons que vu les remarques suivantes :
a et b jouent des rles symtriques dans (1)
Lingalit
) ( ) ( ) ( b f a f b a f + +
est videmment toujours vraie
si b a (et
1 +
)
A.BENHARI 32
Les couples
2
) ( ) , (
+
R tels que
1 +
sont exactement les
) 1 , (
avec [ ] 1 , 0
On peut dduire toute une srie de variantes de la condition (1), videmment
quivalentes (1), par exemple :
(1 bis) Pour tous a, b de I avec b a < , pour tout
2
) ( ) , (
+
R tel que
1 +
:
) ( ) ( ) ( b f a f b a f + +
(1 ter) Pour tous a, b de I, pour tout [ ] 1 , 0 :
) ( ) 1 ( ) ( ) ) 1 ( ( b f a f b a f + +
(1 quadro) Pour tous a, b de I avec b a < , pour tout [ ] 1 , 0 :
) ( ) 1 ( ) ( ) ) 1 ( ( b f a f b a f + +
Exemples :
*
2
x x est convexe (sur R).
En effet, pour tous a, b de I et pour tout [ ] 1 , 0 , on a les quivalences :
[ ]
[ ]
est vrai qui ce 0 ) )( 1 (
0 2 ) 1 (
) 1 ( ) 1 ( ) 1 ( 2 ) 1 ( ) 1 (
2
2 2
2 2 2 2 2 2 2 2 2

+
+ + + + +
b a
b ab a
b a b ab a b a b a



* les fonctions affines sont convexes (et mme mieux selon le prliminaire)
B. Interprtation graphique
a b
) (a f
) (b f
x
C
z
) (x f
A
B
On voit ici larc de la courbe C situ entre deux points A, B de C, et la corde [ ] B A,
correspondante.
Ce graphique illustre la proposition :
Soit
R I f :
. Alors f est convexe si et seulement si :
(2) Tout arc de la courbe C est sous la corde correspondante.
Dmonstration :
La traduction rigoureuse de la condition (2) va nous montrer que
) 1 ( ) 2 (
.
En effet :
Pour chaque
2
) , ( I b a (avec b a < ), notons
b a
g
,
la fonction affine qui concide
avec f en a et en b, c'est--dire telle que :
) ( ) (
,
a f a g
b a

et
) ( ) (
,
b f b g
b a

.
A.BENHARI 33
Alors la condition (2) quivaut :
Pour tous a, b de I avec b a < , pour tout [ ] b a x , :
) ( ) (
,
x g x f
b a

(
) (
,
x g
b a
est le z du dessin)
Mais, daprs le prliminaire, [ ] b a, est lensemble des
b a ) 1 ( +
o [ ] 1 , 0 .
Donc (2) scrit aussi :
Pour tous a, b de I avec b a < , pour tout [ ] 1 , 0 :
) ) 1 ( ( ) ) 1 ( (
,
b a g b a f
b a
+ +
.
Mais, toujours daprs le prliminaire, comme
b a
g
,
est affine :

) (
,
) (
, ,
) ( ) 1 ( ) ( ) ) 1 ( (
b f
b a
a f
b a b a
b g a g b a g + +
Donc (2) est devenue :
Pour tous a, b de I avec b a < , pour tout [ ] 1 , 0 :
) ( ) 1 ( ) ( ) ) 1 ( ( b f a f b a f + +
On reconnat (1 quadro)
C. Proprit de croissance des pentes
Thorme :
Soit
R I f :
convexe.
Alors, pour tous a, b, c de I avec b c a < < :
c b
c f b f
a b
a f b f
a c
a f c f

) ( ) ( ) ( ) ( ) ( ) (
Illustration ( retenir) :
a b
C
c
A
C
B
) AC ( de pente
) ( ) (

a c
a f c f
) AB ( de pente
) ( ) (

a b
a f b f
) CB ( de pente
) ( ) (

c b
c f b f
Dmonstration :
En reprenant les notations de la dmonstration du B) : la droite (AB) a pour
quation
) (
,
x g y
b a

.
Alors : )) AB ( de (pente
) ( ) (
) ( ) (
,
a c
a f c g
a b
a f b f
b a

.
Or,
) ( ) (
,
c g c f
b a

, do la premire ingalit.
De mme, )) AB ( de (pente
) ( ) (
) ( ) (
,
c b
c g b f
a b
a f b f
b a

Or,
) ( ) (
,
c g c f
b a

, do la deuxime ingalit.
Consquence : thorme :
Soit
R I f :
, convexe.
A.BENHARI 34
Alors pour tout
I x
0
, lapplication
0
0
) ( ) (
x x
x f x f
x

est croissante sur


{ }
0
\ x I
.
(Autrement dit, il y a croissance des pentes des cordes dont on fixe une extrmit)
C
M
M
0
x
0
x
0
0
) ( ) (
x x
x f x f

est la pente de la corde


M M
0
.
En effet :
Si
2 1
, x x sont deux lments de
{ }
0
\ x I
tels que
2 1
x x < , on a toujours :
0 2
0 2
0 1
0 1
) ( ) ( ) ( ) (
x x
x f x f
x x
x f x f

car :
Si
2 1 0
x x x < <
, cest la premire ingalit du thorme prcdent avec
) , , ( ) , , (
2 1 0
x x x c b a
Si
2 0 1
x x x < <
, cest lingalit obtenue par transitivit de dans le
thorme prcdent avec
) , , ( ) , , (
2 0 1
x x x c b a
Si
0 2 1
x x x < <
, cest la deuxime ingalit du thorme prcdent avec
) , , ( ) , , (
0 2 1
x x x c b a
VII. Fonctions convexes drivables
Thorme :
Soit
R I f :
, drivable.
Alors f est convexe si et seulement si
' f
est croissante.
Corollaire :
Soit
R I f :
, deux fois drivable.
Alors f est convexe si et seulement si
' ' f
est positive.
Dmonstration du thorme :
Soit
R I f :
, drivable.
(1) Supposons
' f
croissante.
Soient
I b a ,
avec b a < et soit encore
b a
g
,
la fonction affine qui concide avec f en a
et en b. (ainsi, pour tout ) (
) ( ) (
) ( ) ( :
,
a x
a b
a f b f
a f x g I x
b a

+ )
A.BENHARI 35
Pour [ ] b a x , , on pose
) ( ) ( ) (
,
x g x f x
b a

. Alors

est drivable sur [ ] b a, , et, pour


tout [ ] b a x , :
a b
a f b f
x f x


) ( ) (
) ( ' ) ( '
Or, selon le thorme des accroissements finis, il existe ] [ b a c , tel que
a b
a f b f
c f

) ( ) (
) ( ' . Ainsi, [ ] ) ( ' ) ( ' ) ( ' , , c f x f x b a x
Et comme
' f
est suppose croissante, on en tire le tableau de variations :
x a c b
) ( ' x
) (x
Do il rsulte que [ ] 0 ) ( , , x b a x .
On a donc prouv que :
Pour tous
I b a ,
avec b a < , pour tout [ ] b a x , ,
) ( ) (
,
x g x f
b a

.
Donc f est convexe (tout arc est sous la corde correspondante).
(2) Rciproquement, supposons f convexe.
Soient alors I x x
2 1
, , avec
2 1
x x < .
* Alors, selon le thorme de croissance des pentes :
] [
1 2
1 2
1
1
2 1
) ( ) ( ) ( ) (
, ,
x x
x f x f
x x
x f x f
x x x


Et le passage la limite lorsque x tend vers
1
x est possible, car f est drivable, et donne :
1 2
1 2
1
) ( ) (
) ( '
x x
x f x f
x f

* Le thorme de croissance des pentes donne aussi :


] [
x x
x f x f
x x
x f x f
x x x


2
2
1 2
1 2
2 1
) ( ) ( ) ( ) (
, ,
Et le passage la limite lorsque x tend vers
2
x donne :
) ( '
) ( ) (
2
1 2
1 2
x f
x x
x f x f

On a donc ) ( ' ) ( '


2 1
x f x f
Ce qui prouve la croissance de
' f
.
Remarque : on a montr au passage un rsultat intressant :
Si
R I f :
est convexe et drivable, alors, pour tous
I b a ,
tels que b a < :
) ( '
) ( ) (
) ( ' a f
a b
a f b f
a f

Illustration :
A.BENHARI 36
b a
C
Thorme :
Soit
R I f :
convexe et drivable. Alors la courbe C de f est au dessus de ses
tangentes, c'est--dire :
) ( ' ) ( ) ( ) ( , ,
0 0 0 0
x f x x x f x f I x I x +
.
x
0
C
Tangente C au point dabscisse x
0
(dquation )) ( ' ) ( ) (
0 0 0
x f x x x f y +
Dmonstration :
Soit
R I f :
convexe et drivable, et soit
I x
0
Pour I x , posons
) ( ' ) ( ) ( ) ( ) (
0 0 0
x f x x x f x f x
Alors

est drivable sur I et :


) ( ' ) ( ' ) ( ' ,
0
x f x f x I x
Or,
' f
est croissante sur I, on obtient donc le tableau de variations :
x
x
0
) ( ' x
) (x
Ce qui prouve que
0 ) ( , x I x
Do
) ( ' ) ( ) ( ) ( ,
0 0 0
x f x x x f x f I x +
VIII. Ingalit de convexit
Thorme :
Soit
R I f :
convexe. Alors, pour tout * N n , pour tous
I a a a
n
,... ,
2 1
et pour
tous rels
n
,... ,
2 1
positifs et de somme 1 :



,
_

n
i
i i
n
i
i i
a f a f
1 1
) (
A.BENHARI 37
Dmonstration :
Par rcurrence sur n (P(n) tant ce qui suit, dans lnonc du thorme, le pour tout
* N n )
* P(1) est vrai : trivial, R
1 1
, I a tel que 1
1
, ) ( ) (
1 1 1 1
a f a f .
* P(2) est vrai : cest la dfinition de la convexit.
* Soit * N n . Supposons P(n). Soient alors
I a a a
n

+1 2 1
,... ,
et
+
+
R
1 2 1
,... ,
n
tels
que
1
1
1

n
i
i

- Si
0
1

n
i
i

, cest que
0 ...
2 1

n

et
1
1

+ n

, et on a bien lingalit voulue


- Sinon, on pose

n
i
i
S
1

. On peut crire :
1 1
1
1
1
+ +

n n
n
i
i i
n
i
i i
a
S
a
S a

et S et
1 + n

sont positifs, de somme 1. Donc, par


dfinition de la convexit :
) ( ) (
1 1
1
1
1
+ +

+
,
_


n n
n
i
i i
n
i
i i
a f
S
a
f S a f

Or, si on pose pour chaque [ ]


S
n i
i
i

' , , 1 , les
i
'
sont positifs et de somme 1, donc,
par hypothse de rcurrence :



,
_

n
i
i
i
n
i
i
i
a f
S
a
S
f
1 1
) (

Do finalement :

+
,
_

+ +


1
1
) (
1 1
1
1
1
) ( ) (
n
i
i i
a f
n n
n
i
i
i
n
i
i i
a f a f
S
S a f

Ce qui achve la rcurrence.


Cas particulier important (obtenu en prenant tout les
i

gaux
n
1
) :
Soit
R I f :
convexe. Alors pour tout * N n , pour tout
I a a a
n
,... ,
2 1
, on a :



,
_

n
i
i
n
i
i
a f
n
a
n
f
1 1
) (
1 1
IX. Exemples
I. Dfinition
Soit
R I f :
. On dit que f est concave lorsque f est convexe. Ainsi, toutes les
proprits des fonctions convexes sappliquent immdiatement aux fonctions concaves,
en retournant les ingalits.
A.BENHARI 38
ii. Les fonctions classiques
Tout les rsultats suivant se justifient en considrant la drive seconde, et seront
dornavant supposs connus (dailleurs, on les voit sur les graphes de ces fonctions,
supposes connus aussi)
- exp est convexe sur R.
- ln est concave sur
*
+
R
- sin est concave sur [ ] , 0 (et convexe sur [ ] 0 , )
- cos est concave sur
1
]
1

2
,
2

(et convexe sur
1
]
1

2
3
,
2

)
- tan est convexe sur

2
, 0

(et concave sur
1
]
1
1
]
1
0 ,
2

)
- fonctions puissance :
o Si R ,

x x
est

C
sur
*
+
R , de drive seconde
2
) 1 (


x x
Donc

x x est

'

< <
> <
+
+
+
1 ou 0 si sur (affine) concave et convexe
1 0 si sur concave
1 ou 0 si sur convexe
*
*
*


R
R
R
Rappel des graphes :

=
1
>
1
0
<
<1
=0

<
0
o Cas particulier des exposants entiers :
- Si Z n ,
n
x x est

C sur * R , de drive seconde


2
) 1 (

n
x n n x . Donc
n
x x est

'

+
+
impair est si sur concave et sur convexe
pair est si et sur convexe
* *
* *
n
n
R R
R R
- Si N n ,
n
x x est

C sur R, de drive seconde

'



1 ou 0 si 0
2 si ) 1 (
2
n
n x n n
x
n

.
Donc
n
x x est

'

+
impair est si sur concave et sur convexe
pair est si sur convexe
n
n
-
R R
R
A.BENHARI 39
ii. Exemple dapplication
Comparaison des moyennes arithmtique, gomtrique, harmonique, quadratique.
Soient
*
2 1
,... ,
+
R
n
a a a . On pose :
n
a a a
A
n
...
2 1
+ +
;
n
n
a a a G ...
2 1

1
1 1 1
...
2 1

,
_

+ +

n
H
n
a a a
;
n
a a a
Q
n
2 2
2
2
1
... + + +

Alors
Q A G H
En effet :
2 2
Q A car
2
x x est convexe sur
*
+
R , do
Q A
A G ln ln car ln est concave sur
*
+
R , do A G
H G
1 1
car cest lingalit A G applique aux
i
a
1
, do G H
(Remarque : les ingalits ne sont pas faciles dmontrer de faon lmentaire)
X. Fonctions vectorielles valeurs dans un espace euclidien
E dsigne ici un R-ev euclidien de dimension p,
) ,.. , (
2 1 p
e e e B
en est une base.
D est une partie de R, E D F : est une fonction de D dans E.
On note
p
f f f ,... ,
2 1
les fonctions de D dans R dfinies par


p
i
i i
e t f t F D t
1
) ( ) ( ,
(On les appelle les fonctions coordonnes de F dans la base B)
A. Limite, continuit
Dfinition, proposition :
Soit R a un point adhrent D, et E l de coordonnes
p
l l l ,... ,
2 1
dans B.
[ ]
0 ) ( lim
lim , , 1
) ) ( ( , , 0 , 0 lim


< < > >
l t F
l f p i
l t F a t D t l f
a t
i i
a
a

Dfinition, proposition analogues pour lventuelle limite en + ou

lorsque D est
non majore ou non minore.
Dfinition et proposition analogues pour les ventuelles limites droite ou gauche en
un point a de R tel que a soit adhrent ] [ + , a D ou ] [ a D , .
On tablit aisment les rsultats concernant les oprations classiques sur les fonctions
vectorielles : si
E D G F : ,
on des limites en un point a de
R
adhrent D, si R et si
R D :
a une limite finie en a.
Alors G F + , F ,
F
, G F et
F
on des limites en a, qui sont respectivement :
A.BENHARI 40
G F
a a
lim lim +
,
F
a
lim
,
F
a a
lim . lim
,
G F
a a
lim lim
et
F
a
lim
.
Et dans les cas o E est orient et de dimension 3, G F a une limite en a qui est
G F
a a
lim lim
On a aussi le thorme de composition :
Si
R A :
(avec R A ), si E D F : (avec
D A ) (
), si R est adhrent A
et si

a une limite R a en

, alors a est adhrent D, et si de plus F a une limite en a,


alors
F
a une limite en

, qui est
F
a
lim
.
Dfinition, proposition :
Soit D a .
F est continue en a

F admet une limite en a (cest alors ncessairement


) (a F
)
[ ] p i , 1
,
i
f
est continue en a.
(Dfinition, proposition analogues pour lventuelle continuit droite/ gauche en a)
Dfinition, proposition :
F est continue sur D D , F est continue en a.
[ ] p i , 1
,
i
f
est continue sur D.
On justifie aisment les rsultats attendus concernant la continuit et les oprations
classiques sur les fonctions vectorielles
On montre aussi facilement le thorme :
Si K est un segment de R, et si E K F : est continue sur K, alors F est borne sur K
(c'est--dire quil existe R M tel que
M t F K t ) ( ,
)
On a en effet lquivalence suivante :
F est borne
[ ] p i , 1
,
i
f
est borne.
B. Drivabilit
Ici, I dsigne un intervalle infini de R, on conserve les notations du dbut avec I D
(ainsi, F est une fonction de I dans E)
i. Dfinition, proposition
Soit I a .
F est drivable en a

lapplication
{ }
a t
a t F
t
E a I

) ( ) (
\
a une limite en a.
[ ] p i , 1
,
i
f
est drivable en a.
Cette limite est alors note
) ( ' a F
ou ) (a
dt
dF
, et on a

p
i
i i
e a f a F
1
) ( ' ) ( ' .
Dfinitions, propositions analogues pour lventuelle drivabilit et drive
droite ou gauche en a, et pour la drivabilit et la drive sur I.
Proposition :
(Rappel : I est un intervalle de R)
A.BENHARI 41
Si F est drivable sur I, alors cte 0 ' F F
Notions de drives successives, de classes de fonctions analogues aux dfinitions
des fonctions relles
ii. Oprations sur les fonctions drivables en un point
Si
E I G F : ,
sont drivables en a, si R et si
R I :
est drivable en a,
alors G F + , F ,
F
et G F sont drivables en a, et on a :
) ( ' ) ( ) ( ) ( ' ) ( )' (
) ( ' ). ( ) ( ). ( ' ) ( )' . (
) ( ' . ) ( )' . (
) ( ' ) ( ' ) ( )' (
a G a F a G a F a G F
a F a a F a a F
a F a F
a G a F a G F
+
+

+ +


Et, dans le cas o E est de dimension 3 et orient, G F est drivable en a et :
) ( ' ) ( ) ( ) ( ' ) ( )' ( a G a F a G a F a G F +
.
Remarque :
On obtient ensuite par rcurrence les formules de Leibniz pour
) ( ) (
) ( , ) . (
n n
G F F
et
) (
) (
n
G F , lorsque F, G et

sont de classe
n
C .
Thorme de composition :
Si
R J :
, E I F : avec
I J ) (
, si J et si

est drivable en

et F
drivable en
) (
, alors
F
est drivable en

, et
)) ( ( ' ) ( ' ) ( )' ( F F
Proposition :
Si E I F : est drivable en a, et si
0 ) ( a F
, alors
F
est drivable en a, et :
) (
) ( ' ) (
) ( )' (
a F
a F a F
a F

En effet, F F F , et en appliquant le thorme de drivation pour la


composition des fonctions relles F F et u u :
Si
0 ) ( ) ( a F a F
(c'est--dire si
0 ) ( a F
), alors
F F
est drivable en a, de
drive
) (
) ( ' ) (
) ( ) (
) ( ' ) ( 2
2
1
a F
a F a F
a F a F
a F a F

.
Proposition :
Si F est drivable sur I, et si
cte F
, alors ' F F
(c'est--dire
) ( ' ) ( , t F t F I t
)
En effet :
Si
0 cte F
, cest que 0 cte F , do le rsultat.
Sinon, selon la proprit prcdente, on peut crire :
) (
) ( ' ) (
) ( )' ( 0 ,
a F
a F a F
a F I a


Exemple :
C est un cas particulier despace euclidien sur R. (de dimension 2, une base
orthonorme tant par exemple la base
) , 1 ( i
, la norme euclidienne tant le module)
A.BENHARI 42
On a dj trait le cas des fonctions dune partie de R dans C (et on a dans ce cas
une opration supplmentaire, savoir la multiplication)
Pour tout C m , la fonction
t m
e t
.
est drivable sur R, de drive
t m
me t
.
.
Lorsquon prend i m , cette fonction,
t i
e t
.
est de module constant gal 1, et
sa drive
) (
.
2

t i
t i
e ie t
lui est bien orthogonale.
C. Intgration
Proposition, dfinition :
Soit
E b a F ] , [ :
, continue. Alors la valeur de

,
_

p
i
i
b
a
i
e dt t f
1
) ( est indpendante du
choix de la base
) ,... , (
2 1 p
e e e B
. Cette valeur est par dfinition

b
a
dt t F ) ( .
La dfinition peut stendre aux fonctions continues par morceaux
Proprit : linarit, relation de Chasles
Thorme (admis) :
Si
E b a F ] , [ :
est continue (ou continue par morceaux), et si b a , alors :


b
a
b
a
dt t F dt t F ) ( ) (
Thorme :
Si I est un intervalle de R, et si E I F : est continue, alors la fonction

x
a
dt t F x ) (
est une primitive de F sur I, et cest lunique primitive de F sur I nulle en a.
Il en rsulte que si E I F : est continue sur I, alors F admet une primitive G, et pour
tous a, b de I, ) ( ) ( ) ( a G b G dt t F
b
a

.
Consquences : thorme dintgration par parties, de changement de variables
Remarque : La formule de la moyenne est fausse (Avec C E par exemple).
D. Ingalits et formules de Taylor diverses
Ingalit des accroissements finis :
Si F est continue sur
] , [ b a
, drivable sur
[ , ] b a
, et si il existe
+
R k tel que
k t F b a t ) ( ' [, , ]
, alors
a b k a F b F ) ( ) (
.
Lgalit des accroissements finis est fausse (voir encore avec C E )
Ingalit de TaylorLagrange lordre 1 n :
Si F est de classe
n
C ( 1 n ) sur
] , [ b a
, et si
) ( sup
) (
] , [
t F M
n
b a t
n

(qui existe daprs le I),


alors
n
n
n
n
M
n
a b
a F
n
a b
a F a b a F b F
!
)) (
)! 1 (
) (
... ) ( ' ) ( ) ( ( ) (
) 1 (
1

+ + +

Lgalit de TaylorLagrange est fausse (elle est vraie dans R mais hors programme)
A.BENHARI 43
Formule de Taylor avec reste intgral ( lordre 1 n ) :
E b a F ] , [ :
est de classe
n
C ( 1 n ), alors :

+ + +

b
a
n
n
n
n
dt t F
n
t b
a F
n
a b
a F a b a F b F ) (
)! 1 (
) (
)! 1 (
) (
... ) ( ' ) ( ) ( ) (
) (
1
) 1 (
1
(Cette formule stablit aisment grce des intgrations par parties successives, et
donne ainsi une preuve de lingalit de TaylorLagrange grce au thorme de majoration vu
au III)
Formule de TaylorYoung ( lordre n) :
Si E I F : est de classe
n
C sur un intervalle I contenant 0, alors il existe E I : ,
telle que
0 ) ( lim
0
t
t

et :
) ( ) 0 ( . ... ) 0 ( ' ' . ) 0 ( ' . ) 0 ( ) ( ,
) (
! 2
2
t t F F F t F t F I t
n n
n
t t
n
+ + + + +
E. Dveloppements limits
Dfinition :
Soient I un intervalle infini de R,
I t
0
, notons I D ou
{ }
0
\ t I
, et E D F : .
On dit que F admet un DL lordre n en
0
t
lorsquil existe une fonction E D : et
des lments
n
a a a ,... ,
1 0
de E tels que :
) ( ) ( ) ( ... ) ( ) ( ) ( ,
0 ) ( lim
0 0 2
2
0 1 0 0
0
t t t a t t a t t a t t a t F D t
t
n
n
n
t t

+ + + + +

Proprits :
- Unicit de lventuel DL lordre n en
0
t
.
- Existence dun DL lordre n en
0
t

existence de DL en
0
t
tout ordre
n q
.
- Existence dun DL lordre 0 en
0
t

existence dune limite en


0
t
En supposant maintenant que
I t
0
(c'est--dire que I D ) :
- Existence de DL lordre 1 en
0
t

drivabilit en
0
t
(Mais ne stend pas aux ordres suprieurs)
- F est de classe
n
C au voisinage de
0
t

F a un DL lordre n en
0
t
(Donn alors par la formule de TaylorYoung)
Oprations sur les DL :
- Somme, produit par un scalaire : vident.
- Pour les autres oprations : voir ce qui se passe dans chaque cas particulier.
XI. Comparaison de fonctions
Notations :
Ici, D dsigne une partie non vide de R, a un lment de
R
, adhrent { } a D\ , et f, g, h, f
1
,
g
1
des fonctions de D dans R.
A.BENHARI 44
D. Fonction ngligeable devant une autre
i. Gnralits
On dit que f est ngligeable devant g au voisinage de a lorsquil existe une
fonction

, de D dans R, et qui tend vers 0 en a, telle que, au voisinage de a :


g f
.
On note
) (g o f
au voisinage de a.
En pratique, on manipule les expressions
) (x f
et
) (x g
pour D x , sans que les
noms de fonctions f et g aient t introduits. Dans ce cas, on dira plutt que
) (x f
est
ngligeable devant
) (x g
au voisinage de a, et cela signifiera donc quil existe une
fonction

, de D dans R, qui tend vers 0 en a, et un voisinage V de a, tels que


) ( ) ( ) ( , x g x x f V D x
.
On notera alors
)) ( ( ) ( x g o x f
au voisinage de a (x tant prendre comme une
variable muette).
Par exemple, ) (
3 2
x o x au voisinage de + .
Dfinition simplifie dans des cas courants :
Si g ne sannule pas au voisinage de a, alors
g
f
est dfinie sur V D , o V est
un voisinage de a. f est ngligeable devant g au voisinage de a si et seulement
si
0 lim
g
f
a
.
Si D a et si g sannule en a, mais en a seulement au voisinage de a, alors
g
f

est dfinie sur { } a V D \ , o V est un voisinage de a. f est ngligeable devant
g au voisinage de a si et seulement si
0 ) ( a f
et
0 lim
g
f
a
.
Remarques :
Les fonctions ngligeables devant la fonction nulle au voisinage de a sont les
fonctions nulles au voisinage de a.
Dire que
) 1 ( o f
au voisinage de a revient dire que f tend vers 0 en a.
ii. Comparaisons usuelles
Au voisinage de + :
Quels que soient les rels
, ,
strictement positifs :
) ( ) (ln

x o x et ) (
.x
e o x

Au voisinage de 0 :
Quels que soient les rels strictement positifs
,
:
) ( ln


x o x .
Dmonstration :
A.BENHARI 45
On peut aisment tablir toutes ces propositions en ayant montr que
+
+
x
e
x
x
lim :
Montrons dj par rcurrence que n
n
n
n

+

1
2
, 5 :
Pour 5 n , on a 5
3
16
6
32
1 5
2
5

+
Soit 5 n . Supposons que n
n
n

+1
2
Alors
2
) 1 ( 2
2
) 1 ( 2
1
2
2
2 2
2
2
1
+
+

+
+

+
+
n
n n
n
n
n n n
n n n
Or, pour
2 2 , 2 + n n n
soit 1
2
2

+ n
n
.
Donc 1
2
) 1 ( 2
2
2
1
+
+
+

+
+
n
n
n n
n
n
ce qui achve la rcurrence.
Maintenant :
Soit 5 x . Notons [ ] p x . On a :
1
1
2
1

+

+
x p
p p
e
x
e
p p x
.
Donc 1 , 5 x
x
e
x
x
, donc +
+
x
e
x
x
lim .
iii. Proprits
Proposition :
La relation est ngligeable devant au voisinage de a , dfinie sur
) , ( R D F
,
est transitive et compatible avec le produit, c'est--dire que, au voisinage de a :
Si
) (g o f
et
) (h o g
, alors
) (h o f
.
Si ) (
1 1
g o f et ) (
2 2
g o f , alors ) (
2 1 2 1
g g o f f .
(quasiment la mme dmonstration que pour les suites)
Mais cette relation nest pas compatible avec laddition ; par exemple, au
voisinage de 0, ) (
2
x o x et ) (
2 3
x x o x + , mais
3 2
x x nest pas ngligeable
devant
2
x .
Proposition :
Au voisinage de a : si
) (g o f
, et
) (g o h
, alors
) (g o h f +
.
Proposition :
Si
) (g o f
au voisinage de a, et si f et g ne sannulent pas, alors
) (
1 1
f g
o
au
voisinage de a.
Par exemple, il rsulte des comparaisons nonces plus haut que :
Au voisinage de + , et quels que soient les rels strictement positifs
, ,
:
A.BENHARI 46
) (
.
x o e
x
et ) ) ((ln

x o x
E. Fonctions quivalentes
i. Gnralits
Dfinition :
On dit que f est quivalente g au voisinage de a lorsquil existe une fonction

,
de D dans R, et qui tend vers 0 en a telle que, sur un voisinage de a,
g f ) 1 ( +
.
On note
g f ~
au voisinage de a, ou
g f
a
~
.
En pratique, on dit plutt que
) (x f
est quivalent
) (x g
au voisinage de a, et
cela signifie donc quil existe une fonction

, de D dans R, et qui tend vers 0 en a et un


voisinage V de a tels que
) ( )) ( 1 ( ) ( , x g x x f V D x +
.
On notera alors
) ( ~ ) ( x g x f
au voisinage de a ou
) ( ~ ) ( x g x f
a x
(x tant alors une
variable muette)
Dfinition simplifie dans des cas courants :
Si g ne sannule pas au voisinage de a, alors
g
f
est dfinie sur V D , o V est
un voisinage de a. Alors f est quivalente g au voisinage de a si et seulement
si
1 lim
g
f
a
.
Si D a , et si g sannule en a, mais en a seulement au voisinage de a, alors
g
f

est dfinie sur { } a V D \ o V est un voisinage de a. Alors f est quivalente
g au voisinage de a si et seulement si
0 ) ( a f
et
1 lim
g
f
a
.
Remarque : on voit aussi en reprenant la dfinition gnrale que f est quivalente
g au voisinage de a si et seulement si
) (g o g f +
au voisinage de a.
Proposition :
La relation
a
~
, dfinie sur
) , ( R D F
, est une relation dquivalence, c'est--dire
quelle est rflexive, symtrique et transitive.
ii. Equivalents usuels au voisinage de 0
x x x x x e
x
~ ) 1 ln( ; ~ sin ; ~ 1 +
Pour tout x x . ~ 1 ) 1 ( ,

+ R (

est indpendant de x)
2
2
~ 1 cos ; ~ tan
x
x x x .
Dmonstration : les premiers rsultats rsultent du cours de terminale, et sont
admis pour linstant. Le dernier se justifie en considrant que
2
2
sin 2 1 cos
x
x .
iii. Equivalents et limites
Proposition :
Si f et g sont quivalentes en a et si f a une limite en a (finie ou non), alors g admet
la mme limite en a.
A.BENHARI 47
La rciproque est fausse lorsquil sagit de limites nulles ou infinies : par exemple,
x et
2
x ne sont quivalents ni en 0 ni en + , alors quils y ont la mme limite.
Cependant, il est vrai que si f et g ont la mme limite finie et non nulle en a, alors
g f
a
~
. Ainsi, si * R l , dire que
l f
a
~
revient dire que f tend vers l en a.
Mais dire que
+
a
f ~
est non sens, et dire que
0 ~
a
f
est gnralement faux
(seules les fonctions nulles au voisinage de a sont quivalentes 0 en a)
iv. Oprations sur les quivalents
Proposition :
La relation
a
~
est compatible avec le produit, le passage linverse, et llvation
une puissance, c'est--dire :
Si 1 1
~ g f
a
et 2 2
~ g f
a
, alors 2 1 2 1
~ g g f f
a
.
Si
g f
a
~
et si f et g ne sannulent pas, alors g
a
f
1 1
~
.
Si
g f
a
~
, alors, pour tout N n ,
n
a
n
g f ~
Si
g f
a
~
et si f et g sont strictement positives, alors, pour tout R ,

g f
a
~
.
Attention :
la relation
a
~
nest pas compatible avec laddition ; cela veut dire quon ne doit
pas sans vrification ajouter des quivalents, ni mme ajouter ou retrancher
une mme chose de part et autre dun quivalent, c'est--dire oprer des
simplifications ou des passages de lautre ct au sens de laddition. Par
exemple, il est vrai que
x x 37 1 ~ ) 1 (
0
2
+ +
(puisque les deux termes on la mme
limite finie non nulle en 0, savoir 1), mais il est faux que
x x 37 ~ 1 ) 1 (
0
2
+
.
On ne doit pas non plus composer froidement, gauche, les deux termes dun
quivalent par une mme fonction. Par exemple, il est vrai que
2 2
~ x x x
+
+

(puisque 1
2
2

+
+ x
x
x x
), mais pas que
2 2
~
x x x
e e
+
+
.
On peut aussi prciser que les lvations une puissance ne sont justifies que
lorsque ces puissances sont indpendantes de la variable. Par exemple, il est
vrai que
x x
+
+ ~ 1
, mais pas que
x x
x x
+
+ ~ ) 1 (
(car e
x
x
x x
x

+
+
) 1 (
)
v. Autres rsultats
Proposition :
Soit u une fonction valeurs dans D, ayant pour limite a en un point s de
R

adhrent son domaine de dfinition.
A.BENHARI 48
Si
) ( ~ ) ( x g x f
a x
, alors
)) ( ( ~ )) ( ( t u g t u f
s t
Dmonstration :
Rsulte du thorme de composition de limites :
Si
) ( ~ ) ( x g x f
a x
, alors
1
) (
) (
lim
x g
x f
a x
. Or
a t u
s t
) ( lim

. Donc
1
)) ( (
)) ( (
lim
t u g
t u f
s t

Exemple :
Si
0 ) ( lim t u
s t
, alors
) ( ~ )) ( 1 ln( t u t u
s t
+
, et en particulier
2
0
2
~ ) 1 ln( t t
t
+

Remarque :
Connaissant les quivalents usuels sur les fonctions donnes prcdemment, on
obtient alors les quivalents donns dans le cours sur les suites.
Proposition :
Au voisinage de a, si f f ~
1
et g g ~
1
, et si
) (g o f
, alors ) (
1 1
g o f .
En particulier :
- si f f ~
1
, et si
) (g o f
, alors ) (
1
g o f (cest le cas o g g
1
)
- si g g ~
1
, et si
) (g o f
, alors ) (
1
g o f (cest le cas o f f
1
).
Dmonstration (de la proposition) :
Si f f ~
1
, g g ~
1
et si
) (g o f
:
Il existe alors une fonction

qui tend vers 0 en a telle que


) ( ) ( ) ( x g x x f
au
voisinage de a, et deux fonctions
g f
,
qui tendent vers 0 en a telles que
) ( )) ( 1 ( ) (
1
x f x x f
f
+
et
) ( )) ( 1 ( ) (
1
x g x x g
g
+
au voisinage de a.
Alors, au voisinage de a,
) ( )) ( 1 ( ) ( ) ( )) ( 1 (
1 1
x g x x x f x
g f
+ +
,
c'est--dire
) (
)) ( 1 (
)) ( 1 ( ) (
) (
1
0
1
x g
x
x x
x f
f
g

+
+


, soit ) (
1 1
g o f .
Ces rsultats sont souvent utiliss ; par exemple :
- De
x x
0
~ sin
et ) ( x o x au voisinage de 0, on tire que ) ( sin x o x au
voisinage de 0.
- On crira plutt, au voisinage de 0,
) (x o
plutt que ) (
2
x x o + puisque
2
0
~ x x x +
vi. Fonctions polynmes et fonctions rationnelles
Proposition :
Une fonction polynme non nulle quivaut, au voisinage de + ou

, son
terme non nul de plus haut degr.
C'est--dire que :
Si N n , si
R
n
a a a ,..., ,
1 0
et
0
n
a
, alors, au voisinage de + ou

:
n
n
n
n
n
n
x a a x a x a x a ~ ...
0 1
1
1
+ + + +

. (on vrifie immdiatement que le rapport


tend bien vers 1)
A.BENHARI 49
Une fonction polynme non nulle quivaut, au voisinage de 0, son terme non nul
de plus bas degr, c'est--dire que :
Si
N p n,
avec
p n
, si
R
+ n p p
a a a ,..., ,
1
et
0
p
a
, alors, au voisinage de 0 :
p
p
p
p
p
p
n
n
n
n
x a x a x a x a x a ~ ...
1
1
1
1
+ + + +
+
+

.
On en dduit ensuite les rsultats pour les fonctions rationnelles, grce la
compatibilit de ~ avec le passage linverse et le produit :
Une fonction rationnelle quivaut, en + ou

, au rapport des termes non nuls
de plus haut degr.
Une fonction rationnelle non nulle quivaut, au voisinage de 0, au rapport de ses
termes non nuls de plus bas degr.
F. Fonction domine par une autre
Dfinition :
On dit que f est domine par g au voisinage de a lorsquil existe
+
R k tel que, au
voisinage de a,
g k f
. On note
) (g O f
au voisinage de a.
De mme que pour les autres comparaisons, on peut aussi noter
)) ( ( ) ( x g O x f
au
voisinage de a, ce qui signifie quil existe un rel positif k et un voisinage V de a tels que
) ( ) ( , x g k x f V D x
.
Dfinition simplifie dans des cas courants :
Si g ne sannule pas au voisinage de a, alors
g
f
est dfinie sur V D , o V est un
voisinage de a. Et f est domine par g au voisinage de a si et seulement si
g
f
est
borne au voisinage de a.
Si D a , et si g sannule en a, mais en a seulement au voisinage de a, alors
g
f
est
dfinie sur { } a V D \ , o V est un voisinage de a, et f est domine pas g au
voisinage de a si et seulement si
0 ) ( a f
et
g
f
est borne au voisinage de a.
Exemple :
Au voisinage de + , ) ( sin
3 3
x O x x , mais x x sin
3
nest pas
XII. Formules de Taylor
Dans tout ce chapitre, I est un intervalle de R, et les fonctions sont valeurs dans R ; n
dsigne un entier naturel.
A. Prliminaire
Soient
R
n
,... , ,
2 1 0
.
Soit

+ + + +

n
k
k
k
n
n
n
n
x x x x x
P
0
0 1
1
1
...
:

R R
.
Alors ) , ( R R

C P , et, pour tout R x :


A.BENHARI 50
n
n
n
n
n
n
n
k
k
k
n
k
k
k
n x P
x n n n x P
x n n x P
x k x P
x x P

! ) (
6 ... ) 2 )( 1 ( ) (
2 ... ) 1 ( ) (
) (
) (
) (
3
3 ) 3 (
2
1 ) 2 (
1
1 ) 1 (
0
) 0 (

+ +
+ +

Et 0 ) (
) (
x P
k
pour n k >
En 0 :

2
) 2 (
1
) 1 (
0
) 0 (
2 ) (
) (
) (

x P
x P
x P
k
k
k x P ! ) (
) (
pour n k 0
Plus gnralement :
Soient
R
n
,... , ,
2 1 0
, R a .
Soit
0 1
1
1
) ( ... ) ( ) (
:
+ + + +

a x a x a x x
P
n
n
n
n

R R
Alors ) , ( R R

C P , et, pour tout R x :


k
k
n
k
k a x k n n n n x P ! ... ) ( ) )...( 2 )( 1 ( ) (
) (
+ + pour n k 0 .
On a les mmes drives en a quen 0 dans le premier cas.
Soit
R I f :
, soit R a . On suppose que f est n fois drivable en a.
Soit
n
T
le polynme de degr n dont les drives successives jusqu la n-ime en a
concident avec celles de f, c'est--dire, daprs le prliminaire pour les drives successives
de
n
T
en a :
!
) (
) ( ...
! 2
) ( ' '
) ( ) ( ' ) ( ) ( ) ( ,
) (
2
n
a f
a x
a f
a x a f a x a f x T x
n
n
n
+ + + + R
Pour tout I x , on pose
) ( ) ( ) ( x T x f x R
n n

.
Ecrire une formule de Taylor pour f lordre n en a, cest crire :
) ( ) ( ) ( , x R x T x f I x
n n
+
.
) (x T
n
sappelle la partie polynomiale,
) (x R
n
le reste.
Le but du chapitre est de donner des thormes propos du reste.
B. Ingalit de TaylorLagrange
Thorme :
Soit f une fonction de classe
1 + n
C sur un segment
] , [

b a
. Alors :
A.BENHARI 51
) ( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) (
) (
2
b R a f
n
a b
a f
a b
a f a b a f b f
n
b T
n
n
n
+

+ +

+ +

, avec
) ( sup
)! 1 (
) (
) 1 (
] , [
1
t f
n
a b
b R
n
b a t
n
n
+

.
(La borne sup. est bien dfinie car
) 1 ( + n
f est dfinie et continue sur le segment
] , [

b a
)
Cest lingalit de TaylorLagrange lordre n de f entre a et b.
Dmonstration :
* Le cas o b a est trivial.
* Si b a < : on va montrer que pour tout
] , [ b a x
, on a :
M
n
a x
a f
n
a x
a f
a x
a f a x a f x f M
n
a x
n
n
n n
)! 1 (
) (
) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
)! 1 (
) (
1
) (
2 1
+

+ +
o
) ( sup
) 1 (
] , [
t f M
n
b a t
+

, ce qui tablira le rsultat en prenant b x


- Montrons la deuxime ingalit :
Soit
M
n
a x
a f
n
a x
a f
a x
a f a x a f x f x
b a
n
n
n
)! 1 (
) (
) (
!
) (
... ) ''(
! 2
) (
) '( ) ( ) ( ) (
] , [ :
1
) (
2
+

+
R
C'est--dire M
n
a x
x T x f x b a x
n
n
)! 1 (
) (
) ( ) ( ) ( ], , [
1
+

Alors

est de classe
1 + n
C sur
] , [ b a
, et :
M a x a f x f M a x x T x f x b a x
M
n
a x
x T x f x b a x
n n n
n
n n
n
n
) ( ) ( ) ( ) ( ) ( ) ( ) ( ], , [
!
) (
) ( ' ) ( ' ) ( ' , ] , [
) ( ) ( ) ( ) ( ) (

0 ) ( ) ( ], , [
) 1 ( ) 1 (

+ +
M x f x b a x
n n
car M x f
n

+
) (
) 1 (
.
Donc
) (n
est dcroissante, et 0 ) (
) (
a
n
. Donc 0 ) ( ], , [
) (
x b a x
n
, donc
) 1 ( n
est
dcroissante, et 0 ) (
) 1 (

a
n
. Donc donc

est dcroissante, et
0 ) ( a
, donc
0 ) ( ], , [ x b a x
.
Donc 0
)! 1 (
) (
) ( ) ( ], , [
1


+
M
n
a x
x T x f b a x
n
n
Et, en particulier : M
n
a b
b T b f
n
n
)! 1 (
) (
) ( ) (
1
+


+
- Pour la deuxime ingalit :
Soit

dfinie par M
n
a x
x T x f x b a x
n
n
)! 1 (
) (
) ( ) ( ) ( ], , [
1
+

+
+

Alors ) ], , ([
1
R b a C
n+
, et :
M
n
a x
x T x f x b a x
n
n
!
) (
) ( ' ) ( ' ) ( ' , ] , [

+

0 ) ( ) ( ], , [
) 1 ( ) 1 (
+
+ +
M x f x b a x
n n
car
M x f
n

+
) (
) 1 (
, soit M x f
n

+
) (
) 1 (
.
A.BENHARI 52
Donc
) (n
est croissante, et 0 ) (
) (
a
n
. Donc 0 ) ( ], , [
) (
x b a x
n
, donc
) 1 ( n
est
croissante, et 0 ) (
) 1 (

a
n
. Donc donc

est croissante, et
0 ) ( a
, donc
0 ) ( ], , [ x b a x
.
Donc 0
)! 1 (
) (
) ( ) ( ], , [
1

+
+
M
n
a x
x T x f b a x
n
n
Donc M
n
a b
b T b f
n
n
)! 1 (
) (
) ( ) (
1
+


+
- Ainsi, ) ( sup
)! 1 (
) (
) ( ) (
) 1 (
] , [
1
t f
n
a b
b T b f
n
b a t
n
n
+

+
+

, soit ) ( sup
)! 1 (
) (
) 1 (
] , [
1
t f
n
a b
b R
n
b a t
n
n
+

+
+

.
* Si b a > :
Etant donn
R ] , [ : b a f
de classe
1 + n
C , en posant
) ( sup
) 1 (
] , [
t f M
n
b a t
+

, on introduit
) (
] , [ :
x f x
b a g

R
.
Alors g est de classe
1 + n
C , et
[ ] ] , [ , 1 , 0 b a x n k +
, ) ( ) 1 ( ) (
) ( ) (
x f x g
k k k
.
Le thorme, montr dans le cas prcdent, pour g entre
a
et b donne :
) ( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) (
2
b S a g
n
a b
a g
a b
a g a b a g b g
n
n
n
+
+
+ +
+
+ + +
avec ) ( sup
)! 1 (
) (
) (
) 1 (
] , [
1
t g
n
a b
b S
n
b a t
n
n
+

+
+
+
.
On a :
)... ( ' ' ) ( ) ( ' ' ) 1 ( ) ( ) ( ' ' ) (
), ( ' ) ( ) ( ' ) 1 )( ( ) ( ' ) (
), ( ) ( ), ( ) (
2 2 2 2
a f a b a f a b a g a b
a f a b a f a b a g a b
b f b g a f a g
+
+ +

Donc
) ( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) (
2
b S a f
n
a b
a f
a b
a f a b a f b f
n
n
n
+

+ +

+ + , et :


M
n
b a t
n
a b
n
n
t g
n
a b
b S
n
+

+

+
+
+
+
) ( sup
)! 1 (
) (
) (
) 1 (
] , [
)! 1 (
1
1
Cas particulier : lingalit entre 0 et x :
Ingalit de TaylorLagrange entre 0 et x pour f de classe
1 + n
C :
Soit I un intervalle contenant 0.
Soit f de classe
1 + n
C sur I.
Alors, pour tout I x , on peut crire :
) ( ) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) (
2
x R f
n
x
f
x
xf f x f
n
n
n
+ + + + + , avec :
) ( sup
)! 1 (
) (
) 1 (
] , 0 [
1
t f
n
x
x R
n
x t
n
n
+

Exemple :
A.BENHARI 53
La fonction exponentielle tant de classe

C sur R, on peut crire cette ingalit


nimporte quel ordre :
) (
!
...
! 2
1
2
x R
n
x x
x e
n
n
x
+ + + + + , avec
) ( sup
)! 1 (
) (
] , 0 [
1
t
x t
n
n
e
n
x
x R

+
+

C. Formule de TaylorYoung
Thorme :
Soit R a . Soit f une fonction de classe
n
C sur un intervalle I contenant a.
Alors il existe une fonction R I : qui tend vers 0 en a telle que :
) ( ) ( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) ( ,
) (
2
x a x a f
n
a x
a f
a x
a f a x a f x f I x
n n
n
+

+ +

+ +
Formule de TaylorYoung lordre n en a pour f de classe
n
C .
Autrement dit, au voisinage de a :
) ) (( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) (
2
n n
n
a x o a f
n
a x
a f
a x
a f a x a f x f +

+ +

+ +
Dmonstration :
Soit 1 n .
Pour I x , posons :

'

a x
a x
a x
x T x f
x
n
n
si 0
si
) (
) ( ) (
) (
On a alors dj lgalit. Reste montrer que
0 ) (
a x
a x
x
.
Pour cela, on applique lingalit de TaylorLagrange lordre 1 n la fonction
) ( ) ( : t T t f t
n

entre a et x, o x est un lment quelconque de I.
On a alors :
) ( sup
!
) (
)! 1 (
) (
... ) ( ' ) ( ) ( ( ) (
) (
] , [
) 1 (
1
t
n
a x
a
n
a x
a a x a x
n
x a t
n
n
n

+ + +
Mais 0 ) ( ) ( ... ) ( ' ) (
) ( ) 1 (


a a a a
n n
, daprs le prliminaire.
De plus,
) ( ) (
) ( ) ( ) (
) ( ) (
) ( ) ( ) ( ,
a f a T
n
n
n n
n n
n
t T t f t I t


.
Ainsi,
) ( ) ( sup
!
) ( ) (
) ( ) (
] , [
a f t f
n
a x
x T x f
n n
x a t
n
n

.
Donc, pour
a x
:
) ( ) ( sup
!
1
) (
) ( ) (
] , [
a f t f
n
x
n n
x a t

Il reste montrer que


0 ) ( ) ( sup
) ( ) (
] , [

a x
n n
x a t
a f t f

Dj, ) ( ) ( :
) ( ) (
a f t f t g
n n
est continue sur I et nulle en a.
* Soit
0 >
.
A.BENHARI 54
Comme g est continue en a, il existe 0 > tel que
2 / ) ( ( , < < t g a t I t
.
Alors, pour I x tel que
< a x
, on a :
2 / ) ( ], , [ <

t g x a t

(puisque pour
< a x a t x a t ], , [
)
Donc
) 2 / ) ( sup ( ,
] , [
< <

t g a x I x
x a t
* Autre dmonstration :
Pour tout I x , on a :
La fonction
g
est continue sur le segment
] , [

x a
. Donc, sur ce segment, elle est bien
borne, et elle atteint ses bornes. Il existe donc
] , [

x a c
x
tel que
) ( ) ( sup
] , [
x
x a t
c g t g

.
On a :
a x a c I x
x
,
car
] , [

x a c
x
.
Donc
a c
a x
x

, et g est continue en a, donc


0
) ( ) (

a g c g
a x
x

Do
0 ) ( sup
] , [

a x
x a t
t g

.
Dans le cas o 0 n :
Le thorme dit :
Si f est continue sur I contenant a :
) ( ) ( ) ( x a f x f +
o
0
a

, ce qui est vrai.
Cas particulier : TaylorYoung lordre n en 0 :
Soit f de classe
n
C sur I contenant 0.
Alors ) ( ) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) (
2
n n
n
x o f
n
x
f
x
xf f x f + + + + + .
D. Lgalit de TaylorLagrange (hors programme)
Thorme :
Soit f de classe
n
C sur
] , [ b a
et de classe
1 + n
D
sur ] [ b a, au moins ( b a < )
Alors il existe ] [ b a c , tel que :
) (
)! 1 (
) (
) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) 1 (
1
) (
2
c f
n
a b
a f
n
a b
a f
a b
a f a b a f b f
n
n
n
n
+
+
+

+ +

+ + .
Dmonstration :
Soit
R ] , [ : b a
dfinie par :
A
n
x b
x f
n
x b
x f x b x f x b a x
n
n
n
)! 1 (
) (
) (
!
) (
... ) ( ' ) ( ) ( ) ( ], , [
1
) (
+

+ + +
+

O A est une constante de sorte que


) ( ) ( b f a
, c'est--dire :

,
_

+
) (
!
) (
... ) ( ' ) ( ) (
) (
)! 1 (
) (
1
a f
n
a b
a f a b a f
a b
n
A
n
n
n
Alors

est continue sur


] , [ b a
, et drivable sur ] [ b a, , et
)) ( ( ) ( ) ( b f b a
.
Il existe donc ] [ b a c , tel que
0 ) ( ' c
.
Or, pour tout ] [ b a x , :
A.BENHARI 55
A
n
x b
x f
n
x b
x f x b x f x b x f x f x
n
n
n
!
) (
) (
!
) (
... ) ( ' ' ) ( ) ( ' ' ) ( ) ( ' ) ( ' ) ( '
) 1 (
0

+ + +
+

Soit ( ) A x f
n
x b
x
n
n

+
) (
!
) (
) ( '
) 1 (

Or,
0 ) ( ' c
et b c , donc A c f
n

+
) (
) 1 (
, do lgalit cherche.
Remarque : de cette galit, on tire aisment lingalit de TaylorLagrange.
E. Rcapitulation, formules connatre
Rappel des trois thormes lordre n en 0 :
Thorme (ingalit de TaylorLagrange) :
Soit ) , (
1
R I C f
n+
, o I contient 0. Alors, pour tout I x :
) ( ) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) (
2
x R f
n
x
f
x
xf f x f
n
n
n
+ + + + + , avec :
) ( sup
)! 1 (
) (
) 1 (
] , 0 [
1
t f
n
x
x R
n
x t
n
n
+

Thorme (TaylorYoung) :
Soit ) , (
1
R I C f
n+
, o I contient 0. Alors, au voisinage de 0 :
) ( ) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) (
2
n n
n
x o f
n
x
f
x
xf f x f + + + + +
Thorme (Egalit de TaylorLagrange) :
Soit f 1 + n fois drivable sur I contenant 0.
Alors, pour tout { } 0 \ I x , il existe
[ , 0 ]

x c
x
tel que :
) (
)! 1 (
) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) 1 (
1
) (
2
x
n
n
n
n
c f
n
x
f
n
x
f
x
xf f x f
+
+
+
+ + + + +
Formule de TaylorYoung des fonctions usuelles en 0 (de classe

C sur un intervalle
contenant 0) :
) (
!
...
! 2
1
2
n
n
x
x o
n
x x
x e + + + + + (ordre n)
) (
)! 2 (
) 1 ( ...
! 6 ! 4 ! 2
1 cos
2
2 6 4 2
n
n
n
x o
n
x x x x
x + + + + (ordre n 2 )
Et mme ) (
)! 2 (
) 1 ( ...
! 6 ! 4 ! 2
1 cos
1 2
2 6 4 2
+
+ + + +
n
n
n
x o
n
x x x x
x (ordre 1 2 + n )
) (
)! 1 2 (
) 1 ( ...
! 7 ! 5 ! 3
sin
1 2
1 2 7 5 3
+
+
+
+
+ + +
n
n
n
x o
n
x x x x
x x (ordre 1 2 + n )
A.BENHARI 56
Et mme ) (
)! 1 2 (
) 1 ( ...
! 7 ! 5 ! 3
sin
2 2
1 2 7 5 3
+
+
+
+
+ + +
n
n
n
x o
n
x x x x
x x (ordre 2 2 + n )

) 1 ( : x x f + est de classe

C sur ] [ + , 1 .
n
n
n
x n x f
x x f
x x f
x x f

+ +
+
+
+

) 1 ( ) 1 )...( 2 )( 1 ( ) (
) 1 )( 1 ( ) (
) 1 ( ) (
) 1 ( ) (
termes
) (
2 ) 2 (
1 ) 1 (
) 0 (

Donc ) (
!
) 1 )...( 2 )( 1 (
...
! 2
) 1 (
1 ) 1 (
2 n n
x o x
n
n
x x x +
+
+ +

+ + +

Commentaire :
Le cosinus lordre 2 donne :
) ( 1 cos
2
2
2
x x x
x
+
Donc ) ( 1 cos
2
2
2
x x x
x
+
C'est--dire
2
0
2
~ 1 cos
x
x
Cas particulier avec 1 :

x
x
n
x
x
n n
n n n n
x o x x x x x x
x
+

+ + + +
+ + + + +
+
1
) 1 (
) ( 1
) 1 ( 1
5 4 3 2
1 1 1 1
) ( ) 1 ( ... 1
1
1
Autre cas particulier :
N p


p
C
C C
C
C
p
x
p
p p p p p
x
p p p
x
p p
x p x
p
p
p p
p
p


!
) 1 )...( 2 )( 1 (
...
! 3
) 2 )( 1 (
! 2
) 1 (
1 ) 1 (
3 2
3 2
1
0
+
+

+

+ + +
(Les termes suivants sont nuls)
) ( ...
) (
2
) 1 (
2
1
1 ) 1 (
2
2 1 0
2 2 2
1
2
1
2 / 1
n n
n
x o x a x a x a a
x o x x x
+ + + + +
+

+ + +
Avec
n
k
n
a
n
k
n
2 1
2
) (
!
1
0
2
1

XIII. Dveloppements limits


Dans tout le chapitre, I dsigne un intervalle, et a un point de I.
A. Gnralits
i. Dfinitions
A.BENHARI 57
Soit
R I f :
, N n .
On dit que f admet un dveloppement limit (DL) lordre n en a lorsquil existe
des rels
n
,... ,
1 0
et une fonction R I : qui tend vers 0 en a tels que :
) ( ) ( ) ( ... ) ( ) ( ) ( ,
2
2 1 0
x a x a x a x a x x f I x
n n
n
+ + + + +
Autrement dit :
Lorsquil existe
R
n
,... ,
1 0
tels que, au voisinage de a :
) ) (( ) ( ... ) ( ) ( ) (
2
2 1 0
n n
n
a x o a x a x a x x f + + + + +
Ou encore lorsquil existe
R
n
,... ,
1 0
tels que :
) ( ... ) (
2
2 1 0
n n
n
u o u u u u a f + + + + + + au voisinage de 0.
Ainsi, la notion de DL lordre n en a pour
) ( : x f x f
revient la notion de
DL lordre n en 0 pour
) ( : u a f u f +
.
Exemples :
Lgalit ) ( 1 cos
2
2
2
x o x
x
+ constitue un DL lordre 2 en 0 de la fonction
cosinus.
On veut un DL lordre 2 en
4

de cosinus :
)) (
2
1 (
2
2
))) ( ( ) (
2
1 (
2
2
) sin (cos
2
2
)
4
cos(
2
2
2 2
2
x o
x
x
x o x x o
x
x x x
+
+ + +

DL lordre 3 en 0 de la fonction x x e x
x
sin
3
+ :
) ( 1
) ( )) ( 1 ( sin
3
! 3 ! 2
3 3
! 3 ! 2
3
3 2
3 2
x o x
x o x o x x x e
x x
x x
x
+ + + +
+ + + + + +
DL lordre 5 en 0 de la fonction

'

0 si 0
0 si
:
6
1
x
x e
x f
x

) ( ) ( 0 ) (
5 5
x o x o x f +
(Vrai nimporte quel ordre)
iv. Thorme dunicit des coefficients dun DL
Thorme :
Soit
R I f :
, N n . Si f admet un DL lordre n en a, alors les coefficients de
ce DL sont dtermins de manire unique, c'est--dire que si

'

n
n


,... ,
,... ,
1 0
1 0
sont des rels
tels que, au voisinage de 0 :
) ( ... ) (
1 0
n
n
n
u o u u u a f + + + + +
A.BENHARI 58
et ) ( ... ) (
1 0
n
n
n
u o u u u a f + + + + + ,
Alors
[ ]
i i
n i , , 0
Dmonstration :
Soient
,
deux fonctions qui tendent vers 0 telles que :
) ( ... ) ( ... ,
1 0 1 0
u u u u u u u u J u
n n
n
n n
n
+ + + + + + + + (1)
O { } I u a u J + , R
Alors, en prenant 0 u dans (1), on obtient dj
0 0

.
En reportant et en simplifiant par u (si non nul), on obtient :
{ } ) ( ... ) ( ... , 0 \
1 1
1
1 1
1
u u u u u u J u
n n
n
n n
n


+ + + + + +
En faisant tendre u vers 0, on obtient alors
1 1

on rpte lopration. Donc :
{ } ) ( ) ( , 0 \
1 1
u u u u u u J u
n n n n
+ + + +

Donc
1 1

n n

Donc
{ } ) ( ) ( , 0 \ u u J u
n n
+ +
, donc
n n

.
v. Troncature dun DL
Proposition :
Soit
R I f :
, N n . Si f admet un DL lordre n en a, alors, pour tout
[ ] n p , 0
, f admet un DL lordre p en a, obtenu par troncature.
En effet :
- Pour
n p
, ok
- Sinon,
n p <
:


) (
)) ( ... (
1
1 1 0
0
1
) ( ... ... ) (
p
p n p n
n p
p
u o
u u u u u
n n
n
p
p
p
p
u u u u u u u a f

+ + +
+
+


+
+ + + + + + + +


B. DL et drivation
Proposition :
Soit
R I f :
; f a un DL lordre 0 en a si et seulement si f est continue en a, et dans
ce cas ce DL est
) ( ) ( ) ( u a f u a f + +
, o

tend vers 0 en 0.
En effet :
- Si f est continue en a, alors
0 ) ( ) (
0
+
u
a f u a f
, donc
) 1 ( ) ( ) ( o a f u a f + +
.
- Si f admet un DL lordre 0 en a, il scrit
) 1 ( ) (
0
o u a f + +
, donc
0
0
) ( +
a
u a f
, donc f est continue en a, et
0
) ( a f
.
Proposition :
Soit
R I f :
; f admet un DL lordre 1 en a si et seulement si f est drivable en a, et
dans ce cas ce DL est
) ( ) ( ' ) ( ) ( u o a uf a f u a f + + +
(1)
A.BENHARI 59
En effet :
- Si f admet un DL lordre 1 en a, alors
) ( ) (
1 0
u u u u a f + + +
Donc avec 0 u ,
) (
0
a f
, et pour 0 u ,
1
0
1
) (
) ( ) (
+
+
u
u
u
a f u a f
.
- Si f est drivable en a, on a vu que lgalit (1) est vraie.
Attention : il est faux cependant quon ait un tel rapport pour les ordres suprieurs 2.
Exemple :
Soit

'

0 si 0
0 si sin
:
1
3
x
x x
x
f
x
R R
Alors f admet un DL lordre 2 en 0 :
) ( ) (
2
x o x f
Donc f admet un DL lordre 1 en 0 qui scrit
) ( ) ( x o x f
, donc f est drivable en 0 et
0 ) 0 ( ' f
. Est-elle deux fois drivable en 0 ?
Pour 0 x ,
x x
x x x f
1 1
2
cos sin 3 ) ( '
Donc

limite de pas
1
0
1
cos sin 3
0
) 0 ( ' ) ( '
x x
x
x
f x f

Donc f nest pas deux fois drivable en 0.


Cependant :
Soit N n .
Soit f de classe
n
C sur I. Alors f admet en tout point a de I un DL lordre n, qui est
donn par la formule de TaylorYoung :
) (
!
) (
...
! 2
) (
) ( ' ) ( ) (
) (
2
) 2 (
n n
n
u o u
n
a f
u
a f
u a f a f u a f + + + + + +
Exercice :
Soit
x x x
f
+

3
:

R R
. Montrer que f est une bijection de R dans R dont la rciproque est de
classe

C . Dterminer ) 0 ( ' ' )' ( ), 0 ( ' )' ( ), 0 ( )' ( ), 0 (


1 1 1 1
f f f f .
Dj f est bijective, de classe

C et de drive ne sannulant pas. Donc


1
f est de
classe

C .
Comme
1
f est de classe

C , elle admet un DL lordre 3 en 0 :


) ( ) (
3 3
3
2
2 1 0
1
x x x a x a x a a x f + + + +

, et [ ]
!
) 0 ( ) (
, 3 ; 0
) ( 1
k
f
a k
k
k

.
Pour tout rel x, on a :
) ( )) ( (
3 1
x o x x x f f +

dune part.
et ) ( ) ( ) ( ) ( ) ( )) ( (
3 3 3 3 3
3
2 3
2
3
1 0
1
x x x x x x a x x a x x a a x f f + + + + + + + + +

Soit


) (
0
3
1
3 2 3 3 3
3
3 2
2
3
1 1 0
1
3
) ( ) 1 ( ) ( ) ( )) ( (
x o
x x x x x o x a x o x a x a x a a x f f

+ + + + + + + + +
Donc ) ( ) ( )) ( (
3 3
3 1
2
2 1 0
1
x o x a a x a x a a x f f + + + + +

Donc
1 0 1 0
3 2 1 0
a a a a
A.BENHARI 60
Donc 6 ) 1 ( ! 3 ) 0 ( ' ' )' ( 0 ) 0 ( ' )' ( 1 ) 0 ( )' ( 0 ) 0 (
1 1 1 1


f f f f
C. Oprations sur les DL
i. Retour 0
On rappelle que
) (x f x
a un DL lordre n en a si et seulement si
) ( a u f u +
a un DL lordre n en 0.
Exemple :
DL lordre 3 en 1 de
exp
.
Pour tout R u :
) ( . .
3
6 2
1
3 2
u u e e e u e e e e e
u u
u u
+ + + +
+
o
0 ) (
0

u
u
.
ii. Somme, produit par un rel
Proposition :
Soient
R I g f : ,
, R
Si f et g admettent un DL lordre n en a, alors
f
et
g f +
aussi, et les parties
principales des DL de
f
et
g f +
sont obtenues en faisant respectivement le produit
de la partie principale du DL de f par , et en faisant la somme des parties principales
des DL de f et g.
Dmonstration (sans introduire les notations) :
) ( ... ) (
) ( ... ) (
) (
1 0
) (
1 0
x x x b x b b x a g
x x x a x a a x a f
n
x Q
n
n
n
x P
n
n

+ + + + +
+ + + + +


Donc :

) ( ) (
) ( ) ( ) ( ) ( ) ( ) (
n n
x o
n
x o
n
x x x x x Q x P x a g x a f

+ + + + + +
.
Exemple :
) ( 1 cos
) ( 1
3
2
3
! 3 ! 2
2
3 2
x o x
x o x e
x
x x
x
+
+ + + +
Donc ) ( 2 cos
3
6
3
x o x x e
x
x
+ + + +
Et ) ( 3 cos 2
3
6 2
3 2
x o x x e
x x
x
+ + + +
iii. Produit de deux DL
Exemple :
) ( 1 1
3 3
16
1
2
8
1
2
1
x o x x x x + + + +
) ( sin
3
6
3
x o x x
x
+
Donc :
A.BENHARI 61
) (
) (
)) ( 1 ))( ( ( 1 sin
3
24
7
2
3 3
8
1
2
2
1
6
3 3
16
1
2
8
1
2
1
3
6
3 2
3
3
x o x
x o x x x
x o x x x x o x x x
x x
x
x
+ +
+ +
+ + + + +
Proposition :
Si deux fonctions f et g admettent un DL lordre n en a, alors
g f
admet un
DL lordre n en a, obtenu en ne conservant que les termes de degr n dans le produit
des parties principales (polynomiales) des DL de f et g.
Dmonstration (sans introduire les notations) :
) ( ... ) (
) ( ... ) (
) (
1 0
) (
1 0
x x x b x b b x a g
x x x a x a a x a f
n
x Q
n
n
n
x P
n
n

+ + + + +
+ + + + +


Donc :

) ( ) ( ) ( ) (
2
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
n n n n
x o x o
n n
x o
n
x o
n
x x x x x x x Q x x x P x Q x P x a g x a f

+ + + + +
.
iv. Composition de DL
Exemple :
) ( ... 1
! ! 2
2
x x x e
n
n
x x
x
n
+ + + + + o
0 ) (
0

x
x
Donc
0
! ! 2
) ( ) 1 ( ) 1 ( ... 1
2

+ + + + x x x e
n n
n
x
n
x
x
n

On a donc obtenu le DL lordre n en 0 de


x
e x

.
Thorme :
Soient
R I f :
, I a
Soit
R J g :
o J est tel que
J I f ) (
Si f a un DL lordre n en a, et g un DL lordre n en
) (a f
, alors
f g
a un DL
lordre n en a, donn dans la dmonstration.
Dmonstration :

) ( ... ) (
2
2 1
) (
0
x x x x x x a f
n n
n
a f
+ + + + + +
o
0 ) (
0

x
x
) ( ... ) (
2
2 1 0 0
u u u u u u g
n n
n
+ + + + + + o
0 ) (
0

u
u


) (
0
2
2 1
0 quand ers tendent v qui termes
2
2 1
2
2 1
2 2
2 1 2
2
2 1 1 0
2
2 1 0
)) ( ... ( )) ( ... (
)) ( ... (
... )) ( ... (
)) ( ... (
) ) ( ... ( )) ( (
1
n
n n
x o
n n
n
x x
n n n
n
n n n
n n
n n
n
n n
n
u
n n
n
x x x x x x x x x x
x x x x x
x x x x x
x x x x x
x x x x x g x a f g

+ + + + + + + + +
+ + + + +
+ + + + + +
+ + + + +
+ + + + + +




A.BENHARI 62
On a donc la somme dun polynme en x de degr n et dune fonction
ngligeable devant
n
x .
Exemples :
DL lordre 3 en 0 de x x cos :
) ( 1 cos
3
2
2
x o x
x
+
u x o x
x
+ + 1 ) ( 1 cos
3
2
2
avec ) (
3
2
2
x o u
x
+ .
0
0

x
u
. Donc :
) ( 1 1
3
16 8 2
3 2
u u u
u u u
+ + + +
Donc :
) ( 1
)) ( ( )) ( (
)) ( ( )) ( ( ) ( 1 cos
3
4
) (
0
3
2
3 3
2
3 3
2 16
1
2 3
2 8
1
3
4
2
6
2 2
2 2 2
x o
x o x o
x o x o x o x
x
x o
x x
x x x
+
+ + +
+ + + +

On remarque quon pouvait se contenter de ) ( 1 1


2
8 2
2
u u u
u u
+ + +
DL lordre 3 en 0 de x x
3
sin :
) ( sin
3
6
3
x x x x
x
+ o
0 ) (
0

x
x
.
) ( )) ( 1 ( ) (sin
3 3 3 2
6
3 3
2
x x x x x x x
x
+ + o
0 ) (
0

u
u
On pouvait l aussi se contenter de ) ( sin
2
x o x x +
DL lordre 4 de
x
e x
cos

) ( 1 cos
4
! 4 2
4 2
x o x
x x
+ +
)) ( exp( )) ( 1 exp(
4
! 4 2
4
! 4 2
cos
4 2 4 2
x o e x o e
x x x x
x
+ + + +
Or, ) ( 1
2
! 2
2
u o u e
u
u
+ + +
Donc ) ( 1 )) ( exp(
4
8 ! 4 2
4
! 4 2
4 4 2 4 2
x o x o
x x x x x
+ + + +
Donc ) (
4
6 2
cos
4 2
x o e e e e
x x
x
+ +
v. Inverse
Proposition :
Soit
R I f :
. Si
0 ) ( a f
, et si f a un DL lordre n en a, alors
f
1
aussi.
Dmonstration :
) ( ... ) (
2
2 1 0
x x x x x x a f
n n
n
+ + + + + + , o
0 ) (
0

x
x
et
0
0

.
A.BENHARI 63
Comme f a un DL lordre n en a, f a un DL lordre 0 en a, donc f est continue
en a, donc, comme
0 ) ( a f
, f est strictement du signe de
) (a f
au voisinage de a, donc
f
1
est bien dfinie au voisinage de a.
) ( ... 1
1 1
) ( ...
1
) (
1
2
2 1 0
2
2 1 0
x x x x x
x x x x x x a f
n n
n
n n
n


+ + + + +

+ + + + +

+
O
[ ]
0
, , 1

i
i
n i
, et
0


On note ) ( ... ) (
2
2 1
x x x x x x g
n n
n
+ + + +
Alors g a un DL lordre n en 0, et
0 ) 0 ( g
u
u
+ 1
1
a un DL lordre n en 0, donc, par composition,
) ( 1
1
x g
x
+

a un DL
lordre n en 0, do lexistence.
Rappel :
) ( ) 1 ( ... 1
1
1
3 2 n n n
u o u u u u
u
+ + + +
+
Exemples :
DL lordre 4 en 0 de
x
x
cos 1
1
+

:
) ( 2 cos 1
4
! 4 2
4 2
x o x
x x
+ + +

,
_

+ +

+ +

+ ) ( 1
1
2
1
) ( 2
1
cos 1
1
4
48 4
4
! 4 2
4 2 4 2
x o x o x
x x x x
Or, ) ( 1
1
1
2 2
u o u u
u
+ +
+
Si on prend ) (
4
48 4
4 2
x o u
x x
+ + , on aura :
) (
4
16
2
4
x o u
x
+
Et ) ( ) (
4 2
x o u o car
16
2
4
~
x
u
( )
) (
) ( )) ( ( )) ( ( 1
2
1
cos 1
1
Donc
4
48 8 2
1
4 4
16
4
48 4
4 2
2 4 2
x o
x o x o x o
x
x x
x x x
+ + +
+ + + + +
+
DL lordre 3 en
6

de
x
x
sin
1

:
2
1
2
3
6
cos sin ) sin( + + u u u

) ( 3 1
2
)) ( 1 ( )) ( ( 3
2
cos sin 3
2
) sin(
1
3 3
6
3 2
2
1
3
2
3
6
6
2 3
u o u u u
u o u o u u u
u
u u
+ +

+ + +

Or, ) ( 1
1
1
3 3 2
v o v v v
v
+ +
+
Si on prend ) ( 3
3 3
6
3 2
2
1
u o u u u v + , on a :
A.BENHARI 64
) ( 3 3 )) ( 3 3 ( ) ) ( 3 (
3 3 2 2 2
) (
2 2
6
3
2
1
2 2
u o u u u o u u u o u u u v
u o
+ + +


) ( 3 3
3 3 3
u o u v +
) ( ) (
3 3
u o v o car
3 3
3 3 ~ u v
Donc
)) ( 3 1 ( 2
) sin(
1
3 3
6
3 23 2
2
7
6
u o u u u
u
+ +
+

D. Primitive, drive
i. Primitive
Thorme :
Soit
R I f :
, admettant un DL lordre n en a.
Si f admet une primitive F sur I, alors F admet un DL lordre 1 + n en a, obtenu
de la manire suivante :
Si ) ( ... ) (
2
2 1 0
n n
n
x o x x x x a f + + + + + + ,
Alors ) ( ... ) ( ) (
1 1
1
3
3
2
2 0
2 1
+ +
+
+ + + + + + +
n n
n
x o x x x x a F x a F
n

.
Dmonstration :
) ( ... ) (
) (
2
2 1 0
x x x x x x a f
n
x P
n
n
+ + + + + +

o
0 ) (
0

x
x
.
Posons
1
1
2
2 0
... ) ( ) (
1
+
+
+ + + +
n
n
x x x a F x Q
n

Ainsi,
P Q '
.
On doit donc montrer que ) ( ) ( ) (
1 +
+
n
x o x Q x a F .
Notons { } I x a x J + , R
Soit { } 0 \ J x .
Daprs le thorme des accroissements finis appliqu
) ( ) ( t Q t a F t +
entre
0 et x, il existe
[ , 0 ]

x c
x
tel que :
x c P c a f Q a F x Q x a F
x
n
x
c c
x x
+ +


) ( ) (
0
)) ( ) ( ( )) 0 ( ) ( ( )) ( ) ( (

Ainsi, pour 0 x :


0
car 0
1
car born
1 1
0
) (
1
) ( ) (
) ( ) (

+ +

,
_


+
x
x
x
x
c
c
x
n
x
n
x
n
x
n
c
x
c
x
c c x
x
x Q x a F

Donc 0
) ( ) (
0 1

+
+ x n
x
x Q x a F
, donc ) ( ) ( ) (
1 +
+
n
x o x Q x a F .
ii. Drivation
Thorme :
A.BENHARI 65
Soit
R I f :
. Si f est drivable et admet un DL lordre n en a, et si
' f
admet
un DL lordre 1 n en a, alors ce DL est obtenu ainsi :
Si ) ( ... ) (
2
2 1 0
n n
n
x o x x x x a f + + + + + + ,
Alors ) ( ... 2 ) ( '
1 1
2 1

+ + + + +
n n
n
x o x n x x a f
Dmonstration :
Il suffit dappliquer
' f
le thorme prcdent.
Attention :
Lhypothse que
' f
admet un DL est indispensable :

'

sinon 0
0 si sin
) (
1
3
x x
x f
x
Alors f admet un DL lordre 2 en 0, savoir ) ( 0 ) (
2
x o x f +
(Puisque
0 sin
) (
0
0
1
2

x
x x
x
x
x f
)
Mais
' f
nadmet pas de DL lordre 1 en 0 puisque f nest pas deux fois drivable
en 0, donc
' f
nest pas drivable en 0, donc nadmet pas de DL lordre 1 en 0.
E. Parit
Proposition :
Si
R I f :
admet un DL lordre n en 0, disons
) ( ... ) (
2
2 1 0
n n
n
x o x a x a x a a x f + + + + +
Alors :
- Si f est paire, alors les
1 2 + i
a
sont nuls
- Si f est impaire, alors les
i
a
2
sont nuls.
Dmonstration :
Ici, I est un intervalle contenant 0 et centr en 0. On a :
) ( ) 1 ( ... ) (
) ( ... ) (
1 0
1 0
n n
n
n
n n
n
x o x a x a a x f
x o x a x a a x f
+ + +
+ + + +
Si f est paire, on a alors
) ( ) ( x f x f
, et donc ,...
1 1
a a
Si f est impaire, on a alors
) ( ) ( x f x f
, et donc
,...
0 0
a a
F. DL connatre
Toutes les fonctions considres sont de classe

C au voisinage de 0, elles ont donc un


DL nimporte quel ordre en 0 :
A.BENHARI 66

'

+
+
+ + +

'

+ + + +

'

+
+
+ + + +

'

+ + + + +
+

+ + + +
+ + + + +
+
+ +
+
+
+ +
+

) (
) (
)! 1 2 (
) 1 ( ...
! 5 ! 3
sin
) (
) (
)! 2 (
) 1 ( ...
! 4 ! 2
1 cos
) (
) (
)! 1 2 (
...
! 5 ! 3 2
) ( sh
) (
) (
)! 2 (
...
! 4 ! 2
1
2
) ( ch
) (
!
) 1 ( ...
! 2
1
) (
!
...
! 2
1
2 2
1 2 1 2 5 3
1 2
2 2 4 2
2 2
1 2 1 2 5 3
1 2
2 2 4 2
2
2
p
p p
p
p
p p
p
p
p p x x
p
p p x x
n
n
n x
n
n
x
x o
x o
p
x x x
x x
x o
x o
p
x x x
x
x o
x o
p
x x x
x
e e
x
x o
x o
p
x x x e e
x
x o
n
x x
x e
x o
n
x x
x e
) ( ) 1 ( ... 1
1
1
3 2 n n n
x o x x x x
x
+ + + +
+

On en tire plusieurs rsultats :


- Dj, ) ( ) 1 ( ... 1
1
1
2 2 6 4 2
2
n n n
x o x x x x
x
+ + + +
+
Do, par intgration, ) (
1 2
) 1 ( ...
5
1
3
1
0 ) Arctan(
1 2
1 2
5 3 +
+
+
+
+ + + +
n
n
n
x o
n
x
x x x x
- Mais aussi, par intgration, ) (
1
) 1 ( ...
4 3 2
0 ) 1 ln(
1
1 4 3 2
+
+
+
+
+ + + + +
n
n
n
x o
n
x x x x
x x
- Ou encore ) ( ... 1
1
1
3 2 n n
x o x x x x
x
+ + + + + +

Do ) ( ... 1
1
1
2 2 6 4 2
2
n n
x o x x x x
x
+ + + + + +

Et, par intgration : ) (


1 2
...
5 3
0 ) ( Argth
1 2
1 2 5 3
+
+
+
+
+ + + + +
n
n
x o
n
x x x
x x
(Quon pouvait aussi retrouver en considrant que
,
_

x
x
x
1
1
ln
2
1
) ( Argth
)
) ( ...
8 2
1 1
2
n n
n
x o x a
x x
x + + + + +
Avec :
) 1 2 ( ) ! ( 2
)! 2 ( ) 1 (
) 1 2 ( ! 2
)! 2 (
! 2
) 1 (
) 1 2 ( 2 ) 2 2 ( ... 4 2
2 ) 1 2 ( ) 3 2 ( ... 3 2 1
! 2
) 1 (
)) 3 2 ( ( ... ) 3 ( ) 1 (
! 2
1
!
) 1 ( ... ) 2 ( ) 1 (
2 2
2
1
2
1
2
1
2
1

n n
n
n n
n
n n n n
n n n
n
n
n n
n
a
n
n
n n
n
n
n
n
n
) ( ...
8
3
2
1 ) 1 (
1
1
2
2 / 1 n n
n
x o x b
x x
x
x
+ + + + +
+


Avec :
2 2
2
1
2
1
2
1
2
1
) ! ( 2
)! 2 ( ) 1 (
...
!
) 1 ( ... ) 2 ( ) 1 ( ) (
n
n
n
n
a
n
n
n


+

A.BENHARI 67
) ( ...
8
3
2
1
1
1
2 2
4 2
2
n n
n
x o x b
x x
x
+ + + +
+

- Donc par intgration : ) (


1 2
...
8 5
3
6
0 ) ( Argsh
1 2 1 2
5 3
+ +
+
+
+ +

+ +
n n n
x o x
n
b x x
x x
- Ou
) ( ...
8
3
2
1
1
1
2 2
4 2
2
n n
n
x o x b
x x
x
+ + + + +

Do, par intgration : ) (


1 2
...
8 5
3
6
0 ) ( Arcsin
1 2 1 2
5 3
+ +
+
+
+ +

+ + +
n n n
x o x
n
b
x x
x x
Et ) (
1 2
...
8 5
3
6 2
) ( Arcsin
2
) ( Arccos
1 2 1 2
5 3
+ +
+
+


n n n
x o x
n
b
x x
x x x

) tan(x
: deux mthodes :
-

'

+ + +
+ +
+ +

) (
) (
15
2
3
...
) ( 1
) (
cos
sin
tan
6
5 5 3
5
! 4 ! 2
5
! 5 ! 3
4 2
5 3
x o
x o x x
x
x o
x o x
x
x
x
x x
x x
- ) ( tan
5 5 3
x o bx ax x x + + +
La drive de tangente est de classe

C au voisinage de 0, donc admet un DL lordre


4 en 0, et :
) ( 5 3 1 tan'
4 4 2
x o bx ax x + + +
Or, ) ( 2 1 )) ( ( 1 tan 1 tan'
4 4 2 2 5 5 3 2
x o ax x x o bx ax x x x + + + + + + + +
Donc, par unicit des coefficients dun DL :
a b a 2 5 ; 1 3
. Donc
3
1
a
et
15
2
b
G. Applications
i. Recherche de limites, dquivalents (exemples)
1
ln
lim
1

x
x
x
? On peut rutiliser les mthodes de Terminale (cest
) 1 ( ln'
), ou :
Au voisinage de 0, on a :
) ( ) 1 ln(
2
2
2
u o u u
u
+ +
Donc, pour 0 u :
) ( 1
) 1 ln(
2
u o
u
u
u
+
+
, do 1
) 1 ln(
lim
0

+
u
u
u
.
Donc la fonction
] [ { }
1
ln
1 \ , 0 :

+
x
x
x
f R
est prolongeable par continuit en 1 par la
valeur 1, et la fonction obtenue admet un DL lordre 1 en 1 :
) ( 1 ) 1 (
2
u o u f
u
+ +
. Donc f est drivable en 1, et
2
1
) 1 ( ' f
.
Soit f dfinie sur
{ } a I \
, o a est un lment de I.
Sil existe
R
n
,... ,
1 0
tels que, au voisinage de 0 priv de 0 :
) ( ... ) (
2
2 1 0
n n
n
u o u u u u a f + + + + + + , alors f est prolongeable par
continuit en a (par
0
) ( a f
), et la fonction obtenue admet un DL lordre n en a.
A.BENHARI 68

,
_


+
x x
x
tan
1
sin
1
lim
0
?
Au voisinage de 0, on a :
2
~
) (
) (
) (
)) ( ( )) ( (
tan sin
sin tan
tan
1
sin
1
0
2 2
3
2
2 2
3
6
3
3
3 3 3
x
x o x
x o
x o x
x o x x o x
x x
x x
x x
x x x
+
+

+
+ + +


Donc 0
tan
1
sin
1
0

x
x x
Le premier terme non nul dun DL donne un quivalent :
Si

) (
1
1
) ( ... ) (
p
x o
n n
n
p
p
p
p
u o u x x x f + + + +
+
+

(avec
0
p

), alors
p
p
x x f
0
~ ) (
.
Donner un quivalent en
+
de
,
_

,
_

2 2
/ 1
1
sin
1
cos
2
x x
e
x
.
Au voisinage de 0, on a :
) ( 1
2
2
2
u o u e
u
u
+ + +
) ( 1 cos
2
2
2
u o u
u
+
) ( sin
2
u o u u +
Donc ) ( sin cos
2 2
u o u u u e
u
+
Do
4 4 4 2 2
/ 1
1
~
1 1 1
sin
1
cos
2
x x
o
x x x
e
x
+

,
_

,
_

,
_

ii. Drive, tangente, position dune courbe par


rapport une tangente
On suppose que f admet un DL lordre au moins 2 en a :
) ( ... ) (
2
2 1 0
n n
n
u o u u u u a f + + + + + + , o 2 n
De ce DL, on tire :
1 0
) ( ' ; ) ( a f a f
Do lquation de la tangente C au point A dabscisse a :
) (
1 0
a x y +
La position de C par rapport la tangente T est donne par le signe de :
) ) (( ... ) ( ) ) ( ( ) (
2
2
) (
1 0
n
x
a x o a x a x x f + + +



Si 0
2
:
)) ( ( ) (
2
2
u u u a + +
Donc
) (x
est du signe de
2
au voisinage de a.
Si 0
2
, et si on suppose de plus quon peut faire un DL jusqu un ordre p
suffisant de sorte que le coefficient de
p
u ne soit pas nul :
) ( ) (
p p
p
u o u u a + +
o
2 > p
et
0
p

Soit
)) ( ( ) ( u u u a
p
p
+ +
Donc
) ( u a +
est du signe de
p

pour 0 > u au voisinage de a et du signe de


p
p
) 1 (
pour 0 < u toujours au voisinage de a.
A.BENHARI 69
On a donc, selon la parit de p :
C
T
A
Point ordinaire
(pour p pair)
C
T
A
Point dinflexion
(pour p impair)
iii. Etude locale en
+
.
Exemple :
Etude de la fonction
x
xe x f
/ 1
:
Dj f est dfinie sur * R , et elle y est de classe

C
Et
,
_



x
x
e e
x
e x f x
x x x
1 1
) ( ' *,
/ 1 / 1 / 1
R
x
+ 1 0
) ( ' x f + +

+ + 0
e
) (x f
?
e
1
0
?
Etude en + ou

:
Au voisinage de 0 :
) ( 1
2
2
2
u u u e
u
u
+ + + o
0 ) (
0

u
u
Donc
,
_

+ + +
x x x x
e
x
1 1
2
1 1
1
2 2
/ 1

o
0
1

,
_

t x
x

Donc
,
_

+ + +
x x x
x x f
1 1
2
1
1 ) (
Ainsi, lcart entre la courbe C et la droite D dquation
1 : + x y D
est

,
_

+
x x x
1 1
2
1

qui tend vers 0.


La droite D est donc asymptote C en t
A.BENHARI 70
De plus,

t
>

,
_

,
_

+ +
de
ge au voisina 0
1
2
1 1
) 1 ( ) (
x x
x x f
Donc C est au dessus de D en + et en dessous en

.
Etude gauche en 0 :
On pose
0 ) 0 ( f
Ainsi, f est continue gauche en 0.
Pour 0
) (
0
) 0 ( ) (
, 0
0
/ 1

<

x
x
e
x
x f
x
f x f
x .
Donc f est drivable gauche en 0, et
0 ) 0 ( '
g
f
Rfrences
[1] Jacques Labelle et Armel Mercier. Introduction lanalyse relle
Modulo,Montral,1993.
[2] Charles Cassidy et Marie-Louis Lavertu. Introduction lanalyse
Presses de lUniversit Laval,Qubec,1994.
[3] Walter Rudin. Principes danalyse mathmatique
Ediscience,Paris,1995.
[4] Michael Spivak. Calculus
Publish or Perish,Houston,1994.
A.BENHARI 71