Abdelkader BENHARI

Thorie des fonctions

Theory of functions
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
A.BENHARI 14
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.
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
A.BENHARI 15
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.
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
) (
) ( '
) (
) ( '
,
A.BENHARI 16
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
.
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
tan

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
A.BENHARI 17
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 +
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
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

A.BENHARI 18
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
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 :
A.BENHARI 19
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
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 +
A.BENHARI 20
- 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 + + + +
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
A.BENHARI 21
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
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.
A.BENHARI 22
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
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) :
A.BENHARI 23
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 :
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
A.BENHARI 24
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
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 :
A.BENHARI 25
(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.
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
A.BENHARI 26
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.
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
,
A.BENHARI 27
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.
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
A.BENHARI 28
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 :
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,
A.BENHARI 29
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 :
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

+
A.BENHARI 30
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
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 , ,
A.BENHARI 31
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 :
[ ] [ ]
[ ] 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.BENHARI 32
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 +
)
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 :
A.BENHARI 33
*
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

.
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
A.BENHARI 34
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.
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 :
A.BENHARI 35
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

+ )
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.
A.BENHARI 36
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 :
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 :
A.BENHARI 37
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
) (
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 :
A.BENHARI 38



,
_

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.
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 :
A.BENHARI 39

=
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
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
A.BENHARI 40
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 :
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 :
A.BENHARI 41
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)
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
A.BENHARI 42
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)
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 ) ( ) (
A.BENHARI 43
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)
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 :
A.BENHARI 44
) ( ) ( ) ( ... ) ( ) ( ) ( ,
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.
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 :
A.BENHARI 45
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 :
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
.
A.BENHARI 46
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
, ,
:
) (
.
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
.
A.BENHARI 47
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.
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 :
A.BENHARI 48
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.
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
:
A.BENHARI 49
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)
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
.
A.BENHARI 50
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 :

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 .
A.BENHARI 51
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 :
) ( ) (
!
) (
... ) ( ' '
! 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
+

A.BENHARI 52
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 (
.
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 :
A.BENHARI 53
)... ( ' ' ) ( ) ( ' ' ) 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 :
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.BENHARI 54

'

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 >
.
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.
A.BENHARI 55
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
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
+

A.BENHARI 56
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 )
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 :
A.BENHARI 57

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
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 :
A.BENHARI 58
)) (
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 + + + + +
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
A.BENHARI 59
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)
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 ) ( '
A.BENHARI 60
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
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
A.BENHARI 61
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 :
) (
) (
)) ( 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

+ + + + +
.
A.BENHARI 62
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

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

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 :
A.BENHARI 63
) ( 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

.
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
+ + +
A.BENHARI 64

,
_

+ +

+ +

+ ) ( 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 :
) ( 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
.
A.BENHARI 65
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 :
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 :
A.BENHARI 66
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 :

'

+
+
+ + +

'

+ + + +

'

+
+
+ + + +

'

+ + + + +
+

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

) (
) (
)! 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
A.BENHARI 67
- 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


+

) ( ...
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
A.BENHARI 68
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.

,
_

+
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
A.BENHARI 69
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.
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
A.BENHARI 70
?
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
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