Académique Documents
Professionnel Documents
Culture Documents
C. Dezélée
27 février 2018
2 Ensembles et applications 12
2.1 Ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.2 Propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2.2 Images directes, images réciproques d’ensembles par une application 16
2.2.3 Injections, surjections, bijections . . . . . . . . . . . . . . . . . . . . 16
2.2.4 Indicatrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4 Calculs dans R 21
4.1 Factorisations et développements classiques . . . . . . . . . . . . . . . . . . 21
4.2 Sommes et produits, simples et doubles . . . . . . . . . . . . . . . . . . . . 21
4.2.1 Sommes simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2.2 Sommes doubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4.2.3 Produits simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1
MPSI G.Monod 2017-2018
5 Relations binaires 26
5.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
5.2 Relation d’équivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.3 Relation d’ordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
6 Complexes 30
6.1 Définitions, propriétés élémentaires . . . . . . . . . . . . . . . . . . . . . . . 30
6.2 Complexes et trigonométrie . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
6.2.1 À savoir faire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
6.2.2 Complément : la fonction tangente . . . . . . . . . . . . . . . . . . . 33
6.3 Équations dans C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
6.4 Complexes et géométrie dans le plan . . . . . . . . . . . . . . . . . . . . . . 34
6.4.1 Angle de vecteurs, alignement et orthogonalité . . . . . . . . . . . . 34
6.4.2 Lieux géométriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
6.4.3 Transformations du plan, similitudes . . . . . . . . . . . . . . . . . . 36
6.5 Compléments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
6.5.1 Suites à valeurs complexes . . . . . . . . . . . . . . . . . . . . . . . . 38
6.5.2 Exponentielle complexe . . . . . . . . . . . . . . . . . . . . . . . . . 39
7 Suites réelles I 40
7.1 Définitions, propriétés élémentaires . . . . . . . . . . . . . . . . . . . . . . . 40
7.1.1 Rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
7.1.2 Limites de suites réelles . . . . . . . . . . . . . . . . . . . . . . . . . 40
7.1.3 Propriétés élémentaires des suites convergentes . . . . . . . . . . . . 41
7.1.4 Limites et opérations . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
7.1.5 Limites et ordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
7.2 Suites classiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
7.2.1 Suites arithmétiques . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
7.2.2 Suites géométriques . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
7.2.3 Suites arithmético-géométrique . . . . . . . . . . . . . . . . . . . . . 43
7.2.4 Suites vérifiant une relation de récurrence linéaire d’ordre 2 . . . . . 43
7.3 Théorèmes de convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
7.3.1 Théorème d’encadrement ( des gendarmes ) . . . . . . . . . . . . 44
7.3.2 Théorème de convergence monotone . . . . . . . . . . . . . . . . . . 44
7.3.3 Théorème des suites adjacentes . . . . . . . . . . . . . . . . . . . . . 44
7.4 Suites extraites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
page : 2
MPSI G.Monod 2017-2018
9 Suites réelles II 55
9.1 Suites définies par une relation de récurrence simple . . . . . . . . . . . . . 55
9.2 Suites définies implicitement . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
12 Arithmétique dans Z 65
12.1 Divisibilité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
12.2 Division euclidienne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
12.3 PGCD et PPCM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
12.4 Algorithme d’Euclide, relation de Bezout . . . . . . . . . . . . . . . . . . . 67
12.5 Entiers premiers entre eux . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
12.6 Nombres premiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
13 Structures algébriques 70
13.1 Loi interne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
13.2 Groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
13.3 Anneaux, corps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
14 Polynômes 75
14.1 Définitions, propriétés élémentaires . . . . . . . . . . . . . . . . . . . . . . . 75
14.2 Division euclidienne, divisibilité . . . . . . . . . . . . . . . . . . . . . . . . . 76
14.3 Arithmétique dans K[X] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
14.3.1 PGCD de deux polynômes . . . . . . . . . . . . . . . . . . . . . . . . 77
14.3.2 PPCM de deux polynômes . . . . . . . . . . . . . . . . . . . . . . . 77
14.3.3 PGCD d’un nombre fini de polynômes . . . . . . . . . . . . . . . . . 78
14.4 Polynômes dérivés, formules de Taylor . . . . . . . . . . . . . . . . . . . . . 78
14.5 Racines et multiplicités, factorisation . . . . . . . . . . . . . . . . . . . . . . 79
14.6 Polynômes irréductibles, Théorème de D’Alembert-Gauss . . . . . . . . . . 81
14.7 Remarques classiques sur les relations entre racines et coefficients . . . . . . 82
14.8 Théorème d’interpolation de Lagrange . . . . . . . . . . . . . . . . . . . . . 82
15 Équivalence et négligeabilité 83
15.1 Équivalence et négligeabilité pour les suites . . . . . . . . . . . . . . . . . . 83
15.1.1 Définitions et caractérisations . . . . . . . . . . . . . . . . . . . . . . 83
15.1.2 Équivalence, négligeabilité et opérations . . . . . . . . . . . . . . . . 83
15.1.3 Équivalences et négligeabilités classiques . . . . . . . . . . . . . . . . 84
page : 3
MPSI G.Monod 2017-2018
16 Continuité 88
16.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
16.2 Opérations, composition et continuité . . . . . . . . . . . . . . . . . . . . . 88
16.3 Continuité sur un intervalle, sur un segment . . . . . . . . . . . . . . . . . . 89
16.4 Théorème de la bijection monotone . . . . . . . . . . . . . . . . . . . . . . . 89
17 Calcul différentiel 91
17.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
17.2 Caractérisation de la dérivabilité . . . . . . . . . . . . . . . . . . . . . . . . 91
17.3 Classes de fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
17.4 Opérations, composition et dérivabilité . . . . . . . . . . . . . . . . . . . . . 92
17.5 Extremum et dérivée, théorème de Rolle . . . . . . . . . . . . . . . . . . . . 94
17.6 Accroissements finis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
17.7 Dérivées et monotonie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
17.8 Théorème de prolongement . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
page : 4
MPSI G.Monod 2017-2018
20 Dénombrement 110
20.1 Cardinal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
20.2 Dénombrement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
20.3 Combinatoire : parties, p-listes, p-arrangements d’un ensemble fini . . . . . 111
20.4 Cardinal et inclusion, cardinal et application . . . . . . . . . . . . . . . . . 113
page : 5
MPSI G.Monod 2017-2018
Exercice 1.2 Dire si les phrases suivantes sont des propositions, préciser la valeur de
vérité de chaque proposition.
1. 5 est impair.
2. Les entiers sont des nombres sans virgule.
3. Le nombre π est rationnel.
4. x ≤ x + 1
5. Pour tout x dans R, x ≤ x + 1.
6. Il existe x appartenant à R tel que x soit positif ou entier.
7. f est croissante.
8. Pour tout x dans R, il existe un unique y dans Z tel que x appartienne à [y, y + 1[.
Remarque 1.3 La phrase 4 dépend d’un paramètre : elle n’est ni vraie ni fausse, ce n’est
donc pas une proposition.
Elle a un sens si son paramètre (ici x) est dans un ensemble convenable (ici R), elle sera
vraie ou fausse, selon la valeur de son paramètre. On dit que c’est une forme proposition-
nelle sur R.
Définition 1.4 Soit E un ensemble et P(e) une forme propositionnelle dépendant d’un
paramètre e de E. (Par exemple E = Z et P(e) est la phrase ”e est impair”.)
— ”∀e ∈ E, P(e)” signifie ”Pour tout x dans E, P(e) est vrai”.
— ”∃e ∈ E : P(e)” signifie ”Il existe (au moins) un x dans E tel que P(e) soit vrai”.
— ”∃!e ∈ E : P(e)” signifie ”Il existe un unique x dans E tel que P(e) soit vrai”.
Remarque 1.5 Noter que dans un énoncé en symboles mathématiques, ”tel que” s’écrit
” :”, ou aussi ”/”. Par ailleurs, ”∈” signifie ”appartenant à”, et ”∈”
/ signifie ”n’apparte-
nant pas à”.
Remarque 1.6 En mathématiques, ”un”, sans précision d’unicité, signifie ”au moins
un”.
Exercice 1.8 Écrire à l’aide des quantificateurs les phrases 6 et 8 de l’exercice 1.2.
Exercice 1.9 Attention à l’ordre des blocs dans les phrases avec des quantificateurs ! Ex-
pliquer par exemple la différence de signification des deux phrases suivantes :
1. ∀x ∈ R, ∃y ∈ Z : x ≥ y
2. ∃y ∈ Z : ∀x ∈ R, x ≥ y
page : 6
MPSI G.Monod 2017-2018
Exercice 1.10 Rappeler la définition de la limite d’une suite réelle (dans le cas d’une
limite finie). L’exprimer à l’aide des quantificateurs.
A NON(A)
V
F
A B A ET B
V V
F V
V F
F F
A B A OU B
V V
F V
V F
F F
Remarque 1.12 Le OU mathématique est inclusif, i.e. A OU B est vraie signifie que soit
A est vraie et pas B, soit B est vraie et pas A, soit les deux sont vraies. (On n’exclut pas
le cas où A et B sont vraies.)
Définition 1.13 Soit A et B deux propositions. On dit que A implique B (et on le note
A =⇒ B) si (N onA)OU B est vraie.
Remarque 1.15 D’après la table de vérité de l’équivalence, deux propositions sont équivalentes
si et seulement si elles ont même table de vérité.
Exercice 1.17 Prouver ces propriétés à l’aide de tables de vérité. Remarquer la nécéssité
des parenthèses.
page : 7
MPSI G.Monod 2017-2018
Exercice 1.27 Démontrer par contraposée que si un entier n a son carré qui est pair,
alors n est pair. (Que déduire de ce résultat et de l’exercice 1.22 ?)
page : 8
MPSI G.Monod 2017-2018
Exercice 1.30 Montrer que tout entier a même parité que son carré.
Exercice 1.31 Déterminer tous les trinômes à coefficients réels dont le produit des ra-
cines (distinctes ou non, réelles ou non) vaut 1.
Exercice 1.32 Déterminer toutes les fonctions f de N dans N qui vérifient : pour tout
couple (x, y) de rationnels,
f (x + y) = f (x)f (y).
Déterminer ensuite toutes les fonctions f : Q → Q qui vérifient cette équation fonction-
nelle.
Exercice 1.33 Montrer que toute fonction de R dans R se décompose de façon unique
comme la somme d’une fonction paire et d’une fonction impaire.
Exercice 1.34 Déterminer l’ensemble des fonctions f : R → R telles que pour tout
(x, y) ∈ R2 ,
page : 9
MPSI G.Monod 2017-2018
Théorème 1.35 Si H(n0 ) est vraie, et si pour tout n ≥ n0 , H(n) implique H(n + 1),
alors pour tout n ≥ n0 , H(n). 1
Remarque 1.37 Pour bien rédiger une récurrence il faut d’abord énoncer clairement
l’hypothèse de récurrence, c’est-à-dire la forme propositionnelle H(n), puis l’initialiser,
puis prouver qu’elle est héréditaire à partir du rang d’initialisation, et enfin conclure.
page : 10
MPSI G.Monod 2017-2018
du problème.
À la fin de l’épreuve, gardez quelques minutes pour numéroter vos copies doubles.
page : 11
MPSI G.Monod 2017-2018
2 Ensembles et applications
2.1 Ensembles
2.1.1 Définitions
Définition 2.1 On appelle ensemble une collection d’objets mathématiques. Ces objets
sont appelés les éléments de l’ensemble et sont dits lui appartenir. On note x ∈ E pour ”x
appartient à l’ensemble E”.
Exemples :
1. On connaı̂t les ensembles de nombres notés N, Z, Q, R, C, [a, b] pour a, b réels,
[[a, b]] pour a, b entiers etc...
2. On appelle ensemble vide, et on note ∅ l’ensemble qui ne contient aucun élément.
3. On peut définir des ensembles géométriques : cercles, droites, courbes du plan,
ensembles des cercles du plan etc...
4. On peut également définir des ensembles de fonctions : l’ensemble des fonctions de
[0, 1] dans R, l’ensemble des solutions d’une équation différentielle ; des ensembles
de suites : l’ensemble des suites réelles qui convergent etc...
Remarque 2.2 On dit qu’un ensemble est défini en extension si on en donne exhaustive-
ment tous les éléments, comme par exemple l’ensemble dont les éléments sont les naturels
1, 2 et 4. Cet ensemble se note {1, 2, 4}.
On dit qu’un ensemble est défini en compréhension si on caractérise ses éléments comme
ceux d’un ensemble qui vérifie une forme propositionnelle.
Par exemple l’ensemble des entiers impairs est défini en compréhension : on peut le no-
ter {n ∈ Z / Q(n)}, i.e. comme l’ensemble des entiers n vérifiant Q(n), où Q(n) est
”∃k ∈ Z / n = 2k + 1”.
Un autre exemple : l’ensemble des rationnels peut-être défini en compréhension de la façon
suivante :
p
Q = {x ∈ R / (∃(p, q) ∈ Z × N∗ / x = )}.
q
Mais on peut aussi le définir en extension :
p
Q = { / (p, q) ∈ Z × N∗ },
q
p
l’ensemble des rationnels étant l’ensemble de tous les réels q tels que p ∈ Z et q ∈ N∗ .
∀x ∈ F, x ∈ E.
page : 12
MPSI G.Monod 2017-2018
Remarque 2.7 Soit P(x) une forme propositionnelle dépendant d’un paramétre x de E,
on notera ici AP la partie associée à cette forme propositionnelle, i.e. AP = {x ∈ E/P(x)}.
Alors
A¯P = {x ∈ E / NON(P(x))}.
page : 13
MPSI G.Monod 2017-2018
E × F = {(e, f )/e ∈ E, f ∈ F }.
2.1.2 Propriétés
Théorème 2.18 (Lois de De Morgan) Soit E un ensemble.
— Soit (A, B) ∈ P(E)2 ,
A ∪ B = A ∩ B et A ∩ B = A ∪ B.
— Soit I un ensemble et pour tout i ∈ I soit Ai ∈ P(E).
[ \ \ [
Ai = Ai et Ai = Ai .
i∈I i∈I i∈I i∈I
2.2 Applications
2.2.1 Définitions
Définition 2.22 On appelle application f d’un ensemble E dans un ensemble F , la
donnée pour chaque élément x de E d’un élément de F , noté f (x). Exemples :
1. Soit E un ensemble. On appelle application identique de E (ou identité de E)
l’application notée IdE , de E dans E, telle que IdE (x) = x, pour tout x ∈ E.
2. Soit f : x 7→ x2 + sin(ln x) de R+∗ dans R.
page : 14
MPSI G.Monod 2017-2018
3. Soit f l’application du plan cartésien dans R qui à un point du plan cartésien associe
la somme de ces coordonnées cartésiennes...
Remarque 2.24 Tout élément de E admet une et une seule image par f . En revanche,
un élément de F peut ne pas avoir d’antécédent par f dans E, ou en avoir un, ou en avoir
plusieurs. Par exemple, 3 n’a aucun antécédent par sinus, et 0 en a une infinité.
Remarque 2.25 Deux applications f et g sont égales si et seulement si elles ont même
ensemble de départ, même ensemble d’arrivée et pour tout x de leur ensemble de départ,
f (x) = g(x).
(h ◦ g) ◦ f = h ◦ (g ◦ f ).
Remarque 2.32 C’est surtout la notion de prolongement par continuité qui sera utilisée
cette année.
page : 15
MPSI G.Monod 2017-2018
Exercice 2.34 Déterminer f ([0, π]) et f [−1] ([0, 1]) pour f = sin. On pourra utiliser le
théoréme des valeurs intermédiaires (l’image d’un intervalle par une fonction continue est
un intervalle) et les variations et la périodicité de f .
page : 16
MPSI G.Monod 2017-2018
Proposition 2.42 Si f admet une bijection réciproque, celle-ci est unique, et on la note
f −1 .
Exercice 2.46 Si f : E → F est bijective, vérifier que pour tout B ∈ P(F ), l’image
directe de B par la bijection réciproque de f est égale à l’image réciproque de B par f ,
i.e. f −1 (B) = f [−1] (B).
Remarque 2.47 Pour tout ensemble E, IdE est bijective (elle est sa propre bijection
réciproque).
Exercice 2.48 Les trois questions suivantes sont indépendantes. On peut prouver la bi-
jectivité de la fonction demandée et calculer sa bijection réciproque en résolvant l’équation
f (x) = y en l’inconnue x (dans l’ensemble de départ), pour y fixé (dans l’ensemble d’ar-
rivée).
1. Montrer que f : x 7→ x + 2 est bijective de R dans R, et déterminer sa bijection
réciproque.
2. Montrer que f : x 7→ x2 + x + 2 réalise une bijection d’un intervalle I non majoré
|f (I)
sur f (I). Déterminer I, f (I) et la bijection réciproque de f|I .
2x+3
3. Soit f : x 7→ x−1 . Déterminer l’ensemble de définition D ⊂ R de f , et f (D).
|f (D) −1
Montrer que f réalise une bijection de D sur f (D) et calculer (f|D ) .
Remarque 2.49 Dans le cas de fonctions de variables réelles, on peut prouver le théorème
qui suit :
page : 17
MPSI G.Monod 2017-2018
|f (I)
Exercice 2.51 Prouver ce théorème, en vérifiant que f|I est surjective, et que, grâce
à sa stricte monotonie sur I elle est injective.
Remarque 2.52 Si f est une fonction continue sur un intervalle I, pour déterminer f (I)
on peut utiliser le tableau de variation de f , et le théoréme des valeurs intermédiaires
(ie l’image d’un intervalle I par une fonction continue sur I est un intervalle.
2.2.4 Indicatrices
Définition 2.53 Soit E un ensemble. Soit A ∈ P(E). On appelle indicatrice de A sur E,
et on note ici χA , l’application de E dans {0, 1} qui à tout x de E associe 1 si x ∈ A et 0
sinon.
Par exemple l’indicatrice de ∅ est la fonction constante égale à 0, celle de E est la fonction
constante égale à 1.
A ⊂ B ⇐⇒ χA ≤ χB .
Théorème 2.55 Deux parties de E sont égales si et seulement si elles ont même indica-
trice sur E.
Remarque 2.56 Pour montrer que deux parties A et B de E sont égales on peut donc
— montrer directement l’égalité ou une double inclusion, à partir des définitions de A
et de B,
— ou montrer que pour tout x dans E : x ∈ A ⇐⇒ x ∈ B
(éventuellement en montrant le sens direct puis le sens réciproque),
— ou montrer que χA = χB .
page : 18
MPSI G.Monod 2017-2018
Remarque 3.5 Si E admet un majorant (resp. minorant) alors il en admet une infinité.
En revanche, il y a unicité du maximum (resp. minimum) de E s’il existe, on le note alors
max(E) (resp. min(E)).
page : 19
MPSI G.Monod 2017-2018
Définition 3.8 Soit E ∈ P(R) et M ∈ R. On dit que M est borne supérieure (resp.
inférieure) de E si M est le minimum (resp. maximum) de l’ensemble des majorants
(resp. minorants) de E.
Théorème 3.9 (axiome) Une partie E de R admet une borne supérieure (resp. inférieure)
si et seulement si elle est non vide et majorée (resp. non vide et minorée).
Exercice 3.11 Déterminer d’abord le maximum (resp. minimum), puis la borne supérieure
(resp. inférieure) de l’union de deux parties A et B de R en supposant que A et B sont
non vides et majorées (resp. minorées). Que dire pour A ∩ B ?
Définition 3.12 Soit f une application définie sur un ensemble D et à valeurs dans R,
on appelle majorant (resp. maximum, resp. borne supérieure) de f sur D un majorant
(resp. un maximum, resp. une borne supérieure) de l’ensemble f (D) = {f (x) / x ∈ D}.
On définit de même la notion de minorant (resp. minimum, resp. borne inférieure) de f
sur D.
2 −3
Exercice 3.13 Soit f : x 7→ x2x+x+1 . Déterminer l’ensemble de définition D de f puis
déterminer s’ils existent un majorant, minorant, le maximum, le minimum, la borne
supérieure, inférieure de f sur D.
page : 20
MPSI G.Monod 2017-2018
4 Calculs dans R
Rappels : L’addition et le produit sur R sont commutatifs (i.e. pour tous réels a, b,
a + b = b + a et a.b = b.a), associatifs (i.e. pour tous réels a, b, c, (a + b) + c = a + (b + c)
et a.(b.c) = (a.b).c). Le produit est distributif sur la somme (i.e. pour tous réels a, b, c,
a.(b + c) = a.b + a.c).
Remarque 4.2 Pour a ≤ b deux entiers et I = [[a, b]], on note aussi cette somme
b
X
ui .
i=a
Remarque 4.3 Les ui peuvent aussi être des complexes, ou des fonctions, ou des po-
lynômes, ou des vecteurs (ou tous autres objets mathématiques appartenant à un ensemble
muni d’une addition commutative et associative).
Théorème 4.5 Soit I et J deux ensembles finis et disjoints (i.e. d’intersection vide), et
soit, pour tout i ∈ I ∪ J, ui un réel. Alors :
X X X
ui = ui + ui .
i∈I∪J i∈I i∈J
page : 21
MPSI G.Monod 2017-2018
X X X
(a.ui + b.vi ) = a. ui + b. vi .
i∈I i∈I i∈I
Remarque 4.10 Il s’agit juste d’une indexation différente du même ensemble de réels,
donc c’est la même somme des deux côtés de l’égalité. Dans la pratique on dit qu’on
effectue le changement de variable j = φ(i), on dit que j = φ(i) parcourt l’ensemble
J = φ(I) quand i parcourt I et on en déduit l’égalité.
7
X
Exercice 4.11 Effectuer le changement de variable j = i+3 sur (i + 3)2 , on terminera
i=2
le calcul à l’aide des sommes classiques (cf. théorème suivant).
Définition 4.14 Soit (p, n) ∈ N2 , on appelle coefficient binômial ”p parmi n”, et on note
(np ), le nombre de parties à p éléments dans un ensemble à n éléments.
page : 22
MPSI G.Monod 2017-2018
Remarque 4.21 Cette formule est encore valable pour a et b complexes, ou fonctions, ou
polynômes (où tous autres objets mathématiques dans un ensemble muni d’une addition
commutative et d’un produit, associatifs, où le produit est distributif sur l’addition, pourvu
que a.b = b.a).
n
X
Exercice 4.22 Soit n ∈ N. Calculer (nk )(−1)k .
k=1
n
X
Exercice 4.23 Soit n ∈ N. Calculer (nk ). En déduire que si E est un ensemble de
k=0
cardinal n, alors
card(P(E)) = 2n .
Pour cela on pourra admettre que le cardinal d’une union finie d’ensembles finis et deux
à deux disjoints est égal à la somme des cardinaux de ces ensembles.
Proposition 4.24 Pour tout (n, k) ∈ N2 tels que 0 ≤ k ≤ n, et pour tout x ∈ R − {1},
n
X xk − xn+1
xi = .
1−x
i=k
Exercice 4.25 Démontrer directement cette formule, aussi valable pour x ∈ C − {1}.
page : 23
MPSI G.Monod 2017-2018
X XX XX
ui,j = ui,j = ui,j .
(i,j)∈I×J i∈I j∈J j∈J i∈I
X
Exercice 4.27 Soit n ∈ N∗ . Calculer i.j pour C = [[1, n]]2 , puis C = {(i, j) ∈
(i,j)∈C
[[1, n]]2 / i
≤ j}, puis C = {(i, j) ∈ [[1, n]]2 / i ≤ j}. Donner une relation entre les trois
sommes calculées.
Remarque 4.30 Par associativité et commutativité du produit, le théorème 4.5 reste va-
lable en rempaçant le symbole de sommation par celui du produit. Le théorème 4.9 de
changement de variable aussi.
page : 24
MPSI G.Monod 2017-2018
n n n
Y Y Y n!
r = rn−k+1 , i = n!, et i= .
(k − 1)!
i=k i=1 i=k
Théorème 4.33 (Formule du coefficient binômial) Pour tout (k, n) ∈ N2 tels que 0 ≤
k ≤ n,
n!
(nk ) = .
k!(n − k)!
On admettra cette formule, qui sera démontrée dans le chapitre Dénombrement.
Exercice 4.34 En déduire que pour tout (k, n) ∈ N2 tels que 0 ≤ k ≤ n, (nk ) = (nn−k ).
Toutes les propriétés du produit restent vraies avec des complexes, ou des fonctions,
ou des polynômes, à la place des facteurs réels.
page : 25
MPSI G.Monod 2017-2018
5 Relations binaires
Dans tout ce chapitre, E désigne un ensemble quelconque.
5.1 Généralités
Définition 5.1 On dit que R est une relation binaire sur l’ensemble E si pour tout
(x, y) ∈ E 2 , xRy est un forme propositionnelle dépendant du couple (x, y).
Remarque 5.2 Pour chaque (x, y) ∈ E 2 , xRy peut donc être vraie ou fausse. Si xRy est
vraie, on dit que x est en relation avec y pour la relation R, ou plus simplement que xRy.
Exemples :
1. Les relations ≤, ≥, >, <, = sont des relations binaires sur R, sur Q, sur Z, sur N.
2. = est une relation binaire sur n’importe quel ensemble.
3. ⊂ est une relation binaire sur P(E), ainsi que ⊃, et =.
4. La divisibilité | est une relation binaire sur N, sur Z.
5. Les relations ⇒, ⇐, ⇐⇒ sont des relations binaires sur l’ensemble des propositions.
6. On définit une relation binaire sur R en posant par exemple,
∀(x, y) ∈ R2 , (xRy ⇐⇒ x2 + y = 3).
Remarque 5.3 Définir une relation binaire R sur E équivaut à définir une partie G de
E 2 : la partie constituée de tous les couples (x, y) ∈ E 2 tels que x soit en relation avec y
pour la relation R, i.e.
G = {(x, y) ∈ E 2 / xRy}.
Exercice 5.4 Déterminer la relation binaire sur R définie par le cercle de centre (0, 0) et
de rayon 1 dans le plan R2 , puis celle définie par la première bissectrice.
Exercice 5.7 Pour chacunes des relations binaires définies en exemple, dire si la relation
est réflexive, symétrique, antisymétrique, transitive.
page : 26
MPSI G.Monod 2017-2018
x ≡a y ⇐⇒ ∃k ∈ Z / x − y = ka.
Remarque 5.9 x ≡a y se note aussi x ≡ y[a] ou x ≡ y mod(a), et qu’on dit alors que x
est congru à y modulo a.
Remarque 5.10 Pour a ∈ Z, la relation binaire ≡a peut aussi se restreindre à une rela-
tion binaire sur Z. On a alors
CR (a) = {b ∈ E / aRb}.
Exercice 5.14 Justifier que pour tout a ∈ E, a ∈ CR (a). Une classe d’équivalence n’est
donc jamais vide.
Exercice 5.15 Déterminer les classes d’équivalences pour les exemples de relations d’équivalence
précédents.
Exercice 5.16 Déterminer une relation d’équivalence sur R2 dont les vecteurs du plan
soient les classes d’équivalences.
page : 27
MPSI G.Monod 2017-2018
∀(a, b) ∈ Z2 , ā ⊕ b̄ = a + b et ā ⊗ b̄ = a.b.
a+ ¯ b0 et a.b
¯ b = a0 + ¯ = a0¯.b0 .
1. Montrer que R est une relation d’équivalence sur E. Montrer que les ensembles Ai
sont les classes d’équivalences distinctes de R sur E.
2. Montrer qu’il y a une bijection de l’ensemble des relations d’équivalences sur E sur
l’ensemble des partitions de E.
3. Combien y a-t’il de relations d’équivalence sur un ensemble E à trois éléments ?
Remarque 5.22 Si n est une relation d’ordre sur un ensemble E, alors on peut définir
la relation d’ordre opposée o sur E par
∀(x, y) ∈ E 2 , (x o y ⇐⇒ y n x).
1. On dit que n est un ordre total sur E (ou que E est totalement ordonné par n) si
pour tout (x, y) ∈ E 2 , x n y ou y n x.
2. Si n n’est pas un ordre total sur E, on dit que c’est un ordre partiel sur E (ou que
E est partiellement ordonné par n).
Exemples :
page : 28
MPSI G.Monod 2017-2018
Définition 5.24 Soit E un ensemble muni d’un ordre n. Soit A une partie de E. Soit
m ∈ E.
— On dit que m est un majorant de A (pour l’ordre n) si pour tout a ∈ A, a n m. On
dit alors que A est majorée par m.
— On dit que m est un minorant de A (pour l’ordre n) si pour tout a ∈ A, m n a. On
dit alors que A est minorée par m.
— On dit que A est bornée si elle admet un majorant et un minorant.
Définition 5.25 Soit E un ensemble muni d’un ordre n. Soit A une partie de E. Soit
m ∈ E.
— On dit que m est un plus grand élément de A , ou maximum de A (pour l’ordre n)
si m est un majorant de A et m ∈ A.
— On dit que m est un plus petit élément de A , ou minimum de A (pour l’ordre n)
si m est un minorant de A et m ∈ A.
Proposition 5.26 Soit E un ensemble muni d’un ordre n. Soit A une partie de E.
Si A admet un maximum (resp. minimum), alors il est unique. On le note alors M axn (A)
(resp. M inn (A)).
Définition 5.27 Soit E un ensemble muni d’un ordre n. Soit A une partie de E.
— Si l’ensemble des majorants de A admet un minimum alors on l’appelle borne
supérieure de A, et on la note Supn (A).
— Si l’ensemble des minorants de A admet un maximum alors on l’appelle borne
inférieure de A, et on la note Infn (A).
Remarque 5.28 On a dit que dans R, muni de l’ordre usuel ≤, une partie de R admet
une borne supérieure si et seulement si elle est non vide et majorée. Ce n’est pas vrai
pour tous les ensembles ordonnés. Cependant il est toujours nécéssaire, pour que Sup(A)
existe, que A soit majoré.
Exercice 5.29 Dans P(E), muni de la relation d’ordre ⊂, montrer que pour toute partie
C de P(E), C admet une borne supérieure et une borne inférieure, et
\ [
Inf⊂ (C) = A et Sup⊂ (C) = A.
A∈C A∈C
Exercice 5.30 Dans N muni de la relation d’ordre |, montrer que pour tout (m, n) ∈ N2 ,
1. Sup| ({m, n} existe et est le plus petit multiple commun de m et de n.
2. Inf| ({m, n}) existe et est le plus grand diviseur commun de m et de n.
Proposition 5.31 Soit E un ensemble muni d’un ordre n. Soit A une partie de E.
— Si A admet un minimum alors A admet une borne inférieure et Infn (A) = M inn (A).
— Si A admet un maximum alors A admet une borne supérieure et Supn (A) =
M axn (A).
page : 29
MPSI G.Monod 2017-2018
6 Complexes
6.1 Définitions, propriétés élémentaires
L’ensemble des complexes, noté C, est {a + ib/(a, b) ∈ R2 }, où i est tel que i2 = −1.
Il contient R et est muni d’un addition + et d’un produit · ayant les mêmes propriétés
que l’addition et le produit dans R et caractérisés par le fait que i2 = −1. Ainsi pour tout
(a, b, c, d) ∈ R4 :
Le seul complexe dont le produit avec tout autre complexe donne 0 est le complexe 0 = 0+i0,
appelé complexe nul.
a + ib = c + id si et seulement si a = c et b = d.
Définition 6.2 Soit z ∈ C. Il existe un unique couple (a, b) de réels tel que z = a + ib ; le
réel a s’appelle la partie réelle de z, notée <(z), et le réel b s’appelle la partie imaginaire
de z, notée im(z). L’écriture z = a + ib où (a, b) ∈ R2 s’appelle l’écriture algébrique de z.
p
Définition 6.3 On appelle module d’un complexe z le réel positif <(z)2 + im(z)2 , on
le note |z|.
Remarque 6.4 Un complexe est nul si et seulement si son module est nul. Le module
d’un réel est exactement sa valeur absolue.
Représentation graphique de C : L’ensemble C peut être représenté graphiquement par
→
− → −
le plan cartésien, i.e. le plan muni d’un repère orthonormé direct (O, i , j ). Un complexe
z est alors représenté par un point M dont l’abscisse est <(z) et l’ordonnée im(z), ce point
M est dit d’affixe z. Le module de z est alors la distance de l’origine O du repère à M .
On remarque qu’un point M du plan complexe, différent de l’origine, est caractérisé par
− −−→
→
la distance OM et l’angle ( i , OM ) modulo 2π, le plan complexe étant orienté.
On note par la suite C∗ = C − {0}.
Théorème 6.6 Deux complexes non-nuls sont égaux si et seulement si ils ont même mo-
dule et même argument modulo 2π.
page : 30
MPSI G.Monod 2017-2018
En particulier :
eiθ + e−iθ eiθ − e−iθ
cos(θ) = et sin(θ) = .
2 2i
On a les propriétés suivantes du module et de l’argument.
Remarque 6.13 Dans le plan complexe, le point d’affixe z est le symétrique par rapport
à l’axe des abscisses du point d’affixe z.
page : 31
MPSI G.Monod 2017-2018
Exercice 6.17 Retrouver les formules trigonométriques cos(a) ± cos(b), sin(a) ± sin(b).
2) Linéariser cosn (x) ou sinn (x) ((x, n) ∈ R × N), i.e. l’écrire comme une somme de
cos(kx) ou de sin(kx) pour des entiers k : on utilise les formules d’Euler pour remplacer
cos(x) ou sin(x), puis la formule du binôme de Newton, puis, aprés regroupement adéquat
des termes, à nouveau les formules d’Euler.
Exercice 6.20 Montrer que pour tout n ∈ N, cos(nx) est un polynôme en cos(x).
Exercice 6.21 Retrouver les formules de trigonométrie pour cos(a ± b) et pour sin(a ± b).
Exercice 6.22 Déduire de la formule précédente que pour tout (a, b) ∈ R2 , il existe 3
φ ∈ R tel que, pour tout réel t
√
a cos(t) + b sin(t) = ρ cos(t − φ), où ρ = a2 + b2 .
(Cette transformation classique est trés utile en Physique et en SI. Elle permet aussi de
résoudre une équation trigonométrique de la forme a cos(t) + b sin(t) = c.)
Exercice 6.23 Retrouver les formules trigonométriques cos(a) ± cos(b), sin(a) ± sin(b).
n
X n
X
Exercice 6.24 Calculer cos(kx), et sin(kx), où (n, x) ∈ N × R.
k=0 k=0
5) Utiliser le cercle trigonométrique pour se souvenir de relations usuelles (cos(x+ π2 ) =
− sin(x) par exemple), se souvenir des cosinus et sinus des angles usuels (0, π6 , π6 , π4 π3 , π2 et
leurs symétriques par rapport aux axes).
3. On pourra utiliser le fait que si α et β sont deux réels tels que α2 + β 2 = 1 alors il existe un angle
dont le cosinus vaut α et le sinus vaut β.
page : 32
MPSI G.Monod 2017-2018
Remarque 6.31 La fonction tangente est impaire sur D, et admet la limite +∞ à gauche
en π2 , et la limite −∞ à droite en − π2 .
Exercice 6.32 Utiliser toutes les remarques précédentes pour tracer l’allure du graphe de
la fonction tangente sur [− π2 , π2 ]. On précisera la position de la courbe par rapport à la
première bissectrice.
Théorème 6.34 (Rappels sur les congruences) Soit a, b, c trois réels. Par définition a ≡ b
(mod c) signifie qu’il existe k ∈ Z tel que a − b = k.c. Par conséquent, pour tout d ∈ R,
Et pour tout d ∈ R∗ ,
page : 33
MPSI G.Monod 2017-2018
Théorème 6.37 (Équation du second degré) Soit (a, b, c) ∈ C3 où a 6= 0, soit E : a.z 2 +
b.z + c = 0.
On appelle discriminant de ce trinôme le complexe ∆ = b2 − 4ac. Si δ ∈ C est tel que
δ 2 = ∆, alors les solutions de l’équation E sont
−b + δ −b − δ
et .
2a 2a
√
Exercice 6.38 Résoudre z 2 − 2z + i = 0 dans C.
Théorème 6.39 (Racine nieme d’un complexe non nul) Soit z0 ∈ C∗ et n ∈ N∗ , soit
E : z n = zo .
Comme z0 est non nul, il admet une forme exponentielle : zo = ρo eiθo . L’ensemble des
solutions de l’équation est alors :
1 θo +2kπ
SE = {ρon ei( n
)
/ k ∈ Z}.
Les éléments de cet ensemble sont appelés les racines nieme de z0 . Il y en a exactement n,
et on a :
1 θo +2kπ
SE = {ρon ei( n
)
/ k ∈ [[0; n − 1]]}.
page : 34
MPSI G.Monod 2017-2018
c−a
Remarque 6.45 Ainsi A, B et C sont alignés si et seulement si ∈ R.
b−a
{a + λu / λ ∈ R}.
On notera (A, →
−
u ) la droite passante par A et dirigée par u.
{z ∈ C / |z − a| = r}.
Exercice 6.49 On rappelle que les points du cercle de diamètre [A, B] sont exactement
les points M tels que le triangle (AM B) soit rectangle en M . En déduire l’ensemble des
affixes des points du cercle de diamètre [A, B], en fonction des affixes a et b de A et de B.
Remarque 6.50 L’ensemble des affixes des points du cercle de centre 0 et de rayon 1 est
noté U. Ainsi
{z ∈ C / |z − a| ≤ r}.
page : 35
MPSI G.Monod 2017-2018
Soit →
−u un vecteur du plan. On appelle translation de vecteur →
−
u la transformation du
−−−→ −
plan qui à chaque point M du plan associe l’unique point M tel que M M 0 = →
0 u.
Exercice 6.53 Montrer que deux translations commutent, i.e. que si T1 et T2 sont deux
translations alors T1 ◦ T2 = T2 ◦ T1 .
Soit θ ∈ R et A un point du plan. On appelle rotation de centre A et d’angle θ la
transformation du plan qui à chaque point M du plan associe l’unique point M 0 tel que
−−→ −−→
AM = AM 0 et (AM , AM 0 ) ≡ θ[2π].
Exercice 6.56 Montrer que deux rotations commutent si et seulement si elles ont même
centre. On vérifiera que rA,θ1 ◦ rA,θ2 = rA,θ1 +θ2 = rA,θ2 ◦ rA,θ1 .
Remarque 6.57 L’application rA,θ est bijective, car elle admet rA,−θ pour bijection réciproque.
Exercice 6.58 Montrer que les rotations et les translations sont des isométries (i.e. elles
conservent les distances : si B et C ont pour images respectives B 0 et C 0 alors B 0 C 0 = BC).
Exercice 6.59 Montrer que les rotations et les translations conservent les angles orientés
−−→ −−−→ −−→ −−→
(i.e. si B, C et D ont pour images respectives B 0 , C 0 et D0 alors (B 0 C 0 , B 0 D0 ) ≡ (BC, BD)[2π]).
Soit A un point du plan et r ∈ R∗ . On appelle homothétie de centre A et de rapport r
la transformation du plan qui à chaque point M du plan associe l’unique point M 0 tel que
−−→0 −−→
AM = rAM .
page : 36
MPSI G.Monod 2017-2018
Exercice 6.62 Montrer que hA,r1 ◦ hA,r2 = hA,r1 r2 = hA,r2 ◦ hA,r1 , et que hA,1 = IdC .
Remarque 6.63 L’application hA,r est bijective, car elle admet rA,f rac1r pour bijection
réciproque (car r 6= 0).
Exercice 6.64 Montrer qu’une homothétie de rapport r multiplie les distances par |r| (i.e.
si B et C ont pour images respectives B 0 et C 0 alors B 0 C 0 = |r|BC). Elle conserve donc
les rapports de distances.
Exercice 6.66 Montrer qu’une homothétie et une rotation de même centre commutent.
Définition 6.68 On appelle similitude directe une transformation du plan qui conserve
les angles orientés.
Remarque 6.69 Géométriquement, ce sont les bijections du plan qui conserve les formes
(et l’orientation) : une figure du plan sera envoyée sur une figure ”semblable”, mais pas
forcément de même taille. Les translations, rotations et homothéties sont des similitudes
directes. Toutes composées de ces transformations aussi.
Exercice 6.70 Montrer géométriquement qu’une similitude directe multiplie les distances
par une constante r > 0.
Exercice 6.72 Montrer que, si S est une similitude directe, il existe un angle θ tel que
−−→ −−−−−−−→
pour tous points distincts A et B du plan, (AB, S(A)S(B)) ≡ θ[2π].
Définition 6.74 Si une similitude admet exactement un point fixe, ce point est appelé le
centre de la similitude. Sinon on dit que la similitude n’a pas de centre.
Remarque 6.75 Déterminer une similitude S du plan équivaut à déterminer son rapport,
son angle, et son centre si elle en a un.
page : 37
MPSI G.Monod 2017-2018
Exercice 6.82 Vérifier que sA,θ est involutive (i.e. bijective et égale à sa bijection réciproque).
Exercice 6.83 Vérifier que les symétries axiales sont des isométries, qui envoient les
angles sur leurs opposés, modulo 2π. En déduire que les symétries axiales ne sont pas des
similitudes directes.
6.5 Compléments
6.5.1 Suites à valeurs complexes
Soit u ∈ CN , une suite à valeurs complexes. Soit ` ∈ C.
Définition 6.84 On dira que u converge vers ` si la suite réelle (|un − `|)n∈N converge
vers 0, autrement dit si pour tout > 0, il existe un rang n tel que pour tout n ≥ n ,
|un − `| ≤ .
Remarque 6.85 Pour tout a ∈ C et tout r > 0, BF (a, r) l’ensemble des affixes des points
du disque ferné de centre le point d’affixe a et de rayon r, i.e.
BF (a, r) = {z ∈ C / |z − a| ≤ r}.
Notons également BO (a, r) l’ensemble des affixes des points du disque ouvert de centre le
point d’affixe a et de rayon r, i.e. B0 (a, r) = {z ∈ C / |z − a| < r}.
Ces ensembles sont appelés respectivement boule fermée et boule ouverte de centre a et de
raron r dans C. Ils généralisent la notion de voisinnage d’un point dans C. Ainsi
Théorème 6.86 Soit (un )n∈N ∈ CN . La suite u converge si et seulement si les suites
réelles (<(un ))n∈N et (im(un ))n∈N convergent. Et si c’est le cas, alors
page : 38
MPSI G.Monod 2017-2018
Remarque 6.88 Les propriétés vues pour les suites arithmétiques, géométriques, arithmético-
géométriques et suivant une relation de récurrences linéaires d’ordre 2 à coefficients constants,
sont encore vraies si la suite et les coefficients apparaissant dans la relation de récurrence
sont complexes.
exp(z) = ea .eib .
On remarque que si z est réel, cette définition prolonge l’exponentielle réelle. De même
si z est imaginaire pur, cette défintion prolonge la définition de la notation exponentielle
(exp(z) = 1.eib = cos(b) + i sin(b)).
Par la suite on notera ez pour exp(z).
Exercice 6.92 Représenter dans le plan complexe l’ensemble des solutions de l’équation
ez = 1 + i.
page : 39
MPSI G.Monod 2017-2018
7 Suites réelles I
7.1 Définitions, propriétés élémentaires
7.1.1 Rappels
On appelle suite réelle toute application u de N dans R. L’ensemble des suites réelles
est noté RN . Pour chaque n ∈ N, le terme d’indice n de la suite u, i.e. u(n), est noté un .
La suite u est aussi notée (un )n∈N , ou (un ).
Remarque 7.2 Si u est croissante à partir du rang n0 alors pour tous naturels n, p tels
que n ≥ p ≥ n0 , un ≥ up . (cela se démontre, si demandé, par récurrence.) De même pour
les autres types de monotonie.
Remarque 7.4 Pour montrer que u est majorée (resp. minorée) il suffit de montrer
qu’elle l’est par un réel M à partir d’un rang n0 , car alors M 0 = M ax{u0 , u1 , . . . , un0 −1 , M }
est un majorant de u (resp. M 0 = M in{u0 , u1 , . . . , un0 −1 , M } est un minorant de u). Par
ailleurs, montrer que u est bornée équivaut à montrer que (|un |) est majorée
Définition 7.5 On dit que u est constante s’il existe un réel a tel que tous les termes de
la suite valent a. On dit que u est stationnaire si elle est constante à partir d’un certain
rang.
Définition 7.7 Soit u ∈ RN . On dit que u tend vers +∞ si pour tout A ∈ R, il existe un
rang nA à partir duquel tous les termes de la suite sont supérieurs à A, autrement dit si
page : 40
MPSI G.Monod 2017-2018
∀A ∈ R, ∃nA ∈ N/∀n ≥ nA , un ≥ A.
Définition 7.8 Soit u ∈ RN . On dit que u tend vers −∞ si pour tout A ∈ R, il existe un
rang nA à partir duquel tous les termes de la suite sont inférieurs à A, autrement dit si
∀A ∈ R, ∃nA ∈ N/∀n ≥ nA , un ≤ A.
On peut définir la notion de voisinage d’un réel, ou de +∞, ou de −∞, pour exprimer ces
trois cas de la même façon.
Définition 7.13 Soit u ∈ RN . On dit que u est convergente si u tend vers une limite
réelle (finie) et qu’elle est divergente si elle n’est pas convergente.
Remarque 7.14 Attention, une suite divergente ne tend pas forcément vers +∞ ou −∞.
Une suite peut ne pas avoir de limite, ni finie ni infinie, par exemple (un = (−1)n )n∈N .
(−1)n
Exercice 7.15 Montrer, avec les définitions seulement, que lim 2n = +∞, que lim = 0,
n7→+∞ n7→+∞ n
n+1
et que lim = 1.
n7→+∞ n
Par la suite, sauf si on le demande, les limites évidentes n’ont pas à être redémontrées.
Remarque 7.18 La réciproque de ce théorème est fausse (cf. la suite ((−1)n )).
Remarque 7.19 Soit u une suite qui converge vers ` ∈ R ∪ {+∞, −∞}), alors
1. Si ` est un réel strictement positif ou si ` = +∞, alors il existe un rang à partir
duquel tous les termes de la suite u sont strictement positifs.
2. Si ` est un réel strictement négatif ou si ` = −∞, alors il existe un rang à partir
duquel tous les termes de la suite u sont strictement négatifs.
Ces résultats sont classiques et à savoir redémontrer.
page : 41
MPSI G.Monod 2017-2018
`1 ∈ R `1 = +∞ `1 = −∞
`2 ∈ R `1 + `2 +∞ −∞
`2 = +∞ +∞ +∞ F.I.
`2 = −∞ −∞ F.I. −∞
où F.I. signifie ”Forme indéterminée”, i.e. le théorème ne permet pas de conclure.
Théorème 7.21 (Limite d’un produit) Avec les mêmes hypothèses que dans le théorème
précédent, le tableau suivant indique la valeur de lim u.v, selon les valeurs de `1 et `2 ,
dans les cas où l’on peut conclure.
`1 = 0 `1 ∈ R+∗ `1 ∈ R−∗ `1 = +∞ `1 = −∞
`2 = 0 0 0 0 F.I. F.I.
`2 ∈ R+∗ 0 `1 .`2 `1 .`2 +∞ −∞
`2 ∈ R−∗ 0 `1 .`2 `1 .`2 −∞ +∞
`2 = +∞ F.I. +∞ −∞ +∞ −∞
`2 = −∞ F.I. −∞ +∞ −∞ +∞
Exercice 7.22 Prendre des cas donnés par ces tableaux et les démontrer. Illustrer par des
exemples un cas de ”forme indéterminée”.
Remarque 7.25 Attention, on n’obtient qu’une inégalité large entre les limites. De plus
il faut avoir déjà prouvé que les suites convergent pour pouvoir passer ainsi à la limite
dans l’inégalité.
page : 42
MPSI G.Monod 2017-2018
x2 = ax + b
Il y a trois cas :
1. L’équation caractéristique a deux racines réelles, α1 et α2 . Alors
E = {(λ.α1n + µ.α2n )n∈N / (λ, µ) ∈ R2 }.
2. L’équation caractéristique a une seule racine réelle, α0 . Alors
E = {((λ.n + µ).α0n )n∈N / (λ, µ) ∈ R2 }.
3. L’équation caractéristique a deux racines complexes conjuguées, α et α. Soit (ρ, θ) ∈
R+ × R tel que α = ρeiθ . Alors
E = {(ρn (λ. cos(nθ) + µ. sin(nθ))n∈N / (λ, µ) ∈ R2 }.
page : 43
MPSI G.Monod 2017-2018
Remarque 7.26 Dans tous les cas, si u appartient à E, on peut déterminer les coeffi-
cients λ et µ pour u si on connaı̂t la valeur de deux termes de u (par exemple, u0 et u1 ),
car cela fournit un système de deux équations vérifiées par (λ, µ) qui permet de conclure.
Remarque 7.27 On peut déjà vérifier que, dans tous les cas, E contient l’ensemble pro-
posé de solutions. L’autre inclusion sera prouvée grâce au cours d’algèbre linéaire (second
semestre).
Par ailleurs, on peut conclure à une limite infinie dans les cas suivants.
Proposition 7.30 Soit u et v deux suites réelles. S’il existe un rang n0 à partir duquel
un ≤ vn , alors :
1. si u tend vers +∞, v aussi (Théorème de minoration) ;
2. si v tend vers −∞, u aussi (Théor‘eme de majoration).
Proposition 7.32 Soit u une suite réelle. Si u est croissante, au moins à partir d’un
certain rang, et si u n’est pas majorée, alors u tend vers +∞. Si u est décroissante, au
moins à partir d’un certain rang, et si u n’est pas minorée, alors u tend vers −∞.
Théorème 7.35 Si u et v sont des suites adjacentes alors elles convergent, et vers la
même limite.
Remarque 7.36 On utilise aussi ce théorème pour construire des suites adjacentes par
dichotomie, pour trouver par exemple une valeur approchée d’une solution de l’équation
f (x) = 0 (on le verra en informatique).
page : 44
MPSI G.Monod 2017-2018
Remarque 7.38 Par exemple u elle-même, (u2n )n∈N , (u4n+5 )n∈N , (un2 −n )n∈N , sont des
sous-suites de u... Il y a une infinité d’applications strictement croissantes de N dans N,
donc une infinité de sous-suites d’une suite donnée.
Théorème 7.39 Si u tend vers ` (où ` ∈ R ∪ {+∞, −∞}), alors toute sous-suite de u
tend aussi vers `.
Exercice 7.40 Démontrer ce théorème. Pour cela montrer d’abord par récurrence que si
φ : N 7→ N est strictement croissante, alors φ(n) ≥ n pour tout n ∈ N.
Remarque 7.41 Pour montrer qu’une suite ne tend pas vers `, il suffit donc de montrer
qu’une de ses sous-suites ne tend pas vers `. Pour montrer que u n’a pas de limite, il suffit
donc de montrer que deux sous-suites de u ont des limites différentes.
Proposition 7.43 Soit u ∈ RN , soit ` ∈ R̄. Si (u2n )n∈N et (u2n+1 )n∈N tendent vers `,
alors u tend vers `.
page : 45
MPSI G.Monod 2017-2018
On dit que f est croissante (resp. décroissante) sur I si pour tout (x, y) ∈ I 2 , si
x ≤ y alors f (x) ≤ f (y) (resp. f (x) ≥ f (y)). Autrement dit f est croissante (resp.
décroissante) sur I si et seulement si pour tout (x, y) ∈ I 2 , (x − y).(f (x) − f (y)) ≥ 0
(resp. (x − y).(f (x) − f (y)) ≤ 0), i.e. x − y et f (x) − f (y) sont de même signe (resp. de
signe opposé).
De même pour la définition de la croissance ou de la décroissance stricte de f sur I. Et,
par exemple, f est strictement croissante sur I si et seulement si pour tout (x, y) ∈ I 2 tel
que x 6= y, (x − y)(f (x) − f (y)) > 0.
On dit que f est monotone (resp. strictement monotone) sur I si f est croissante ou
décroissante (resp. strictement croissante ou strictement décroissante) sur I.
On dit que f est majorée (resp. minorée) sur I s’il existe M ∈ R tel que pour tout
x ∈ I, f (x) ≤ M (resp. f (x) ≥ M ). On dit que f est bornée sur I si elle est majorée et
minorée sur I.
Remarque 8.1 De même qu’il ne faut pas confondre les notations un et (un ) pour les
suites, il faut bien utiliser la notation f ou x 7→ f (x) quand vous parlez de la fonction f ,
et non f (x) qui désigne le réel image de x par f . Précisez également sur quel ensemble la
fonction est croissante, ou majorée, ou continue, dérivable etc...
Ce premier chapitre sur les fonctions réelles de variables réelles concerne leur étude
locale (i.e. au voisinage d’un point, fini ou infini). On s’interessera plus tard à leur étude
globale (i.e. aux propriétés significatives sur tout un ensemble de points).
page : 46
MPSI G.Monod 2017-2018
Théorème 8.4 Soit a ∈ R ∪ {+∞, −∞}, f une fonction définie sur un voisinage D de a
(sauf éventuellement en a), et (`1 , `2 ) ∈ (R ∪ {+∞, −∞})2 .
Si f admet `1 et `2 pour limites en a, alors `1 = `2 .
Exercice 8.6 Écrire (et apprendre) cette définition dans chacun des neuf cas possibles (`
et a finis ou infinis).
3
Exercice 8.7 Montrer avec la définition de la limite que lim ln(x) = +∞, que lim = 0,
x7→+∞ x7→+∞ x3 +1
x+1
lim = −2.
x7→1 2x − 3
Théorème 8.12 Soit (`, a) ∈ R̄ × R. Soit f une fonction définie sur un voisinage de a,
sauf éventuellement en a.
— Si f est définie en a, alors la fonction f admet la limite ` en a si et seulement si
elle admet la limite ` à gauche et à droite en a et ` = f (a).
— Si f n’est pas définie en a, alors la fonction f admet la limite ` en a si et seulement
si elle admet la limite ` à gauche et à droite en a.
page : 47
MPSI G.Monod 2017-2018
Remarque 8.13 Attention à bien distinguer les deux cas (f définie ou non en a). Par
exemple, la fonction f définie sur R par
R −→ (
R
f: 0 si x 6= 0
x 7−→
1 si x = 0
2−x
Exercice 8.15 Montrer que lim = 0− .
x7→2+ x+2
Remarque 8.17 Si la limite à gauche (resp. à droite) de f en a est f (a), on dit que f
est continue à gauche (resp. à droite) en a. Donc f est continue en a si et seulement si
elle est continue à gauche et à droite en a.
Remarque 8.19 Graphiquement, cela signifie que la courbe de f admet une tangente en
a, la droite d’équation
f (x) − f (a)
Remarque 8.20 Si le taux d’accroissement de f en a,x 7→ , n’admet qu’une
x−a
limite à gauche (resp. à droite), on appelle dérivée à gauche (resp. à droite) cette limite,
et on la note fg0 (a) (resp. fd0 (a)). On dit alors que f est dérivable à gauche (resp. à droite)
en a. Ainsi f est dérivable en a si et seulement si elle est dérivable à gauche et à droite
en a et fg0 (a) = fd0 (a). (Graphiquement, la demi-tangente à gauche et la demi-tangente à
gauche se recollent en une même droite.)
page : 48
MPSI G.Monod 2017-2018
Exercice 8.25 Montrer que f : x 7→ |x| est continue mais pas dérivable en 0. (La
réciproque du théorème précédent est donc fausse.)
Proposition 8.26 Soit a ∈ R ∪ {+∞, −∞}. Soit ` ∈ R ∪ {+∞, −∞}. Soit f définie au
voisinage de a, tendant vers ` en a. Alors
1. Si ` ∈ R, alors il existe un voisinage de a sur lequel f est bornée.
2. Si ` ∈ R+∗ ∪ {+∞} (resp. ` ∈ R−∗ ∪ {−∞}) en a, alors il existe un voisinage de a
sur lequel f est strictement positive (resp. strictement négative).
Remarque 8.29 Pour montrer que f n’a pas de limite en a, il suffit donc de trouver une
suite (un )n∈N tendant vers a, telle que la suite (f (un ))n∈N n’a pas de limite, ou encore de
trouver deux suites (un )n∈N et (vn )n∈N tendant vers a, telles que les suites (f (un ))n∈N et
(f (vn ))n∈N n’ont pas la même limite.
Exercice 8.30 Montrer que x 7→ sin(x) n’a pas de limite en +∞, et que x 7→ cos( x1 ) n’a
pas de limite en 0+ .
Remarque 8.31 Si on étudie une suite vérifiant un+1 = f (un ) pour tout n de N, et si
on suppose que u tend vers ` ∈ R ∪ {+∞, −∞}, alors : soit ` n’est pas dans le domaine
de continuité de f , soit f est continue en `, et dans ce cas f (`) = ` 4 .
4. En effet, si ` est limite de u, et si f est continue en `, la caractérisation séquentielle de la limite
implique lim f (un ) = lim f = f (`), et on aussi lim f (un ) = lim un+1 = lim u = `, donc f (`) = `.
n7→+∞ ` n7→+∞ n7→+∞
page : 49
MPSI G.Monod 2017-2018
Remarque 8.32 Les théorèmes prouvés pour les suites ont parfois leurs analogues pour
les fonctions. On utilise la caractérisation séquentielle de la limite pour prouver ces théorèmes
sur les fonctions (voir par exemples, les théorémes suivants liés à l’ordre, aux opérations,
le théoréme ”des gendarmes”...).
Remarque 8.35 Penser à mettre sous forme exponentielle les fonctions où apparaı̂t un
exposant dépendant de x.
Théorème 8.36 (Limite d’une composée) Soit (a, b, `) ∈ (R ∪ {+∞, −∞})3 . Soit f une
fonction définie au voisinage de a et g une fonction définie au voisinage de b.
Si lim f = b et lim g = `, alors lim g ◦ f existe et vaut `.
a b a
Théorème 8.38 (Limite d’une inverse) Soit (a, `) ∈ R̄2 . Soit f une fonction admettant
1
la limite ` en a, alors le tableau suivant donne la limite en a de , selon la valeur de ` :
f
` 0+ 0− ` ∈ R∗ +∞ −∞
1 1
lim +∞ −∞ 0+ 0−
x7→a f (x) `
page : 50
MPSI G.Monod 2017-2018
Remarque 8.42 Attention, on n’obtient qu’une inégalité large entre les limites. De plus
il faut avoir déjà prouvé que les fonctions admettent des limites en a pour pouvoir passer
ainsi à la limite dans l’inégalité.
Proposition 8.45 Soit a ∈ R∪{+∞, −∞}. Soit f , g deux fonctions définies sur V −{a},
où V est un voisinage de a.
Si pour tout x ∈ V − {a}, f (x) ≤ g(x), alors :
— si f tend vers +∞ en a, alors g aussi ;
— si g tend vers −∞ en a, alors f aussi.
Exercice 8.46 Démontrer ces deux résultats (appelés théorèmes de majoration et de mi-
noration) à l’aide de la caractérisation séquentielle de la limite et d’un théorème analogue
pour les suites. Le démontrer aussi directement.
page : 51
MPSI G.Monod 2017-2018
— Si f est majorée sur I, elle admet une limite finie en a, sinon elle admet en a
la limite +∞.
Par exemple, la fonction partie entière qui est croissante sur R, mais ni majorée, ni
minorée sur R, admet des limites finies en tout réel et tend vers +∞ en +∞ et −∞ en
−∞.
page : 52
MPSI G.Monod 2017-2018
B(a, r) = {z ∈ C / |z − a| ≤ r}
Définition 8.49 Soit ` ∈ C. On dit que f admet la limite ` en x0 si pour tout > 0, il
existe un voisinage V de x0 tel que pour tout x ∈ V , f (x) ∈ B(`, ), i.e. |f (x) − `| ≤ .
On le note limx7→x0 f (x) = `.
Remarque 8.52 La caractérisation séquentielle de la limite reste valable pour une fonc-
tion de variable réelle à valeurs complexes.
Définition 8.54 Soit c ∈ I. On dit que f est continue en c si f admet f (c) pour limite
en c.
Exercice 8.57 Démontrer que les théorèmes sur la continuité, la dérivabilité et la dérivée
d’une somme et d’un produit restent valables pour des fonctions à valeurs complexes.
page : 53
MPSI G.Monod 2017-2018
Exercice 8.59 Montrer que x 7→ eix est dérivable sur R et donner l’expression de sa
dérivée.
Exercice 8.60 Soit φ : I → R une fonction dérivable sur I. Montrer que g : x 7→ eφ(x)
est dérivable sur I et montrer que
g 0 : x 7→ iφ0 (x)eφ(x) .
page : 54
MPSI G.Monod 2017-2018
9 Suites réelles II
Dans on donne des méthodes d’études pour deux types de suites classiques : les suites
définies par une relation de récurrence simple, et les suites définies implicitement, i.e.
comme solution d’une équation dépendant de n.
∀n ∈ N, un+1 = f (un ),
pour une fonction f ne dépendant pas de n. Une telle suite est déterminée pas cette rela-
tion de récurrence et la donnée de u0 .
Méthode d’étude :
1. On étudie d’abord la fonction f : ensemble de définition D, domaine de continuité
Dc , étude des variations de f . On peut également étudier la position relative de la
courbe de f par rapport à la premiére bissectrice (c’est-à-dire le signe de g : x 7→
f (x) − x sur D), et tracer la courbe Cf de f et la première bissectrice.
Les abscisses des points d’intersection éventuels de ces deux courbes, i.e. les points
tels que f (x) = x, s’appellent les points fixes de f .
2. Si u admet une limite ` ∈ R ∪ {−∞, +∞}, on sait déjà que :
(a) Soit ` ∈ Dc , alors d’après la caractérisation séquentielle de la limite (cf. Re-
marque 8.31),
` est un point fixe de f .
(b) Soit ` ∈
/ Dc .
Dans certains cas on peut ainsi conclure directement par l’absurde que u n’a pas
de limite (cf. Exercice
3. On cherche des sous-ensembles I de D stables par f (i.e. tels que f (I) ⊂ I).
On retiendra que si f (I) ⊂ I, et s’il existe une rang n0 tel que un0 ∈ I, alors pour
tout n ≥ n0 , un ∈ I (démonstration par récurrence).
En particulier si I est borné, alors u est bornée.
4. Puis si f est croissante sur I, si f (I) ⊂ I et si un0 ∈ I, alors (un )n≥n0 est mono-
tone.
On montre en effet par récurrence que le signe de un+1 −un est celui de un0 +1 −un0 ,
pour tout n ≥ n0 .
(Ou si le signe de x 7→ f (x) − x est constant sur I, on en déduit directement le
signe de un+1 − un = f (un ) − un , pour n ≥ n0 , puisque un ∈ I pour n ≥ n0 .)
On peut alors souvent conclure à l’aide du théoréme de convergence monotone.
5. Par contre si f est décroissante sur I, u n’est pas monotone (le signe de un+1 − un
change successivement pour chaque n).
On peut alors s’interesser à f ◦ f , qui est, elle, croissante sur I 5 .
Or les sous-suites (pn = u2n ) et (in = u2n+1 ) vérifient pour tout n, pn+1 = f ◦ f (pn )
et in+1 = f ◦ f (in ).
5. Vérifier en effet que si f (I) ⊂ I et f est décroissante sur I, alors f ◦ f est croissante sur I et laisse
stable I.
page : 55
MPSI G.Monod 2017-2018
Donc d’aprés le cas 5) appliqué à f ◦ f et à ces deux suites, elles sont monotones.
On cherche alors à utiliser le théorème de convergence monotone pour ces deux
suites et le fait que leur limites éventuelles sont soit des points fixes de f ◦ f , soit
des points où f ◦ f n’est pas continue.
On peut alors conclure, grâce à la Proposition 7.43 :
(a) Soit (in ) ou (pn ) diverge, ou elles convergent mais vers des limites différentes,
donc u diverge.
(b) Soit elles convergent vers une même limite `, alors u converge vers `.
Exercice 9.2 Soit a ∈ R. Soit u la suite définie par u0 = a et pour tout n ∈ N, un+1 =
eun .
1. Montrer que pour tout réel x, ex ≥ x + 1.
2. Supposone que u converge. Soit ` sa limite.
(a) Montrer que e` = `.
(b) Conclure.
3. Étudier la monotonie de u.
4. Conclure.
4un + 5
Exercice 9.3 Étudier la suite définie par u0 = 4 et pour tout n ∈ N, un+1 = .
un + 3
Quel est le comportement asymptotique de u pour d’autres choix de u0 ? Déterminer l’en-
semble des valeurs de u0 à éviter pour que la suite soit bien définie.
1
Exercice 9.4 Étudier la suite définie par u0 = et pour tout n ∈ N, un+1 = (1 − un )2 .
2
Quel est le comportement asymptotique de u pour d’autres choix de u0 ?
page : 56
MPSI G.Monod 2017-2018
On ne connait pas en général f −1 (resp. fn−1 ) donc on ne sait pas exprimer explicite-
ment la suite (un ). Mais on peut chercher à encadrer (un ), en utilisant la monotonie de
f (resp. de fn ).
un = f −1 (tn )
Si on ne peut pas calculer f −1 , on sait qu’elle a, sur f (I), la même monotonie que f sur
I.
On étudie donc la monotonie de (tn ) pour en déduire celle de (un ).
On sait aussi aussi que f −1 est continue sur f (I).
Donc si on connaı̂t le comportement asymptotique de (tn ), on peut en déduire celui de (un ).
Les propriétés de (un ) sont plus difficiles à trouver, mais on utilise souvent, pour
étudier la monotonie de (un ), l’étude du signe de fn (un+1 ) (ou celui de fn+1 (un )), car,
comme fn (un ) = 0,
page : 57
MPSI G.Monod 2017-2018
Remarque 10.2 Soit f une fonction définie sur un intervalle I et à valeurs dans C. On
note f1 et f2 les fonctions définies sur I par f1 (x) = Re(f (x) et f2 (x) = Im(f (x) pour
tout x ∈ I. Alors f admet une primitive sur I si et seulement si f1 et f2 admettent des
primitives sur I. De plus si F1 et F2 sont des primitives de f1 et f2 respectivement, alors
F1 + iF2 est une primitive de f .
Proposition 10.4 Soit n ∈ N, soit α ∈ R − {−1}. Le tableau suivant rappelle des primi-
tives de fonctions classiques.
Fonction Domaine de validité une primitive
xn+1
x 7→ xn R x 7→
n+1
xα+1
x 7→ xα R+∗ x 7→
α+1
1 +∗
x 7→ R
x
1
x 7→ R∗
x
x 7→ ex
x 7→ sin(x)
x 7→ cos(x)
x 7→ eix
x 7→ sh(x)
x 7→ ch(x)
1
x 7→ R x 7→ arctan(x)
1 + x2
−1
x 7→ √ ] − 1, 1[ x 7→ arccos(x)
1 − x2
1
x 7→ √ ] − 1, 1[ x 7→ arcsin(x)
1 − x2
Remarque 10.5 Les trois derniers résultats seront démontrés au chapitre Calcul différentiel
(Théorème sur la dérivabilité de la bijection réciproque).
1
Exercice 10.6 Soit a ∈ C. Déterminer une primitive de x 7→ x−a .
Remarque 10.8 On rappelle la formule de la dérivée d’une composée : en tout réel x où
f ◦ g est dérivable, on a
page : 58
MPSI G.Monod 2017-2018
f α+1
— Une primitive de f 0 .f α est si α ∈ R−1 .
α+1
f0
— Une primitive de est ln ◦|f |.
f
— Une primitive de f 0 .exp ◦ f est exp ◦ f .
— Une primitive de f 0 . sin ◦f est cos ◦f .
f0
— Une primitive de est arctan ◦ f , etc...
1 + f2
1
Exercice 10.9 Soit (a, b, c) ∈ R3 . Déterminer une primitive de x 7→ .
ax2 + bx + c
Remarque 10.10 On démontrera au chapitre Calcul différentiel qu’un fonction dont la
dérivée est nulle sur un intervalle est constante sur cet intervalle.
Théorème 10.11 Soit F et G deux primitives d’une même fonction sur un intervalle I,
alors F − G est constante sur I.
10.2 Intégrale
Soit a ≤ b deux réels, et f une fonction continue sur [a, b].
L’intégrale sur [a, b] de f est l’aire de la portion du plan délimitée par la courbe de f , l’axe
des abscisses et les droites d’équations y = a et y = b, comptée algèbriquement (positive-
Z b
ment au dessus de l’axe des abscisses, négativement au dessous). On la note f (t)dt.
a
On définira rigoureusement cette intégrale au chapitre Calcul intégral.
Z a Z b
Par convention, f (t)dt = − f (t)dt.
b a
Théorème 10.13 Soit f une fonction continue sur un intervalle I. Soit a ∈ I. Alors f
amdet une infinité de primitive sur I, et la primitive de f qui s’annule en a est
Z x
F : x 7→ f (t)dt.
a
page : 59
MPSI G.Monod 2017-2018
Z b
f (t)dt = G(b) − G(a) = [G(t)]ba .
a
Définition 10.17 On dit qu’une fonction est de classe C 1 sur un intervalle I si elle est
dérivable sur I et si sa dérivée est continue sur I.
On note C 1 (I) l’ensemble des fonctions de classe C 1 sur I.
Remarque 10.18 On note aussi C 0 (I) l’ensemble des fonctions continues sur I.
Exercice 10.24 Sans utiliser la formule de la dérivée de arcsin, calculer à l’aide d’un
Z 1
2 dx
changement de variable √ .
0 1 − x2
page : 60
MPSI G.Monod 2017-2018
Remarque 11.1 On rappelle que la notation f (k) désigne la dérivée k ieme de la fonction
f , i.e. la fonction obtenue en dérivant k fois successivement f . Par convention f (0) désigne
f.
Définition 11.3 On appelle équation homogène (ou équation sans second membre) as-
sociée à E l’équation différentielle
E0 : an y (n) + an−a y (n−1) + · · · + a1 y 0 + a0 y = O,
où 0 désigne la fonction nulle sur I.
page : 61
MPSI G.Monod 2017-2018
n
X
ak y (k) = b1 + b2 .
k=0
Théorème 11.8 Si E est une équation différentielle linéaire, si f est une solution par-
ticulière de E sur un intervalle I, et si E0 est l’équation homogène associée à E, alors
l’ensemble des solutions de E est l’ensemble des fonctions de I dans K de la forme f + h,
où h est solution de E0 .
E : y 0 + ay = b,
Théorème 11.10 Si la fonction a est continue sur l’intervalle I, et si A est une primitive
de a sur I, alors les solutions de l’équation différentielle homogène E0 sur I sont les
fonctions de la forme t 7→ λe−A(t) , où λ ∈ K.
Exercice 11.13 Résoudre, sur un intervalle qu’on précisera, l’équation E0 : (x2 + 1)y 0 +
y = 0, puis l’équation F0 : y 0 = ytan(x).
Remarque 11.14 La condition y(t0 ) = y0 s’appelle une condition initiale. Elle fixe le
paramètre λ.
D’après le théorème 11.8, l’ensemble des solutions de E sur l’intervalle I est l’ensemble
des fonctions de la forme y +yH , où y est une solution particulière de E et yH une solution
de l’équation différentielle homogène E0 .
Il s’agit donc de trouver une solution particulière de E. Si aucune solution n’est évidente,
on applique la méthode de variation de la constante.
page : 62
MPSI G.Monod 2017-2018
E : ay 00 + by 0 + cy = g,
aX 2 + bX + c = 0.
Exercice 11.22 Vérifier que les fonctions proposées dans chaque cas sont bien des solu-
tions de E0 .
page : 63
MPSI G.Monod 2017-2018
Troisième cas Le second membre est une somme de fonctions des types précédents,
on utilise alors le principe de superposition.
page : 64
MPSI G.Monod 2017-2018
12 Arithmétique dans Z
12.1 Divisibilité
Définition 12.1 Soit (a, b) ∈ Z2 . On dit que a divise b (ou que b est un multiple de a)
s’il existe k ∈ Z tel que b = ka. On le note a|b.
Remarque 12.2 Le seul entier b tel que 0|b est b = 0. Tout entier a divise 0.
aZ = {ka / k ∈ Z}.
Proposition 12.4 La relation binaire | est réflexive et transitive sur Z. De plus pour tout
(a, b) ∈ Z2 ,
Remarque 12.5 La relation binaire | n’est donc pas un ordre sur Z, par contre c’est un
ordre partiel sur N.
Définition 12.7 Deux entiers a et b qui vérifient a|b et b|a sont dits associés.
Exercice 12.8 Écrire un programme en Python qui détermine la liste des diviseurs d’un
naturel non nul n donné.
Remarque 12.10 Soit n ∈ Z. On rappelle qu’on peut définir sur Z la relation d’équivalence
de congruence modulo n de la façon suivante : pour tout (a, b) ∈ Z2 ,
a ≡ b[n] ⇐⇒ n|b − a.
page : 65
MPSI G.Monod 2017-2018
Remarque 12.13 Cette propriété des entiers a déjà été utilisée pour prouver le principe
de la récurrence. Elle permet aussi de définir la fonction partie entiére, et de prouver le
théorème de la division euclidienne dans Z. Elle sera aussi utilisée pour définir le pgcd et
le ppcm d’un ensemble fini d’entiers.
Proposition 12.14 Pour tout réel x, il existe un unique entier nx tel que nx ≤ x < nx +1.
Définition 12.15 Pour tout réel x, l’unique entier nx tel que nx ≤ x < nx + 1 est appelé
partie entière de x et noté [x].
Remarque 12.19 On peut se restreindre aux naturels : pour tout (a, b) ∈ N×N∗ , il existe
un unique couple (q, r) ∈ N2 tel que a = bq + r et 0 ≤ r ≤ b − 1.
Alors D(x1 , . . . , xn ) est un ensemble d’entiers non vide (car 1 lui appartient) et est majoré
(par exemple par x1 , en effet tout diviseur de x1 est inférieur ou égal à x1 , car x1 ∈ N∗ ).
Donc D(x1 , . . . , xn ) admet un maximum, d’aprés la proposition 12.12.
Alors M(x1 , . . . , xn ) est un ensemble d’entiers non vide (car x1 . . . xn lui appartient) et
est minoré (par exemple par 0).
Donc M(x1 , . . . , xn ) admet un minimum, d’aprés la proposition 12.12.
page : 66
MPSI G.Monod 2017-2018
Définition 12.22 Soit (y1 , . . . , yn ) ∈ Zn , des entiers dont au moins un non-nul, alors on
définit le pgcd de y1 , . . . , yn comme pgcd(|y1 |, . . . , |yn |), et leur ppcm comme ppcm(|y1 , . . . , |yn |).
Remarque 12.23 Pour deux entiers a et b, dont au moins un est non-nul, on note a ∧ b
le pgcd de a et de b, et a ∨ b le ppcm de a et de b.
Remarque 12.31 De tels entiers u et v sont alors appelés des coefficients de Bezout pour
a et b.
Remarque 12.32 Si a > b, en notant (rn ) la suite des restes dans l’algorithme d’Euclide,
on montre qu’il existe pour tout n ∈ N, deux entiers un et vn tels que aun +bvn = rn . Donc
si p est le premier rang où la suite des restes s’annule, alors aup−1 + bvp−1 = rp−1 = a ∧ b,
donc up−1 et vp−1 sont des coefficents de Bezout.
page : 67
MPSI G.Monod 2017-2018
Exercice 12.35 Résoudre dans Z2 l’équation 26x − 30y = 16, puis 26x − 30y = 38.
Remarque 12.41 Soit x1 , . . . , xn des entiers non tous nuls, alors on dit qu’ils sont pre-
miers entre eux dans leur ensemble si pgcd(x1 , . . . , xn ) = 1.
page : 68
MPSI G.Monod 2017-2018
a
Remarque 12.47 Si r ∈ Q alors il existe (a, b) ∈ Z × N∗ tels que r = . Soit d = a ∧ b et
b0
a
soit (a0 , b0 ) ∈ Z × N∗ tels que a = da0 , b = db0 et a0 ∧ b0 = 1. Alors r = 0 et cette écriture
b
s’appelle la forme irréductible de r.
Remarque 12.49 Soit p un nombre premier, alors pour tout n ∈ Z, soit n ∧ p = 1, soit
p|n.
Exercice 12.52 Écrire une fonction listepremier(n) en Python qui retourne la liste des
nombres premiers inférieurs ou égaux à n, où n est un naturel.
Définition 12.54 Soit p un nombre premier et n un entier non nul. On appelle valuation
p-adique de n la plus grande puissance de p qui divise n, i.e. le naturel k tel que pk divise
n et pk+1 ne divise pas n. On la note vp (n).
Proposition 12.56 Soit (m, n) ∈ (Z∗ )2 . Alors m divise n si et seulement si pour tout p
premier, vp (m) ≤ vp (n).
Proposition 12.57 Soit (a, b) ∈ (Z∗ )2 . Soit K l’ensemble des nombres premiers divisant
a ou b. Alors
Y Y
a∧b= pM in{vp (a),vp (b)} et a ∨ b = pM ax{vp (a),vp (b)} .
p∈K p∈K
(a ∧ b).(a ∨ b) = ab.
page : 69
MPSI G.Monod 2017-2018
13 Structures algébriques
13.1 Loi interne
Définition 13.1 Soit E un ensemble et ⊗ une loi interne sur E, i.e. une application de
E × E dans E. On dit que ⊗ est
1. commutative sur E si pour tout (a, b) ∈ E 2 , a ⊗ b = b ⊗ a.
2. associative sur E si pour tout (a, b, c) ∈ E 3 , (a ⊗ b) ⊗ c = a ⊗ (b ⊗ c).
Définition 13.2 Soit E un ensemble muni d’une loi interne ⊗. Soit e ∈ E. On dit que e
est un élément neutre pour ⊗ sur E si pour tout x ∈ E, e ⊗ x = x ⊗ e = x.
Proposition 13.3 Si E admet un élément neutre pour la loi interne ⊗, celui-ci est unique.
Remarque 13.4 Par exemple la loi + est commutative et associative sur R, et sur C, et
admet 0 pour élément neutre, et la loi de multiplication est commutative et associative sur
R, et sur C, et admet 1 pour élément neutre.
Exercice 13.5 Soit E un ensemble. Montrer que la loi de composition ◦ est une loi interne
sur E E , non commutative (si E a au moins deux éléments), mais associative sur E E .
Montrer que IdE est l’élément neutre pour cette loi.
Exercice 13.6 Soit E un ensemble. Montrer que ∪ et ∩ sont des lois commutatives et
associatives sur P(E). Trouver l’élément neutre pour ∩, puis pour ∪.
Définition 13.7 Soit E un ensemble muni de deux lois internes, ⊗ et ⊕. On dit que ⊗
est distributive à gauche (resp. à droite) sur ⊕ si pour tout (a, b, c) ∈ E 3 , a ⊗ (b ⊕ c) =
(a ⊗ b) ⊕ (a ⊗ c) (resp. (b ⊕ c) ⊗ a = (b ⊗ a) ⊕ (c ⊗ a)).
On dit que ⊗ est distributive sur ⊕ si elle est distributive à droite et à gauche sur ⊗.
Exercice 13.8 Donner des exemples d’ensembles munis de deux lois internes dont l’une
est distributive sur l’autre.
Définition 13.9 Soit E un ensemble muni d’une loi interne ⊗, et admettant un élément
neutre e. Soit a ∈ E. On dit que a est inversible pour ⊗ s’il existe b ∈ E tel que a ⊗ b =
b ⊗ a = e. On dit alors que b est un inverse de a.
Proposition 13.10 Soit E un ensemble muni d’une loi interne associative ⊗ et admet-
tant un élément neutre. Si a admet un inverse, alors il est unique (et on le note en général
a−1 ).
Proposition 13.11 Soit E un ensemble muni d’une loi interne ⊗ associative ⊗, alors
si x et y sont inversibles, x ⊗ y l’est aussi, et (x ⊗ y)−1 = y −1 ⊗ x−1 .
Exercice 13.12 Quels sont les éléments inversibles dans C muni de + ? et dans C muni
de la multiplication ?
Exercice 13.13 Soit E un ensemble. Quels sont les éléments inversibles de E E muni de
la loi de composition ?
page : 70
MPSI G.Monod 2017-2018
13.2 Groupes
Définition 13.14 Soit G un ensemble muni d’une loi interne ⊗. On dit que (G, ⊗) est
un groupe si
1. ⊗ est associative ;
2. il existe un élément neutre eG dans G pour ⊗ ;
3. tout élément de G admet un inverse dans G.
Remarque 13.15 Comme le loi d’un groupe est associative, l’inverse d’un élément a d’un
groupe est unique, on le note en général a−1 .
Remarque 13.16 Soit (G, ⊗) un groupe, a ∈ G et n ∈ N∗ , alors on note an pour a⊗· · ·⊗a
(n fois), et par convention a0 est l’élément neutre de (G, ⊗).
Exercice 13.17 Montrer que Z, Q,R, C sont des groupes additifs, et que Q∗ , R∗ , R+∗ et
C∗ sont des groupes multiplicatifs.
Définition 13.20 Soit (G, ⊗) un groupe. On dit que c’est un groupe abélien si la loi ⊗
est commutative sur G.
Remarque 13.22 Dans un groupe abélien (G, ⊗), on choisit de préférence des notations
additives : pour n ∈ N∗ et a ∈ G, on notera na l’élément a ⊗ · · · ⊗ a (n fois), et on notera
0G l’élément neutre, enfin on notera (−a) l’inverse de a. On remarque que 0a = 0G .
Définition 13.23 Soit (G, ⊗) un groupe. Soit H une partie de G. On dit que H est un
sous-groupe de (G, ⊗) si (H, ⊗) est un groupe.
Remarque 13.25 Si eG est l’élément neutre d’un groupe (G, ⊗), alors {eG } et G sont
des sous-groupes de (G, ⊗).
Exercice 13.26 Donner des exemples de groupes abéliens et non abéliens, et des exemples
de sous-groupes pour ces groupes.
Exercice 13.27 Soit SC l’ensemble des bijections de C dans C, soit A un point du plan
complexe, d’affixe a, soit R l’ensemble des représentations complexes des rotations de
centre A. Montrer que R est un sous-groupe de (SC , ◦).
page : 71
MPSI G.Monod 2017-2018
Définition 13.28 Soit (G1 , ⊗), (G2 , ⊕) deux groupes. Soit φ : G1 → G2 . On dit que φ
est un morphisme de groupes si pour tout (x, y) ∈ G21 ,
Exercice 13.29 Montrer que l’exponentielle est un morphisme de groupes de (R, +) dans
(R+∗ , ·). Montrer que logarithme népérien est un morphisme de groupes de (R+∗ , ·) dans
(R, +).
Exercice 13.31 Soit (G, ⊗) un groupe, et A(G) l’ensemble des morphismes bijectifs de
groupes de G dans lui-même. Montrer que (A(G), ◦) est un groupe.
Exercice 13.32 On appelle noyau d’un morphisme φ du groupe (G1 , ⊗) dans le groupe
(G2 , ⊕) l’ensemble
ker(φ) = {x ∈ G1 / φ(x) = eG2 .
1. Montrer que ker(φ) est un sous-groupe de (G1 , ⊗).
2. Montrer que φ est injective si et seulement si ker(φ) = {eG1 }.
Remarque 13.34 Par la suite, on choisit les notations additives pour le groupe (A, ⊕),
i.e. l’élément neutre de A pour ⊕ sera noté 0A , et si a ∈ A, l’inverse de a pour ⊕ sera
noté −a, et na désignera a ⊕ · · · ⊕ a (n fois) pour n ∈ N∗ .
Remarque 13.35 Pour la seconde loi ⊗ de l’anneau A, on choisira les notations multi-
plicatives : a ⊗ · · · ⊗ a (n fois) sera noté an , et si a admet un inverse pour ⊗ (unique, car
⊗ est associative), alors on le notera a−1 .
Définition 13.36 On dit que l’anneau (A, ⊕, ⊗) est commutatif si la loi ⊗ est aussi
commutative sur A.
page : 72
MPSI G.Monod 2017-2018
Définition 13.42 Soit A un ensemble muni de deux lois internes, ⊕ et ⊗. On dit que
(A, ⊕, ⊗) est un corps si c’est un anneau commutatif, non réduit à {0A }, et si tout élément
de A − {0A } est inversible.
Exercice 13.45 Soit n ∈ N∗ . On rappelle que Z/nZ désigne l’ensemble des classes d’équivalence
dans Z pour la relation de congruence modulo n, i.e.
On rappelle aussi qu’on peut définir deux lois internes, ⊕ et ⊗, sur Z/nZ de la façon
suivante : pour tout (k1 , k2 ) ∈ Z2 :
page : 73
MPSI G.Monod 2017-2018
k1 ⊕ k2 = k1 + k2 ,
k1 ⊗ k2 = k1 .k2 .
page : 74
MPSI G.Monod 2017-2018
14 Polynômes
Dans tout ce chapitre K désigne R ou C.
n
X
On peut l’identifier à la fonction polynômiale sur K : x 7→ ak xk .
k=0
Pour chaque k, ak s’appelle coefficient de degré k, et ak X k monôme de degré k, du po-
lynôme P .
Remarque 14.1 Un polynôme P à coefficents dans K peut aussi être alors considéré
comme une suite (an )n∈N à valeurs dans K à support fini, i.e. dont un nombre fini de
terme est non-nul. Alors on pourra noter
+∞
X
P (X) = an X n .
n=0
Définition 14.2 On appelle polynôme nul de K[X] le polynôme dont tous les coefficients
sont nuls. On le notera 0K[X] .
Théorème 14.6 Deux polynômes non nuls sont égaux si et seulement si ils ont même
degré et mêmes coefficients. Un polynôme est nul si et seulement si tous ses coefficients
sont nuls.
page : 75
MPSI G.Monod 2017-2018
Théorème 14.8 Soit (A, B) ∈ K[X]2 , soit p, q leurs degrés respectifs et soit (a0 , . . . , ap ) ∈
p
X q
X
Kp+1 , (b0 , . . . , bq ) ∈ Kq+1 , tels que A(X) = ak X k et B(X) = bk X k . Alors deg(A.B) =
k=O k=0
deg(A)+deg(B), et pour chaque k ∈ [[0, p+q]], le coefficient de degré k du polynôme produit
A.B est :
X
ai .bj .
(i,j)∈[[0,p]]×[[0,q]]/i+j=k
Remarque 14.9 Plus généralement, et par récurrence sur le nombre de facteurs, le degré
d’un produit de polynômes est égal à la somme de leurs degrés, le coefficient dominant d’un
produit de polynômes étant égal au produit de leur coefficient dominant.
Définition 14.14 Soit (A, B) ∈ K[X] × (K[X] − {0K[X] }). On dit que B divise A s’il
existe Q ∈ K[X] tel que A = B.Q. On le note : B|A.
Remarque 14.16 B divise A et si A et B ont même degré alors il existe une constante
non nulle c ∈ K∗ telle que A = cB.
Définition 14.17 On dit que deux polynômes A et B sont associés si A|B et B|A.
page : 76
MPSI G.Monod 2017-2018
Exercice 14.22 Montrer que les PGCD d’un polynôme non-nul P et de 0K[X] sont tous
les polynômes associés à P . En déduire la propriété suivante :
Proposition 14.25 (Relation de Bézout) Si (A, B) ∈ K[X] × (K[X] − {0K[X] }), il existe
(U, V ) ∈ K[X]2 tels que
AU + BV = A ∧ B.
Définition 14.27 On dit que deux polynômes A et B sont premiers entre eux si A ∧ B =
1K[X] .
AU + BV = 1K[X] .
Théorème 14.29 (Lemme de Gauss) Soit (A, B, C) ∈ K[X]3 tel que A divise BC et
A ∧ B = 1K[X] , alors A divise C.
Remarque 14.32 On peut aussi montrer que tous les PPCM de A et B sont associés, et
on note A ∨ B celui des PPCM de A et B qui est unitaire.
A ∧ B.A ∨ B = A.B
page : 77
MPSI G.Monod 2017-2018
(P1 ∧ P2 ) ∧ P3 = P1 ∧ (P2 ∧ P3 ) = P1 ∧ P2 ∧ P3 .
Définition 14.39 Soit P1 , P2 , . . . , Pn des polynômes non tous nuls de K[X]. On dit qu’ils
sont premiers entre eux dans leur ensemble si P1 ∧ Pn = 1K[X] .
Exercice 14.40 Montrer que X 2 − 1, X − 1 et X + 1 sont premiers entre eux dans leur
ensemble.
Définition 14.41 Soit P1 , P2 , . . . , Pn des polynômes tous non nuls de K[X]. On dit qu’ils
sont premiers entre eux deux à deux si pour tout (i, j) ∈ [[1, n]]2 tels que i 6= j, Pi ∧ Pj =
1K[X] .
Exercice 14.42 Montrer que si des polynômes sont premiers entre eux deux à deux alors
ils sont premiers entre eux dans leur ensemble. Que pensez-vous de la réciproque ?
page : 78
MPSI G.Monod 2017-2018
Remarque 14.47 En particulier, retenons que pour tout a ∈ K, ((X − a)k )(j) vaut
k! k−j si k ≥ j, et vaut 0 si k < j.
(k−j)! (X − a)
Remarque 14.50 Dans cette formule, tous les termes éventuels pour k > deg(P ) sont
nuls. La formule est bien sûr fausse pour des n < deg(P ).
On utilisera cette formule pour des polynômes, car, en tant que fonctions, ils sont dans
D∞ (R).
Remarque 14.56 Une racine de multiplicité 1 (resp. 2) dans P est appelée racine simple
(resp. double) de P etc...
page : 79
MPSI G.Monod 2017-2018
Exercice 14.61 Démontrer ces caractérisations (on pourra utiliser la formule de Leibnitz
pour le sens direct, et la formule de Taylor en α pour P pour le sens réciproque).
Remarque 14.62 Quand on veut déterminer le reste sans calculer le quotient de la divi-
sion euclidienne de A par B, on cherche les racines α de B et leur multiplicité mα . Pour
chaque racine α de B, on a ainsi en particulier B(α) = B 0 (α) = · · · = B (mα −1) (α) = 0.
Chacunes de ces équations peut être utilisées pour déterminer les coefficients du reste,
en utilisant l’égalité A = BQ + R et les égalités obtenues par dérivation de celle-ci
(A0 = BQ0 + B 0 Q + R0 etc...).
Remarque 14.68 Comme le montre le dernier exercice, il peut être utile de factoriser un
polynôme de R[X] d’abord dans C[X], pour revenir ensuite dans R[X], en redéveloppant
les couples de facteurs conjugués.
page : 80
MPSI G.Monod 2017-2018
Remarque 14.71 Autrement dit un polynôme irréductible de K[X] est un polynôme non
nul qu’on ne peut pas factoriser en un produit de polynômes de K[X] de degrés strictement
inférieurs.
Remarque 14.72 Selon K, les polynômes irréductibles ne sont pas les mêmes. Ainsi
X 2 + 1 est irréductible dans R[X], mais pas dans C[X].
Théorème 14.77 Deux polynômes non-nuls de K[X] sont donc égaux si, et seulement
si, ils ont les mêmes racines dans C, avec les mêmes multiplicités, et le même coefficient
dominant.
Exercice 14.78 Montrer que si un polynôme est de degré n, il a au plus n racines dans
C. En déduire que deux polynômes de degrés au plus n qui coı̈ncident en (n + 1) points
sont égaux.
page : 81
MPSI G.Monod 2017-2018
, pour i ∈ [[1, n]] s’appelle les polynômes interpolateurs de Lagrange aux points α1 , . . . , αn .
page : 82
MPSI G.Monod 2017-2018
15 Équivalence et négligeabilité
15.1 Équivalence et négligeabilité pour les suites
15.1.1 Définitions et caractérisations
Définition 15.1 Soit u et v deux suites réelles.
On dit que u est négligeable devant v (ou que v est prépondérante devant u) s’il existe une
suite (n )n∈N convergeant vers 0, et un rang n0 ∈ N, tels que pour tout n ≥ n0 , un = n .vn .
On le note u =o (v), ou un =o (vn ).
Remarque 15.2 En général, pour montrer que u est négligeable devant v, on montre
que uv tend vers 0 (s’il existe un rang à partir duquel v ne s’annule pas). Par exemple
1
n2
=o ( n1 ).
Remarque 15.4 En général, pour montrer que u et v sont équivalentes, on montre que uv
tend vers 1 (s’il existe un rang à partir duquel v ne s’annule pas). Par exemple tan( n1 ) ∼
sin( n1 ), car (cos( n1 )) converge vers 1.
Remarque 15.7 Cela est faux si ` = 0 ! ! ! D’ailleurs une suite est équivalente à la suite
nulle si et seulement si elle est elle-même nulle à partir d’un certain rang. C’est une
conséquence de la définition de l’équivalence.
un ∼ vn ⇐⇒ un = vn +o (vn ) ⇐⇒ un = vn +o (un ).
Remarque 15.10 On en déduit que si dans une somme de suites, un terme est prépondérant
devant tous les autres, alors la somme est équivalente à ce terme. Par exemple : n1 + n12 ∼ n1 .
Théorème 15.12 (Équivalent d’un inverse) Soit u et v deux suites équivalentes. Alors si
u ne s’annule pas à partir d’un certain rang, v ne s’annule pas à partir d’un certain rang,
et u1 ∼ v1 .
page : 83
MPSI G.Monod 2017-2018
Remarque 15.18 L’intérêt de la notation o (u) est qu’on peut remplacer dans un cal-
cul une suite négligeable devant u par cette notation, et utiliser les régles de calculs
précédentes.
Remarque 15.20 Attention, ces résultats sont faux si u ne tend pas vers 0 ! On peut les
démontrer en utilisant la dérivabilité de fonctions usuelles en 0.
page : 84
MPSI G.Monod 2017-2018
Remarque 15.23 En général, pour montrer que f (x) = oa (g(x)), on montre que le quo-
tient fg tend vers 0 en a. La relation de négligeabilité n’est pas commutative.
Exercice 15.24 Soit (n, p) ∈ Z2 . Montrer que xn = o+∞ xp si et seulement si n < p. Que
dire en 0 ?
Définition 15.26 Soit a ∈ R ∪ {+∞, −∞}. Soit f et g deux fonctions définies sur un
voisinage de a, sauf éventuellement en a.
On dit que f et g sont équivalentes en a s’il existe une fonction µ définie sur un voisinage
V de a et de limite 1 en a, telle que pour tout x de V − {a}, f (x) = µ(x)g(x).
On le note f ∼a g, ou f (x) ∼a g(x) .
Remarque 15.27 En général, pour montrer que f (x) ∼a (g(x)), on montre que le quo-
tient fg tend vers 1 en a. La relation d’équivalence en a est symétrique et réflexive sur
l’ensemble Fa des fonctions réelles définies au voisinage de a, sauf éventuellement en a.
Théorème 15.30 Soit a ∈ R ∪ {+∞, −∞}. Soit f et g deux fonctions définies sur un
voisinage de a, sauf éventuellement en a. Alors
f ∼a g ⇐⇒ f = g + oa (g) ⇐⇒ f = g + oa (f ).
Remarque 15.32 Par conséquent, si dans une somme de fonctions un certain terme est
prépondérant en a devant les autres, la somme est équivalente en a à ce terme.
page : 85
MPSI G.Monod 2017-2018
Remarque 15.35 Quand on cherche l’équivalent d’une somme on peut mettre en facteur,
s’il existe, le terme devant lequel les autres sont négligeables, ou utiliser directement la
remarque 15.32.
Remarque 15.36 Soit (a, b) ∈ R ∪ {−∞, +∞}2 . Soit h une fonction qui ne s’annule pas
sur un voisinage de b, sauf éventuellement en b.
Si lim f = b ∈ R ∪ {+∞, −∞},et si g ∼b h (resp. g = ob (h)), alors g ◦ f ∼a h ◦ f (resp.
a
g ◦ f = oa (h ◦ f )).
On le prouve en utilisant le Théorème sur la limite d’une composée de fonctions, en
regardant les limites des quotients.
Attention, il faut faire clairement référence à ce Théorème sur la limite d’une composée
g◦f
quand vous regarder la limite en a de h◦f , et ne pas laisser penser au correcteur que vous
croyez qu’on peut composer les équivalences ou les négligeabilités !
Remarque 15.37 Préciser toujours sous le symbole ∼ ou o, le point où est l’équivalence
ou la négligeabilité, quand il s’agit de fonctions.
page : 86
MPSI G.Monod 2017-2018
3. ex − 1 ∼0 x ;
x2
4. 1 − cos(x) ∼0 2 ;
5. pour tout α ∈ R, (1 + x)α − 1 ∼0 αx ;
6. tan(x) ∼0 x.
Remarque 15.43 Grâce au Théorème sur la limite d’une composée, on en déduit, par
exemple, que si lim f = 0, alors sin(f (x)) est équivalente en a à f (x)...
a
√
Exercice 15.44 Déterminer un équivalent en +∞ de x 7→ ln(cos( 1 + x − 1)). À rédiger
soigneusement sans composer les équivalents (ce serait un raisonnement faux !), mais en
utilisant la transitivité de l’équivalence et la remarque précédente.) Remarque : En parti-
culier si lim f = 0, alors sin(f (x)) est équivalente en a à f (x).
a
On admet enfin les résultats de négligeabilités classiques suivants :
15.3 Complément
Définition 15.48 Soit u, v deux suites réelles. On dit que u est dominée par v (ou que
v domine u) s’il existe n0 ∈ N et w une suite réelle bornée tels que pour tout n ≥ n0 ,
un = wn .vn . On le note un = O(wn ).
Définition 15.51 Soit (f, g) ∈ Fa2 . On dit que f est dominée par g (ou que g domine f )
au voisinage de a, s’il existe un voisinage V de a et une fonction h : V → R bornée sur
V tels que pour tout x ∈ V − {a}, f (x) = g(x)h(x). On le note f = Oa (g).
Exercice 15.52 Énoncer et prouver des propriétés pour la relation de domination sur Fa
analogue à celles de la relation de domination sur RN .
page : 87
MPSI G.Monod 2017-2018
16 Continuité
Dans tout ce chapitre, I désigne un intervalle.
16.1 Définitions
◦
On rappelle qu’on note I l’intérieur de l’intervalle I, i.e. l’intervalle I privé de ses
éventuelles bornes finies.
On rappelle que si f est définie en a et admet une limite finie ` en a, alors ` = f (a).
Définition 16.2 On dit que f est continue sur l’intervalle I si f est continue en tout
point de I. On note C 0 (I) l’ensemble des fonctions à valeurs réelles qui sont continues
sur I.
Définition 16.3 Soit a ∈ I. Soit f une fonction définie sur I − {a} et continue en tout
point de I − {a}. On dit que f est prolongeable par continuité en a s’il existe une fonction
f¯ ∈ C 0 (I) telle que f¯(x) = f (x) pour tout x ∈ I − {a}.
Remarque 16.4 La fonction f¯ est alors appelé prolongement par continuité de f à I. Une
telle fonction existe si et seulement si f admet une limite finie ` en a. Alors f¯(a) = `. S’il
existe, un prolongement par continuité de f à I est donc unique.
Définition 16.6 On dit que f est continue à droite (resp. à gauche) sur I, si en tout
point a de I, sauf son éventuel maximum (resp. minimum), la fonction f admet f (a) pour
limite à droite (resp. à gauche).
Remarque 16.7 La fonction partie entière est continue à droite sur R. Mais elle n’est
pas continue sur R.
page : 88
MPSI G.Monod 2017-2018
1
Théorème 16.11 Si f est continue sur I, alors f est continue en tout a de I tel que
f (a) 6= 0.
Exercice 16.12 Vérifier immédiatement ces théorémes a l’aide des théorémes sur les
limite d’une somme, d’un produit, d’une composée, d’un quotient de fonctions.
Exercice 16.14 Prouver ce théorème en construisant par dichotomie deux suites ad-
jacentes (an ) et (bn ) telles que z soit entre (f (an ) − z).(f (bn ) − z) ≤ 0 pour tout naturel
n.
Théorème 16.15 Si f est continue sur un segment [a, b] alors f est bornée et atteint ses
bornes sur [a, b].
Remarque 16.16 Autrement dit, il existe (m, M ) ∈ R2 tel que f ([a, b])) = [m, M ], et il
existe donc (α, β) ∈ [a, b]2 tel que f (α) = m et f (β) = M .
Remarque 16.17 Le résultat est faux sur un intervalle qui n’est pas un segment, i.e qui
n’est pas fermé ou qui n’est pas borné. Ainsi tan est continue sur ] −π π
2 , 2 [, mais n’est pas
bornée sur cet intervalle ; x 7→ x est continue sur [0, +∞[ mais n’y est pas bornée.
Exercice 16.20 Vérifier ce théoréme 7 . Vérifier que dans une repére orthonormé, les
graphes de f|I et de g sont symétriques par rapport à la premiére bissectrice.
page : 89
MPSI G.Monod 2017-2018
Exercice 16.23 Appliquer le théorème de la bijection monotone aux fonctions sin (sur
[− π2 , π2 ]), cos (sur [0, π]) et tan (sur ] − π2 , π2 [), pour définir les fonctions arcsin, arccos et
arctan. Dessiner les graphes de ces fonctions.
page : 90
MPSI G.Monod 2017-2018
17 Calcul différentiel
◦
Dans tout ce chapitre, I désigne un intervalle, et I l’intérieur de cet intervalle (i.e.
l’intervalle I privé de ses éventuelles bornes).
17.1 Définitions
Définition 17.1 Soit f une fonction définie sur I et a ∈ I.
◦
— Si a ∈I , on dit que f est dérivable en a si son taux d’accroissement en a, ta : x 7→
f (x) − f (a)
, admet une limite finie ` en a.
x−a
— Si I admet a pour maximum (reps. minimum), on dit que f est dérivable en a si
ta admet une limite finie ` à gauche (resp. à droite) en a.
On appelle alors ` le nombre dérivé de f en a et on le note f 0 (a).
1
Exercice 17.2 Montrer à l’aide cette définition que f : x 7→ x est dérivable en tout
a ∈ R∗ et préciser f 0 (a).
◦
Remarque 17.3 Si a ∈I , on dit que f est dérivable à droite (resp. à gauche) en a si
ta admet une limite finie à droite (resp. à gauche) en a, cette limite, notée fd0 (a) (resp.
fg0 (a)) s’appelle dérivée à droite (resp. à gauche) de f en a. Ainsi, f est dérivable en a si
et seulement si elle est dérivable à droite et à gauche en a et fd0 (a) = fg0 (a).
Définition 17.4 On dit que f est dérivable sur I si f est dérivable en tout point de I. la
fonction f 0 est alors définie sur I. On note D1 (I) l’ensemble des fonctions dérivables sur
I.
Exercice 17.6 Montrer que si f admet un DL1 (a), alors celui-ci est unique, i.e. les
coefficients b et c sont uniques.
page : 91
MPSI G.Monod 2017-2018
Définition 17.12 Soit n ∈ N. On dit que f est n fois dérivable sur I si on peut dériver f
n fois successivement sur I. On note f (n) la dérivée nieme de f , i.e. l’application obtenue
par n dérivations successives de f .
On note Dn (I) l’ensemble des fonctions n fois dérivables successivement sur I, au moins.
On note C n (I) = {f ∈ Dn (I) / f (n) ∈ C 0 (I)}.
Définition 17.14 On note C ∞ (I) ou D∞ (I) l’ensemble des fonctions indéfiniment dérivables
sur I, i.e.
\ \
C ∞ (I) = D∞ (I) = C n (I) = Dn (I).
n∈N n∈N
Théorème 17.17 Pour tout n ∈ N, C n (I) et Dn (I) sont stables par combinaisons lináires,
i.e. pour tout (λ, µ) ∈ R2 , pour tout (f, g) ∈ C n (I)2 (resp. dans Dn (I)), λf + µg) ∈ C n (I)
(resp. Dn (I)). De plus
(λf + µg)(n) = λf (n) + µg (n) , sur I.
Exercice 17.18 Montrer que C ∞ (I) est également stable par combinaisons linéaires.
◦
Théorème 17.19 Soit a ∈I . Soit f et g deux fonctions dérivables en a, alors leur produit
est dérivable en a et (f.g)0 (a) = f 0 (a).g(a) + g 0 (a).f (a).
page : 92
MPSI G.Monod 2017-2018
Exercice 17.23 Vérifier que x 7→ cos(x)e2x est dans C ∞ (R) et calculer, pour n ∈ N, sa
dérivée nieme .
Théorème 17.24 Soit f une fonction dérivable en un réel a et g une fonction dérivable
en f (a), alors g ◦f est dérivable en a et (g ◦f )0 (a) = f 0 (a).g 0 (f (a)). Donc si f est dérivable
sur un intervalle I et si g est dérivable sur f (I) alors g ◦ f est dérivable sur I, et
(g ◦ f )0 = f 0 .(g 0 ◦ f ) sur I.
Exercice 17.26 Montrer que x 7→ sin(e3x ) est dans C ∞ (R) et calculer, pour n ∈ N, sa
dérivée nieme .
Théorème 17.30 Si f est une bijection de I sur J, et si f est dérivable sur l’intervalle
I, alors sa bijection réciproque f −1 est dérivable en tout y de J tel que f 0 (f −1 (y)) 6= 0, et
dans ce cas :
1
(f −1 )0 (y) = 0 −1 .
f (f (y))
Exercice 17.31 Appliquer ce théoréme pour montrer les résultats classiques suivants.
1
1. La fonction arctan est dérivale sur R, et pour tout réel y, arctan0 (y) = .
1 + y2
2. La fonction arccos est dérivable sur ] − 1, 1[ et pour tout y ∈] − 1, 1[, arccos0 (y) =
−1
p .
1 − y2
3. La fonction arcsin est dérivable sur ] − 1, 1[ et pour tout y ∈] − 1, 1[, arcsin0 (y) =
1
p .
1 − y2
page : 93
MPSI G.Monod 2017-2018
Théorème 17.36 (de Rolle). Soit a < b deux réels. Soit f ∈ C 0 ([a, b]) ∩ D1 (]a, b[) telle
que f (a) = f (b). Alors il existe c ∈]a, b[ tel que f 0 (c) = 0.
Théorème 17.40 (Inégalité des accroissements finis). Soit a < b deux réels. Soit f ∈
C 0 ([a, b]) ∩ D1 (]a, b[). S’il existe (m, M ) ∈ R2 tel que m ≤ f 0 (x) ≤ M pour tout x ∈]a, b[,
alors m(b − a) ≤ f (b) − f (a) ≤ M (b − a).
Remarque 17.44 D’après le théorème des accroissements finis, une fonction dérivable
dont la dérivée est bornée sur I est lipschitzienne sur I.
page : 94
MPSI G.Monod 2017-2018
Remarque 17.46 Ce théorème, qui généralise l’inégalité des accroissements finis pour
des fonctions à valeurs complexes, est admis jusqu’au chapitre Calcul intégral.
Exercice 17.47 Soit a < b deux réels et f ∈ C 0 ([a, b]) ∩ D1 (]a, b[) telle que f ([a, b]) ⊂
[a, b]. On suppose qu’il existe k ∈ [0, 1[ tel que pour tout x ∈]a, b[, |f 0 (x)| ≤ k.
1. Montrer que f admet un point fixe au moins dans [a, b], puis que ce point fixe est
unique. On le note α.
2. Soit u une suite telle que par u0 ∈ [a, b] et pour tout n ∈ N, un+1 = f (un ). Montrer
que u est bien définie et que pour tout naturel n, |un+1 − α| ≤ k|un − α|.
3. En déduire que pour tout naturel n, |un − α| ≤ k n |u0 − α|. Conclure.
Remarque 17.49 Si f 0 est nulle sur l’intervalle I, f est donc constante sur I.
Remarque 17.54 Si ` est un réel, f est donc dérivable en a, f 0 (a) = ` et f 0 est continue
en a.
Exercice 17.55 Montrer que la fonction f , définie sur R par f (x) = x2 sin( x1 ) si x 6= 0
et f (0) = 0, est dérivable en 0. Puis montrer que f 0 n’admet pas de limite en 0. Qu’en
déduire ?
page : 95
MPSI G.Monod 2017-2018
Exercice 17.58 Montrer que la fonction f : x 7→ xn+2 sin( x1 ), définie sur R∗ , admet un
prolongement de classe C n à R.
page : 96
MPSI G.Monod 2017-2018
Remarque 18.2 Cette égalité n’est exploitable qu’au voisinage de a, par exemple pour un
calcul de limite.
Remarque 18.4 Si f admet un DLn (a) et si la partie réguliére du DLn (a) de f admet
ak0 (x − a)k0 comme terme de plus bas de degré de coefficient non nul, alors f (x) ∼a
ak0 (x − a)k0 .
Proposition 18.7 Si f admet un Dln (a), alors pour tout r ∈ [[0, n]], f admet un DLr (a),
dont la partie régulière est la troncature à l’ordre r de la partie régulière de son DLn (a).
Théorème 18.9 Si f et g admettent un DLn (a) alors f × g admet un DLn (a), dont la
partie régulière est la troncature à l’ordre n du produit des parties régulières des DLn (a)
de f et de g.
Théorème 18.10 Si f admet un DLn (a) et si g admet un DLn (f (a)) alors g ◦ f admet
un DLn (a), dont la partie régulière est la troncature à l’ordre n de la composée de la partie
régulière du DLn (a) de f par la partie régulière du DLn (f (a)) de g.
page : 97
MPSI G.Monod 2017-2018
esin(x) −1
Exercice 18.12 Déterminer la limite de x 7→ x en 0.
Remarque 18.14 L’avantage principal des développements limités sur les équivalents,
c’est qu’ils permettent de faire des opérations qu’on ne peut pas faire avec les équivalents
(addition, composition, intégration).
1
Exercice 18.15 Déterminer le DLn (0) de x 7→ 1−x , en déduire le DLn+1 (0) de x 7→
ln(1 + x).
Exercice 18.17 Prouver ce Théorème par récurrence sur n, à l’aide d’une intégration
par parties.
n
X f (k) (a)
Remarque 18.18 Si f ∈ C n (I) et a ∈ I, le polynôme Tn,a (f ) : x 7→ (x − a)k
k!
k=0
s’appelle le polynôme de Taylor d’ordre n pour f en a. Le reste intégral de la formule
évalue donc la différence entre f et son polynôme de Taylor d’ordre n en a. Dans le cas
d’une fonction f polynômiale de degré r, ce reste est nul pour tout n ≥ r, et f = Tr,a (f )
pour tout a de R.
page : 98
MPSI G.Monod 2017-2018
Exercice 18.21 Montrer ce résultat à l’aide de la formule de Taylor avec reste intégral.
En déduire le Théorème suivant.
x−sin(x)
Exercice 18.26 Déterminer la limite en 0 de la fonction définie sur R∗ par x 7→ x3
.
page : 99
MPSI G.Monod 2017-2018
n
X xk
ex = + o0 (xn ).
k!
k=0
n
1 X
= xk + o0 (xn ).
1−x
k=0
n−1
X (−1)k k+1
ln(1 + x) = x + o0 (xn ).
k+1
k=0
n
X α(α − 1) · · · (α − k + 1)
(1 + x)α = 1 + xk + o0 (xn ), pour tout α ∈ R.
k!
k=1
n
X (−1)k
cos(x) = x2k + o0 (x2n+1 ).
(2k)!
k=0
n
X (−1)k 2k+1
sin(x) = x + o0 (x2n+2 ).
(2k + 1)!
k=0
Remarque 18.30 Si on cherche un DLn (a) pour f , où a 6= 0, il peut être utile de poser
g : x 7→ f (a + x) et de chercher un DLn (0) de g, à l’aide des développements classiques
en 0. Ainsi, si g(x) = P (x) + oO (xn ), où P est la partie réguliére du DLn (O) de g, alors
f (t) = f (a + (t − a)) = g(t − a) = P (t − a) + oa ((t − a)n ) est le DLn (a) de f .
page : 100
MPSI G.Monod 2017-2018
19 Fractions rationnelles
Dans tout ce chapitre, K désigne R ou C.
(P1 , Q1 )R(P2 , Q2 ) ⇐⇒ P1 Q2 = P2 Q1 .
Exercice 19.1 Vérifier que R est une relation d’équivalence sur K[X]2 .
Définition 19.2 On appelle fraction rationnelle sur K une classe d’équivalence pour cette
relation d’équivalence. L’ensemble des fractions rationnelles sur K est noté K(X).
P
F = .
Q
CA A
= .
CB B
Définition 19.6 On définit l’addition + sur K(X) de la façon suivante : pour tout ((A, B), (C, D)) ∈
A C
E 2 , on appelle somme de B et de D la fraction rationnelle
A C AD + BC
+ .
B D BD
Exercice 19.7 Vérifier que l’addition + est ainsi bien définie sur K(X), ie que si ((A1 , B1 ), (A2 , B2 ), (C1 , D1 ), (
A1 A2 C1 C2
E 4 sont tels que B1
=B2
et D 1
=D 2
, alors A1 DB11+B
D1
1 C1
= A2 DB22+B
D2
2 C2
.
Exercice 19.8 Vérifier que (K(X), +) est un groupe abélien, dont l’élément neutre est la
1
fraction nulle 0K(X) , qui est définie comme 0K[X] . Vérifier aussi que , pout tout (A, B) ∈ E,
K[X]
A
= 0K(X) si et seulement si A = 0K[X] .
B
Définition 19.9 On définit le produit · sur K(X) de la façon suivante : pour tout ((A, B), (C, D)) ∈
A C
E 2 , on appelle produit de B et de D la fraction rationnelle
A C AC
· = .
B D BD
page : 101
MPSI G.Monod 2017-2018
Exercice 19.10 Vérifier que le produit · est ainsi bien définie sur K(X), ie que si ((A1 , B1 ), (A2 , B2 ), (C1 , D1 ), (
A1 A2 C1 C2 A1 C1 A 2 C2
E 4 sont tels que B1
=B2
et D 1
=D 2
, alors B 1 D1
=B 2 D2
.
Exercice 19.11 Vérifier que (K(X), +, ·) est un anneau commutatif, dont l’unité 1K(X)
1K[X]
est définie comme 1K[X] . Vérifier aussi que pour tout (A, B) ∈ E,
A
= 1K(X) si et seulement si A = B.
B
A
Théorème 19.12 L’anneau (K(X), +, ·) est un corps. L’inverse de B, où (A, B) ∈ (K[X]−
{0K[X] })2 , est B
A.
Remarque 19.13 On peut également définir une multiplication externe . sur K(X) par,
pour tout (λ, F ) ∈ K × K(X),
λK[X]
λ.F = · F,
1K[X]
où λK[X] désigne le polynôme constant égal à λ.
Exercice 19.14 Vérifier que cette multiplication externe est ainsi bien définie et que
(K(X), +, .) est un K-espace vectoriel.
Remarque 19.16 Toute fraction rationnelle F non nulle admet plusieurs écritures en
A1 A2
fraction irréductible, et B1
= B2
sont deux écritures en fraction irréductible de F si et
∗
seulement si il existe λ ∈ K tel que A1 = λA2 et B1 = λB2 .
Proposition 19.19 Soit F ∈ K(X) − {0K(X) . Alors pour tout représentant (A, B) ∈ E
de F ,
deg(F ) = deg(A) − deg(B).
page : 102
MPSI G.Monod 2017-2018
A1 A2 A¯1 A¯2
Exercice 19.25 Soit ((A1 , B1 ), (A2 , B2 )) ∈ E 2 . Vérifier que si B1 = B2 , alors B¯1
= B¯2
.
Ā
F̄ = ,
B̄
où (A, B) ∈ E est n’importe quel reprśentant de F .
A1 A2 A01 B1 −B10 A1
Exercice 19.29 Soit ((A1 , B1 ), (A2 , B2 )) ∈ E 2 . Vérifier que si B1 = B2 , alors B12
=
A02 B2 −B20 A2
B22
.
A0 B − B 0 A
F0 = ,
B2
où (A, B) ∈ E est n’importe quel reprśentant de F .
(F · G)0 = F 0 G + G0 F.
page : 103
MPSI G.Monod 2017-2018
Remarque 19.34 La dérivation nieme est linéraire sur K(X), comme composée de n
applications linéaires.
Exercice 19.36 Démontrer cette formule par récurrence, à l’aide de la formule de Pascal
((nk ) + (nk+1 ) = (n+1
k+1 ), pour tout 0 ≤ k ≤ n).
Définition 19.39 Aves les mêmes notations, on appelle multiplicité d’un zéro de F sa
multiplicité en tant que racine de A, et on appelle multiplicité d’un pôle de F sa multiplicité
en tant que racine de B.
Exercice 19.40 Vérifier que ces définitions ne sont pas dépendantes du choix d’un représentant
irréductible de F .
page : 104
MPSI G.Monod 2017-2018
Exercice 19.45 Vérifier que cette définition est bien indépendante du choix du représentant
irréductible de F .
Exercice 19.46 Montrer que si (F, G) ∈ K(X)2 sont telles que leurs fonctions ration-
nelles F̃ et G̃ coı̈ncident en une infinité de points de K alors F = G.
Exercice 19.48 Vérifier l’existence d’un tel couple grâce au théorème de la division eu-
clidienne dans K[X], puis vérifier son unicité par comparaison de d’egrés.
Définition 19.49 Soit F ∈ K(X), alors l’unique polynôme D ∈ K[X] tel que deg(F −
D) < 0 s’appelle la partie entière de F .
Exercice 19.51 Soit (P, Q) ∈ K[X]2 deux polynômes premiers entre eux. Vérifier à l’aide
du thórème de Bézout qu’il existe (C, D) ∈ K[X]2 tel que
1 C D
= + .
PQ P Q
Remarque 19.54 L’ensemble des pôles de G est alors l’ensemble des pôles de F privé
de {α}, et les multiplicités des pôles de G sont les mêmes que celles dans F .
page : 105
MPSI G.Monod 2017-2018
Théorème 19.56 Toute fraction rationnelle de K(X) est la somme de sa partie entière
et de ses parties polaires.
Exercice 19.59 Montrer que si F ∈ R(X) alors sa partie entière est dans R[X], et pour
chaque pôle α ∈ C − R, la partie polaire associée à ᾱ est la conjuguée de celle associée à
α.
A
Remarque 19.61 Finalement, pour F = ∈ K(X), si A ∧ B = 1 et si la décomposition
B
Yn
de B en polynômes irréductibles et unitaires de K[X] est B(X) = b Rkrk (où b est le
k=1
coefficient dominant de B), alors la décomposition de F en éléments simples dans K(X)
est
n X ri
X Pi,j
F =D+ j
,
i=1 j=1 Ri
où D est la partie polaire de F et les polynômes Pi,j sont tels que deg(Pi,j ) < deg(Ri ).
page : 106
MPSI G.Monod 2017-2018
λ
F = + G.
X −α
A
Pour déterminer λ, on peut remarquer que, si B = (X − α)C alors (X − α)F = C =
λ + (X − α)G, et en évaluant ceci en α, on obtient
A(α
λ= .
C(α)
Remarquer qu’on a bien C(α) 6= 0 et qu’on n’a pas besoin d’avoir calculé G(X).
On peut aussi, pour déterminer λ, utiliser la formule
A(α)
λ= .
B 0 (α)
Exercice 19.64 Vérifier cette seconde formule en remarquant que C(α) = B 0 (α).
Cela permet de calculer le coefficient λ du pôle simple α sans effectuer la factorisation de
B par (X − α).
Méthode pour déterminer la partie polaire d’un pôle double :
Si α est un pôle de F de multiplicité 2, alors la partie polaire relative à α dans F est de
λ1 λ2
la forme X−α + (X−α) 2 , et il existe G ∈ C(X) qui n’a pas α pour pôle tel que
λ1 λ2
F = + + G.
X − α (X − α)2
A
Pour déterminer λ2 , on peut remarquer que, si B = (X − α)2 C alors (X − α)2 F = C =
λ1 (X − α) + λ2 + (X − α)2 G, et en évaluant ceci en α, on obtient
A(α)
λ= .
C(α)
page : 107
MPSI G.Monod 2017-2018
Remarquer qu’on a bien C(α) 6= 0 et qu’on n’a pas besoin d’avoir calculé G(X).
On peut aussi, pour déterminer λ2 utiliser la formule
2A(α)
λ2 = .
B 00 (α)
On est donc ramener à utiliser une méthode pour déterminer la partie polaire d’un
pôle simple pour F0 .
2. calculer la dérivée de (X − α)2 F et l’évaluer en α : on doit obtenir λ1 .
3. éventuellement évaluer F en une valeur particulière (ou la limite (X − α)F en
+∞), pour obtenir une q́uation qui permette de déterminer λ1 sans calculer G (cf.
les trois derniers exercices du chapitre).
Si F admet un pôle complexe non réelle α de multiplicité r, alors ᾱ est aussi pôle de
r
X λk
F , de même multiplicité, et si est la partie polaire relative à α de F alors
(X − α)k
k=1
r
X λ¯k
est celle relative à ᾱ.
(X − ᾱ)k
k=1
Notons P (X) = X 2 − 2Re(α)X + |α|2 le polynôme irréductible de R[X] obtenu en
développant (X − α)(X − ᾱ). Alors on cherche (µ1 , γ1 ) ∈ R2 tel que
λ1 λ¯1 µ1 X + γ 1
+ = .
X − α X − ᾱ P (X)
λ2 λ¯2 µ 2 X + γ2
+ = .
(X − α)2 (X − ᾱ)2 P (X)2
Alors en multipliant par (X−α)2 puis en évaluant en α, on obtient µ2 α+γ2 = −4λ2 Im(α)2 ,
d’où µ2 et γ2 .
page : 108
MPSI G.Monod 2017-2018
1
Exercice 19.67 Décomposer X n −1 en éléments simples dans C(X).
1
Exercice 19.68 Décomposer X 2 +X+1
en éléments simples dans R(X) puis dans C(X).
Exercice 19.70 Si deg(F ) < 0 et si limx7→+∞ xF̃ (x) = a, écrire la relation qu’on peut
en déduire sur les coefficients de la décomposition en éléments simples de F dans R(X)
ou dans C(X).
3
Utiliser cela pour déterminer la décomposition en éléments simples de (X4X
2 −1)2 dans R(X).
page : 109
MPSI G.Monod 2017-2018
20 Dénombrement
20.1 Cardinal
Définition 20.1 Soit n ∈ N∗ . On dit qu’un ensemble est de cardinal n s’il est en bijection
avec [[1; n]]. On dit qu’il est de cardinal nul s’il est vide. On dit qu’un ensemble E est fini
s’il existe n ∈ N tel que E soit de cardinal n.
Remarque 20.2 On dit que deux ensembles sont en bijection s’il existe une bijection
entre ces deux ensembles.
Remarque 20.3 Cette définition signifie que E est de cardinal n si on peut indexer 8 les
éléments de E par les éléments de [[1, n]], i.e. si E = {f (i) / i ∈ [[1, n]]} = {f (1), f (2), . . . , f (n)},
où f : [[1, n]] 7→ E est bijective.
Définition 20.4 On dit qu’un ensemble est infini dénombrable s’il est en bijection avec
N, et qu’il est indénombrable s’il n’est pas fini et n’est pas infini dénombrable.
Remarque 20.5 Si deux ensembles E et F sont tous les deux de cardinal n, alors il existe
une bijection de E dans F . (En effet il existe, par définition du cardinal, deux bijections
f : E 7→ [[1, n]] et g : F 7→ [[1, n]], d’où h = g −1 ◦ f : E 7→ F et h est bijective comme
composées de deux bijections.)
Remarque 20.6 Réciproquement, si deux ensembles sont en bijections, alors ils ont même
cardinal.
Remarque 20.7 Il n’existe pas de bijections de [[1, n]] dans [[1, p]] si n 6= p, ni de bijections
de [[1, n]] dans N (admis). Donc il y a unicité du cardinal d’un ensemble fini E, et ce
cardinal est noté card(E) ou |E|.
Exemples :
1. Soit a ≤ b deux entiers. L’application f : [[a, b]] 7→ [[1, b − a + 1]], qui à tout x ∈ [[a, b]]
associe f (x) = x − a + 1, est bijective. Donc |[[a, b]]| = b − a + 1.
2π
2. Soit n ∈ N∗ et ω = ei n . Soit f : [[0, n − 1]] 7→ Un , l’application qui à tout k ∈
[[0, n − 1]] associe f (k) = ω k . Alors f est bijective, donc |Un | = |[[0, n − 1]]|, soit
d’aprés le premier exemple : |Un | = n.
3. Les ensembles N, Z, Q sont infinis dénombrables, et R est infini non dénombrable
(admis).
20.2 Dénombrement
Théorème 20.8 (Formule de Poincaré ou formule du crible) Soit E un ensemble, soit A
et B deux parties finies de E, alors A ∪ B est fini et
Remarque 20.9 Les lemmes à retenir et à savoir redémontrer pour prouver cette formule
sont :
8. ”Indexer” signifie ”mettre des indices sur”.
page : 110
MPSI G.Monod 2017-2018
où Pk ([1, n]]) désigne l’ensemble des parties à k éléments de [1, n]].
Remarque 20.12 Il faut savoir écrire (in extenso) cette formule dans des cas particuliers
(pour trois ou quatres parties...), et savoir aussi l’utiliser avec le symbole de sommation.
Un exemple classique d’utilisation est dans l’exerice des danseurs de Chicago (cf. TD).
Exercice 20.13 Parmi les 38 éléves d’une classe, 31 étudient l’anglais, 24 étudient l’es-
pagnol, 17 étudient l’allemand, 12 étudient l’anglais et l’allemand, 9 étudient l’espagnol et
l’allemand et 4 étudient les trois langues. On suppose que tout éléve de la classe étudie
au moins une langue. Calculer le nombre d’éléves étudiant l’anglais et l’espagnol, puis
le nombre d’éléves étudiant l’anglais ou l’espagnol. Combien étudient uniquement l’alle-
mand ?
Théorème 20.14 Soit E et F deux ensembles finis. Le cardinal du produit cartésien E×F
est card(E).card(F ).
page : 111
MPSI G.Monod 2017-2018
card(E A ) = card(E p ) = np .
page : 112
MPSI G.Monod 2017-2018
Exercice 20.27 Prouver cette derniére remarque et justifier ainsi les deux expressions
données pour la formule de Poincaré.
Remarque 20.29 Attention, ce résultat est faux pour des ensembles infinis, par exemple
N ⊂ Z et tous les deux sont de cardinal infini dénombrable, mais N 6= Z.
Remarque 20.32 D’aprés le Théorème précédent, si E est de cardinal fini n, alors S(E)
est aussi l’ensemble des injections de E dans E, donc
Exercice 20.33 Soit f : E −→ F injective, alors pour tout A ∈ P(E) : card(f (A) =
card(A). (En effet, on peut montrer qu’il y a une bijection de A dans f (A) : prendre la
restriction de f à A au départ et à f (A) à l’arrivée.)
page : 113