0% ont trouvé ce document utile (0 vote)
23 vues52 pages

Analyse de la droite réelle en mathématiques

Transféré par

janvierdanzabe97
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
23 vues52 pages

Analyse de la droite réelle en mathématiques

Transféré par

janvierdanzabe97
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Analyse de la droite réelle

Séraphin DJAOUE

Université de Garoua, Cameroun

Novembre 2024

Document public
Table des matières

Introduction 5

1 Eléments de Logique 6
1.1 Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.1 Opérations sur les assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.2 Tableaux de vérité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Quantificateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 La démonstration en mathématiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Démonstration directe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.2 Démonstration par l’absurde . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.3 Démonstration par contraposée . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.4 Démonstration par récurrence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.5 Le contre-exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2 Nombres réels 10
2.1 Rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2 Majorant, minorant, bornes supérieure et inférieure . . . . . . . . . . . . . . . . . . . . . . 11
2.3 Propriétés des nombres réels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3.1 Théorème d’Archimède . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3.2 Partie entière d’un réel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3.3 Valeur absolue d’un réel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3.4 Densité de Q dans R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.4 Intervalles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.5 Droite numérique achevée . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

3 Suites numériques 15
3.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.1.1 Définitions et propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.1.2 Opérations sur les suites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.1.3 Suites extraites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.1.4 Suites de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.1.5 Suites réelles monotones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2 Convergence d’une suite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
TABLE DES MATIÈRES 3

3.2.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2.2 Suites réelles tendant vers l’infini . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2.3 Suites adjacentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2.4 Propriétés d’une suites convergente . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.2.5 Propriétés d’ordre des suites réelles convergentes . . . . . . . . . . . . . . . . . . . 19
3.2.6 Propriétés algébriques des suites convergentes . . . . . . . . . . . . . . . . . . . . . 20
3.3 Existence de limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.4 Quelques suites particulières . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.4.1 Suite arithmétique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.4.2 Suite géométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.4.3 Suite arithmético-géométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

4 Fonctions numériques d’une variable réelle 25


4.1 Généralités sur les fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4.1.1 Opérations sur les fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4.1.2 Relation d’ordre pour les fonctions réelles . . . . . . . . . . . . . . . . . . . . . . . 25
4.1.3 Propriétés globales des fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4.2 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4.2.1 Notion de limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4.2.2 Ordre et Limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.2.3 Opération algébrique sur les limites . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2.4 Cas des fonctions monotones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2.5 Applications équivalentes au voisinage d’un point . . . . . . . . . . . . . . . . . . . 34
4.3 Continuité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.3.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.3.2 Opérations algébriques sur les applications continues . . . . . . . . . . . . . . . . . 36
4.3.3 Fonction continue sur un intervalle . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.3.4 Continuité uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.3.5 Application lipschitziennes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

5 Dérivabilité 41
5.1 Dérivées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.1.1 Dérivabilité en un point . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.1.2 Application dérivée . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.1.3 Dérivées successives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.2 Propriétés des fonctions dérivables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.2.1 Extrema locaux d’une fonction réelle dérivable . . . . . . . . . . . . . . . . . . . . 45
5.2.2 Théorème de Rolle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.2.3 Théorème des accroissement finis . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.2.4 Sens de variation d’une fonction dérivable . . . . . . . . . . . . . . . . . . . . . . . 47
5.3 Formule de Taylor-Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
TABLE DES MATIÈRES 4

6 Fonctions classiques 50
6.1 Fonctions logarithme et exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
6.2 Fonctions circulaires et réciproques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.2.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.2.2 Inverses des fonctions circulaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.3 Fonctions hyperboliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

Conclusion 52

Bibliographie 52
Introduction
Chapitre 1

Eléments de Logique

Nous rappelons ou introduisons dans ce chapitre préliminaire quelques éléments de logique et de


vocabulaire mathématique indispensables à la compréhension des démonstrations des chapitres suivants.

1.1 Assertions
Dans le cadre d’une théorie mathématique donnée, une assertion est une phrase mathématique à
laquelle on peut attribuer une, et une seule, valeur booléenne, à savoir vrai (V en abrégé) ou faux (F
en abrégé). Certaines assertions sont déclarées vraies a priori : ce sont les axiomes ; sinon, la véracité
d’une assertion doit résulter d’une démonstration.
Les assertions démontrées sont appelées théorèmes ou propositions suivant leur importance. Un
lemme est un résultat préalable utile à une démonstration plus conséquente, tandis qu’un corollaire est
une assertion vraie qui découle d’un résultat précédent.

1.1.1 Opérations sur les assertions


A une assertion, on peut associer sa négation, à deux assertions, leur disjonction ou leur conjonc-
tion. Les valeurs booléennes des ces assertions associées dépendent des valeurs des assertions de départ
et sont données par les définitions suivantes.

Définition 1.1. La négation d’une assertion (P) se note (non P) ou P . L’assertion (non P) est vraie
si et seulement si (P) est fausse.

Définition 1.2. Étant données deux assertions (P) et (Q), on appelle disjonction de ces deux assertions,
l’assertion (P ou Q) qui est vraie si et seulement si l’une au moins des assertions est vraie.

Définition 1.3. Étant données deux assertions (P) et (Q), on appelle conjonction de ces deux assertions,
l’assertion (P et Q) qui est vraie si et seulement si les deux assertions sont simultanément vraies.

À ces trois opérations ou connecteurs, on ajoute les opérations d’implication et d’équivalence.

Définition 1.4. Étant données deux assertions (P) et (Q), on définit l’assertion ”(P) implique (Q) ”,
appelée implication et notée (P ⇒ Q), de la manière suivante : l’assertion (P ⇒ Q) est vraie quand (P)
est fausse ou lorsque (P) et (Q) sont vraies.

On dit encore que ”(P) est une condition suffisante pour (Q)” et aussi que ”(Q) est une condition
nécessaire pour (P)”. L’assertion (P) est appelée l’hypothèse et (Q) la conséquence.
Chapitre 1. Eléments de Logique 7

Définition 1.5. Étant données deux assertions (P) et (Q), on définit l’assertion ”(P) équivaut à (Q)”,
appelée équivalence et notée (P ⇔ Q), de la manière suivante : l’assertion (P ⇔ Q) est vraie si (P) et
(Q) sont toutes les deux vraies ou fausses.

On dit encore que ”(P) et (Q) sont équivalentes” ou que ”(P) est une condition nécessaire et suffisante
pour (Q)”.

1.1.2 Tableaux de vérité


La définition des assertions précédentes est résumée dans les tableaux de vérité ci-dessous.

(P) (Q) (P ou Q) (P) (Q) (P et Q)


(P) (non P) V V V V V V
V F V F V V F F
F V F V V F V F
F F F F F F
(P) (Q) (P ⇒ Q) (P) (Q) (P ⇔ Q)
V V V V V V
V F F V F F
F V V F V F
F F V F F V
Les opérations que nous venons d’introduire peuvent être répétées pour former des assertions dépendant
d’assertions initiales (P1), (P2), (P3), etc... Deux assertions ainsi construites sont dites synonymes si elles
ont le même tableau de vérité.

Exemple 1.1. Montrons que lorsque l’on a simultanément (P⇒Q) et (Q⇒P), on a (P⇔Q). On établit
(P) (Q) (P ⇒ Q) (Q ⇒ P) (P ⇒ Q) et (Q ⇒ P) (P ⇔ Q)
V V V V V V
pour cela le tableau de vérité suivant V F F V F V
F V V F F F
F F F V V V

Quelques synonymies classiques. Soient (P ), (Q) et (R) trois propositions. On a alors


− (non (P ou Q)) est équivalente à (non P et non Q),
− (non (P et Q)) est équivalente à (non P ou non Q),
− (P⇒Q) est équivalente à (non Q ⇒ non P),
− (P ou (Q et R)) est équivalente à ((P ou Q) et (P ou R)),
− (P et (Q ou R)) est équivalente à ((P et Q) ou (P et R)).
La preuve des ces affirmations est laissée en exercice au lecteur (il suffit d’écrire les tableaux de vérité).

1.2 Quantificateurs
Les quantificateurs sont des symboles utilisés pour écrire des énoncés. Une phrase quantifiée est
une assertion mathématique contenant un ou des quantificateurs.
Le symbole ∃ désigne le quantificateur existentiel. Ainsi, ∃x se lit ”il existe au moins un élément
x” et ∃!x signifie ”il existe un et un seul élément x”.
Chapitre 1. Eléments de Logique 8

Le symbole ∀ désigne le quantificateur universel et ∀x signifie ”pour tout élément x”.


La lettre affectée par un quantificateur est muette et peut être remplacée par n’importe quelle autre
lettre n’ayant pas déjà une signification dans l’énoncé.

Exemple 1.2. La notation x ∈ E signifie ”x appartient à E”. Soit par ailleurs P (x) une assertion
dépendant de x. Alors

(∀x ∈ E, P (x)) ⇔ (∀y ∈ E, P (y)),


(∃x ∈ E, P (x)) ⇔ (∃y ∈ E, P (y)).

La négation d’une phrase quantifiée se définit comme suit :

(non(∀x ∈ E, P (x))) ⇔ (∃x ∈ E, nonP (x)),


(non(∃x ∈ E, P (x))) ⇔ (∀x ∈ E, nonP (x)).

1.3 La démonstration en mathématiques


Dans le cadre d’une théorie mathématique, une démonstration consiste, en général, à établir une
proposition de la forme (H ⇒ C) avec (H) vraie (sinon, il n’y a rien à faire), ou bien à montrer qu’une
assertion (C) est vraie.
On dispose pour cela non seulement de (H) mais aussi de toutes les propositions de la théorie concernée
déjà établies. On met alors en évidence une suite d’assertions (P0 ), (P1 ),..., (Pn ), où (P0 ) est (H) et (Pn ) est
(C), telles que la vérité de chaque (Pi ), i = 1,..., n, puisse être déduite des précédentes par l’intermédiaire
des propositions établies et des règles de logique.
Il existe plusieurs types de démonstration : la démonstration directe, la démonstration par
l’absurde, la démonstration par contraposé et la démonstration par récurrence.

1.3.1 Démonstration directe


La démonstration directe de (H ⇒ C) consiste à établir successivement des assertions intermédiaires
pour arriver à (C) en partant de (H).

Exemple 1.3. Démontrons directement que, pour tout entier naturel n, on a n est impair ou n2 est pair.
Notons (P) l’assertion ”l’entier n est impair” et (Q) l’assertion ”l’entier n2 est pair”. Dans ce cas, (H)
est ”n est un entier naturel” et (C) est (P ou Q).
Nous avons à établir que (P ou Q) est vraie. Supposons que l’assertion ”n est impair” soit fausse.
Alors n est pair, il existe un entier p tel que n = 2p. Il s’ensuit que n2 = 4p2 , et donc n2 est pair.

1.3.2 Démonstration par l’absurde


La démonstration par l’absurde qu’une assertion (P) est vraie consiste à supposer que (P) est fausse
et à montrer que (non P ⇒ Q) est vraie, avec (Q) une assertion dont on sait qu’elle est fausse d’où une
contradiction. Il en résulte que (P) est vraie car (non P ⇒ Q) est équivalente à (non Q ⇒ P).

Exemple 1.4. Démontrons que le réel 2 est irrationnel.
√ √
Ici, l’assertion (P ) est ” 2 est irrationnel”. La négation de (P) est donc ” 2 est rationnel”.
Nous supposons (non P) vraie. Alors il existe deux entiers naturels p et q (avec q 6= 0) premiers entre

eux tels que 2 = pq i.e. p2 = 2q 2 . Nous déduisons que p2 est pair et donc p est pair (voir exemple suivant).
Écrivant ensuite p = 2k avec k entier, il s’ensuit que q 2 = 2k 2 . Ainsi, q 2 est pair, et donc q est pair.
Chapitre 1. Eléments de Logique 9

Les nombres p et q ont 2 comme diviseur commun, ce qui est contradictoire avec le fait que p et q sont
premiers entre eux.

1.3.3 Démonstration par contraposée


La démonstration par contraposée s’appuie sur la règle logique :

(P ⇒ Q) est équivalente à (non Q ⇒ non P).

Exemple 1.5. Soit n un entier naturel. Démontrons que si n2 est pair alors n l’est aussi.
Ici, (P) est l’assertion ”n2 est pair” et (Q) est l’assertion ”n est pair”. La négation de (Q) est alors ”n
est impair”. Supposons (non Q) vraie. Dans ce cas, n = 2k +1, k étant un entier, et donc n2 = 4k 2 +4k +1
est impair.

1.3.4 Démonstration par récurrence


La démonstration par récurrence s’utilise pour prouver des propositions dont l’énoncé dépend d’un
entier naturel n. Elle s’appuie sur une propriété (admise) particulière de l’ensemble des entiers naturels
N.

Théorème 1.1. Toute partie A de N contenant l’entier p et telle que, pour tout n appartenant à A, n + 1
appartient à A, contient l’ensemble des entiers plus grands ou égaux à p.

Corollaire 1.3.1. Soient (P (n)) une proposition dépendant de l’entier n et n0 un entier naturel. Si on a
(i) (P (n0 )) est vraie.
(ii) Pour tout entier naturel n ≥ n0 , (P (n) ⇒ P (n + 1)), alors (P (n)) est vraie pour tout entier naturel
n ≥ n0 .

Preuve. On pose A l’ensemble des entiers naturels n pour lesquels la proposition (P(n)) est vraie et
on applique le théorème 1.1. On en déduit que A contient l’ensemble des entiers plus grands ou égaux à
n0 .

Exemple 1.6. Démontrons par récurrence que, pour tout entier naturel n, l’entier n3 − n est divisible
par 3.
Posons, pour tout entier n, (P (n)) l’assertion ”n3 − n est divisible par 3. Nous vérifions
(i) 0 = 0 × 3, donc 03 − 0 = 0 est divisible par 3 et (P (0)) est vraie.
(ii) Soit n un entier naturel tel que (P (n)) est vraie (on dit c’est l’hypothèse de récurrence). Alors il
existe un entier k tel que n3 − n = 3k et

(n + 1)3 − (n + 1) = n3 + 3n2 + 3n + 1 − n − 1 = n3 − n + 3(n2 + n) = 3k + 3(n2 + n).

Donc, (n + 1)3 − (n + 1) est divisible par 3. On conclut que si (P (n)) est vraie, alors (P (n + 1)) est
vraie.
La démonstration est alors terminée.

1.3.5 Le contre-exemple
Pour infirmer une assertion (montrer qu’elle est fausse ), on peut utiliser un exemple ou un cas
particulier qui la contredit, qu’on appelle alors un contre-exemple.

Exemple 1.7.
Chapitre 2

Nombres réels

2.1 Rappels
Nous admettons l’existence et l’unicité de l’ensemble R, muni des lois internes d’addition +, de mul-
tiplication × et d’une relation ≤, ayant les propriétés suivantes :
(1) (R, + ,×) est un corps commutatif.
(2) (R, + , × , ≤) est un corps totalement ordonné.
(3) Toute partie non vide et majorée de R admet une borne supérieure dans R.
Rappelons que la propriété (1) signifie que (R,+) est un groupe commutatif, c’est-à-dire que
(i) la loi + est commutative : ∀(a,b) ∈ R2 , a + b = b + a,
(ii) la loi + est associative : ∀(a,b,c) ∈ R3 , (a + b) + c = a + (b + c),
(iii) la loi + admet un élément neutre : ∀a ∈ R, a + 0 = 0 + a = a,
(iv) tout élément de R admet un symétrique pour la loi + : ∀a ∈ R, a + (−a) = (−a) + a = 0,
et que (R∗ , ×), où R∗ = R\{0}, est un groupe commutatif, c’est-à-dire que
(i) la loi × est commutative : ∀(a,b) ∈ R2 , a × b = b × a,
(ii) la loi × est associative : ∀(a,b,c) ∈ R3 , (a × b) × c = a × (b × c),
(iii) la loi × admet un élément neutre : ∀a ∈ R, a × 1 = 1 × a = a.
(iv) Tout élément de R∗ admet un symétrique pour la loi : ∀a ∈ R∗ , a × 1
a = 1
a × a = 1,
et que la multiplication est distributive par rapport à l’addition :

∀(a,b,c) ∈ R3 ,a × (b + c) = a × b + a × c.

La propriété (2) signifie pour sa part que ≤ est une relation d’ordre total dans R, c’est-à-dire que
(i) la relation ≤ est réflexive : ∀a ∈ R, a ≤ a,
(ii) la relation ≤ est antisymétrique : ∀(a,b) ∈ R2 , (a ≤ b etb ≤ a) ⇒ a = b,
(iii) la relation ≤ est transitive :∀(a,b,c) ∈ R3 , (a ≤ b et b ≤ c) ⇒ a ≤ c,
(iv) la relation ≤ est totale : ∀(a,b) ∈ R2 , (a ≤ b ou b ≤ a),
et que cette relation d’ordre est compatible avec les lois + et ×, c’est-à-dire que
(i) ∀∀(a,b,c) ∈ R3 , a ≤ b ⇒ a + c ≤ b + c,
(ii) ∀(a,b,c) ∈ R3 , (a ≤ b et 0 ≤ c) ⇒ ac ≤ bc.
Chapitre 2. Nombres réels 11

Pour (a,b) ∈ R2 , a < b signifie a ≤ b et a 6= b. On peut également noter b ≥ a (resp. b > a) au lieu de
a ≤ b (resp. a < b).
Les éléments de R sont appelés les nombres réels et l’on note R+ = {x ∈ R|x ≥ 0},
R− = {x ∈ R|x ≤ 0}, R∗ = R\{0}, R∗+ = R+ \{0} et R∗− = R− \{0}.
Nous reviendrons dans la suite sur la propriété (3), qui est appelée l’axiome de la borne supérieure.

2.2 Majorant, minorant, bornes supérieure et inférieure


Définition 2.1. Soient A une partie de R et x un nombre réel. On dit que x est
• un majorant de A dans R si et seulement s’il est supérieur ou égal à tous les éléments de A
∀a ∈ A, a ≤ x
• un minorant de A dans R si et seulement s’il est inférieur ou égal à tous les éléments de A
∀a ∈ A, x ≤ a,
• un élément maximal, ou plus grand élément, de A dans R si et seulement si c’est un majorant
de A dans R appartenant à A,
• un élément minimal, ou plus petit élément, de A dans R si et seulement si c’est un minorant de A
dans R appartenant à A.

La partie A est dite majorée (resp. minorée) dans R si et seulement si elle possède au moins un
majorant (resp. minorant) et bornée si et seulement si elle est à la fois majorée et minorée. Si A
admet un plus grand (resp. petit) élément, celui-ci est unique et on le note max(A) (resp. min(A)).

Définition 2.2. On appelle


• la borne supérieure de A dans R le plus petit des majorants de A dans R, s’il existe. Il est alors
unique et noté sup(A).
• la borne inférieure de A dans R le plus petit des minorants de A dans R, s’il existe. Il est alors
unique et noté inf(A).

Notons que si A possède un plus grand (resp. petit) élément max(A) (resp. min(A)), alors max(A) =
sup(A) (resp. min(A) = inf(A)).

Exemple 2.1. − On a max[0,1] = 1, mais ni [0,1[ ni [0, + ∞[ n’ont un plus grand élément dans R.
− Les intervalles ∅, [0,1] et [0,1[ sont majorés dans R, mais l’ensemble N n’est pas majoré dans R.
− On a supR [0,1] = supR [0,1[= 1, mais sup[0, + ∞[ n’existe pas.

Rappelons enfin une propriété que nous admettrons, à savoir l’axiome de la borne supérieure.

Proposition 2.1. Toute partie non vide et majorée de R admet une borne supérieure dans R.

En considérant l’ensemble des opposés des éléments de la partie envisagée, on obtient à partir de cet
axiome le résultat suivant.

Proposition 2.2. Toute partie non vide et minorée de R admet une borne inférieure dans R.
Chapitre 2. Nombres réels 12

2.3 Propriétés des nombres réels


2.3.1 Théorème d’Archimède
Théorème 2.1. L’ensemble R est un corps archimédien, c’est-à-dire un corps vérifiant l’axiome d’Ar-
chimède :

∀x ∈ R, ∀y ∈ R∗+ , ∃n ∈ N∗ , ny > x.

Preuve. Soient x ∈ R et y ∈ R∗+ . Vérifions par l’absurde que x n’est pas un majorant de l’ensemble
E = {ny : n ∈ N∗ }. Supposons donc que x est un majorant de E. L’ensemble E étant une partie non vide
de R et de plus majorée par x, celui-ci admet, d’après la proposition 2.1, une borne supérieure réelle que
l’on note M . Comme M est le plus petit des majorants de E, le réel M − y n’est pas un majorant de E,
ce qui signifie qu’il existe un entier relatif n tel que ny > M − y, et donc (n + 1)y > M . Or, (n + 1)y ∈ E,
ce qui contredit le fait que M = sup E. On en déduit que le réel donné x ne majore pas E et, par suite,
qu’on peut trouver un élément n de E qui vérifie ny > x.

2.3.2 Partie entière d’un réel


Pour tout x ∈ R, en appliquant le théorème précédent avec y = 1, on voit que {n ∈ Z : n ≤ x} est une
partie majorée et non vide de Z, qui admet par conséquent un plus grand élément. Nous obtenons ainsi
le résultat suivant :

Proposition 2.3. Pour tout réel x, il existe un unique entier relatif n vérifiant n ≤ x < n + 1. Cet entier
est appelé partie entière de x et noté E(x).

Exemple 2.2. E(π) = 3, E 32 = 1, E − 32 = −2.


 

2.3.3 Valeur absolue d’un réel


Définition 2.3. On appelle valeur absolue du réel x le réel noté |x| défini par |x| = sup{x, − x}.

Proposition 2.4. (1) ∀x ∈ R, |x| = | − x|.


n
Y n
Y
(2) ∀(x,y) ∈ R2 , |xy| = |x||y| ou d’une façon générale ∀n ∈ N∗ , ∀(x1 ,...,xn ) ∈ Rn , xi = |xi |.
i=1 i=1
1 1
(3) ∀x ∈ R∗ , = .
x |x|
(4) ∀(x,y) ∈ R2 , |x + y| ≤ |x| + |y| (inégalité triangulaire) ou d’une façon générale
n
X n
X
∀n ∈ N∗ , ∀(x1 ,...,xn ) ∈ Rn , xi ≤ |xi |.
i=1 i=1

(5) ∀(x,y) ∈ R2 , ||x| − |y|| ≤ |x − y|.

Preuve. En exercice.

2.3.4 Densité de Q dans R


Définition 2.4. Une partie D de R est dite dense dans R si et seulement si

∀(x,y) ∈ R2 , (x < y ⇒ (∃d ∈ D, x < d < y)).


Chapitre 2. Nombres réels 13

Théorème 2.2. L’ensemble Q est dense dans R.

Preuve. Soient (x,y) ∈ R2 , tel que x < y. Posons ε = y − x > 0.


Puisque R est archimédien, il existe n ∈ N∗ tel que nε > 1, c’est-à-dire n1 < ε.
En notant m = E(nx) + 1, on obtient m − 1 = E(nx) ≤ nx < E(nx) + 1 = m.
D’où, x < m 1
n ≤ x + n < x + ε = y.

2.4 Intervalles
Définition 2.5. Une partie A de R est un intervalle si, dès qu’elle contient deux réels, elle contient
tous les réels intermédiaires, c’est-à-dire

∀(a,b) ∈ A, ∀x ∈ R, (a ≤ x ≤ b ⇒ x ∈ A).

Exemple 2.3. .
− R+ est un intervalle. En effet, tout réel compris entre deux réels positifs est lui même positif.
− R∗ n’est pas un intervalle. On a en effet −1 ∈ R∗ , 1 ∈ R∗ et −1 ≤ 0 ≤ 1, mais 0 ∈
/ R∗ .

Classification des intervalles

La propriété de la borne supérieure permet de classifier tous les intervalles de R. Tout d’abord, ∅ est
un intervalle, ainsi que tout singleton {x}(avec x réel), puisque ces deux types d’ensemble vérifient la
définition ci-dessus. Considérons maintenant un intervalle A contenant au moins deux éléments.
(i) Si A est à la fois majoré et minoré, l’intervalle possède une borne supérieure, que l’on note b = sup(A),
et une borne inférieure, notée a = inf(A). On a alors ∀x ∈ A, a ≤ x ≤ b et donc A ⊂ {x ∈ R : a ≤
x ≤ b}. Réciproquement, soit x un réel tel que a < x < b ; x n’est pas un majorant (resp. minorant)
de A, donc il existe un réel z (resp. y) tel que z > x (resp. x > y).
Par conséquent, y et z appartiennent à A et on a y < x < z. En utilisant la définition d’un intervalle,
il vient que x appartient à A, qui contient donc tous les éléments compris entre a et b.
Selon que les réels a et b appartiennent eux-mêmes à A ou non, on peut avoir
A = {x ∈ R : a ≤ x ≤ b} = [a, b], l’intervalle est dit fermé borné ou encore appelé segment,
A = {x ∈ R : a < x ≤ b} =]a, b], l’intervalle est dit borné semi-ouvert à gauche,
A = {x ∈ R : a ≤ x < b} = [a, b[, l’intervalle est dit borné semi-ouvert à droite,
A = {x ∈ R : a < x < b} =]a, b[, l’intervalle est dit borné ouvert.
(ii) Si A est minoré et non majoré, l’intervalle admet une borne inférieure que l’on note a et ∀x ∈ A, x ≥
a. Réciproquement, soit x un réel tel que x > a ; x n’est ni un majorant, ni un minorant de A, donc
il existe y et z appartenant à A tels que y < x < z et par conséquent x ∈ A.
Selon que le réel a appartient ou non à A, on peut avoir
A = {x ∈ R : x ≥ a} = [a, +∞[, l’intervalle est dit fermé non majoré,
A = {x ∈ R : x > a} =]a, +∞[, l’intervalle est dit ouvert non majoré.
(iii) Si A est majoré et non minoré, on peut avoir de la même façon
A = {x ∈ R : x ≤ b} =] − ∞,b], l’intervalle est dit fermé non minoré,
A = {x ∈ R : x ≤ b} =] − ∞,b[, l’intervalle est dit ouvert non minoré.
Chapitre 2. Nombres réels 14

(iv) Si A est non majoré et non minoré, un réel x quelconque n’est ni minorant, ni majorant de A, il
existe donc des réels y et z appartenant à A tels que y < x < z et x ∈ A. Par conséquent, on a
A = R.
En définitive, tout intervalle est l’un des onze types mentionnés ci-dessus.

2.5 Droite numérique achevée


Définition 2.6. On appelle droite numérique achevée, et l’on note R, l’ensemble R ∪ {−∞, + ∞} où
−∞ et +∞ sont deux éléments non réels, sur lequel sont prolongées les lois internes + et ×, ainsi que la
relation d’ordre ≤.

La relation ≤ est étendue à R de la manière suivante

∀x ∈ R, −∞ < x < +∞, −∞ ≤ −∞, +∞ ≤ +∞.

On remarquera que les lois + et × ne sont définies que partiellement sur R ; on a en effet

∀x ∈ R, x + (+∞) = +∞, x + (−∞) = −∞, (+∞) + (+∞) = (+∞), (−∞) + (−∞) = (−∞).

et d’autre part

∀x > 0, x × (+∞) = (+∞) × x = +∞, x × (−∞) = (−∞) × x = −∞ ;


∀x < 0, x × (+∞) = (+∞) × x = −∞, x × (−∞) = (−∞) × x = +∞ ;
(+∞) × (+∞) = (−∞) × (−∞) = +∞, (+∞) × (−∞) = (−∞) × (+∞) = −∞,

mais les sommes (+∞) + (−∞), (−∞) + (+∞) et les produits 0 × (+∞), (+∞) × 0 0 × (−∞), (−∞) × 0
ne sont pas définis. Ils correspondent à des formes indéterminés.

Proposition 2.5. Toute partie non vide de R admet une borne supérieure et une borne inférieure dans
R.
Chapitre 3

Suites numériques

3.1 Généralités
3.1.1 Définitions et propriétés
Une suite numérique est une application de N dans K (où K = R ou C). Plutôt que de noter
u : N → K
n 7→ u(n)
on emploie souvent les notations (un )n∈N , (un )n≥0 ou bien encore (un )n .
Une suite réelle (resp. complexe) est une suite numérique telle que ∀n ∈ N, un ∈ R (resp. C).
Pour chaque entier n, un est appelé le ne terme de la suite. On veillera à ne pas confondre la suite
(un )n∈N et son terme général un . L’ensemble des suites numériques et noté F(N,K), ou encore KN .

Définition 3.1. Une suite numérique (un )n∈N est dite constante si et seulement si ∀n ∈ N, un+1 = un .
Elle est dite stationnaire si et seulement si elle est constante à partir d’un certain rang, c’est-à-dire
si

∃N ∈ N, ∀n ∈ N, (n ≥ N ⇒ un+1 = un .

Elle est dite périodique si et seulement s’il existe un entier p strictement positif tel que ∀n ∈ N, un+p =
un .

Définition 3.2. Une suite numérique (un )n∈N est dite bornée si et seulement s’il existe un réel positif
M tel que ∀n ∈ N, |un | ≤ M .

Définition 3.3. Une suite réelle (un )n∈N est dite majorée (resp. minorée) si et seulement s’il existe un
réel positif M (resp. m), appelé majorant (resp. minorant) de la suite (un )n∈N tel que ∀n ∈ N, un ≤ M
(resp. un ≥ m).

On voit qu’une suite réelle est bornée si et seulement si elle est majorée et minorée.

3.1.2 Opérations sur les suites


On peut définir sur l’ensemble des suites numériques KN
- une addition :
(wn )n∈N = (un )n∈N + (vn )n∈N ⇔ ∀n ∈ N, wn = un + vn .
Cette opération est commutative, associative et admet pour élément neutre la suite constante nulle.
Toute suite (un )n∈N a une opposée (−un )n∈N . (KN ,+) est un groupe commutatif.
Chapitre 3. Suites numériques 16

- une multiplication interne :

(wn )n∈N = (un )n∈N (vn )n∈N ⇔ ∀n ∈ N, wn = un vn .

cette opération est commutative, associative et admet pour élément neutre la suite la suite constante
égale à 1. Elle est distributive par rapport à l’addition. il existe cependant des suites non nulles
n’ayant pas d’inverse et donc, (KN ,.) n’est pas un groupe.
- une multiplication externe par les scalaires :

∀λ ∈ K, (wn )n∈N = λ(un )n∈N ⇔ ∀n ∈ N, wn = λun .

3.1.3 Suites extraites


Définition 3.4. Soit une (un )n∈N . On appelle suite extraite de (un )n∈N toute suite (uσ(n) )n∈N , σ : N →
N est une application strictement croissante.

On donne aussi le nom de sous-suite de (un )n∈N à toute suite extraite de (un )n∈N .
L’application σ de la définition est parfois appelée une extractrice. On montre aisément, par récurrence,
que pour toute extractrice σ, on a
∀n ∈ N, σ(n) ≥ n.

Exemple 3.1. − (u2n )n∈N et (u2n+1 )n∈N sont des suites extraites de (un )n∈N .
− (un2 )n∈N est extraite de (un )n∈N .
− (un2 −n )n∈N n’est pas une suite extraire de (un )n∈N (car le terme u0 apparaı̂t deux fois).

3.1.4 Suites de Cauchy


Définition 3.5. Une suite (un )n∈N est dite de Cauchy si seulement si
∀ε > 0, ∃N ∈ N tel que ∀p,q ∈ N, p > q ≥ N =⇒ |up − uq | < ε.

Proposition 3.1. Toute suite de Cauchy est bornée.

Preuve. Soit (un )n∈N une suite de Cauchy. On a

∀ε > 0, ∃N ∈ N tel que ∀p,q ∈ N, p > q ≥ N =⇒ |up − uq | < ε

Fixons une valeur particulière pour ε, par exemple ε = 1. Il existe alors un entier N tel que
∀p ∈ N, p > N =⇒ |up − uN | < 1 i.e. ∀p ∈ N, p > N =⇒ uN − 1 < up < uN + 1.
Posons A = min{u0 ,u1 ,...,uN −1 , uN − 1} et B = max{u0 ,u1 ,...,uN −1 , uN + 1}. Nous avons alors

∀n ∈ N, A ≤ un ≤ B,

et, par suite, (un )n∈N est bornée.

3.1.5 Suites réelles monotones


Définition 3.6. Soit (un )n∈N une suite réelle. On dit que (un )n∈N est :
• croissante si et seulement si ∀n ∈ N, un ≤ un+1 ;
• décroissante si et seulement si ∀n ∈ N, un+1 ≤ un ;
• strictement croissante si et seulement si ∀n ∈ N, un < un+1 ;
Chapitre 3. Suites numériques 17

• strictement décroissante si et seulement si ∀n ∈ N, un+1 < un ;


• monotone si et seulement si elle est croissante ou décroissante ;
• strictement monotone si et seulement si elle est strictement croissante ou strictement décrois-
sante.

3.2 Convergence d’une suite


3.2.1 Généralités
Définition 3.7. On dit qu’une suite numérique (un )n∈N
• converge vers l ∈ K si et seulement si ∀ε > 0, ∃N ∈ N tel que ∀n ∈ N, n ≥ N =⇒ |un − l| < ε ;
• converge si et seulement s’il l ∈ K tel que (un )n∈N converge vers l, i.e.
∃l ∈ K, ∀ε > 0, ∃N ∈ N tel que ∀n ∈ N, n ≥ N =⇒ |un − l| < ε ;
• diverge si et seulement si elle ne converge pas, i.e. ∀l ∈ K, ∃ε > 0, ∀N ∈ N, ∃n ∈ N, (n ≥ N et |un − l| ≥ ε).

On remarque que (un )n∈N converge vers l si et seulement si la suite (un −l)n∈N converge vers 0. Lorsque
(un )n∈N converge vers l, on dit aussi que (un )n∈N tend vers l.

Proposition 3.2. Si une suite numérique (un )n∈N converge vers l, alors l est unique.

Preuve. Supposons que (un )n∈N converge à la fois vers l et vers l0 , avec l 6= l0 .
Posons ε = 31 |l − l0 |.
Par définition de la convergence, il existe des entiers N1 et N2 tels que

∀n ∈ N, (n ≥ N1 ⇒ |un − l| < ε) et n ≥ N2 ⇒ |un − l0 | < ε




Notons N = max{N1 ,N2 }. Alors ∀n ∈ N, n ≥ N ⇒ (|un − l| < ε et |un − l0 | < ε).


2
Donc, |l − l0 | ≤ |un − l| + |un − l0 | < 2ε = |l − l0 |, ce qui est absurde.
3
Il ne peut donc exister qu’un scalaire l tel que (un )n∈N converge vers l. On dit que l est la limite de
(un )n∈N , et l’on note
lim = l ou un →n→+∞ l
n→+∞

3.2.2 Suites réelles tendant vers l’infini


Définition 3.8. Soit (un )n∈N une suite réelle. On dit que (un )n∈N
1. tend vers +∞ si et seulement si ∀A ∈ R, ∃N ∈ N tel que ∀n ∈ N, n ≥ N ⇒ un ≥ A. On note
lim un = +∞.
n→+∞
2. tend vers −∞ si et seulement si ∀B ∈ R, ∃N ∈ N tel que ∀n ∈ N, n ≥ N ⇒ un ≤ B. On note
lim un = −∞.
n→+∞

3.2.3 Suites adjacentes


La limite d’une suite étant définie, nous pouvons introduire la notion de suites adjacentes.

Définition 3.9. Deux suites réelles (un )n∈N et (vn )n∈N sont dites adjacentes si et seulement si
(i) l’une croissante et l’autre décroissante,
(ii) lim (un − vn ) = 0.
n→+∞
Chapitre 3. Suites numériques 18

3.2.4 Propriétés d’une suites convergente


Proposition 3.3. Toute suite réelle convergente est bornée.

Preuve. Soit (un )n∈N une suite réelle qui converge vers l. On a

∀ε > 0, ∃N ∈ N tel que ∀n ∈ N, n ≥ N =⇒ |un − l| < ε

Fixons ε = 1. Il existe alors un entier N tel que ∀n ∈ N, n ≥ N ⇒ |un − l| < 1 ⇒ l − 1 < un < l + 1.
Posons A = min{u0 ,u1 ,...,uN −1 , l − 1} et B = max{u0 ,u1 ,...,uN −1 , l + 1}. Nous avons alors

∀n ∈ N, A ≤ un ≤ B,

et, par suite, (un )n∈N est bornée.

Remarque 3.2.1. • La réciproque de cette proposition est fausse, comme le montre l’exemple de la
suite définie par un = (−1)n pour tout entier n ≥ 0.
• Toute suite non bornée diverge.

Proposition 3.4. Si une suite (un )n∈N est convergente, alors toute suite extraite de (un )n∈N est conver-
gente et tend vers la même limite.

Preuve. Soient (un )n∈N une suite convergente de limite l et ϕ une extractrice.
On a ∀ε > 0, ∃N ∈ N tel que ∀n ∈ N, n ≥ N ⇒ |un − l| < ε.
Par ailleurs, ∀n ∈ N, ϕ(n) ≥ n ; donc n ≥ N ⇒ ϕ(n) ≥ ϕ(N ) ≥ N et par suite, |uϕ(n) − l| < ε.
On déduit que ∀ε > 0, ∃N ∈ N tel que ∀n ∈ N, n ≥ N ⇒ |uϕ(n) − l| < ε. D’où, le résultat.
La contraposée de cette proposition permet de montrer qu’une suite diverge : il suffit pour cela d’en
extraire deux suites qui convergent vers deux limites différentes.

Exemple 3.2. Soit (un )n∈N la suite définie par un = (−1)n pour tout entier n ≥ 0. La suite (u2n )n∈N a
pour limite 1 et la suite (u2n+1 )n∈N a pour limite −1. Donc, cette suite diverge.

Par ailleurs, la réciproque de cette dernière proposition est en général fausse ; en effet, on peut trouver
des suites divergentes qui admettent pourtant des suites extraites convergeant vers une même limite.

Exemple 3.3. Soit la suite réelle définie par un = cos (n + (−1)n ) π3 pour tout entier n ≥ 0. On a


u6n = cos((6n + 1) π3 ) = cos(2πn + π3 ) = 21 et u6n+4 = cos((6n + 5) π3 ) = cos(2πn + 5π 1


3 ) = 2 . Cependant, la
suite (un )n∈N est divergente car u3n+6 = cos((6n + 2) π3 ) = cos(2πn + 2π 1
3 ) = −2.

On a la proposition suivante.

Proposition 3.5. Soient (un )n∈N une suite réelle et l ∈ R. Pour que (un )n∈N converge vers l, il faut et
il suffit que les suites (u2n )n∈N et (u2n+1 )n∈N convergent toutes deux vers l.

Preuve. Soient (un )n∈N une suite réelle et l ∈ R.


⇒) Il résulte de la proposition 3.4.
⇐) Supposons que les suites extraites (u2n )n∈N et (u2n+1 )n∈N convergent vers l et montrons que (un )n∈N
converge aussi vers l.
Soit ε > 0. Il existe des entiers N1 et N2 tels que, pour tout entier n,

(n ≥ N1 ⇒ |u2n − l| < ε) et (n ≥ N2 ⇒ |u2n+1 − l| < ε)

Posons N = max{2N1 , 2N2 + 1} et soit p ∈ N tel que p ≥ N .


Chapitre 3. Suites numériques 19

(i) Si p est pair, alors il existe n ∈ N tel que p = 2n i.e. 2n ≥ 2N1 ; donc, n ≥ N1 ⇒ |u2n − l| =
|up − l| < ε.
(ii) Si p est impair, alors il existe n ∈ N tel que p = 2n + 1 i.e. 2n + 1 ≥ 2N2 + 1 ; donc,
n ≥ N2 ⇒ |u2n+1 − l| = |up − l| < ε.
Ce qui montre que la suite (up )p∈N converge vers l.

Proposition 3.6. Toute suite convergente est de Cauchy.

Preuve. Soient (un )n∈N une suite convergente de limite l et ε > 0.


ε
Il existe alors un entier N tel que ∀n ∈ N, n ≥ N ⇒ |un − l| < .
2
ε ε
Soient p, q ∈ N deux entiers supérieurs à N ; on a alors |up − l| < et |uq − l| < .
2 2
ε ε
Or, |up − uq | ≤ |up − l| + |uq − l| < + = ε.
2 2
D’où, (un )n∈N est une suite de Cauchy.
On montrera dans la suite que la réciproque de cette proposition est vraie.

3.2.5 Propriétés d’ordre des suites réelles convergentes


Passage à la limite dans une inégalité

Proposition 3.7. Soient (un )n∈N et (vn )n∈N deux suites réelles convergentes.
Si ∀n ∈ N, un ≤ vn , alors lim un ≤ lim vn .
n→+∞ n→+∞

Preuve. Supposons que lim un > lim vn . On a lim (un − vn ) > 0, ce qui entraı̂ne qu’il existe
n→+∞ n→+∞ n→+∞
N ∈ N tel que ∀n ∈ N, n ≥ N ⇒ (un − vn ) > 0, ce qui contredit l’hypothèse.
Même si l’on a ∀n ∈ N, un < vn , on peut avoir lim un ≤ lim vn , car le passage à la limite élargit
n→+∞ n→+∞
les inégalités, comme le montre l’exemple suivant.

Exemple 3.4. Soient les suites définies par


1 1
∀n ∈ N, un = 1 − et vn = 1 + .
n+1 n+1
On a, ∀n ∈ N, un < vn et lim un = lim = 1.
n→+∞ n→+∞

Encadrement par des suites de même limite

Proposition 3.8. ”théorème des gendarmes” Soient (un )n∈N , (vn )n∈N et (wn )n∈N trois suites réelles
telles que
∃N0 ∈ N, ∀n ∈ N tel que n ≥ N0 ⇒ un ≤ vn ≤ wn .

Si (un )n∈N et (wn )n∈N convergent vers la même limite l, alors la suite (vn )n∈N converge aussi vers l.

Preuve. Soit ε > 0. Puisque (un )n∈N et (wn )n∈N convergent toutes deux vers l, il existe deux entiers
N1 et N2 tels que ∀n ∈ N, n ≥ N1 ⇒ |un − l| < ε et n ≥ N2 ⇒ |wn − l| < ε.
Posons N = max{N0 ,N 1 ,N2 }, on a :
 un ≤ vn ≤ wn

∀n ∈ N, n ≥ N ⇒ |un − l| < ε ⇒ −ε < un − l ≤ vn − l ≤ wn − l < ε.

|wn − l| < ε

Donc, ∀n ∈ N, n ≥ N ⇒ |vn − l| < ε, ce qui montre la convergence de (vn )n∈N vers l.
Chapitre 3. Suites numériques 20

cos(x)
Exemple 3.5. Étant donné un réel x, soit la suite (un )n∈N∗ définie par ∀n ∈ N∗ , un = .
n
1 1
On a −1 ≤ cos x ≤ 1 ; d’où, ∀n ∈ N∗ , − n1 ≤ cosn x ≤ n1 . Puisque lim (− ) = lim ( ) = 0, on a
n→+∞ n n→+∞ n
finalement lim un = 0.
n→+∞

Proposition 3.9. Soient (un )n∈N et (vn )n∈N deux suites réelles telles que ∀n ∈ N, un ≤ vn . On a
(i) Si lim un = +∞, alors lim vn = +∞.
n→+∞ n→+∞
(ii) Si lim vn = −∞, alors lim un = −∞.
n→+∞ n→+∞

Preuve.
(i) Soit A ∈ R. Comme lim un = +∞, il existe N ∈ N tel que ∀n ∈ N, n ≥ N ⇒ un ≥ A.
n→+∞
Donc, il existe N ∈ N tel que ∀n ∈ N, n ≥ N ⇒ vn ≥ un ≥ A ; d’où, lim vn = +∞.
n→+∞
(ii) La preuve s’obtient de manière analogue à celle de (i).

3.2.6 Propriétés algébriques des suites convergentes


Proposition 3.10. Soient (un )n∈N , (vn )n∈N deux suites numériques et k,l,l0 ∈ K. On a
(i) lim un = l ⇒ lim |un | = |l|.
n→+∞ n→+∞
(ii) lim un = l et lim vn = l0 ⇒ lim (un + vn ) = l + l0 .
n→+∞ n→+∞ n→+∞
(iii) lim un = l ⇒ lim (kun ) = kl ;
n→+∞ n→+∞
(iv) lim un = 0 et (vn )n∈N est bornée ⇒ lim un vn = 0.
n→+∞ n→+∞
(v) lim vn = l et lim vn = l ⇒ lim un vn = ll0 .
0
n→+∞ n→+∞ n→+∞
0 0 1 1 1
6 0⇒
(vi) lim vn = l et l = est défini à partir d’un certain rang et lim = 0.
n→+∞ vn n→+∞ vn l
un un l
(vi) lim un = l, lim vn = l0 et l0 6= 0 ⇒ est défini à partir d’un certain rang et lim = 0.
n→+∞ n→+∞ vn n→+∞ vn l
Preuve. En exercice.
Proposition 3.11. Soient (un )n∈N et (vn )n∈N deux suites réelles.
(i) Si lim un = +∞ et (vn )n∈N est minorée, alors lim (un + vn ) = +∞.
n→+∞ n→+∞
(ii) Si lim un = +∞ et (∃C ∈ R∗+ , N0 ∈ N/∀n ∈ N, n ≥ N0 ⇒ vn ≥ C), alors lim un vn = +∞.
n→+∞ n→+∞
1
(iii) Si lim un = +∞,alors lim = 0.
n→+∞ n→+∞ un
1
(iv) Si lim un = 0 et (∃N0 ∈ N/∀n ∈ N, n ≥ N0 ⇒ vn > 0), alors lim = +∞.
n→+∞ n→+∞ un

Preuve. En exercice.
On peut résumer certains résultats dans les tableaux suivants.
l +∞ −∞ PL
l0 l+ l0 +∞ −∞ PL
+∞ +∞ +∞ ? ?
−∞ −∞ ? −∞ ?
PL PL ? ? ?
Tableau des limites possibles pour la suite (un + vn )n∈N en fonction
des limites respectives des suites réelles (un )n∈N et (vn )n∈N .
Chapitre 3. Suites numériques 21

où PL signifie ” n’a pas de limite ” et le symbole ”?” correspond à une forme indéterminée qui signifie que
tous les cas sont possibles :
− la limite finie ; par exemple, pour tout n ∈ N∗ , un = n et vn = 1
n − n, lim (un + vn ) = 0 ;
n→+∞
− la limite infinie ; par exemple, pour tout n ∈ N∗ , un = n2 et vn = −n, lim (un + vn ) = +∞ ;
n→+∞
− il n’y a pas de limite ; par exemple, pour tout n ∈ N∗ , un = n + (−1)n et vn = −n, (un + vn ) = (−1)n
qui n’a pas de limite.

l>0 l=0 l<0 +∞ −∞ PL


l0 >0 ll0 0 ll0 +∞ −∞ PL
l0 =0 0 0 0 ? ? ?
l0 < 0 ll0 0 ll0 −∞ +∞ PL
+∞ +∞ ? −∞ +∞ −∞ ?
−∞ −∞ ? +∞ −∞ +∞ ?
PL PL ? PL ? ? ?
Tableau des limites possibles pour la suite (un vn )n∈N en fonction
des limites respectives des suites réelles (un )n∈N et (vn )n∈N .

Là encore, PL signifie ” n’a pas de limite ” et le symbole ”?” correspond à une forme indéterminée qui
signifie que différents cas sont possibles :
− la limite finie ; par exemple, pour tout n ∈ N∗ , un = n et vn = n1 , lim (un vn ) = 1 ;
n→+∞

− la limite infinie ; par exemple, pour tout n ∈ N∗ , un = n2 et vn = 1


n , n→+∞
lim (un vn ) = +∞ ;
sin2 n
− il n’y a pas de limite ; par exemple, pour tout n ∈ N∗ , un = n et vn = n , (un vn ) = sin2 n qui n’a
pas de limite..

3.3 Existence de limites


On rassemble dans cette section plusieurs résultats relatifs à l’existence de limites.

Proposition 3.12. (i) Toute suite réelle croissante et majorée est convergente.
(ii) Toute suite réelle décroissante et minorée est convergente.

Preuve.
(i) Soit (un )n∈N une suite réelle croissante et majorée. L’ensemble des termes de la suite A = {uk : k ∈
N} est une partie de R non vide et majoré, qui admet donc une borne supérieure, notée l. On a alors
∀n ∈ N, un ≤ l et ∀ε > 0, l − ε n’est pas un majorant de A. Il existe alors N ∈ N tel que

l − ε < uN .

Or, la suite (un )n∈N est croissante, on en déduit que

∀n ∈ N, (n ≥ N ⇒ l − ε < uN ≤ un ≤ l < l + ε) ,

et donc |un − l| < ε. On en conclut que (un )n∈N converge vers l.


(ii) La preuve s’obtient de manière analogue à celle de (i).
Chapitre 3. Suites numériques 22

Proposition 3.13. (i) Toute suite réelle croissante et non majorée tend vers +∞.
(ii) Toute suite réelle décroissante et non minorée tend vers −∞.

Preuve.
(i) Soit (un )n∈N une suite réelle croissante non majorée. L’ensemble des termes de la suite U = {uk :
k ∈ N} est une partie de R non majorée, et donc, quel que soit A > 0, il existe un entier N tel que
uN > A. La suite (un )n∈N étant croissante, on en déduit

∀n ∈ N, (n ≥ N ⇒ un ≥ uN > A) ;

d’où lim un = +∞.


n→+∞
(ii) Cette preuve s’obtient de manière analogue à celle de (i).

Proposition 3.14. Deux suites adjacentes convergent et ont même limite.

Preuve. Soient (un )n∈N et (vn )n∈N deux suites adjacentes. Supposons (un )n∈N croissante et (vn )n∈N
décroissante. La suite (un − vn )n∈N est donc croissante et tend, par hypothèse, vers 0. On en déduit que
c’est une suite négative et, ∀n ∈ N, un ≤ vn .
Donc, ∀n ∈ N, u0 ≤ un ≤ vn ≤ v0 , car (un )n∈N est croissante et (vn )n∈N est décroissante.
D’où, la suite (un )n∈N est croissante et majorée par v0 et la suite (vn )n∈N est décroissante est minorée
par u0 . D’après la proposition 3.12, les suites (un )n∈N et (vn )n∈N convergent.
D’autre part, on a lim (un − vn ) = 0 et, comme les deux suites sont convergentes, on en déduit
n→+∞
lim un = lim vn .
n→+∞ n→+∞
Nous pouvons à présent établir le théorème suivant :

Théorème 3.1. ( ”des segments emboı̂tés”)


Soit ([an ,bn ])n∈N une suite de segments emboı̂tés ( i.e ∀n ∈ N, [an+1 ,bn+1 ] ⊂ [an ,bn ]) telle que lim (bn −
n→+∞
\
an ) = 0. Alors l’intersection [an ,bn ] est un singleton.
n∈N

Preuve. Remarquons que (an )n∈N et (bn )n∈N sont adjacentes. On en déduit qu’elles convergent vers
\
une même limite l et l’on a, ∀n ∈ N, an ≤ l ≤ bn ; donc, l ∈ [an ,bn ].
\ n∈N
0
D’autre part, si l ∈ [an ,bn ], alors l0 ∈ [an ,bn ] pour tout entier n ; donc, ∀n ∈ N, |l − l0 | ≤ bn − an .
n∈N
En faisant tendre n vers l’infini, on obtient l = l0 .
\
D’où, [an ,bn ] = {l}.
n∈N

Théorème 3.2. ( ” de Bolzano-Weierstrass”)


De toute suite réelle bornée, on peut extraire une suite convergente.

Preuve. Soit (un )n∈N une suite réelle bornée. Il existe alors deux réels a0 et b0 tels que, pour tout
entier n, a0 ≤ un ≤ b0 . Il clair que U0 = {k ∈ N : uk ∈ [a0 ,b0 ]} = N est infini.
Soit à présent n ∈ N ; on suppose défini le couple (an ,bn ) ∈ R2 tel que
(i) an ≤ bn ,
(ii) Un = {k ∈ N : uk ∈ [an ,bn ]} est infini,
1
(iii) bn − an = n (b0 − a0 ).
2
Chapitre 3. Suites numériques 23

En considérant alors le milieu a+2bn de l’intervalle fermé [an ,bn ], il est clair que l’un des ensembles
{k ∈ N : uk ∈ [an , an +b
2 ]}, {k ∈ N : uk ∈ [an ,
n an +bn
2 ]} est infini (car la réunion de deux ensembles finis
est fini). Alors, il existe an+1 ,bn+1 ∈ R tels que
(i) an+1 ≤ bn+1 ,
(ii) Un+1 = {k ∈ N : uk ∈ [an+1 ,bn+1 ]} est infini,
1 1
(iii) bn+1 − an+1 = (bn − an ) = n (b0 − a0 ).
2 2
Donc, les intervalles [an ,bn ], n ∈ N, forment une suite de segments emboı̂tés dont la longueur tend vers 0.
On en déduit, d’après le théorème 3.1 qu’ils ont un seul point commun l ∈ R, qui est la limite commune
de (an )n∈N et (bn )n∈N .
D’autre part, il est facile de construire une extractrice σ telle que σ(0) = 0 et telle qu’il existe, pour tout
entier n, un entier k tel que si k > σ(n) alors uk ∈ [an ,bn ] et σ(n + 1) = k. Les inégalités an ≤ uσ(n) ≤ bn ,
valables pour tout entier n, montrent alors que la suite (uσ(n) )n∈N tend vers l.

Théorème 3.3. Toute suite de Cauchy à valeurs réelles est convergente (On dit que R est complet).

Preuve. Soit (un )n∈N une suite réelle de Cauchy. D’après la proposition 3.1, on sait que (un )n∈N est
bornée. Il existe, en vertu du théorème de Bolzano-Weierstrass, une suite extraite (uσ(n) )n∈N qui converge
vers une limite l.
Montrons que la suite (un )n∈N converge vers l.
Soit ε > 0. Alors, il existe N1 , N2 ∈ N tel que
 ε
∀n ∈ N, n ≥ N1 ⇒ |uσ(n) − l| < , car lim uσ(n) = l
2 n→+∞

et  ε
∀n, m ∈ N, n > m ≥ N2 ⇒ |un − um | < , car (un )n∈N est une suite réelle de Cauchy.
2
Posons N = max{N1 ,N2 }. Si n ≥ N , on a d’une part σ(n) > n ≥ N1 ⇒ |uσ(n) − l| < 2ε et d’autre part
σ(n) > n ≥ N2 ⇒ |uσ(n) − un | < 2ε . En combinant ces deux inégalités, on obtient
 ε ε 
∀n ∈ N, n ≥ N ⇒ |un − l| ≤ |un − uσ(n) | + |uσ(n) − l| < + = ε.
2 2
Ce qui permet de conclure que la suite (un )n∈N est convergente.
En alliant ce théorème à la proposition 3.6, on en déduit qu’une suite réelle converge si seulement si
elle est de Cauchy.
On termine cette section avec un résultat relatif à la suite des moyennes arithmétiques des premiers
termes d’une suite convergente.

Définition 3.10. (”moyenne de Cesáro”)


Soit (un )n∈N∗ une suite. On appelle moyenne de Cesáro de (un )n∈N∗ la suite (sn )n∈N∗ de terme général
n
1X u1 + u2 + ... + un
sn = uk = .
n n
k=1

Théorème 3.4. ”lemme de Cesáro”


La moyenne de Ces’aro d’une suite convergente de limite l converge vers l.

Preuve. Soient (un )n∈N∗ une suite convergente de limite l ∈ R et Soit (sn )n∈N∗ sa moyenne de Cesáro.
Soit ε > 0. Alors, il existe entier naturel non nul N tel que
 ε
∀n ∈ N∗ , n ≥ N ⇒ |un − l| < .
2
Chapitre 3. Suites numériques 24

Pour n ≥ N , on a donc
n n N −1 n N −1
1X 1X 1 X 1 X 1 X n−N +1ε
|sn − l| = (uk − l) ≤ |uk − l| ≤ |uk − l| + |uk − l| ≤ |uk − l| + .
n n n n n n 2
k=1 k=1 k=1 k=N k=1

N −1 N −1 N −1
!
X 1 X 1 X ε
|uk −l| étant finie, on a lim |uk −l| = 0 et ∃N 0 ∈ N∗ , ∀n ∈ N∗ n ≥ N 0 ⇒ |uk − l| < .
n→+∞ n n 2
k=1 k=1  k=1 
00 0 ∗ 00 ε n−N +1ε
Notons N = max(N,N ). Il s’ensuit que ∀n ∈ N , n ≥ N ⇒ |sn − l| < + <ε .
2 n 2

3.4 Quelques suites particulières


3.4.1 Suite arithmétique
Définition 3.11. Soit r ∈ K.
Une suite (un )n∈N est dite arithmétique de raison r si seulement si pour tout entier naturel n,
un+1 = un + r.

Proposition 3.15. Soient (un )n∈N une suite arithmétique de raison r et p,m ∈ N.
1. ∀n ∈ N, un = u0 + nr.
2. Si r = 0, la suite est constante. Si K = R, la suite est strictement croissante si r > 0 et strictement
décroissante si r < 0.
m−1
X m(m − 1) m
3. ∀m ∈ N∗ , Sm = uk = mu0 + r = (u0 + um−1 ).
2 2
k=0

3.4.2 Suite géométrique


Définition 3.12. Soit q ∈ K.
Une suite (un )n∈N est dite géométrique de raison q si seulement si pour tout entier naturel n,
un+1 = qun .

Proposition 3.16. Soient (un )n∈N une suite géométrique de raison q et m ∈ N.


1. ∀n ∈ N, un = q n u0 .
2. La suite est constante, si q = 1 et stationnaire en 0 (à partir de n = 1) si q = 0.
m−1 m−1
X X 1 − qm
3. ∀m ∈ N∗ , Sm = uk = u0 q k = u0 si q 6= 1, Sm = mu0 si q = 1.
1−q
k=0 k=0

3.4.3 Suite arithmético-géométrique


Définition 3.13. Une suite (un )n∈N est dite arithmético-géométrique si seulement s’il existe deux
constantes q, r ∈ K tels que ∀n ∈ N, un+1 = qun + r.

Remarquons qu’une telle suite est arithmétique si q = 1 et géométrique si r = 0.


r
Si q 6= 1, alors ∀n ∈ N, un = q n (u0 − α) + α où α = 1−q .
Chapitre 4

Fonctions numériques d’une variable


réelle

Nous allons dans ce chapitre étudier des fonctions numériques d’une variable réelle, c’est-à-dire des
applications définies sur une partie D de R et à valeurs dans le corps K (avec K = R ou C). L’ensemble D,
appelé le domaine de définition de f , est le plus souvent une réunion d’intervalles non vides de R. L’étude
d’une fonction s’effectuant cependant intervalle par intervalle, nous nous restreindrons ici le plus souvent
à des applications dont les ensembles de définition sont contenus dans un intervalle non vide de R, noté I.

4.1 Généralités sur les fonctions


Soit I une partie non vide de R. On note F(I, K), ou encore KI , l’ensemble des applications définies
sur I à valeurs dans K.
Nous rappelons que si f et g appartiennent à F(I,K), alors f = g ⇔ ∀x ∈ I, f (x) = g(x).

4.1.1 Opérations sur les fonctions


L’ensemble F(I, K) est muni de deux lois internes :
• Une addition : ∀f, g ∈ F(I, K), ∀x ∈ I, (f + g)(x) = f (x) + g(x),
• Une multiplication : ∀f, g ∈ F(I, K), ∀x ∈ I, (f g)(x) = f (x)g(x)
et d’une loi externe :
• Une multiplication par les scalaires ∀λ ∈ K, ∀f ∈ F(I, K), ∀x ∈ I(λ.f )(x) = λ.f (x).

4.1.2 Relation d’ordre pour les fonctions réelles


Lorsque les fonctions considérées sont à valeur réelles, il est possible d’utiliser la relation d’ordre total
usuelle sur R pour comparer certaines fonctions entre elles.

Définition 4.1. On définit dans l’ensemble F(I,R) une relation, notée ≤, par

∀f,g ∈ F(I,R), (f ≤ g ⇔ (∀x ∈ I, f (x) ≤ g(x))).

Les résultats suivants sont immédiats.

Proposition 4.1. (1) La relation ≤ est une relation d’ordre sur F(I, R).
(2) La relation ≤ est compatible avec l’addition : ∀f,g,h ∈ F(I, R), (f ≤ g ⇒ f + h ≤ g + h).
Chapitre 4. Fonctions numériques d’une variable réelle 26

3) On a ∀f,g,h ∈ F(I, R),(f ≤ g et 0 ≤ h ⇒ f h ≤ gh).

Remarque 4.1.1. L’ordre introduit sur F(I,R) par la relation ≤ définie ci-dessus n’est plus totale dès
que la partie I n’est plus réduite à un point. Supposons en effet que I contienne deux éléments
( distincts
1, si x = a
a et b. Considérons alors les applications f et g de I dans R définies par ∀x ∈ I, f (x) =
0, si x 6= a
(
1, si x = b
et g(x) =
0, si x 6= b.
On a dans ce cas ni f ≤ g (car g(a) < f (a)), ni g ≤ f ( car f (b) < g(b)). On dit que f et g ne sont
pas comparable pour ≤.

4.1.3 Propriétés globales des fonctions


Parité

Dans ce paragraphe, I désigne une partie de R symétrique par rapport à 0, c’est-à-dire telle que
∀x ∈ I, −x ∈ I.

Définition 4.2. Soit f ∈ F(I, K). On dit que f est


• paire si et seulement si ∀x ∈ I, f (−x) = f (x),
• impaire si et seulement si ∀x ∈ I, f (−x) = −f (x).

Remarque 4.1.2. − Toute application constante est paire.


− Si est une application impaire et 0 ∈ I alors f (0) = 0.
− Une application peut n’être ni paire ni impaire.

Périodicité

Définition 4.3. Soient f ∈ F(I, K) et T un réel strictement positif. L’application f est dite périodique
de période T si et seulement si ∀x ∈ I, x + T ∈ I et f (x + T ) = f (x).

Remarque 4.1.3. − Toute application constante d’un intervalle [a, + ∞[ ou ]a, + ∞[ (a ∈ R) dans
R est périodique de période T pour tout réel T strictement positif.
− Si f est une application périodique de période T , alors, pour tout n ∈ N∗ , f est périodique de période
nT .

Exemple 4.1.
− L’application de R dans R définie par f (x) = x − E(x) où E(x) désigne la partie entière du réel x, est
périodique de période 1.
− Les applications sin et cos sont périodiques de période 2π sur R.
− L’application tan est périodique de période π sur R \ { π2 + nπ, n ∈ Z}.

Monotonie

Définition 4.4. Soit I une partie de R et f ∈ F(I, R). On dit que f est
• croissante si et seulement si ∀(x,x0 ) ∈ I 2 ,(x ≤ x0 ⇒ f (x) ≤ f (x0 )),
• décroissante si et seulement si ∀(x,x0 ) ∈ I 2 , (x ≤ x0 ⇒ f (x) ≥ f (x0 ))
Chapitre 4. Fonctions numériques d’une variable réelle 27

• strictement croissante si et seulement si ∀(x,x0 ) ∈ I 2 , (x < x0 ⇒ f (x) < f (x0 )),


• strictement décroissante si et seulement si ∀(x,x0 ) ∈ I 2 , (x < x0 ⇒ f (x) > f (x0 )),
• monotone si et seulement si elle est croissante ou décroissante
• strictement monotone si et seulement si elle est strictement croissante ou strictement décrois-
sante.

Les résultats de la proposition suivante se démontre de façon immédiate.


Proposition 4.2. 1) Si f, g ∈ F(I,R) sont croissantes, alors f + g est croissante.
2) Si f ∈ F(I,R) est croissante et λ ∈ R+ , alors λf est croissante.
3) Si f,g ∈ F(I,R) sont croissantes et positives, alors f g est croissante.
4) Si f ∈ F(I,R) et g ∈ F(J,R) sont croissantes et si f (I) ⊂ J, alors l’application composée g ◦ f ∈
F(I,R) est croissante.

Majoration et minoration

Une application f : I → R est dite


• majorée si et seulement s’il existe M ∈ R tel que ∀x ∈ I, f (x) ≤ M .
• minorée si et seulement s’il existe m ∈ R tel que ∀x ∈ I, m ≤ f (x).
• bornée si et seulement s’il existe (m,M ) ∈ R2 tel que m ≤ f (x) ≤ M .

Remarque 4.1.4. − Une application f est majorée (resp. minorée, resp. bornée) si et seulement si
la partie f (I) de R est majorée (resp. minorée, resp. bornée).
− Toute application constante est bornée.
− L’application f est bornée si et seulement |f | est majorée, c’est-à-dire si et seulement si ∃M ∈
R+ , ∀x ∈ I,|f (x)| ≤ M .
Définition 4.5. Si l’application f : I → R est majorée (resp. minorée), alors f (I) admet une borne
supérieure (resp. inférieure) dans R, appelée borne supérieure (resp. inférieure) de f et notée sup f (x)
x∈I
(resp inf f (x).
x∈I
Cette proposition résulte directement de l’axiome de la borne supérieure. Ainsi, par définition, sup f (x) =
x∈I
sup({f (x)|x ∈ I}) = sup(f (I)).

4.2 Limites
Dans cette section, I désigne un intervalle de R, non vide et non réduit à un point.

4.2.1 Notion de limite


Notion de voisinage d’un point

Définition 4.6. Soit une propriété dépendant du point x de I. On dit que cette propriété est vraie au
voisinage d’un point x0 de I si elle est vraie sur l’intersection de I avec un intervalle non vide, ouvert et
centré en x0 (par exemple ]x0 − r,x0 + r[ avec r > 0).
Dans le cas où l’intervalle I est non majoré (resp. non minoré), on dit que la propriété est vraie au
voisinage de +∞ (resp. −∞) s’il existe un réel M tel qu’elle est vraie sur l’intersection de I avec un
intervalle ]M ; +∞[(resp. ] − ∞; M [).
Chapitre 4. Fonctions numériques d’une variable réelle 28

Limite d’une fonction en un point

Définition 4.7. Soient x0 ∈ I et f une fonction définie sur I, sauf peut-être au point x0 , et à valeurs
dans K. On dit que f admet l ∈ K pour limite en x0 si et seulement si

∀ε > 0,∃α > 0 tel que ∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ |f (x) − l| ≤ ε).

On voit que le fait que f ne soit pas définie en x0 n’empêche pas de considérer sa limite en ce point.
On dit alors que f admet une limite lorsque x tend vers x0 par valeurs différentes. Lorsque f a pour limite
l ∈ K en x0 , on dit aussi que f admet une limite finie en x0 .
1
Exemple 4.2. − La fonction de R dans R qui à chaque réel x associe x sin a pour limite 0 en 0.
x
− Soit f l’application de R dans R définie par
(
0 si x 6= 0
∀x ∈ R, f (x) =
1 si x = 0.
. Cette fonction tend vers 0 quand x tend vers 0 par valeurs différentes.

Remarque 4.2.1. Comme le montre ce dernier exemple, une application f peut admettre l pour limite
en x0 sans que l’on ait pour autant l = f (x0 ).

Définition 4.8. Soient x0 ∈ I et f une fonction définie sur I, sauf peut-être au point x0 , et à valeurs
réelles. On dit que f admet
• +∞ pour limite en x0 si et seulement si ∀A ∈ R, ∃α > 0,∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ f (x) ≥ A).
• −∞ pour limite en x0 si et seulement si ∀B ∈ R, ∃α > 0,∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ f (x) ≤ B).

Unicité de la limite

Proposition 4.3. Si une application admet une limite finie en un point, alors celle-ci est unique.

Preuve. Raisonnons par l’absurde et supposons que l’application f : I → K admet letl0 appartenant
à K pour limites en un point x0 de I, avec l 6= l0 .
Posons ε = 31 |l − l0 |. Il existe α > 0 et α0 > 0 tels que

∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ |f (x) − l| < ε) et (0 < |x − x0 | ≤ α0 ⇒ |f (x) − l0 | < ε).

Alors, ∀x ∈ I tel que 0 < |x − x0 | ≤ min(α, α0 ), nous avons


2
|l − l0 | ≤ |l − f (x)| + |f (x) − l0 | ≤ 2ε ≤ |l − l0 |,
3
, d’où la contradiction.
En vertu de cette unicité, si l’application f admet l pour limite en x0 , on dit que l est la limite de f
en x0 et l’on note lim f (x) = l ou encore f (x) →x−→a l.
x−→a

Extension de la notion de limite

Il est possible d’étendre les définitions de limites finies et infinies si la fonction f est définie sur un
intervalle non majoré ou non minoré.

Définition 4.9. Soient f ∈ F(I,R) et l ∈ K.


Si I admet +∞ comme extrémité, on dit que f admet l pour limite en +∞ si et seulement si
Chapitre 4. Fonctions numériques d’une variable réelle 29

∀ε > 0, ∃A ∈ R, ∀x ∈ I, (x ≥ A ⇒ |f (x) − l| ≤ ε),


et l’on note lim f (x) = l.
x→+∞
Si I admet −∞ comme extrémité, on dit que f admet l pour limite en −∞ si et seulement si
∀ε > 0, ∃B ∈ R, ∀x ∈ I, (x ≤ B ⇒ |f (x) − l| ≤ ε),
et l’on note lim f (x) = l.
x→−∞

Définition 4.10. Soit f ∈ F(I, R).


Si I admet +∞ comme extrémité, on dit que f admet +∞ (resp. −∞) pour limite en +∞ si et
seulement si
∀A ∈ R, ∃A0 ∈ R, ∀x ∈ I(x ≥ A0 ⇒ f (x) ≥ A)

(resp. ∀B ∈ R, ∃A0 ∈ R, ∀x ∈ I(x ≥ A0 ⇒ f (x) ≤ B),

et l’on note lim f (x) = +∞.(resp. lim f (x) = −∞).


x→+∞ x→+∞
Si I admet −∞ comme extrémité, on dit que f admet +∞ (resp. −∞) pour limite en −∞ si et
seulement si
∀A ∈ R, ∃B 0 ∈ R, ∀x ∈ I(x ≤ B 0 ⇒ f (x) ≥ A)
(resp
∀B ∈ R, ∃B 0 ∈ R, ∀x ∈ I(x ≤ B 0 ⇒ f (x) ≤ B)
et l’on note lim f (x) = +∞.(resp lim f (x) = −∞).
x→−∞ x→−∞

Dans toute la suite de ce chapitre et afin d’unifier la présentation des définitions et résultats, nous
S
considérons le point x0 comme élément de R = R {−∞, +∞}.
Nous établissons à présent la proposition suivante
Proposition 4.4. Si f : I → K admet une limite finie en x0 ∈ R alors f est bornée au voisinage de x0 .
Preuve. Supposons que a ∈ R, les cas a = +∞ et a = −∞ étant analogues.
Il existe α > 0 tel que l’on a :
∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ |f (x) − l| < 1 ⇒ |f (x)| < |f (x) − l| + |l| ≤ 1 + |l|).
et donc f est bornée au voisinage de x0 .

Limites à droite, limites à gauche

Définition 4.11. On dit que f admet une limite à droite (resp. à gauche) en x0 ∈ R si et seulement
si la restriction de f à I∩]x0 ; +∞[ (resp. ] − ∞; x0 [∩I) notée f|I∩]x ;+∞[ (resp. f|]−∞;x [∩I ) admet une limite
0 0
en x0 .
Lorsque f admet l pour limite à droite (resp. à gauche) en x0 , on note lim f (x) = l ou lim f (x) =
x→x0 ,x>a x→x+
0
l (resp. lim f (x) = l ou lim = l), et l’on a
x→x0 ,x0 <0 x→x−
0

limx→x+ f (x) = l ⇔ (∀ε > 0, ∃α > 0, ∀x ∈ I, (0 < x − x0 ≤ α ⇒ |f (x) − l| ≤ ε)


0

(resp. limx→x+ f (x) = l ⇔ (∀ε > 0, ∃α > 0, ∀x ∈ I, (0 < a − x ≤ α ⇒ |f (x) − l| ≤ ε)


0

|x|
Exemple 4.3. Considérons la fonction x 7→ définie sur R∗ .si x > 0, f (x) = 1 et l’on a limx→0+ f (x) =
x
1.si x < 0, f (x) = −1 et l’on a limx→0− f (x) = −1.
Chapitre 4. Fonctions numériques d’une variable réelle 30

Caractérisation séquentielle de la limite

Proposition 4.5. Pour qu’une application f : I → K admette l ∈ K pour limite en x0 ∈ R il faut et il


suffit que, pour toute suite (un )n∈N d’éléments de I et ayant x0 pour limite, on ait

lim f (un ) = l
n→+∞

Preuve. Faisons l’hypothèse que x0 ∈ R les cas x0 = +∞ et x0 = −∞ étant analogues.


Supposons tout d’abord que f admet l pour limite en x0 .
Soient(un )n∈N une suite dans I, telle que lim un = x0 et ε > 0.
n→+∞
Puisque lim f (x) = l, il existe α > 0 tel que
x→x0

∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ |f (x) − l| ≤ ε).

Par ailleurs, (un )n∈N tends vers x0 , il existe N ∈ N tel que

∀n ∈ N, (n ≥ N ⇒ |un − x0 | ≤ α).

On a alors

∀n ∈ N, (n ≥ N ⇒ |un − x0 | ≤ α ⇒ |f (un ) − l| ≤ ε).

D’où lim f (un ) = l.


n→+∞
Supposons à présent que f n’admet pas l pour limite en x0 . Il existe donc ε > 0 tel que

∀α > 0, ∃x ∈ I(0 < |x − x0 | ≤ α, et, |f (x) − l| > ε)


1
En particulier, en prenant α = pour tout n ∈ N∗ , il existe un ∈ I tel que
n
1
|un − x0 | ≤ et |f (un ) − l| > ε.
n
On constate alors que la suite (un )n∈N dans I ainsi construite satisfait lim un = x0 mais est telle que
n→+∞
(f (un ))n∈N ne converge pas vers l.

4.2.2 Ordre et Limite


Passage à la limite dans une inégalité

Proposition 4.6. Soient f et g deux fonctions de F(I, R) admettant une limite en x0 ∈ R.


Si l’on a f (x) ≤ g(x) au voisinage de x0 , alors lim f (x) ≤ lim g(x).
x→x0 x→x0

Preuve. Supposons que f et g tendent respectivement vers l et l0 lorsque x tend vers x0 .


Soit ε >0. Il existe α > 0 et α0 > 0 tels que 
ε ε
∀x ∈ I, 0 < |x − x0 | ≤ α ⇒ |f (x) − l| ≤ et 0 < |x − x0 | ≤ α0 ⇒ |g(x) − l0 | ≤ .
2 2
ε ε ε ε
⇒ l − ≤ f (x) ≤ l + et l0 − ≤ g(x) ≤ l0 + .
2 2 2 2
Nous avons donc,
ε ε
∀x ∈ I tel que 0 < |x − x0 | ≤ min(α,α0 ), l − ≤ f (x) ≤ g(x) ≤ l + ,
2 2
d’où l − l0 ≤ ε. On a finalement l ≤ l0 car ε > 0 est arbitraire.
Chapitre 4. Fonctions numériques d’une variable réelle 31

Théorème d’encadrement

Proposition 4.7. (théorème des gendarmes)


Soient f , g et h trois fonctions de F(I,R) telles que f (x) ≤ g(x) ≤ h(x) au voisinage de x0 ∈ R. Si f
et h admettent une même limite l en x0 , alorsg admet aussi l pour limite en x0 .

Preuve. supposons que x0 ∈ R, les cas x0 = +∞ et x0 = −∞ étant analogues.


Soit ε > 0. Puisque f et h admettent l pour limites en x0 , alors il existe α > 0 et α0 > 0 tels que

∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ |f (x) − l| ≤ ε) et (0 < |x − x0 | ≤ α0 ⇒ |h(x) − l| ≤ ε).

Nous avons donc, ∀x ∈ I tel que 0 < |x − x0 | ≤ min(α,α0 ) ⇒ |f (x) − l| ≤ ε et |h(x) − l| ≤ ε


⇒ −ε ≤ f (x) − l ≤ g(x) − l ≤ h(x) − l ≤ ε
⇒ |g(x) − l| ≤ ε. Donc g admet l pour limite en x0 .

Ce théorème d’encadrement s’avère très utile en pratique puisqu’il permet notamment de conclure à
l’existence d’une limite.

4.2.3 Opération algébrique sur les limites


Cas des limites finies

Proposition 4.8. Soient λ ∈ K. f,g : I → K, x0 ∈ R et (l,l0 ) ∈ K2 . On a


1) lim f (x) = l ⇒ lim |f (x)| = |l|.
x→x0 x→x0
2) lim f (x) = l et lim g(x) = l0 ⇒ lim (f (x) + g(x)) = l + l0 .
x→x0 x→x0 x→x0
3) lim f (x) = l ⇒ lim (λf (x)) = λl ;
x→x0 x→x0
4) lim f (x) = 0 et g(x) est bornée au voisinage de a ⇒ lim f (x)g(x) = 0.
x→x0 x→x0
0 0
5) lim f (x) = l et lim g(x) = l ⇒ lim f (x)g(x) = ll .
x→x0 x→x0 x→x0
1 1
6) lim g(x) = l0 et l0 6= 0 ⇒ lim = 0.
x→x0 x→x0 g(x) l
f (x) l
7) lim f (x) = l, lim g(x) = l0 et l0 6= 0 ⇒ lim = 0.
x→x0 x→x0 x→x0 g(x) l

Preuve. Supposons que x0 ∈ I ⊂ R les cas x0 = +∞ et x0 = −∞ étant analogues.


1) Soit ε > 0.
Puisque lim f (x) = l, il existe α > 0 tel que ∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ |f (x) − l| ≤ ε).
x→x0
Comme ∀x ∈ I, ||f (x)| − |l|| ≤ |f (x) − l|,
on en déduit que ∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ ||f (x)| − |l|| ≤ ε) et finalement lim |f (x)| = |l|.
x→x0
2) Soit ε > 0. Puisque lim f (x) = l et lim g(x) = l0 , alors il existe α > 0 et α0 > 0 tels que
x→x0 x→x0
ε ε
∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ |f (x) − l| ≤ ) et (0 < |x − x0 | ≤ α0 ⇒ |g(x) − l0 | ≤ )
2 2
00 0
En notant α = min(α,α ), nous avons ∀x ∈ I,
ε ε
|x − x0 | ≤ α” ⇒ (|f (x) − l| ≤ et |g(x) − l0 | ≤ ) ,
2 2
⇒ |(f (x) + g(x)) − (l + l0 )| ≤ |f (x) − l| + |g(x) − l0 | ≤ ε),
d’où, lim (f (x) + g(x)) = l + l0 .
x→x0
Chapitre 4. Fonctions numériques d’une variable réelle 32

3) Soit ε > 0. Puisque lim f (x) = l, il existe α > 0 tel que


x→x0
ε
∀x ∈ I, 0 < |x − x0 | ≤ α ⇒ |f (x) − l| ≤
|λ| + 1
|λ|ε
⇒ |λf (x) − λl| = |λ||f (x) − l| ≤
|λ| + 1
et donc lim (λf (x)) = λl.
x→x0
4) Par hypothèse, il existe α > 0 et C ∈ R+ tel que ∀x ∈ I, (0 < |x − x0 | ≤ α ⇒ |g(x)| ≤ C).
Soit ε > 0 Puisque lim f (x) = 0, il existe α0 > 0 tel que
x→x0

ε
∀x ∈ I, (0 < |x − x0 | ≤ α0 ⇒ |f (x)| ≤ ),
C +1
En notant α” = min(α,α0 ) > 0 nous avons alors

∀x ∈ I, (0 < |x − x0 | ≤ α” ⇒ |f (x)g(x)| = |f (x)||g(x)| ≤ ≤ ε),
C +1
et donc lim f (x)g(x) = 0.
x→x0
5) Notons h l’application de I dans K telle que h(x) = f (x) − l, ∀x ∈ I.
Nous avons ∀x ∈ I, f (x)g(x) = h(x)g(x) + lg(x).
D’après 3) lim lg(x) = ll0 . D’autre part, lim h(x) = 0.
x→x0 x→x0
Donc, d’après 4) on a lim h(x)g(x) = 0, puisque g est bornée au voisinage de x0 .
x→x0
Finalement, lim f (x)g(x) = ll0 .
x→x0
6) Puisque lim g(x) = l0 , on a d’après 1) lim |g(x)| = |l0 |. Comme |l0 | > 0, il existe α > 0 tel que
x→x0 x→x0
|l0 |
∀x ∈ I, (0 < |x − x0 | ≤ α0 ⇒ |g(x)| > ),
2
En particulier ∀x ∈ I, 0 < |x − x0 | ≤ α ⇒ g(x) 6= 0).
1
La fonction est donc définie sur au moins I∩]x0 − α, x0 + α[.
g
Nous avons alors, pour tout x de I∩]x0 − α, x0 + α[,
1 1 |g(x) − l0 | 2
− 0 = 0
≤ 0 2 |g(x) − l0 |.
g(x) l |g(x)| × |l | |l |
2 1 1
Comme lim g(x) = l0 , on en déduit lim 0 2 |g(x) − l0 | = 0, puis que lim | − 0 | = 0, soit
x→x0 x→x0 |l | x→x0 g(x) l
1 1
encore lim = 0.
x→x0 g(x) l
f 1
7) Il suffit d’appliquer 5) et 6) en remarquant que = f
g g

Cas des limites infinies

Proposition 4.9. Soient f,g : I → R et x0 ∈ R.


1) Si lim f (x) = +∞ et si g est minorée au voisinage de x0 , alors lim (f (x) + g(x)) = +∞.
x→x0 x→x0
2) Si lim f (x) = +∞ et si g est minorée au voisinage de x0 par une constante strictement positive,
x→x0
alors
lim (f (x).g(x)) = +∞.
x→x0

Preuve. Les preuves sont analogues à celles de 1) et 2) dans la proposition 1.11.


Chapitre 4. Fonctions numériques d’une variable réelle 33

Composition des limites

Proposition 4.10. Soient f : I → R, J un intervalle de R tel que f (I) ⊂ J, g : J → K, x0 ∈ R, y0 ∈ R


et l ∈ K ∪ {−∞, +∞}. Si f admet y0 pour limite en x0 et g admet l pour limite en y0 , alors g ◦ f admet
l pour limite en x0 .

Preuve. Supposons x0 ∈ K, y0 ∈ K et l ∈ K, les autres cas étant analogues.


Soit ε > 0, puisque lim g(y) = l, il existe α > 0 tel que
y→y0

∀y ∈ J,((0 < |y − y0 | ≤ α ⇒ |g(y) − l| ≤ ε.

Puis, comme lim f (x) = y0 , il existe α0 > 0 tel que


x→x0

∀x ∈ I,(0 < |x − x0 | ≤ α0 ⇒ |f (x) − y0 | ≤ α).

Nous avons alors

∀x ∈ I,0 < |x − x0 | ≤ α0 ⇒ |f (x) − b| ≤ α ⇒ |g(f (x)) − l| ≤ ε),

D’où, lim g ◦ f (x) = l.


x→x0

4.2.4 Cas des fonctions monotones


Nous considérons dans cette sous-section des fonctions à valeurs réelles.
2
Théorème 4.1. Soient (a,b) ∈ R tel que a < b et f une application croissante définie sur l’intervalle
]a; b[.
1) Si f est majorée, alors f admet une limite finie en b et lim f (x) = sup f (x)
x→b x∈]a,b[
2) Si f n’est pas majorée, alors f admet +∞ pour limite en b.

Preuve.
1) La partie f (]a,b[) de R est non vide et majorée, elle admet une borne supérieure l dans R.
Soit ε > 0. Puisque l − ε n’est pas un majorant de f (]a,b[) dans R, il existe x0 ∈]a, b[ tel que
l − ε ≤ f (x) ≤ l. Alors, pour tout x ∈]a, b[, nous avons x0 ≤ x ⇒ f (x0 ) ≤ f (x) ⇒ l − ε ≤ f (x) ≤
l ⇒ |f (x) − l| ≤ ε.
Supposons b ∈ R (le cas b = +∞ étant analogue).
En posant α = b − x0 > 0, nous avons ainsi ∀x ∈]a,b[, (0 < b − x ≤ α ⇒ |f (x) − l| ≤ ε).
D’où, lim f (x) = l.
x→b
2) Soit A ∈ R. Puisque f n’est pas majorée, il existe x0 ∈]a, b[ tel que f (x0 ) ≥ A.
Alors, pour x ∈]a,b[, nous avons

x0 ≤ x ⇒ f (x0 ) ≤ f (x) ⇒ f (x) ≥ A.

Supposons b ∈ R (le cas b = +∞ étant analogue ). En posant α = b − x0 > 0 , nous avons ainsi
∀x ∈]a,b[, (0 < b − x ≤ α ⇒ |f (x)| ≥ A), d’où lim f (x) = +∞.
x→b

Lorsque b ∈ R, on peut parler de limite à gauche en b dans le théorème précédent. On déduit de ce


dernier résultat qu’une application croissante admet toujours une limite, finie ou infinie, en b. Un résultat
analogue est obtenu pour les applications décroissantes en considérant f dans cette démonstration.
Chapitre 4. Fonctions numériques d’une variable réelle 34

4.2.5 Applications équivalentes au voisinage d’un point


Définition 4.12. On dit que deux applications f et g définies sur I sont équivalentes au voisinage
de x0 si et seulement s’il existe une application h telle que lim h(x) = 1 et
x→x0

∃δ > 0,∀x ∈ I, (0 < |x − x0 | ≤ δ ⇒ f (x) = g(x)h(x)).

On note alors f ∼x−→a g

Définition 4.13. Soit I un intervalle de R non majoré (resp. non minoré). On dit que deux applications
f et g définies sur I sont équivalentes au voisinage de +∞ (resp. −∞) si et seulement s’il existe un
réel A (resp. B) et une fonction h, définie sur l’ensemble des points de I qui vérifient x ≥ A (resp. x ≤ B),
telle que lim h(x) = 1 (resp. limx→−∞ h(x) = 1) et que f (x) = g(x)h(x). On note alors f ∼x→+∞ g
x→+∞
(resp. f ∼x→−∞ g).

La notion d’applications équivalentes permet de ramener localement l’étude d’une application à celle
d’une autre application dont le comportement est connu.

Exemple 4.4.
− Les applications de R dans R x 7→ x et x 7→ sin x sont équivalentes au voisinage de 0. item[−] Les
applications de R dans R x 7→ x et x 7→ ex − 1 sont équivalentes au voisinage de 0.
− Les applications de R dans R x 7→ x et x 7→ ln(1 + x) sont équivalentes au voisinage de 0.
x2
− Les applications de R dans R x 7→ et x 7→ 1 − cosx sont équivalentes au voisinage de 0.
2
− Les applications de R dans R x 7→ x4 + x2 + x + 1 et x 7→ x4 + x3 sont équivalentes au voisinage de +∞
ou de −∞.

Proposition 4.11. Si deux applications f et g sont équivalentes au voisinage de x0 ∈ R et que f admet


une limite en x0 , alors g admet également cette limite en x0 .

Preuve. Par définition, on a g = f h dans un voisinage de x0 . Le résultat se déduit alors facilement


du 5) de la proposition 9.20, puisque lim h(x) = 1.
x→x0

4.3 Continuité
Dans cette section, I désigne un intervalle deR, non vide et non réduit à un point.

4.3.1 Définitions
Continuité en un point

Soient f une application définie sur I à valeurs dans K et x0 ∈ I.

Définition 4.14. On dit que f est continue en x0 si et seulement si

∀ε, ∃α > 0, ∀x ∈ I, (|x − x0 | ≤ α ⇒ |f (x) − f (x0 )| ≤ ε).


Chapitre 4. Fonctions numériques d’une variable réelle 35

À la différence de la notion de limite, on ne parle de continuité qu’en des points où la fonction est
définie.
On dit que f est discontinue en x0 si et seulement si f n’est pas continue en x0 , qui est alors appelé
un point de discontinuité de f .
Définition 4.15. On dit qu’une application f admet une discontinuité de première espèce en x0
si et seulement si elle n’est pas continue en x0 et possède une limite à droite et une limite à gauche en
x0 . Lorsque f n’est pas continue et n’admet pas de discontinuité de première espèce en x0 , on dit qu’elle
admet une discontinuité de seconde espèce en x0 .
Exemple 4.5. − L’application f de R dans R définie pour chaque réel x par
(
0, si x < 0
f (x) =
1, six ≥ 0.
admet une discontinuité de première espèce en 0.
− L’application f de R dans R définie pour chaque réel x par
(
1
x, si x 6= 0
f (x) =
0, si x = 0
admet une discontinuité de seconde espèce en 0.
La proposition suivante est immédiate.
Proposition 4.12. Pour qu’une application f soit continue en x0 , il faut et il suffit qu’elle admette f (x0 )
pour limite en x0 .
Proposition 4.13. Si une application f est continue en x0 , alors elle est bornée au voisinage de x0 .
Preuve. Si l’application f est continue en x0 , alors il existe α > 0 tel que
∀x ∈ I, (|x − x0 | ≤ α ⇒ |f (x) − f (a)| ≤ 1 ⇒ |f (x)| ≤ |f (x) − f (a)| + |f (a)| ≤ |f (a)| + 1),
donc f est bornée au voisinage de x0 .

Continuité à gauche, Continuité à droite

Définition 4.16. Soient f une application définie sur I à valeurs dans K et x0 ∈ I. On dit que f est
continue à droite (resp. à gauche) en x0 si et seulement si la restriction de f à I∩]x0 , + ∞[ (resp.] −
∞,x0 [∩I) est continue en x0 .
Remarque 4.3.1. L’application f est continue en x0 si et seulement si elle est continue à droite et à
gauche en x0 .
Exemple 4.6. Considérons l’application qui à tout réel x associe la partie entière de x, E(x). Pour tout
entier naturel n, cette application est continue à droite en n, mais n’est pas continue à gauche en n.

Caractérisation séquentielle de la continuité

Comme dans le cas de la limite, on peut définir la notion de continuité en se servant de suites réelles.
Proposition 4.14. Soient f une application définie sur I à valeurs dans K et x0 ∈ I, f est continue en
x0 si et seulement si, pour toute suite (un )n inN d’éléments de I tendant vers x0 , la suite (f (un ))n∈N tend
vers f (x0 ).
Preuve. La preuve découle directement de la proposition 4.12 et de la caractérisation séquentielle de
la limite (proposition 4.5.
Chapitre 4. Fonctions numériques d’une variable réelle 36

Prolongement par Continuité

Définition 4.17. Soit f une fonction définie sur I sauf en un point a de I et admettant une limite finie
l en a. On appelle prolongement par continuité de f en a la fonction g, définie sur I par
(
l, si x = a
g(x) =
f (x) sinon.

Cette fonction est continue en x0 .

Il est facile de vérifier que lorsqu’une fonction admet un prolongement par continuité en un point,
celui-ci est unique. S’il n’y a pas de risque d’ambiguı̈té, on désigne alors la fonction et son prolongement
par le même symbole. Notons qu’on peut aussi définir un prolongement par continuité à droite de x0 ou
à gauche de x0 .
sinx
Exemple 4.7. − On peut prolonger par continuité en 0 la fonction f (x) = en posant f (0) = 1.
x
1

− On peut prolonger par continuité en 0 la fonction f (x) = e 2 en posant f (0) = 0.
x

Continuité sur un intervalle

Définition 4.18. Soit f une application définie sur I à valeurs dans K. On dit que f est continue sur I
si et seulement si f est continue en tout point de I.

On note C(I,K) l’ensemble des applications de I dans K continues sur I Continuité par morceaux.

Définition 4.19. Soient (a,b) ∈ R2 , tel que a < b et f : [a,b] → K. On dit que f est continue par
morceaux sur [a,b] si et seulement s’il existe n ∈ N∗ et (a0 , · · · ,an ) ∈ [a,b]n+1 tels que a = a0 < · · · <
an = b et, pour tout i ∈ {0, · · · ,n − 1}, f est continue sur ]ai , ai+1 [ et admet une limite finie à droite en
ai et une limite finie à gauche en ai+1 .

4.3.2 Opérations algébriques sur les applications continues


Proposition 4.15. Soient λ ∈ K, f,g : I → K et x0 ∈ I.
1) Si f est continue en x0, alors |f | est continue en x0 .
2) Si f et g sont continues en x0 , alors f + g est continue en x0 .
3) Si f est continue en x0 , alors λf est continue en x0 .
4) Si f et g sont continues en x0 , alors f g est continue en x0 .
1
5) Si g est continue en x0 et si g(x0 ) 6= 0, alors est continue en x0 .
g
f
6) Si f et g sont continues en x0 et si g(x0 ) 6= 0, alors est continue en x0
g

Preuve. Les preuves sont similaires à celles de la proposition 2.20.

Proposition 4.16. Soient f : I → R, J un intervalle de R tel que f (I) ⊂ J, g : J → K et x0 ∈ I. si f


est continue en x0 et g est continue en f (x0 ), alors g ◦ f est continue en x0 .

Preuve. La preuve est analogue à celle de la proposition 2.22.


De ces deux propositions, nous déduisons aisément des résultats de continuité globale sur l’intervalle
I.
Chapitre 4. Fonctions numériques d’une variable réelle 37

Proposition 4.17. Soient λ ∈ K, f,g : I → K


1) Si f est continue sur I, alors |f | est continue sur I.
2) Si f et g sont continues sur I, alors f + g est continue sur I.
3) Si f est continue sur I, alors λf est continue sur I.
4) Si f et g sont continues sur I, alors f g est continue sur I.
1
5) Si g est continue sur I et si ∀x ∈ Ig(x) 6= 0, alors est continue sur I.
g
f
6) Si f et g sont continues sur I et si (∀x ∈ Ig(x) 6= 0), alors est continue sur I.
g

Preuve. En exercice.

Proposition 4.18. Soient f : I → R J un intervalle de R tel que f (I) ⊂ J,g : J → K. si f est continue
sur I et g est continue sur f (I), alors g ◦ f est continue sur I.

Preuve. En exercice.

4.3.3 Fonction continue sur un intervalle


Théorème des valeurs intermédiaires

Théorème 4.2. Soient f une fonction continue sur I et (a,b) ∈ I 2 tel que f (a) ≤ f (b). Alors f atteint
toutes les valeurs intermédiaires entre f (a) et f (b), c’est-à-dire

∀y ∈ [f (a),f (b)], ∃c ∈ I, f (c) = y.

Preuve. Si y = f (a) ou y = f (b), le résultat est immédiat.


Soit donc y ∈]f (a), f (b)[. Considérons l’ensemble E = {x ∈ [a,b]|f (x) ≤ y}.
E est une partie de R non vide (car a ∈ E) et majorée (par b), qui admet donc une borne supérieure,
notée c. Nous allons montrer que f (c) = y.
Par définition de la borne supérieure, il existe une suite (xn )n∈N d’éléments de E telle que lim xn = c.
n→+∞
L’application f étant continue en c, on a lim f (xn ) = f (c). Or, pour tout n ∈ N, f (xn ) ≤ y et, donc
n→+∞
f (c) ≤ y.
D’autre part, f (b) > y c’est-à-dire c 6= b.
Ainsi, pour tout x ∈]c,b[, f (x) > y, donc lim f (x) = f (c) ≥ y. D’où, f (c) = y.
x→c

Remarque 4.3.2. Le réel c n’est pas forcément unique.

Corollaire 4.3.1. Soit f une fonction continue sur un intervalle [a,b] de R. Si f (a) × f (b) ≤ 0, alors il
existe c ∈ [a,b] tel que f (c) = 0.

Preuve. Puisque f (a) et f (b) ont des signes opposés, 0 est compris entre f (a) et f (b). D’après le
théorème des valeurs intermédiaires, il existe donc c in[a,b] tel que f (c) = 0.
Chapitre 4. Fonctions numériques d’une variable réelle 38

Continuité sur un segment

Proposition 4.19. Toute application réelle définie sur un segment [a, b], (a,b) ∈ R2 , et continue est
bornée et atteint ses bornes.

Preuve. Montrons que f est bornée. Supposons f non majorée.


Il existe alors une suite (xn )n∈N d’éléments de [a, b] telle que, pour chaque entier n, on a f (xn ) > n.
Puisque la suite est bornée, il existe, d’après le théorème de Bolzano–Weierstrass (théorème 1.25), une
suite extraite de (xn )n∈N notée (xσ(n) )n∈N qui converge vers un point c de [a; b].
Puisque f est continue sur [a,b], on déduit que la suite (f (xσ(n) ))n∈N tend vers f (c). Mais d’autre part,
on a ∀n ∈ N,f (xσ(n) ) > σ(n) ≤ n, donc lim f (xσ(n) ) = +∞, d’où une contradiction.
n→+∞
L’application f est donc majorée. En appliquant ce résultat à −f au lieu de f , on en déduit que f est
minorée. Finalement, f est bornée.
Montrons à présent que f atteint ses bornes. Notons M = sup f (x). Pour chaque entier n ≥ 1, il
x∈[a,b]
existe un réel xn dans [a,b] tel que
1
M− < f (xn ) ≤ M.
n
La suite (xn )n∈N ainsi construite étant bornée, on peut en extraire, en vertu du théorème de Bol-
zano–Weierstrass, une sous-suite de (xn )n∈N , notée (xτ (n) )n∈N qui converge vers un élément d de [a,b].
Puisque f est continue sur [a,b], on en déduit que la suite (f (xτ (n) ))n∈N tend vers f (d). D’autre part,
on a
1
∀n ∈ N∗ , M − < f (xτ (n) ) ≤ M.
τ (n)
D’où, par passage à la limite, M = f (d). Ceci montre que M est atteint par f c’est-à-dire ∃d ∈ [a,b], M =
f (d).
En appliquant ce résultat à −f au lieu de f , on montre que f atteint aussi inf f (x).
x∈[a,b]

Image d’un intervalle par une application continue

Proposition 4.20. L’image d’un intervalle par une application continue à valeurs réelles est un intervalle.

Preuve. Soient I un intervalle de R et f une application continue sur I à valeurs dansR. D’après le
théorème des valeurs intermédiaires (théorème 4.2), f (I) est un intervalle de R.
1
Exemple 4.8. − Soit I =]0,1] et f : x → . L’application f est continue sur I et f (I) = [1, + ∞[.
x
L’intervalle I est borné alors que f (I) n’est pas borné.
− Soit I =]0,2π] et f : x → sin x. L’application f est continue sur I et f (I) = [−1,1]. Dans ce
cas,l’intervalle I est ouvert alors que f (I) est fermé.

Comme le montrent les exemples ci-dessus, le caractère ouvert, fermé ou borné d’un intervalle n’est
pas toujours conservé par une application. On a cependant le résultat suivant.

Proposition 4.21. Soit (a,b) ∈ R2 , tel que a ≤ b et f : [a,b] → R une application. Si f est continue,
alors f ([a, b]) est un segment de R.

Preuve. D’après la proposition précédente, f ([a,b]) est un intervalle. D’après la proposition 4.19, c’est
une partie bornée de R qui contient ses bornes.
Chapitre 4. Fonctions numériques d’une variable réelle 39

Application réciproque d’une application continue strictement monotone

Théorème 4.3. (<< théorème de la bijection>>)


Soit f une application continue et strictement monotone sur I ; on note f˜ : I → f (I) l’application qui
à tout x de I associe f (x). Alors
1) L’ensemble f (I) est un intervalle dont les bornes sont les limites de f aux bornes de I.
2) L’application f˜ est bijective.
3) La bijection réciproque f˜−1 est continue sur f (I) et strictement monotone de même sens que f .

Preuve. Supposons, par exemple, que f est strictement croissante et posons I =]a, b[, avec (a,b) ∈ R2
tel que a < b.
1) Pour tout x de ]a; b[, on a lim f (t) < f (x) < lim f (t), donc f (I) ⊂] lim f (t), lim f (t)[.Réciproquement,
t→a t→b t→a t→b
soit y ∈ ] lim f (t), lim f (t)[, y n’est ni un majorant, ni un minorant de f (I), il existe donc des
t→a t→b
élémentsx1 et x2 de I tels que f (x1 ) < f (x)f (x2 ) D’après le théorème des valeurs intermédiaires
(théorème 2.40), il existe x0 ∈ I tel que f (x0 ) = y, d’où y ∈ f (I). Nous en concluons f (I) =
] lim f (t), lim f (t)[.
t→a t→b
2) Par définition, f˜ est une surjection. Montrons qu’elle est également injective. Soient x1 et x2 des
éléments de I tels que f˜(x1 ) = f˜(x2 ). Si x1 < x2 , alors f˜(x1 ) < f˜(x2 ) et si x1 > x2 , alorsf˜(x1 ) >
f˜(x2 ), d’où une contradiction dans les deux cas. Par conséquent,x1 = x2 et f˜ est injective.
3) Soient y1 et y2 appartenant à f (I), tels que y1 < y2 . Posons x1 = f˜(y1 ) e x2 = f˜(y2 ).Si x1 ≥ x2 alors
f˜(x1 ) > f˜(x2 ) comme f est croissante, soit encore y1 ≥ y2 ce qui est absurde, donc x1 < x2 et f˜−1
est strictement croissante.
Montrons qu’elle est également continue. Soit y0 ∈ f (I) ; posons x0 = f˜−1 (y0 ) et donnons-nous
un réel ε > 0 tel que x0 − ε etx0 + ε appartiennent à I. Posons y1 = f˜(x0 − ε) et y2 = f˜(x0 +
ε).L’application f étant strictement croissante, on a y1 < y0 < y2 et pour tout y ∈]y1 ,y2 [, f˜−1 (y1 ) <
f˜−1 (y) < f˜−1 (y2 ) c’est-à-dire x0 − ε < f˜−1 (y) < x0 + ε.Il existe donc β > 0 tel que |y − y0 | ≤ β ⇒
|f˜−1 (y) − f˜−1 (y0 )| ≤ ε. Par conséquent, f˜ est continue en y0 .

Exemple 4.9. • La fonction sinus est continue et strictement croissante sur [− π2 , π2 ]. Elle induit donc
une bijection de [− π2 , π2 ] sur [−1, 1]. Sa bijection réciproque est appelée arc sinus et notée arcsin.
C’est une fonction continue strictement croissante de [−1,1] sur [− π2 , π2 ].
• La fonction cosinus est continue et strictement décroissante sur [0,π]. Elle induit donc une bijection
de [0,π] sur [−1,1]. Sa bijection réciproque est appelée arc cosinus et notée arccos. C’est une
fonction continue strictement décroissante de [−1,1] sur [0,π].
• La fonction tangente est continue et strictement croissante sur ]− π2 , π2 [. Elle induit donc une bijection
de ] − π2 , π2 [ sur R. Sa bijection réciproque est appelée arc tangente et notée arctan. C’est une
fonction continue strictement croissante de R sur ] − π2 , π2 [.

4.3.4 Continuité uniforme


Définition 4.20. Soit f une fonction définie sur I à valeurs dans R. On dit que f est uniformément
continue sur I si et seulement si

∀ε > 0, ∃α > 0, ∀(x,x0 ) ∈ I 2 , (|x − x0 | ≤ α ⇒ |f (x) − f (x0 )| ≤ ε)


Chapitre 4. Fonctions numériques d’une variable réelle 40

Exemple 4.10. − L’application qui à tout réel x associe |x| est uniformément continue.
− L’application qui à tout réel x associe x2 n’est pas uniformément continue.

Le résultat suivant est immédiat.

Proposition 4.22. Si f est uniformément continue sur I, alors f est continue sur I

Comme on l’a vu plus haut, il existe des fonctions continues non uniformément continues. Cependant,
lorsque I est un segment de R, c’est-à-dire un intervalle borné et fermé, nous disposons du théorème
suivant.

Théorème 4.4. (de Heine )


Toute fonction continue sur un segment [a, b] est uniformément continue sur [a, b].

Preuve. Raisonnons par l’absurde. Soit f une fonction continue et non uniformément continue sur
[a, b]. Il existe donc ε > 0 tel que

∀α > 0, ∃(x,x0 ) ∈ [a; b]2 , |x − x0 | ≤ α et |f (x) − f (x0 )| > ε.

En particulier, en prenant α = n1 , il existe (xn , x0n ) ∈ [a; b]2 tel que


1
∀n ∈ N∗ , |xn − x0n | ≤ et |f (xn ) − f (x0n )| > ε.
n
La suite (xn )n∈N∗ étant bornée, elle admet, en vertu du théorème de Bolzano–Weierstrass (théorème 1.25),
une sous-suite, notée (xσ(n) )n∈N∗ , convergente vers un réel, noté l, appartenant à [a; b]. Comme
1 1
∀n ∈ N∗ ,|xσ(n) − x0σ(n) | ≤ ≤ .
σ(n) n
on déduit que la suite extraite(x0σ(n) )n∈N∗ converge aussi vers l. L’application f étant continue en l,
les suites (f (xσ(n) ))n∈N∗ et (f (x0σ(n) ))n∈N∗ convergent vers f (l) et, par conséquent, lim |f (xσ(n) ) −
n→+∞
f (x0σ(n) )| = 0,ce qui contredit le fait que |f (xσ(n) ) − f (x0σ(n) )| > ε.

4.3.5 Application lipschitziennes


Nous allons à présent introduire une propriété de régularité des applications plus forte que la notion
de continuité.

Définition 4.21. Soient f une fonction définie sur I à valeurs réelles et un réel k strictement positif. On
dit que f est lipschitzienne si et seulement si

∀(x,x0 ) ∈ I 2 , |f (x) − f (x0 )| ≤ k|x − x0 |.

Lorsque k ∈]0; 1[, on dit que l’application f est contractante. Le plus petit réel k tel que f soit k-
lipschitzienne est appelé la constante de Lipschitz de f

Proposition 4.23. Si f : I → R est lipschitzienne, alors f est uniformément continue.

Preuve. Supposons f k-lipschitzienne (k ∈ R∗+ ) et soit ε > 0. si k = 0, f est constante sur I et donc
uniformément continue sur I. Si k > 0, en prenant α = kε nous obtenons

∀(x,x0 ) ∈ I 2 , (|x − x0 | ≤ α ⇒ |f (x) − f (x0 )| ≤ ε),

ce qui montre que f est uniformément continue sur I.


Chapitre 5

Dérivabilité

Dans ce chapitre K désigne un corps (K = R ou C), I un intervalle de R non vide et non réduit à un
point et F(I,K) est l’ensemble des applications définies sur I et à valeurs dans K.

5.1 Dérivées
5.1.1 Dérivabilité en un point
Définition 5.1. Soient f ∈ F(I,K) et x0 ∈ I. On dit que f est dérivable en x0 si et seulement si
f (x) − f (a)
lim existe est finie ; cette limite est alors appelée dérivée de f en x0 et noté f 0 (x0 ). En
x→x0 x − x0
posant h = x − x0 , on obtient une écriture très souvent employée :

f (x0 + h) − f (x0 )
f 0 (x0 ) = lim ,
h→0 h

dans laquelle le rapport f (a+h)−f


h
(a)
s’appelle le taux d’accroissement de f entre a et a+h.
df
On note également dx (x0 ) au lieu de f 0 (x0 ).

Exemple 5.1. Toute application constante de I dans R est dérivable en tout point de I, de dérivée nulle.

Définition 5.2. Soient f ∈ F(I,K) et x0 ∈ I.


f (x) − f (x0 )
1) On dit que f est dérivable à droite en x0 si et seulement si lim existe et est finie ;
x→x+
0
x − x0
cette limite est alors appelée dérivée de f à droite en x0 et notée fd0 (x0 ).
f (x) − f (x0 )
2) On dit que f est dérivable à gauche en x0 si et seulement si lim existe et est
x→x0 − x − x0
finie ; cette limite est alors appelée dérivée de f à gauche en x0 et notée fg0 (x0 ).

Exemple 5.2. L’application f : x 7→ |x| de R dans R est dérivabilité à gauche en 0 et à droite en 0, et


fg0 (0) = −1, fd0 (0) = 1.

Le résultat suivant est immédiat.

Proposition 5.1. Soient f ∈ F(I,K) et x0 ∈ I. Pour que l’application f soit dérivable en a, il faut et
il suffit que f soit dérivable à gauche et à droite en a et que fg0 (x0 ) = fd0 (x0 ). Dans ces conditions, on a
f 0 (x0 ) = fg0 (x0 ) = fd0 (x0 )
Chapitre 5. Dérivabilité 42

Proposition 5.2. Soient f ∈ F(I,K) et x0 ∈ I. Si l’application f est dérivable en x0 , alors elle est
continue en x0 .

Preuve. On sait d’une part que


f (x) − f (x0 )
lim = f 0 (x0 ).
x→x0 x − x0
D’autre part, on a
f (x) − f (x0 )
lim −f (x0 ) = ( lim x − x0 )( lim ),
x→x0 x→x0 x→x0 x − x0
d’où lim f (x) = f (x0 ).
x→x0

Remarque 5.1.1. La réciproque de cette proposition est fausse : une application peut être continue en x0
sans pour autant être dérivable en ce point. Par exemple, l’application x 7→ |x| de R dans R, déjà étudiée
plus haut, est continue en x0 sans y être dérivable.

Propriétés algébriques des fonctions dérivable en un point

Théorème 5.1. Soient x0 ∈ I, λ ∈ K et f,g ∈ F(I,K) deux applications dérivables en x0 . Alors on a


1) f + g est dérivable en x0 et (f + g)0 (x0 ) = f 0 (x0 ) + g 0 (x0 ).
2) λf est dérivable en x0 et (λf )0 (x0 ) = λf 0 (x0 ).
3) f g est dérivable en x0 et (f g)0 (x0 ) = f 0 (x0 )g(x0 ) + f (x0 )g 0 (x0 ).
f f f 0 (x0 )g(x0 ) − f (x0 )g 0 (x0 )
4) Si g(x0 ) 6= 0, est dérivable en x0 et ( )0 (x0 ) = .
g g g(x0 )2
Preuve.
1) On a
(f + g)(x) − (f + g)(x0 ) f (x) − f (x0 ) g(x) − g(x0 )
= + → f 0 (x0 ) + g 0 (x0 ).
x − x0 x − x0 x − x0 x→x0

2) On a
(λf )(x) − (λf )(x0 ) f (x) − f (x0 )
=λ → λf 0 (a).
x − x0 x − x0 x→x0

3) On a
(f g)(x) − (f g)(x0 ) f (x)g(x) − f (x0 )g(x0 ) (f (x) − f (x0 ))g(x0 ) f (x0 )(g(x) − g(x0 ))
= = + .
x − x0 x − x0 x − x0 x − x0
Puisque f et g sont dérivable en x0 , ces applications sont continues en x0 , donc lim f (x) = f (x0 )
x→x0
(f g)(x) − (f g)(x0 )
et lim g(x) = g(x0 ), d’où lim = f 0 (x0 )g(x0 ) + f (x0 )g 0 (x0 ).
x→x0 x→x0 x − x0
1
4) Puisque g(x0 ) 6= 0 et que g est continue en x0 , on a, au voisinage de x0 , g(x) 6= 0. La fonction g est
alors définie au voisinage de x0 .
De plus, on a
 
1 1 1 1 1 1 g(x0 ) − g(x) 1
( )(x) − ( )(x0 ) = ( − )= ,
x − x0 g g x − x0 g(x) g(x0 ) x − x0 g(x)g(x0 )
g 0 (x0 )
 
1 1 1
d’où lim ( )(x) − ( )(x0 ) = − . Le résultat se déduit alors de 2) en utilisant que
x→x0 x − x0 g g g(x0 )2
f 1
=f .
g g
Chapitre 5. Dérivabilité 43

Dérivée d’une composée de fonction

Théorème 5.2. Soient J un intervalle de R, f : I 7→ K telle que f (I) ⊂ J, g : J 7→ K et x0 ∈ I. Si f est


dérivable en x0 et si g est dérivable en f (x0 ), alors g◦f est dérivable en x0 et (g◦f )0 (x0 ) = f 0 (x0 )g 0 (f (x0 )).

Preuve. On a
(g ◦ f )(x) − (g ◦ f )(x0 ) g(f (x)) − g(f (x0 )) g(f (x)) − g(f (x0 )) f (x) − f (x0 )
= = ,
x − x0 x − x0 f (x) − f (x0 ) x − x0
d’où
  
(g ◦ f )(x) − (g ◦ f )(x0 ) g(f (x)) − g(f (x0 )) f (x) − f (x0 )
lim = lim lim = g 0 (f (x0 ))f 0 (x0 ).
x→x0 x − x0 x→x0 f (x) − f (x0 ) x→x0 x − x0

Dérivée d’une fonction réciproque

Théorème 5.3. Soient x0 ∈ I et f : I 7→ R une application continue et strictement monotone sur I,


dérivable en x0 et telle que f 0 (x0 ) 6= 0 ; on note f˜ : I 7→ f (I) l’application qui, à tout x de I, associe f (x).
1
Alors la fonction réciproque f˜−1 est dérivable en f (x0 ) et l’on a (f˜−1 )0 (f (x0 )) = 0 .
f (x0 )
Preuve. D’après la théorème 2.45, l’application f˜ : I 7→ f (I) est bijective et sa bijection réciproque
f˜−1 est strictement monotone, de même sens que f , et continue sur f (I). Pour tout y de f (I) \ {f (x0 )},
on a alors
f˜−1 (y) − f˜−1 (f (x0 )) f˜−1 (y) − x0
= .
y − f (x0 ) f (f˜−1 (y)) − f (x0 )
Comme f est dérivable en x0 , de dérivée non nulle en ce point, et que lim f˜−1 (y) = x0 , on obtient,
y→f (x0 )
après composition des limites,
f˜−1 (y) − x0 1
lim = 0 .
y→f (x0 ) f (f˜ (y)) − f (x0 )
−1
f (x0 )
L’application f˜−1 est donc dérivable en f (x0 ).
Exemple 5.3. • On sait que la restriction de la fonction sinus à l’intervalle [− π2 , π2 ] est une bijection
continue de cet intervalle sur [−1,1]. Sa dérivée, la fonction cosinus, ne s’annule qu’aux points − π2
et π2 , d’images respectives −1 et 1. Sa bijection réciproque arc sinus est donc continue sur [−1,1] et
dérivable sur ] − 1, 1[, de dérivée
1 1
(arcsin x)0 = =√ , ∀x ∈] − 1,1[.
cos(arcsin x) 1 − x2
• On sait que la restriction de la fonction cosinus à l’intervalle [0, π] est une bijection continue de cet
intervalle sur [−1,1]. De la même façon que pour la fonction arc sinus, on montre que sa bijection
réciproque arc cosinus est donc continue sur [−1; 1] et dérivable sur ] − 1, 1[, de dérivée
−1 −1
(arccos x)0 = =√ , ∀x ∈] − 1,1[.
sin(arccos x) 1 − x2
• On sait que la restriction de la fonction tangente à l’intervalle ] − π2 , π2 [ est une bijection continue de
cet intervalle sur R. Sa dérivée, la fonction x 7→ 1 + tan2 x, ne s’annule pas. Sa bijection réciproque
arc tangente est donc dérivable sur R, de dérivée
1 1
(arctan x)0 = 2 = , ∀x ∈ R.
1 + tan (arctan x) 1 + x2
Chapitre 5. Dérivabilité 44

5.1.2 Application dérivée


Définition 5.3. Soit f ∈ F(I,K). On appelle dérivée def l’application qui à chaque x de I tel que f 0 (x)
existe associe f 0 (x).

5.1.3 Dérivées successives


Définition 5.4. Soit f ∈ F(I,K). On définit les dérivées successives de f par récurrence pour tout
n de N∗ :
• Pour x0 ∈ I, f n (x0 ) est, si elle existe, la dérivée de f n−1 en x0 ,
• f n est l’application dérivée de f n−1 .
On appelle dérivée n−ième de f en a le réel f n (x0 ) et application dérivée n−ième de f l’application
x 7→ f n (x). On dit que f est n fois dérivable sur I si et seulement si f n est définie sur I. Enfin, on dit que
f est indéfiniment dérivable sur I si et seulement si f est n fois dérivable sur I pour tout entier positif n.
n
Par convention, f (0) = f et l’on note aussi ddxnf au lieu de f (n) . Comme on l’a déjà vu, on écrit souvent
f 0 = f (1) et, de la même manière, f 00 = f (2) et f 000 = f (3) .

Proposition 5.3. Soient λ ∈ K, n ∈ N et f,g : I 7→ K des applications n fois dérivable sur l’intervalle
I.On a
1) f + g est n fois dérivable sur I et (f + g)(n) = f (n) + g (n) .
2) λf est n fois dérivable sur I et (λf )(n) = λf (n) .
3) f g est n fois dérivable sur I et on a la formule de Leibniz suivante
n
X
(n)
(f g) = Cnk f (k) g (n−k) .
k=0

f
4) Si (∀x ∈ I, g(x) 6= 0), alors est n fois dérivable.
g
Preuve. Tous ces résultats se démontrent par récurrence sur n. Nous laissons au lecteur les preuves
(aisées) de 1) et de 2).
3) Le cas n = 1 a été traité dans le théorème 5.1. Supposons la propriété vraie au rang n > 1.
Soient f et g deux fonctions de I dans K, (n + 1) fois dérivables sur I. D’après l’hypothèse de
n
X
n
récurrence, f g est n fois dérivable sur I et (f g) = Cnk f (k) g (n−k) . Ainsi, (f g)n apparait comme
k=0
somme de produits d’applications dérivable sur I et est donc dérivable sur I. On a alors
n
!0
 0 X
(n) k (k) (n−k)
(f g) = Cn f g
k=0
n
X n
X
= Cnk f (k+1) g (n−k) + Cnk f (k) g (n−k+1)
k=0 k=0
n+1
X n
X
= Cnk−1 f (k) g (n−k+1) + Cnk f (k) g (n−k+1)
k=1 k=0
n
X
= f (n+1) g + (Cnk−1 + Cnk )f (k) g (n−k+1) + f g (n+1)
k=1
Xn n+1
X
(n+1) k
=f g+ Cn+1 f (k) g (n−k+1) + fg (n+1)
= k
Cn+1 f (k) g (n−k+1) .
k=1 k=0
Chapitre 5. Dérivabilité 45

4) Le cas n = 1 a déjà été vu dans le théorème 3.5. Supposons la propriété vraie au rang n > 1.
Soient f et g deux fonctions de I dans K, (n + 1) fois dérivables sur I et telles que ∀x ∈ I, g(x) 6= 0.
f
L’application étant dérivable sur I, nous avons
g
 0
f f 0g − f g0
= .
g g2

Puisque f , f 0 , g et g 0 sont n fois dérivable sur I, f 0 g − f g 0 et g 2 le sont aussi. Il résulte alors de


f 0g − f g0 f
l’hypothèse de récurrence que 2
est n fois dérivable sur I.Finalement, est (n + 1) fois
g g
dérivable sur I.
Nous introduisons la notion de classe d’une fonction.

Définition 5.5. Soit f ∈ F(I,K).


1) Soit n ∈ N. On dit que f est de classe C n sur I si et seulement si f est n fois dérivable sur I et
f (n) est continue sur I.
2) On dit que f est de classe C ∞ sur I si et seulement si f est indéfiniment dérivable sur I.
Pour n ∈ N ∪ {+∞} on note C n (I,K) l’ensemble des applications de classe C n de I dans K.

Remarque 5.1.2. − f ∈ C 0 (I,K) si et seulement si f est continue sur I.


− Pour tout (n,p) ∈ (N ∪ {+∞})2 tel que p ≤ n, on a C n (I,K) ⊂ C p (I,K).

Exemple 5.4. − Les fonctions polynômes sont de classe C ∞ .


− Les fonctions exponentielle (x 7→ ex ) et logarithme (x 7→ ln x) sont de classe C ∞ respectivement sur
R et R∗+ .
− Les égalités (sin)0 = cos et (cos)0 = − sin montrent que les applications sinus et cosinus sont de
classe C ∞ sur R.

5.2 Propriétés des fonctions dérivables


5.2.1 Extrema locaux d’une fonction réelle dérivable
Définition 5.6. Soient x0 ∈ I et f ∈ F(I,K). On dit que f admet
• un maximum local en a si et seulement si, au voisinage de x0 , f (x) < f (x0 ),
• un minimum local en x0 si et seulement si, au voisinage de x0 , f (x) ≥ f (x0 ),
• un maximum local strict en x0 si et seulement si, au voisinage de x0 sauf en x0 , f (x) < f (x0 )
• un minimum local strict en x0 si et seulement si, au voisinage de x0 sauf en a,f (x) > f (x0 )
• un extremum local en x0 si et seulement si f admet un maximum local ou un minimum local en x0 ,
• un extremum local strict en x0 si et seulement si f admet un maximum local strict ou un minimum
local strict en x0 .

Exemple 5.5. − Toute application constante admet en tout point un maximum et un minimum local.
− L’application de R de R qui à x associe |x| admet un minimum local strict en 0.

Proposition 5.4. Soit f ∈ F(I,R). Si f admet en un point intérieur a de I un extremum local et si f


est dérivable en a, alors f 0 (x0 ) = 0
Chapitre 5. Dérivabilité 46

Preuve. Supposons, pour fixer les idées, que f admet un maximum local en x0 . Puisque f est dérivable
en x0 , on a
f (x) − f (x0 )
f 0 (x0 ) = lim
x→x0 x − x0
f (x) − f (x0 )
= lim ≥0
x→x0+ x − x0
f (x) − f (x0 )
= lim ≤ 0,
x→x−
0
x − x0

d’où f 0 (x0 ) = 0.

Remarque 5.2.1. − La réciproque de cette proposition est fausse. Par exemple, l’application x 7→ x3
de R dans R à une dérivée nulle en 0 mais ne possède pas d’extremum en ce point.
− De fait, les extrema locaux d’une fonction définie sur un intervalle I seront recherchés aux points
intérieurs de I où la dérivée de la fonction s’annule ou bien aux extrémités de I, où la fonction n’est
pas dérivable.

5.2.2 Théorème de Rolle


Théorème 5.4. Soient (a,b) ∈ R2 , tel que a < b, et f une application de [a,b] dans R. Si f est continue
sur [a,b], dérivable sur ]a,b[ et telle que f (a) = f (b), alors il existe c ∈]a,b[ tel que f 0 (c) = 0.

Preuve. Puisque l’application f est continue sur le segment [a,b], elle est borné et atteint ses bornes.
Notons m = inf f (x) et M = supx∈[a,b] f (x). Si M = m, alors f est constante et f 0 (x) 6= 0 pour tout
x∈[a,b]
x ∈]a,b[. Supposons m < M . Comme f (a) = f (b), on a soit M 6= f (a), soit m 6= f (a).
Ramenons nous au cas M 6= f (a). Il existe alors un point c ∈]a,b[ tel que f (c) = M . Soit x ∈ [a,b] tel
que f (x) ≤ M = f (c).Si x > c, on a f (x)−f
x−c
(c)
≤ 0, et si x < c, on obtient f (x)−f
x−c
(c)
≥ 0. L’application f
étant dérivable en c, nous obtenons, en passant à la limite, f (c) ≤ 0 et f (c) ≥ 0, d’où f 0 (c) = 0.
0 0

Remarque 5.2.2. Le réel c n’est pas nécessairement unique.

5.2.3 Théorème des accroissement finis


Théorème 5.5. Soient (a,b) ∈ R2 , tel que a < b et f une application de [a,b] dans R. Si f est continue
sur [a,b] et dérivable sur ]a,b[, alors il existe c ∈]a; b[ tel que
f (b) − f (a)
f 0 (c) = .
b−a

Preuve. Considérons la fonction ϕ : [a,b] → R définie par


f (b) − f (a)
ϕ(x) = f (x) − (x − a).
b−a
Il est clair que ϕ est continue sur [a,b], dérivable sur ]a,b[ et que ϕ(a) = ϕ(b).
En appliquant le théorème de Rolle à ϕ, on obtient qu’il existe c ∈]a,b[ tel que ϕ0 (c) = 0, c’est-à-dire
tel que
f (b) − f (c)
f 0 (c) = .
b−a

Remarque 5.2.3. Là encore, le réel c n’est pas forcément unique.


Chapitre 5. Dérivabilité 47

Inégalité des accroissements finis

Nous déduisons directement du théorème 5.5 l’inégalité des accroissements finis. Celle-ci est plus
générale que le théorème du même nom, dans la mesure où elle s’étend à d’autres fonctions que les
fonctions d’une variable réelle à valeurs dans R, comme par exemple les fonctions de R dans C ou de Rn
(n ∈ N∗ ) dans R.

Théorème 5.6. Soit (a,b) ∈ R2 tel que a < b. Si f est une fonction continue sur [a,b], dérivable sur ]a,b[
et qu’il existe un réel M > 0 tel que
∀x ∈]a,b[, |f 0 (x)| ≤ M,

alors on a
|f (b) − f (a)| ≤ M |b − a|.

5.2.4 Sens de variation d’une fonction dérivable


Les résultats précédents permettent d’établir un lien entre le sens de variation d’une fonction et le
signe de sa dérivée. Nous avons la proposition suivante :
2
Proposition 5.5. Soient (a,b) ∈ R , tel que a < b, et f une fonction dérivable sur ]a,b[. Alors
i) f est croissante si et seulement si (∀x ∈]a,b[, f 0 (x) ≥ 0),
ii) f est décroissante si et seulement si (∀x ∈]a,b[, f 0 (x) ≤ 0),
iii) f est constante si et seulement si (∀x ∈]a,b[, f 0 (x) = 0).

Preuve.
i) Supposons f croissante. Soit x0 ∈]a,b[,pour tout x ∈]a,b[ tel que x > x0 , on a

f (x) − f (x0 )
≥ 0.
x − x0

En passant à la limite x → x0 , on déduit que f 0 (x0 ) ≥ 0. Réciproquement, supposons que, pour


tout x ∈]a,b[, f 0 (x) ≥ 0. Soient x1 et x2 deux éléments de ]a,b[ tel que x1 < x2 . En appliquant le
théorème des accroissements finis à f sur [x1 ,x2 ], on voit qu’il existe c ∈ [x1 ,x2 ] tel que

f (x2 ) − f (x1 ) = f 0 (c)(x2 − x1 ) ≥ 0,

et f est par conséquent croissante sur ]a,b[.


ii) L’application f est décroissante si et seulement si −f est croissante ; ii) résulte donc de i).
iii) L’application f est constante si et seulement si elle est à la fois croissante et décroissante ; iii) résulte
donc de i) et de ii).

5.3 Formule de Taylor-Lagrange


Nous terminons ce chapitre sur le théorème de Taylor–Lagrange, qui constitue une généralisation du
théorème des accroissements finis et que nous présentons sous différentes formes.
Chapitre 5. Dérivabilité 48

Théorème 5.7. (formule de Taylor-Lagrange)


Soient (a,b) ∈ R2 , a < b, et f : [a,b] → R une fonction de classe C n sur [a,b]. On suppose de plus que
f (n) est dérivable sur ]a,b[. Alors, il existe c ∈]a,b[ tel que
f 0 (a f 00 (a) f (n) (a) f (n+1) (c)
f (b) = f (a) + (b − a) + (b − a)2! + · · · + (b − a)n + (b − a)n+1 ,
1! 2! n! (n + 1)!
soit encore
n
X f (k) (a) f (n+1) (c)
f (b) = (b − a)k + (b − a)n+1 .
k! (n + 1)!
k=0

Comme dans le cas de l’égalité du théorème des accroissements finis, la preuve de la formule de
Taylor–Lagrange consiste en l’application du théorème de Rolle à une certaine fonction.
Preuve. Soit A le réel tel que
n
(b − a)n+1 X f (k) (a)
A = f (b) − (b − a)k .
(n + 1)! k!
k=0

Il s’agit de montrer que A = f (n+1) (c), avec c ∈]a,b[. On définit pour cela la fonction ϕ : [a,b] → R comme
suit
n
X f (k) (x) (b − x)n+1
ϕ(x) = f (b) − (b − x)k − A.
k! (n + 1)!
k=0
Cette fonction est continue sur [a,b], dérivable sur ]a,b[ et vérifie d’autre part ϕ(a) = ϕ(b) = 0. D’après le
théorème de Rolle, il existe donc c ∈]a,b[ tel que ϕ0 (c) = 0. Or, pour tout x ∈]a,b[, on a
n n
X f (k) (x) X f (k+1) (x) (b − x)n
ϕ0 (x) = (b − x)k−1 − (b − x)k + A
(k − 1)! k! n!
k=1 k=0
(b − x)n
= (−f (n+1) (x) + A)
n!
.

Par conséquent, on déduit de ϕ0 (c) = 0 que A = f (n+1) (c).


f (n+1) (c)
Remarque 5.3.1. − Le terme (n+1)! (b − a)n+1 est appelé reste de Lagrange.
− Dans le cas particulier n = 0, on retrouve l’égalité du théorème des accroissements finis.
Considérons à présent un intervalle I non nécessairement fermé ou borné. Dans ce cas, le théorème de
Taylor–Lagrange s’énonce encore de la manière suivante.
Théorème 5.8. Soient f une fonction (n + 1) fois dérivable sur un intervalle Iet x un point de I. Alors,
pour tout réel h tel que x + h ∈ I, il existe θ ∈]0,1[ tel que
n
X f k (x) f (n+1) (x + θh) n+1
f (x + h) = hk + h .
k! (n + 1)!
k=0

Preuve. Dans le cas h > 0, il suffit d’appliquer le théorème précédent avec a = x et b = x + h ; sinon,
on reprend la démonstration ci-dessus.
Remarque 5.3.2. Si l’intervalle I contient l’origine, on déduit de ce dernier théorème la formule de
Maclaurin : pour tout point x de I, il existe θ ∈]0,1[ tel que
n
X f k (0) f (n+1) (θx) n+1
f (x) = xk + x .
k! (n + 1)!
k=0
Chapitre 5. Dérivabilité 49

Inégalité de Taylor-Lagrange

Comme pour l’égalité des accroissements finis, il existe une inégalité de Taylor–Lagrange plus générale
que la formule du même nom.

Théorème 5.9. Soit f une fonction (n + 1) fois dérivable sur un intervalle I. On suppose qu’il existe un
réel M tel que |f (n+1) (x)| ≤ M pour tout x de I. Soient a et b deux points de I, on a alors
n
X f (k) (a) |b − a|n+1
|f (b) − (b − a)k | ≤ M .
k! (n + 1)!
k=0

Remarque 5.3.3. Pour n = 0, on constate que l’on retrouve l’inégalité des accroissements finis.

Exemple 5.6. Considérons l’application x 7→ sin x sur l’intervalle [0,h], h ∈ R. Nous obtenons

|h|3
n = 2,| sinh −h| ≤ .
3!
h3 |h|5
n = 4,| sinh −h + | ≤ .
3! 5!
h3 h5 |h|7
n = 6,| sinh −h + − |≤ .
3! 5! 7!
Chapitre 6

Fonctions classiques

6.1 Fonctions logarithme et exponentielle


Définition 6.1. On appelle logarithme népérien la fonction définie sur R∗+ à valeurs réelles qui s’an-
nule en 1 et dont la fonction dérivée est x 7→ x1 . Il est noté ln.

Remarque 6.1.1. On voit immédiatement que ln est strictement croissante, continue et indéfiniment
dérivable sur R∗+ et ln(1) = 0. Ce qui signifie que ln x > 0 pour x > 1 et ln x < 0 pour x ∈]0,1[.

Proposition 6.1. On a : lim ln x = −∞ et lim ln x = +∞.


x→0+ x→+∞
De plus, la fonction ln est une bijection et un
 homomorphisme
 de groupes (elle transforme la multi-
1
plication en addition) ln(xy) = ln x + ln y et ln = − ln y pour tous x,y ∈ R∗+ .
y
Preuve. Soient x,y ∈ R∗+ .
d y
On a : dx (ln(xy) − ln x) = xy − x1 = 0 ; donc, la fonction x 7→ ln(xy) − ln x est une constante en x (la
constante peut dépendre de y, mais pas de x ! ! !). Ainsi, ln(xy) − ln x = C.
Pour x = 1, on obtientC =ln y, il s’ensuit que
 ln(xy) =ln  x + ln y.
1 1 1
De plus, 0 = ln 1 = ln y. = ln y + ln ; donc, ln = − ln y.
y y y
Par ailleurs, lim ln(x) = lim ln(2n ) = lim n ln(2) = +∞.
x→+∞ n→+∞  n→+∞
1
Et enfin, lim ln(x) = lim ln = lim − ln(2n ) = lim −n ln(2) = −∞.
x→0+ n→+∞ 2n n→+∞ n→+∞
De tout ce qui précède et du théorème (théorème de la bijection), la fonction ln admet une bijection
réciproque. Nous pouvons donner la définition suivante.

Définition 6.2. La bijection réciproque de la fonction logarithme s’appelle la fonction exponentielle et


se note exp : R → R∗+ .

Remarque 6.1.2. On voit immédiatement que exp est strictement croissante, continue et indéfiniment
dérivable sur R et exp(0) = 1.
En outre, (exp ◦ ln)(x) = x pour x ∈ R∗+ et (ln ◦ exp)(x) = x pour tout x ∈ R.

Proposition 6.2. On a : lim exp x = 0 et lim exp x = +∞.


x→−∞ x→+∞
d
De plus, exp(x) = exp(x) et exp(x + y) = exp(x) exp(y).
dx
Preuve. Les limites découlent de celles calculées pour les logarithmes ainsi que la dernière formule.
Pour montrer que la fonction dérivée de exp est elle-même, il suffit de calculer cette dérivée en utilisant
la formule du théorème 5.3.
Chapitre 6. Fonctions classiques 51

6.2 Fonctions circulaires et réciproques


Définition 6.3. On munit le plan d’un repère orthonormé (O,I,J) et on note (C) le cercle trigonométrique.
−→
\ −−→
Soient M un point de (C), x l’angle orienté (OI,OM ) d’angle principale α (c’est-à-dire dans ] − π,π]). On
note P le projeté orthogonal de M sur la droite (OI), Q le projeté orthogonal de M sur la droite (OJ) et
T le point de rencontre de la droite (OM ) avec la tangente à (C) au point I.
On définit les fonctions sinus, cosinus, tangente et cotangente, respectivement notées sin, cos,
tan et cot, comme suit
1
sin x = sin α = OQ, cos x = cos α = OP , tan x = tan α = IT et cot x = cot α = tan x

6.2.1 Définitions
6.2.2 Inverses des fonctions circulaires

6.3 Fonctions hyperboliques


Définition 6.4. On appelle sinus hyperbolique et cosinus hyperbolique les parties impaire et paire de
la fonction exponentielle de base e :

ex − e−x ex + e−x
∀x ∈ R sinh(x) = , et, cosh(x) = .
2 2
On définit également les applications tangente hyperbolique et cotangente hyperbolique par

sinh(x) cosh(x)
tanh(x) = , ∀x ∈ R, et , coth(x) = ,∀x ∈ R∗
cosh(x) sinh(x)

Les preuves des résultats suivants sont laissées en exercice au lecteur.

Proposition 6.3. Pour tout (x,y) ∈ R2 , on a


1) cosh2 (x) − sinh2 (x) = 1
2) sinh(x + y) = sinh(x) cosh(y) + cosh(x) sinh(y),
3) sinh(x − y) = sinh(x) cosh(y) − cosh(x) sinh(y),
4) cosh(x + y) = cosh(x) cosh(y) + sinh(x) sinh(y)
5) cosh(x − y) = cosh(x) cosh(y) − sinh(x) sinh(y).

Proposition 6.4. 1) L’application sinh est une bijection de R dans R, de bijection réciproque notée
argsinh telle que p
argsinh(x) = ln(x + x2 + 1), ∀x ∈ R.

2) L’application cosh est une bijection de R dans R, de bijection réciproque notée argcosh telle que
p
argcosh(x) = ln(x + x2 − 1), ∀x ∈ [1, +∞[.

2) L’application tanh est une bijection de R dans ] − 1, 1[, de bijection réciproque notée argtanh telle
que
1 1+x
argtanh(x) = ln( ), ∀x ∈] − 1, 1[.
2 1−x
Conclusion

Vous aimerez peut-être aussi