Cours de lycée

Cassis
Avril 2022

Avant-propos
Ce document reprend le programme du lycée en introduisant constructions formelles et preuves
rigoureuses. Il est destiné principalement à un élève de lycée (ou entrant au lycée) qui souhaite se fami-
liariser avec les mathématiques du supérieur. L’objectif étant de suivre le programme, nous limiterons
autant que possible les écarts au programme, mis à part pour la première partie (pré requis) qui est
nécessaire à formaliser rigoureusement les mathématiques : les autres chapitres aborderont chacun un
point essentiel des mathématiques du lycée (géométrie / analyse / probabilités...) en détails.
Il y aura plusieurs exercices, leur objectif premier est de familiariser le lecteur avec les éléments
détaillés dans les parties qui précèdent l’exercice, mais certains sont plus compliqués ou visent à
approfondir une notion. Dans ce cas, ces exercices porteront une étoile (*). Nous conseillons de plus
de ne faire les exercices qu’en deuxième lecture d’un chapitre, pour s’être d’abord assuré d’avoir
maîtrisé ce dont il est question, et surtout pour avoir une idée de la rédaction à adopter.

Table des matières

I Prérequis 1
Cours lycée

1 Logique de base 1
1.1 La proposition, phrase mathématique . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Les relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 La conjonction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.3 La disjonction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.4 La négation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.5 L’implication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.6 L’équivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.7 La quantification universelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.8 La quantification existentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.9 A propos de la quantification . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Raisonnement et preuve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 L’hypothèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 Introduction d’hypothèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3 L’introduction de la conjonction . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.4 L’élimination de la conjonction . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.5 L’introduction de la disjonction . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.6 L’élimination de la disjonction, ou disjonction de cas . . . . . . . . . . . . . . . 6
1.2.7 L’introduction de la négation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.8 Le raisonnement par l’absurde . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.9 L’introduction de l’implication . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.10 L’élimination de l’implication, le modus ponens . . . . . . . . . . . . . . . . . . 7
1.2.11 Le raisonnement par contraposée . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.12 L’équivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.13 L’introduction du quantificateur universel . . . . . . . . . . . . . . . . . . . . . 8
1.2.14 L’élimination du quantificateur universel . . . . . . . . . . . . . . . . . . . . . . 8
1.2.15 L’introduction du quantificateur existentiel . . . . . . . . . . . . . . . . . . . . 8
1.2.16 L’élimination du quantificateur existentiel . . . . . . . . . . . . . . . . . . . . . 8
1.2.17 Le raisonnement par récurrence . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2 Théorie des ensembles 10

2.1 Que faire d’un ensemble ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1.1 Appartenance et égalité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1.2 Description par extension. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1.3 Description par compréhension . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.1.4 Inclusion d’ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.1.5 Union d’ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.6 Intersection d’ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.7 Le complémentaire relatif . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.8 Différence symétrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.9 Produit cartésien d’ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.10 Ensemble des parties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1.11 Intervalles de nombres réels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1.12 Raisonner sur des ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2 Relations binaires et fonctionnelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2.1 Relation binaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.2 Relation d’équivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.3 Partition d’un ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2.4 Relation d’ordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2.5 Fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2.6 Fonctions et ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

2
Cours lycée

3 Combinatoire et dénombrement 27
3.1 Cardinal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.1.1 Cardinal d’une union disjointe . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.1.2 Cardinal d’un produit cartésien . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.1.3 Ensemble de fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.1.4 Permutations et arrangements . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Sur les coefficients binomiaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2.1 Propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

II Géométrie 32

4 Construction des vecteurs 32

4.1 Propriétés d’un vecteur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2 Addition et multiplication de vecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3 Système de coordonnées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4.4 Déterminant de deux vecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

5 Angles et trigonométrie 39
5.1 Cercle trigonométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.2 Propriétés des fonctions trigonométriques . . . . . . . . . . . . . . . . . . . . . . . . . 40

6 Produit scalaire 42
6.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.1.1 Identités de polarisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.2 Propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
6.3 Application à un cercle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

III Algèbre 46

7 Équations et inégalités 46
7.1 Équation du premier degré . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
7.2 Système d’équations du premier degré . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
7.3 Inéquations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
7.4 Résolution d’équation du second degré . . . . . . . . . . . . . . . . . . . . . . . . . . . 48

8 Nombres complexes 51
8.1 Construction des nombres complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
8.2 Le plan complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
8.2.1 La conjugaison complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
8.2.2 Partie réelle et imaginaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
8.2.3 Notation exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
8.3 Les équations de degré 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

9 Suites : des éléments algébriques 57

9.1 Définition d’une suite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
9.2 Sommes et produits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
9.3 Suites particulières . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
9.3.1 Suite arithmétique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
9.3.2 Suite géométrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60

3
Cours lycée

10 Approfondissement : Polynômes à une indéterminée 61

10.1 Construction de l’ensemble des polynômes . . . . . . . . . . . . . . . . . . . . . . . . . 61
10.2 Les polynômes forment un anneau euclidien . . . . . . . . . . . . . . . . . . . . . . . . 63
10.3 Polynôme scindé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

4
Cours lycée

Première partie
Prérequis
1 Logique de base
Nous allons ici voir quelques éléments de logique élémentaire pour permettre au lecteur de com-
prendre les exigences de rigueur des mathématiques. Cela permet aussi, bien sûr, de comprendre
comment rédiger soi-même une preuve, par exemple. Nous commencerons par définir les termes que
nous utilisons (proposition, implication...) puis nous détaillerons différents types de raisonnement.

1.1 La proposition, phrase mathématique

Pour commencer, tout langage commence se compose d’une grammaire, c’est-à-dire une façon de
structurer ses phrases. Nous allons donc explorer la façon dont on construit une phrase mathématique.
Avant d’aller plus loin, une précision s’impose : il faudra distinguer deux styles dans la rédaction
mathématique que sont le style formel et le style informel. Les deux doivent traduire d’une rigueur,
mais le style formel est composé de symboles purement mathématiques, tandis que le style informel
est une phrase écrite en toutes lettres. Un exemple serait
« pour tout réel x, il existe un réel y tel que x + y = 0 »
pour le style informel, dont l’équivalent formel est

∀x ∈ R, ∃y ∈ R, x + y = 0

qui traduit le même sens mais n’est qu’une succession de symboles.

Nous verrons en détail ce que signifie chaque symbole, mais un point important est que l’on
considère en permanence que tout ce qui peut se dire en mathématique peut s’exprimer à travers
ces symboles de façon plus ou moins alambiquée. Cela ne veut pas dire que l’on souhaite recourir en
permanence au style formel, loin s’en faut. Simplement, pour une étude des raisonnements et de la
logique en général, il est préférable de réfléchir en utilisant le style formel, puisqu’il est bien plus facile
à décortiquer.
Une phrase mathématique s’appelle une proposition et peut être soit vraie, soit fausse (c’est le
principe qu’on appelle le tiers exclus). C’est, de plus, une phrase portant sur des objets mathématiques
(des nombres, des fonctions, des ensembles...) Les mathématiciens s’intéressent principalement aux
phrases vraies, et il convient donc d’avoir un moyen de vérifier qu’une phrase donnée est vraie : c’est
ce que l’on appelle une preuve en mathématique. Nous allons donc découvrir quelles sont les briques
de base pour écrire une proposition, et quel sens ont ces briques.

1.1.1 Les relations

Le premier élément constitutif d’une proposition est une relation. Une relation exprime une valeur
de vérité sur le lien entre des objets mathématiques. La relation la plus utilisée et la plus évidente est
l’égalité, notée =, qui exprime que deux objets sont en fait le même objet.
Exemple 1.1. La proposition
1+1=2
exprime que l’objet 1 + 1 est en fait l’objet 2.
Il existe bien d’autres relations, comme par exemple le parallélisme, portant sur les droites du
plan, ou la similitude portant sur les triangles (deux triangles sont semblables lorsqu’on peut obtenir
tourner et agrandir / rétrécir le premier triangle pour obtenir le deuxième). Enfin, précisons qu’une
relation peut ne comporter qu’un objet, dont elle exprime une propriété : on appelle souvent ce genre
de relation paramétrée par un seul objet des prédicats, comme le prédicat « être égal à 3 » qui peut
porter sur 2 (auquel cas la proposition correspondante est fausse) ou sur 1+2 (auquel cas la proposition
correspondante est vraie).

1
Cours lycée

Les relations sont les briques élémentaires des propositions, car les autres éléments constitutifs
des propositions ne peuvent que relier d’autres briques plus élémentaires. Le point essentiel d’une
proposition est donc toujours une relation entre objets mathématiques.

1.1.2 La conjonction
Si l’on possède deux propositions P1 et P2 , alors on peut construire une nouvelle proposition
appelée la conjonction de P1 et P2 , notée P1 ∧ P2 . Cette proposition traduit que P1 et P2 sont toutes
les deux vraies. On traduit en général la conjonction par « et » comme dans « il fait beau et je sors »
pour dire à la fois que je sors, et qu’il fait beau.

Exemple 1.2. Si l’on veut exprimer que 1 + 1 vaut 2 et que 2 + 2 vaut 4, on peut écrire

(1 + 1 = 2) ∧ (2 + 2 = 4)

La conjonction est ce qu’on appelle un connecteur logique : elle permet de combiner plusieurs
propositions en une seule nouvelle proposition.
Nous mettons des parenthèses pour rendre plus lisibles les séparations entre les relations et les
connecteurs logiques.
Nous allons présenter aussi ce qu’on appelle une table de vérité, qui est un tableau montrant quand
une formule est vraie en fonction de la vérité de ses parties. On note 1 pour dire « Vrai » et 0 pour
dire « Faux ».

A B A∧B
0 0 0
0 1 0
1 0 0
1 1 1

Table 1 – Table de vérité de ∧

1.1.3 La disjonction
En reprenant nos propositions P1 et P2 , on peut aussi construire la proposition P1 ∨ P2 , appelée la
disjonction de P1 et de P2 , qui signifie qu’au moins l’une des deux proposition entre P1 et P2 est vraie.
On traduit la disjonction par « ou », mais il convient de faire attention : le « ou » en mathématiques
est dit inclusif, par défaut, ce qui signifie que l’on peut avoir à la fois P1 et P2 , là où le langage
populaire utilise plutôt un « ou » exclusif (par exemple dans « tu veux un fromage ou un dessert ? »),
la traduction n’est donc pas exactement identique entre les mathématiques et le langage populaire.

Exemple 1.3. Imaginons que x est un nombre entier. On note pair(x) la relation « x est pair » et
impair(x) la relation « x est impair ». Alors la proposition suivante est vraie :

(pair(x)) ∨ (impair(x))

La disjonction est aussi un connecteur logique, très semblable à la conjonction. Nous allons défi-
nir, par convention (qui est donc une règle arbitraire mais utile pour mieux se comprendre), que la
conjonction est prioritaire sur la disjonction, ce qui signifie que

P ∨Q∧R

doit se lire
P ∨ (Q ∧ R)
ce qui nous permet d’écrire moins de parenthèses.

2
Cours lycée

A B A∨B
0 0 0
0 1 1
1 0 1
1 1 1

Table 2 – Table de vérité de ∨

1.1.4 La négation
Nous ajoutons aussi un connecteur logique unaire, ce qui signifie qu’il permet de construire une
nouvelle proposition à partir d’une seule proposition. La négation exprime à partir d’une proposition
P la proposition « P est fausse », et se note ¬(P ). Elle est vraie quand P est fausse et inversement.

Exemple 1.4. Plutôt que d’écrire que 0 = 1 est faux, un mathématicien préférera écrire la proposition
vraie suivante :
¬(0 = 1)
Dans le cas de l’égalité, ¬(a = b) a aussi une notation standard, qui est a ̸= b (plus simple et
rapide à écrire). Il existe beaucoup de symboles dénotant des relations pour lesquels barrer le symbole
traduit la négation de la relation, comme ̸⊆ pour la relation ⊆.

A ¬A
0 1
1 0

Table 3 – Table de vérité de ¬

1.1.5 L’implication
Il nous arrive souvent, quand on réfléchit, de déterminer des conséquences logiques entre les évé-
nements. En mathématiques aussi, nous pouvons écrire des formes de conséquences logiques à l’aide
de l’implication. Si P1 et P2 sont des proposition, on écrit l’implication de P1 sur P2 par P1 =⇒ P2 ,
que l’on lit « P1 implique P2 » ou encore « si P1 alors P2 ». Ce connecteur logique traduit le fait que
lorsque la première partie (appelée prémisse) P1 est vraie, la deuxième partie (appelée conclusion) P2
est forcément vraie. Remarquons que par cette définition, lorsque P1 est fausse, P1 =⇒ P2 est vraie
peu importe la vérité de P2 .

Exemple 1.5. Soit un triangle (ABC), on note rectangle(ABC) la relation « (ABC) est rectangle
en B ». On peut alors écrire la proposition (qui est le théorème de Pythagore) :

rectangle(ABC) =⇒ AC 2 = AB 2 + BC 2

A B A =⇒ B
0 0 1
0 1 1
1 0 0
1 1 1

Table 4 – Table de vérité de =⇒

3
Cours lycée

1.1.6 L’équivalence
L’équivalence logique entre deux proposition peut s’écrire directement à partir de l’implication,
mais elle traduit un lien plus fort. Si l’implication P1 =⇒ P2 traduit que P2 découle toujours de P1 ,
leur équivalence logique, notée P1 ⇐⇒ P2 et que l’on lit « P1 si et seulement si P2 » traduit que les
deux découlent l’un de l’autre, et dont que chaque fois qu’une des deux proposition est vraie, l’autre
aussi (et chaque fois qu’une des deux propositions est fausse, l’autre aussi). Si l’on s’intéresse dans un
premier temps à une proposition de la forme A =⇒ B, on appelle en générale la réciproque de cette
proposition la proposition B =⇒ A.

Exemple 1.6. Il se trouve que le théorème de Pythagore est une équivalence : sa réciproque est vraie
aussi, d’où :
rectangle(ABC) ⇐⇒ AC 2 = AB 2 + BC 2

A B A ⇐⇒ B
0 0 1
0 1 0
1 0 0
1 1 1

Table 5 – Table de vérité de ⇐⇒

Nous allons maintenant voir des briques dont l’utilisation est plus complexe mais qui sont très
importantes : ce sont les quantificateurs.
Supposons qu’on ait une proposition P dans laquelle est présente une variable x, par exemple la
proposition x = 2. Suivant la valeur de x, la proposition peut être vraie ou fausse, et on ne peut pas
le déterminer a priori, cela va à l’encontre de ce qu’on a dit d’une proposition. C’est le cas car la
variable dans P est dite libre : elle n’est pas fixé dans l’énoncé. Il existe alors deux choix relativement
naturels pour attribuer un sens à P : est-ce que l’on veut dire que P est toujours vraie, peu importe
la valeur de x ? Ou bien est-ce que l’on veut dire qu’il y a au moins une valeur de x telle que P est
vraie ? Les quantificateurs servent à ajouter une précision de cet ordre, et permettent de ne pas avoir
une variable libre dans une proposition (on dit alors que la variable est liée).

1.1.7 La quantification universelle

Le première quantificateur se lit « pour tout » ou encore « quel que soit ». Soit P (x) une proposition
dépendant d’un paramètre x, la quantification universelle sur x dans P (x) est la proposition écrite
∀x, P (x), se lit « pour tout x, P (x) est vraie » et traduit exactement ce sens : toute valeur de x rend
la proposition P (x) vraie.

Exemple 1.7. Supposons que nos paramètres soient des entiers. Alors on sait que tout entier est soit
pair soit impair, ce qu’on peut donc noter :

∀x, (pair(x) ∨ impair(x))

Nous allons convenir d’un ordre de priorité pour les quantificateurs : ils sont moins prioritaires que
les connecteurs logiques, donc
∀x, pair(x) ∨ impair(x)
se lit de la même façon.

1.1.8 La quantification existentielle

Le deuxième quantificateur se lit « il existe ». Soit P (x) une proposition dépendant d’un paramètre
x, on note cette quantification par ∃x, P (x), qui se lit « il existe x tel que P (x) », ce qui signifie que
parmi tous les x possibles, il y en a au moins un (il peut aussi y en avoir plusieurs) tel que P (x) est
vraie.

4
Cours lycée

Exemple 1.8. Supposons encore que nos paramètres sont des entiers. La proposition suivante est
vraie :
∃x, x = 2
de façon évidente puisque 2 = 2.

1.1.9 A propos de la quantification

En logique formelle, il n’est pas choquant d’écrire par exemple ∀x, ∃y, x = y sans plus de précisions,
mais ça n’est pas le cas dans l’ensemble des mathématiques (et nous voulons avant tout prendre des
habitudes compatibles avec l’ensemble des mathématiques). En effet, l’usage lorsque l’on quantifie
une variable est de dire dans quel univers elle se trouve, c’est-à-dire préciser si ce que l’on quantifie
est un ensemble, un entier, un réel, un nombre complexe, un triangle... Nous verrons plus en détail
l’appartenance ensembliste dans le prochain chapitre, mais nous préciserons dès maintenant quand
on introduit une variable à l’aide d’un « pour tout » ou d’un « il existe » de quelle espèce est cette
variable.
Pour ce faire, plutôt que ∀x nous écrirons par exemple ∀x ∈ N, signifiant « pour tout x appartenant
à l’ensemble des entiers naturels » ce qui est évidemment équivalent à « pour tout entier naturel x ».
Les principaux ensembles sur lesquels nous quantifierons sont R et N (nous aurons l’occasion de voir
d’autres ensembles mais cela suffira pour l’instant).
Passons désormais à l’étape suivante pour construire des raisonnements mathématiques : une fois
que l’on sait faire des phrases, il faut apprendre à enchaîner les phrases de manière à faire du sens.

1.2 Raisonnement et preuve

Les logiciens, depuis le siècle dernier, ont réussi à formaliser la logique de façon à définir for-
mellement les preuves et les hypothèses mathématiques. Cependant, comprendre ces formalismes et
ces idées demande un certain recul préalable sur les mathématiques : nous nous contenterons donc
de comprendre informellement ce qui fait une bonne preuve et ce qui est autorisé (ou non) dans un
raisonnement mathématique. Une preuve mathématique est une suite de raisonnements élémentaires
qui sont irréfutables de par leur évidence et, en s’enchaînant, forment un raisonnement plus large qui
est tout aussi irréfutable. Nous appellerons les raisonnements élémentaires des règles de déduction, et
allons en voir plusieurs. Chaque fois, nous allons définir une règle de déduction par trois éléments :
les hypothèses que l’on utilise, les prémisses de la règle et ses conclusions. Les règles de déduction
sont intimement liées à la forme des propositions, puisque pour chaque connecteur il existe une règle
qui permet de construire une proposition avec ce connecteur, et une règle qui permet d’utiliser une
proposition avec ce connecteur. Appliquer une règle se fait sans préciser de quelle règle l’on parle, en
général, tant le choix de la règle à appliquer est évident (on utilisera seulement le mot-clé « donc »,
signifiant que l’on applique une règle dont on a déjà prouvé les prémisses en amont). La plupart des
mathématiciens, par effet de style et pour rendre la lecture un peu plus agréable, varient les mots de
liaisons et les tournures, évitant ainsi d’utiliser « donc » en permanence, mais il faut comprendre que
les mots de liaisons servent à marquer l’utilisation d’une règle et que n’utiliser que « donc » ne saurait
être vu comme une erreur.
Enfin, une dernière précision à propos des hypothèses : en mathématiques, toute preuve se fait
sous des hypothèses, et il existe très peu (voire pas) de résultats réellement absolus, ce qui signifie
qu’une preuve ne peut que montrer « ce résultat est vrai en supposant les hypothèses suivantes ». Nous
mettons donc un point d’honneur dans cette partie à expliciter les hypothèses sous lesquelles tient un
résultat. Si certains résultats apparaissent comme universellement vrais (par exemple que 1 + 1 = 2),
la formalisation des objets manipulés demandent en réalité un ensemble de résultats, appelés axiomes,
qui sont des hypothèses tellement générales qu’on les tient toujours pour vraies.

1.2.1 L’hypothèse
Tout d’abord, la règle la plus basique d’un raisonnement est la suivante : si l’on a supposé une pro-
position P , alors dans ce contexte P est vraie. Cela est nécessaire pour pouvoir utiliser des hypothèses :
celles-ci apparaissent au moment d’utiliser la règle d’hypothèse (comme son nom l’indique).

5
Cours lycée

1.2.2 Introduction d’hypothèse

Si l’on veut ajouter une hypothèse P au contexte d’hypothèses H dans lequel on écrit une preuve,
il suffit d’écrire « supposons P ».

1.2.3 L’introduction de la conjonction

Pour justifier qu’une proposition de la forme P ∧ Q est vraie, on justifie que P est vraie, dans
un premier temps, puis que Q est vraie, dans un deuxième temps, et sous les mêmes hypothèses. La
proposition P ∧ Q est alors justifiée sous les hypothèses ayant permis de justifier P et Q.

Exemple 1.9. Supposons P , puis supposons aussi Q, nous allons prouver P ∧ Q :

Par hypothèse, P est vraie, et par hypothèse Q est vraie, donc P ∧ Q est vraie.

1.2.4 L’élimination de la conjonction

Une proposition de la forme P ∧ Q permet de justifier deux propositions : P et Q. En effet, avoir
prouvé P ∧ Q signifie qu’à la fois P et Q sont vrais, donc si, sous des hypothèses H on a prouvé
P ∧ Q, alors on peut au choix prouver P comme prouver Q sous les hypothèses H. Cette règle affaiblit
en quelque sorte la proposition que l’on a initialement, puisqu’elle permet de récupérer une partie
seulement de la proposition initiale.

Exemple 1.10. Prenons un certain nombre x, et supposons la proposition (x = 2) ∧ pair(x), alors

par hypothèse, cette proposition est vraie, donc on en déduit que x = 2.

1.2.5 L’introduction de la disjonction

Pour prouver une proposition de la forme P ∨ Q, il suffit au choix de prouver P ou de prouver Q.

Exemple 1.11. Prouvons que P définie comme (0 = 0)∨pair(2) est vraie par deux preuves distinctes :
• 0 = 0 est vrai par définition de l’égalité, donc P est vraie.
• pair(2) est vrai par définition de ce qu’est un entier pair, donc P est vraie.

Attention, deux preuves ont été données pour montrer qu’il y avait deux moyens de prouver P ∨ Q
si l’on peut prouver P comme Q, mais cela ne veut pas dire qu’une preuve de P ∨ Q nécessite deux
preuves, bien au contraire. Un autre exemple, prouvons P valant (0 = 1) ∨ pair(2) :

pair(2) est vrai par définition de ce qu’est un entier pair, donc P est vraie.

1.2.6 L’élimination de la disjonction, ou disjonction de cas

Cette règle étant un peu plus technique que les autres à utiliser, on précise en général lorsqu’on
l’utilise. Supposons qu’on veuille prouver une proposition A par ce processus, la disjonction de cas est
un raisonnement en trois temps :
1. Tout d’abord, on prouve une proposition de la forme P ∨ Q.
2. Ensuite, on distingue les cas menant à P ∨ Q, qui sont lorsque P est vraie et lorsque Q est vraie.
On suppose donc P en plus, et on prouve alors A.
3. On suppose maintenant Q en plus, et on prouve A.
Si l’on a respecté ces étapes, alors on a prouvé A.

Exemple 1.12. Montrons que pour tout x ∈ N, il existe y ∈ N tel que x = 2 × y ou x = 2 × y + 1.

Pour cela, on considère d’abord que tout entier naturel est soit pair soit impair (on le montrera dans
un exemple ultérieur). On fait alors une distinction de cas :
1. x est pair ou impair.

6
Cours lycée

2. Si x est pair, alors on peut écrire x = 2 × y avec y ∈ N, donc on a bien prouvé qu’il existait le y
que l’on cherchait.
3. Si x est impair, alors x − 1 est pair, donc on trouve y tel que x − 1 = 2 × y, ce qui revient à dire
que x = 2 × y + 1 : on a donc trouvé un y respectant ce que l’on voulait prouver.
Donc pour tout entier, il existe un entier y valant sa moitié ou sa moitié augmentée de 1.

1.2.7 L’introduction de la négation

L’introduction de la négation est ce qu’on appelle le raisonnement par contradiction. Ce raisonne-
ment cherche à prouver une proposition de la forme ¬A et se déroule en deux temps :
1. D’abord, on suppose A.
2. Ensuite, on prouve une absurdité, c’est-à-dire une phrase manifestement fausse (par exemple
0 = 1).
Si l’on a fait ça, alors on a prouvé ¬A.

Exemple 1.13. Montrons que la proposition P donnée par « tous les nombres premiers sont impairs »
est fausse en prouvant ¬P :
Supposons que tous les nombres premiers sont impairs, comme 2 est un nombre premier, cela
signifie que 2 est impair, or il est pair : c’est une contradiction. Donc tous les nombres premiers ne
sont pas impairs.

1.2.8 Le raisonnement par l’absurde

Le raisonnement par l’absurde est en quelque sorte la version inverse du raisonnement par contra-
diction. Si le raisonnement par contradiction suppose A pour prouver ¬A, le raisonnement par l’absurde
suppose ¬A pour prouver A. En effet, le reste est identique : on prouve en supposant ¬A qu’on aboutit
à une contradiction, et de cette contradiction on déduit directement A.
Certains auteurs confondent le raisonnement par contradiction et le raisonnement par l’absurde.

Exemple 1.14. Soit une proposition P , supposons ¬¬P et prouvons alors P :

Procédons par l’absurde en supposant ¬P , alors on a à la fois ¬P et son contraire ¬¬P , qui sont
deux propositions incompatibles : c’est absurde, donc P est vraie.

1.2.9 L’introduction de l’implication

Si l’on veut prouver une proposition de la forme A =⇒ B, on procède en deux temps :
1. On suppose A.
2. On prouve B dans le contexte où l’on a supposé A.
Dans ce cas, on a prouvé A =⇒ B.

Exemple 1.15. L’exemple précédent nous permet de déduire que ¬¬P =⇒ P .

1.2.10 L’élimination de l’implication, le modus ponens

Cette règle permet d’utiliser une proposition de la forme A =⇒ B. Son utilisation est simple :
si l’on sait vraies les proposition A =⇒ B et A alors on peut en déduire B. C’est l’un des principes
logiques les plus basique et son nom de modus ponens date de l’Antiquité.

Exemple 1.16. Les exemples ne manquent par, mais supposons par exemple que l’on sache les choses
suivantes :
• Socrate est un homme.
• Si Socrate est un homme, alors Socrate est mortel.
On en déduit que Socrate est mortel.

7
Cours lycée

1.2.11 Le raisonnement par contraposée

Cette règle permet, en un sens, d’inverser le sens d’une implication. Si une proposition de la forme
A =⇒ B est vraie, alors la proposition ¬B =⇒ ¬A est vraie aussi (et ceci marche dans l’autre
sens : prouver ¬B =⇒ ¬A suffit à prouver A =⇒ B).

1.2.12 L’équivalence
L’équivalence A ⇐⇒ B est exactement (A =⇒ B) ∧ (B =⇒ A), ce qui signifie que prouver que
deux propositions sont équivalentes se fait en prouvant que la première implique la deuxième puis que
la deuxième implique la première (on appelle ça procéder par double implication) et une proposition
de la forme A ⇐⇒ B s’utilise en faisant un modus ponens depuis le sens que l’on veut utiliser.

1.2.13 L’introduction du quantificateur universel

Si l’on veut prouver une proposition de la forme ∀x ∈ X, P (x), on procède en deux temps :
1. On définit une nouvelle variable, disons α, dont on sait juste que α ∈ X.
2. On prouve P (α)
Alors on a prouvé ∀x ∈ X, P (x).

Exemple 1.17. Montrons que pour tout x ∈ R, x + 0 = x :

Soit α ∈ R, par définition de l’addition α + 0 = α, donc ∀x ∈ R, x + 0 = x.

1.2.14 L’élimination du quantificateur universel

Si l’on a une proposition de la forme ∀x ∈ X, P (x) on peut l’utiliser en remplaçant x par une
valeur précise. Supposons que α ∈ X est une valeur particulière, ∀x ∈ X, P (x) nous permet de déduire
P (α).

Exemple 1.18. Reprenons l’exemple donné pour le modus ponens, mais en changeant légèrement
l’énoncé :
• Tout homme est mortel.
• Socrate est un homme.
Alors, comme Socrate est un homme, ce que l’on va écrire Socrate ∈ Hommes, on peut appliquer
∀x ∈ Hommes, mortel(x), ce qui nous fait déduire que Socrate est mortel.

1.2.15 L’introduction du quantificateur existentiel

Pour montrer ∃x ∈ X, P (x), la règle que l’on utilise est simple : on trouve un certain α ∈ X tel
que P (α) est vrai, ce qui nous permet de conclure qu’il existe bien x ∈ X tel que P (x).

Exemple 1.19. Montrons qu’il existe un nombre entier pair :

2 est pair, donc il existe un nombre entier pair.

1.2.16 L’élimination du quantificateur existentiel

Si l’on tient vraie une proposition de la forme ∃x ∈ X, P (x), alors on peut introduire une variable,
disons α ∈ X, telle que P (α) est vraie.

Exemple 1.20. Montrons que s’il existe un nombre pair, alors il existe un nombre impair :
On suppose qu’il existe un nombre pair, soit x un tel nombre. Alors x + 1 est un nombre impair,
donc il existe un nombre impair.

8
Cours lycée

1.2.17 Le raisonnement par récurrence

Ce raisonnement est bien plus particulier. Il est introduit ici mais servira principalement dans des
notions traitées dans des chapitres plus tardifs. Le principe du raisonnement par récurrence est, pour
un prédicat P dépendant d’une variable n ∈ N, de prouver ∀n ∈ N, P (n).
Pour ce faire, nous allons prouver deux choses :
• Tout d’abord, on prouve P (0).
• Ensuite, on prouve ∀n ∈ N, P (n) =⇒ P (n + 1).
En ayant prouvé ces deux éléments, on prouve alors que P est vraie pour n’importe quel entier
naturel n, car n = 0+1+1+1+. . .+1, où l’on additionne n fois 1 à 0. Or P (0) =⇒ P (1) . . . =⇒ P (n)
en utilisant ce que l’on a prouvé. Ainsi, pour tout entier naturel, on a prouvé P (n).
Remarque. Ajoutons un détail sur la façon dont il faut rédiger l’étape que l’on appelle l’hérédité, celle
de prouver ∀n ∈ N, P (n) =⇒ P (n + 1). Il faut tout d’abord fixer n quelconque pour pouvoir prouver
l’implication à l’intérieur, puis supposer P (n) vraie et prouver alors P (n + 1).

Exemple 1.21. Montrons que tout entier est soit pair soit impair, c’est-à-dire soit de la forme 2k soit
de la forme 2k + 1.
• Tout d’abord, 0 = 2 × 0 donc 0 est pair.
• Soit n ∈ N. Alors deux cas sont possibles :
— Soit n = 2k, k ∈ N. Dans ce cas, n + 1 = 2k + 1 donc n + 1 est impair.
— Soit n = 2k + 1. Dans ce cas, n + 1 = 2k + 2 = 2(k + 1), donc n + 1 est pair.
Dans tous les cas, n + 1 est soit pair soit impair.
Par récurrence, on en déduit que pour tout entier naturel n, n est ou pair ou impair, i.e. qu’il existe
k tel que n = 2k ou n = 2k + 1.

9
Cours lycée

2 Théorie des ensembles

Cette section s’intéresse aux éléments basiques de la théorie des ensembles. Cette expression dé-
signe à la fois la manipulation élémentaire des ensembles utilisée dans toutes les branches des maths,
une forme de formalisme employé pour formaliser les mathématiques, et une théorie à part entière
s’occupant d’ensembles particuliers. Cette section étant avant tout une introduction, nous nous conten-
terons évidemment de nous intéresser aux manipulations élémentaires autorisées en mathématiques.
Nous ne rentrerons pas dans le formalisme de le théorie axiomatique de ZF à cause de sa complexité
théorique, et admettrons simplement que ce qu’il est évident que l’on peut faire, peut être fait.

2.1 Que faire d’un ensemble ?

Tout d’abord, nous devons nous interroger rapidement sur ce qu’est un ensemble exactement. Les
mathématiques utilisant cette notion comme primitive, un ensemble ne peut pas être décrit en termes
mathématiques autres que « un ensemble est un objet qui se comporte comme un ensemble ». Ceci
étant, il est important d’avoir une idée précise de ce que désigne un ensemble au niveau de l’intuition,
dans ce qu’on pourrait appeler des méta-mathématiques. Un ensemble est un regroupement (appelé
aussi une collection) d’objets, pouvant comporter virtuellement n’importe quoi. On appelle « élément »
un objet appartenant à un ensemble donné. Un facteur important dans cette définition intuitive est
que les collections que nous constituons sont insensibles à l’ordre et à la multiplicité des éléments.
Par exemple un ensemble contenant x et x est exactement identique à un ensemble ne contenant
x qu’une fois (ainsi chaque élément n’est listé qu’une fois, par convention). De même, un ensemble
contenant x puis y est le même qu’un ensemble contenant y puis x : on dira donc seulement que
l’ensemble contient x et y. Nous allons maintenant donner les différents éléments de base pour pouvoir
désigner efficacement des ensembles : les définition d’ensembles par extension, compréhension, l’union,
l’intersection, le complémentaire relatif, la différence symétrique, le produit cartésien et l’ensemble des
parties.

2.1.1 Appartenance et égalité

Comme nous l’avons dit, un objet peut être élément d’un ensemble. Pour cela, nous utilisons le
symbole ∈, qui s’utilise ainsi :
x ∈ X signifie que x appartient à l’ensemble X
De plus, la notion d’égalité, qui signifie que deux objets sont les mêmes, existe évidemment aussi
pour les ensembles. Un ensemble X est égal à un autre ensemble Y lorsqu’il a les mêmes éléments, ce
qui signifie que pour tout objet x, on a l’équivalence
x ∈ X ⇐⇒ x ∈ Y
Exemple 2.1. En reprenant les définitions d’ensembles usuels données plus tôt, il est évident que
1∈N
et de plus, en imaginons que l’on nomme M l’ensemble N auquel on a ajouté 0, l’égalité
M=N
est vérifiée, comme le nombre d’apparitions d’un élément dans un ensemble n’a pas d’importance et
que 0 ∈ N.

2.1.2 Description par extension.

La façon la plus simple de décrire un ensemble est encore de lister explicitement ses éléments :
on appelle cela une description de l’ensemble par extension. La notation est d’écrire chaque élément
de l’ensemble, séparé par une virgule, le tout entre accolades. Il n’y aura en général par de confusion
entre la virgule séparant deux éléments et celle séparant un nombre de sa partie décimale, mais dans
un objectif de clarté nous utiliserons la notation anglophone où la partie décimale d’un nombre est
séparée de sa partie entière par un point (par exemple « un demi » s’écrira 0.5).

10
Cours lycée

Exemple 2.2. L’ensemble des entiers naturels inférieurs à 5 est {0, 1, 2, 3, 4, 5}.
Remarque (L’ensemble vide). Si un ensemble contient des éléments, il existe aussi un ensemble ne
contenant pas d’éléments. Cet ensemble s’appelle l’ensemble vide et se note ∅ : il a la caractéristique
que pour tout objet x, la propriété suivante est vérifiée :
x∈
/∅
Remarquons d’ores et déjà que l’ensemble {∅} est parfaitement différent que ∅ puisqu’il contient
un élément. Il sera plus tard utile d’être à l’aise sur la différence entre un ensemble et ses éléments.

2.1.3 Description par compréhension

Nous connaissons plusieurs ensembles dont nous acceptons l’existence, comme N ou R, mais ces
ensembles ont la particularité d’être infinis. Malheureusement, décrire par extension un ensemble
infini est parfaitement impossible pour nous, et il nous faut donc recourir à une notation permettant
d’écrire des ensembles infinis. La description par compréhension existe dans ce but : si l’on considère un
ensemble X et un prédicat (propriété dépendant d’un paramètre) P (x), on peut considérer l’ensemble
des éléments appartenant à X qui vérifient ce prédicat. La description par compréhension permet
donc d’écrire des parties de plus gros ensembles, la plupart du temps de façon concise. La grammaire
pour écrire un ensemble par compréhension dépend parfois des auteurs, mais une écriture classique
et admise de tout est la suivante, pour écrire « l’ensemble des éléments de X qui vérifient le prédicat
P »:
{x | x ∈ X, P (x)}
Remarque. Selon l’auteur, la barre | est remplacée par deux points :. De plus, il arrive de vouloir plutôt
que simplement sélectionner des éléments x, considérer l’image de chaque x par une certaine fonction
f (par exemple au lieu de regarder les entiers impaires, on peut vouloir considérer toutes les moitiés
de nombres entiers impaires). Dans ce cas, l’écriture devient dans le cas général :
{f (x) | x ∈ X, P (x)}
Enfin, dans le cas d’une propriété qui se déduit de façon évidente en donnant les premiers termes,
on peut écrire seulement les premiers termes en utilisant de points de suspension (cette utilisation est
moins rigoureuse mais beaucoup plus lisible, nous conseillons de l’utiliser seulement lorsque l’on est
sûrs d’être compris sans ambiguïté).
Exemple 2.3. Explicitons l’exemple précédent : nous allons noter l’ensemble A constitué des moitiés
de tous les nombres entiers impaires :
(  )
1 
A= x  x ∈ N, impair(x)
2 

Avec des points de suspension, cet ensemble est

A = {0.5, 1.5, 2.5, . . .}

2.1.4 Inclusion d’ensembles

Nous allons nous intéresser à l’inclusion, permettant de comparer des ensembles. L’idée est natu-
relle : l’inclusion permet de déterminer si un ensemble est plus grand qu’un autre (attention, on ne
parle pas ici du nombre d’éléments, qui est une notion plus fine appelée cardinale). Un ensemble E
est inclus dans un ensemble F lorsque tout élément x de E est aussi un élément de F . On dit alors
que E est un sous-ensemble de F , et on le note E ⊆ F (ou parfois E ⊂ F , qui induit une ambiguïté
sur si E ̸= F ou si les deux ensembles peuvent être égaux).
Nous donnerons, lorsque cela est possible, un dessin explicatif des différentes notions ensemblistes.
Nous appelons diagrammes de Venn les diagrammes que nous dessineront, illustrant les ensembles.
Ceux-ci sont intuitifs : une surface fermée représente un ensemble, un point dans une surface représente
un élément de l’ensemble donné et une surface entièrement contenue dans une autre surface représente
un ensemble inclus dans un autre.

11
Cours lycée

Figure 1 – En gris clair C, foncé D, avec D ⊆ C

2.1.5 Union d’ensembles

Maintenant que nous pouvons définir des ensembles et les comparer, nous allons définir des opé-
rations sur nos ensembles, qui ressembleront fortement aux définitions que nous avons vu en logique.
La première opération ensembliste est l’union : c’est une opération qui à partir de deux ensembles
construit un nouvel ensemble regroupant les éléments des deux premiers ensembles. On note l’union
grâce au symbole ∪, et appartenir à l’ensemble A ∪ B signifie exactement que l’on appartient à A ou
à B. On peut donc vouloir dire
A ∪ B = {x | x ∈ A ∨ x ∈ B}
mais on remarque que cela ne respecte pas exactement la syntaxe que nous avons fixée pour un
ensemble en compréhension car l’on ne connaît pas forcément d’ensemble plus grand dans se trouvent
l’ensemble des x désignés. L’intuition reste cependant importante car elle montre que ∪ est l’équivalent
ensembliste du connecteur ∨.
Exemple 2.4. De façon évidente :

N = {x | x ∈ N, pair(x)} ∪ {x | x ∈ N, impair(x)}

A B

A∪B

Figure 2 – En gris l’union A ∪ B

Remarque (Union généralisée). Si nous avons une famille d’ensembles (qui est une liste d’ensembles),
que nous noterons X1 , X2 , . . . , Xn , alors nous pouvons définir l’union de cette famille comme les unions
n
[
successives (((X1 ∪ X2 ) ∪ X3 ) ∪ . . .) ∪ Xn = Xi . La notation donnée à droite du = permet d’écrire
i=1
des unions avec beaucoup d’ensembles d’un coup. Si, au lieu d’une famille d’ensembles X1 , . . . , Xn ,
n
[ [
nous avons un ensemble X = {X1 , . . . , Xn }, l’union Xi s’écrira directement X.
i=1

Exercice 2.1. Soient A et B deux ensembles, montrer d’abord que A ⊆ A ∪ B et B ⊆ A ∪ B, puis

montrer que B ⊆ A si et seulement si A = A ∪ B.
Correction. Soit x ∈ A, alors x ∈ A ∪ B, donc A ⊆ A ∪ B. De même, si x ∈ B alors x ∈ A ∪ B donc
B ⊆ A ∪ B.
Si A = A ∪ B, alors soit x ∈ B. Par inclusion, x ∈ A ∪ B = A donc x ∈ A. Donc B ⊆ A.
Si B ⊆ A, alors soit x ∈ A ∪ B. Par disjonction de cas :

12
Cours lycée

• si x ∈ A, alors x ∈ A
• si x ∈ B, alors par inclusion x ∈ A.
Donc dans tous les cas, x ∈ A. On en déduit donc que A ∪ B ⊆ A, et par ce que nous avons prouvé
avant A ⊆ A ∪ B, donc A = A ∪ B.

2.1.6 Intersection d’ensembles

Si l’union permet de construire, à partir de deux ensembles, un ensemble plus gros regroupant les
éléments des deux ensembles, l’intersection est l’opération inverse : à partir de deux ensembles A et
B, l’intersection A ∩ B est l’ensemble qui contient seulement les éléments à la fois dans A et dans B.
Là encore, on pourrait écrire d’une façon proche d’un ensemble par compréhension cette opération :

A ∩ B = {x | x ∈ A ∧ x ∈ B}

ce qui nous donne donc le pendant ensembliste de la conjonction logique.

Exemple 2.5. Sans le prouver, nous savons que 2 est le seul nombre à la fois pair et premier, d’où :

{n | n ∈ N, premier(n)} ∩ {n | n ∈ N, pair(n)} = {2}

A B

A∩B

Figure 3 – En gris l’intersection A ∩ B

1
n
\
Remarque. De la même façon que pour l’union, on peut définir pour X1 , . . . , Xn l’intersection Xi
i=1
pour
\ écrire avec concision l’intersection d’un grand nombre d’ensembles, et l’on pourra aussi écrire
X pour un ensemble regroupand tous les ensembles dont on prend l’intersection.
Exercice 2.2. Soient A et B des ensembles, montrer que A ∩ B ⊆ A et A ∩ B ⊆ B, puis que A ⊆ B
si et seulement si A ∩ B = A.

2.1.7 Le complémentaire relatif

Pour continuer notre analogie avec la logique, nous pouvons chercher un équivalent ensembliste à
la négation. Cependant, dans le cadre des ensembles, cela signifierait chercher un ensemble de la forme

{x | x ∈
/ A}

à partir d’un certain ensemble A. Or un ensemble pareil contiendrait presque tous les ensembles (tous
sauf A), et en l’appliquant directement à ∅ on obtiendrait ainsi l’ensemble de tous les ensembles, qui
est une absurdité. En effet, il suffit alors de considérer l’ensemble des ensembles qui ne se contiennent
pas eux-mêmes.
L’équivalent de la négation doit donc être relatif : nous n’allons pas écrire {x | x ∈
/ A} mais, pour
deux ensembles A et B, nous allons construire {x | x ∈ A, x ∈ / B}. Nous listons donc les éléments qui
ne sont pas dans un ensemble, mais en se fixant d’abord comme référentiel un premier ensemble. Cet
ensemble, que l’on lit « A privé de B », se note A \ B ou ∁A B, voire, si l’on connaît déjà implicitement
le référentiel (ce qui arrive souvent), simplement B.

13
Cours lycée

Exemple 2.6. Les nombres impairs sont exactement les nombres qui ne sont pas pairs, d’où :

{n | n ∈ N, impair(n)} = N \ {n | n ∈ N, pair(n)}

De plus, le contexte de travailler avec des entiers peut parfois être évident, et dans ce cas nous
pouvons directement écrire :
{n | impair(n)} = {n | pair(n)}

A B

A\B

Figure 4 – En gris le complémentaire relatif A \ B

2.1.8 Différence symétrique

Le complémentaire permet donc de supprimer dans un ensemble les éléments qui sont en commun
avec un autre ensemble. La différence symétrique, elle, applique cette idée aux deux ensembles en
réunissant à la fois A \ B et B \ A. On peut donc l’écrire (A \ B) ∪ (B \ A) : ce sont les éléments
appartenant à uniquement l’un des deux ensembles, mais pas les deux à la fois. On note cet ensemble
A∆B. Il existe une opération qui lui correspond en logique mais elle est moins utile dans le strict cadre
de la logique (elle peut se rencontrer dans l’informatique, par exemple en architecture d’ordinateur),
on l’appelle le « ou exclusif » ou le XOR.

Exemple 2.7.
{1, 2, 3, 4, 5}∆{5, 6, 7, 8, 9} = {1, 2, 3, 4, 6, 7, 8, 9}

A B

A∆B

Figure 5 – En gris la différence symétrique A∆B

2.1.9 Produit cartésien d’ensembles

Nous allons désormais voir une forme plus complexe d’ensemble à travers le produit cartésien. Le
produit cartésien de deux ensembles A et B se note A × B et correspond à l’ensemble des couples
constitués d’un élément de A et d’un élément de B.
Plus précisément, un couple ressemble à un ensemble, mais avec deux éléments pour lesquels l’ordre
et le nombre d’occurrences compte. On note un couple constitué de a comme premier élément et b
comme deuxième élément par (a, b), et on appelle respectivement a la première composante et b la
deuxième composante du couple (a, b). Ainsi deux couples (a, b) et (b, a) sont distincts (en supposant
que a ̸= b) et le couple (a, a) n’est pas (a) (qui n’est d’ailleurs même pas un couple). On peut étendre

14
Cours lycée

cette notion à des groupements par trois, appelés triplets, ou des groupements par n avec n ∈ N,
appelés n-uplets. Ici, nous adopterons la convention qu’un n-uplet est simplement un couple avec
un couple pour l’une de ses composantes (par exemple (a, b, c) est juste une façon commode d’écrire
((a, b), c)).

Exemple 2.8. Commençons par un exemple simple en considérant A = {2, 4, 6} et B = {3, 6, 9},
alors :
A × B = {(2, 3), (2, 6), (2, 9), (4, 3), (4, 6), (4, 9), (6, 3), (6, 6), (6, 9)}

Remarque (Carré d’un ensemble). Pour un ensemble A, on écrit A2 pour l’ensemble A × A, et même
A3 pour A × A × A, jusqu’à An pour A × . . . × A où l’on multiplie n fois A à lui-même.
Nous allons illustrer l’idée de produit cartésien en utilisant le plan usuel. Pour cela, nous allons
considérer acquise la représentation d’un système de coordonnées et la correspondance entre R2 et le
plan usuel (nous reviendront plus tard sur les fondements de ces affirmations, mais les utiliserons ici
de façon intuitive). C’est-à-dire que l’on va considérer fixés deux axes gradués (x et y), orthogonaux,
et nous assimilerons un point A à ses coordonnées dans ce repère, qui seront donc un couple (xA , yA ).
Nous noterons I l’ensemble des nombres réels entre 1 et 2 : I = {x | x ∈ R, 1 ≤ x ≤ 2}. L’ensemble
I 2 = I × I est alors l’ensemble des points dont l’abscisse est entre 1 et 2 et l’ordonnée entre 1 et 2,
puisque ce sont les couples formés de réels tous les deux entre 1 et 2.

I I2
1

x
1 I 2

Figure 6 – En gris le produit cartésien I × I

2.1.10 Ensemble des parties

Pour finir cette partie, nous allons nous intéresser à une construction permettant de lister toutes
les parties d’un ensemble. En effet, si A est un ensemble, alors tous les ensembles X tels que X ⊆ A
existent, et l’on peut tous les regrouper dans un ensembles (dont les éléments sont donc des ensembles),
que l’on appelle ensemble des parties de A, et que l’on note P(A). Remarquons que par définition ∅
et A sont des éléments de P(A) puisque ∅ ⊆ A et A ⊆ A. Pour des ensembles quelconques A et E,
on a donc l’équivalence suivante :
A ⊆ E ⇐⇒ A ∈ P(E)

Exemple 2.9. Nous allons construire plusieurs ensembles de parties, successivement, à partir de
l’ensemble vide :

P(∅) = {∅} P(P(∅)) = {{∅}, ∅} P(P(P(∅))) = {{{∅}, ∅}, {{∅}}, ∅, {∅}}

On conviendra aisément que le dernier ensemble est plutôt difficile à lire, mais il permet de remar-
quer qu’à partir d’un ensemble à 0 éléments, nous obtenons successivement des ensembles à 1, puis 2,
puis 4 éléments. Nous pourrions donc conjecturer sur le nombre de parties d’un ensemble à n éléments
donnés, mais nous traiterons ce problème plus tard.

15
Cours lycée

2.1.11 Intervalles de nombres réels

On appelle intervalle une partie E de R convexe, c’est-à-dire que si x ∈ E et y ∈ E alors pour tout
x ≤ t ≤ y, t ∈ E. Un intervalle s’écrit sous l’une des formes suivantes :
• [a; b] = {x | a ≤ x ≤ b}
• [a; b[= {x | a ≤ x < b}
• ]a; b] = {x | a < x ≤ b}
• ]a; b[= {x | a < x < b}
• ] − ∞; b] = {x | x ≤ b}
• ] − ∞; b[= {x | x < b}
• [a; +∞[= {x | a ≤ x}
• ]a; +∞[= {x | a < x}

2.1.12 Raisonner sur des ensembles

Maintenant que nous avons vu les principales opérations et la grammaire élémentaire pour parler
des ensembles, nous allons parler de la façon dont nous pouvons raisonner avec les ensembles. Le but ici
ne sera pas de décrire des raisonnement alambiqués et virtuoses mais seulement de donner au lecteur
une idée de ce qu’il devra écrire dans des exercices basiques de théorie des ensembles.

Introduire un élément L’un des procédés les plus souvent utilisés pour raisonner sur les ensembles
est d’introduire un élément quelconque de cet ensemble pour raisonner dessus. Pour revenir à la partie
sur les raisonnement, l’idée derrière ce procédé est simplement que ∀x ∈ X =⇒ P (x) doit se prouver
en introduisant un élément x de X quelconque.

Exemple 2.10. Montrons que A ∩ B ⊆ A :

Soit x ∈ A ∩ B, alors comme x ∈ A ∩ B, on en déduit que x ∈ A, donc x ∈ A ∩ B =⇒ x ∈ A, ce
qui signifie par définition que A ∩ B ⊆ A.

Raisonner par double inclusion La façon la plus simple de prouver qu’un ensemble est égal à
un autre est de procéder par double inclusion. Ce principe se fait en deux temps. Supposons qu’on
possède un ensemble X et un ensemble Y , on prouve :
• que X ⊆ Y , puis
• que Y ⊆ X
et alors X = Y .

Exemple 2.11. Soient les ensembles A = {n | n ∈ N, pair(n)} et B = {2 × n | n ∈ N}, et montrons

que A = B :
Raisonnons par double inclusion :
• Soit n ∈ A, alors par définition de la parité, il existe un nombre k ∈ N tel que n = 2 × k. On en
déduit que n est le double d’un nombre entier, ce qui signifie que n ∈ B.
• Soit n ∈ B, alors n = 2 × k pour un certain k ∈ N par définition des éléments de B. n est alors
pair par définition, donc n ∈ A.
Donc A = B.

2.2 Relations binaires et fonctionnelles

Cette partie va parler des relations binaires, qui sont un outil essentiel pour la construction et la
compréhension des mathématiques. Nous verrons dans l’ordre les généralités sur les relations binaires
(leur définition, principalement), les relations d’ordre, les relations d’équivalence et les fonctions.

16
Cours lycée

2.2.1 Relation binaire

Commençons par donner la définition d’une relation binaire sur un ensemble donné. Faisons un
aparte pour distinguer une définition d’une caractérisation. Une définition correspond à la première
rencontre avec un objet mathématique, alors qu’une caractérisation est une propriété d’un objet qui
pourrait remplacer la définition, au sens où tout objet suivant la définition est exactement un objet
suivant la caractérisation. Nous verrons plus tard des caractérisations, mais l’important dans cette
opposition, à l’heure actuelle, est que la définition d’un objet ne demande en général pas d’argument
ou de démonstration : on se contente d’affirmer à quoi renvoie un certain terme mathématique.
Définition 2.1 (Relation binaire). Une relation binaire R sur un ensemble E est une partie de E 2
(c’est-à-dire un ensemble R ⊆ E 2 ). On dit que deux élément x ∈ E et y ∈ E sont en relation pour R
lorsque le couple (x, y) est un élément de R. Plutôt que d’écrire cela (x, y) ∈ R, on écrit en général
xRy.
En général, une relation binaire est donnée par une description des éléments qui sont en relation
plutôt que par la liste explicite des couples (cette liste explicite est en général impossible à faire puisque
la plupart des relation binaires que nous utiliserons seront sur des ensembles infinis).
Listons quelques relations binaires usuelles pour mieux se faire à cette notion nouvelle.
Exemple 2.12.
• Sur N, ≤ est une relation binaire : on écrit x ≤ y pour dire que x est inférieur à y.
• Pour un ensemble E quelconque, l’égalité = peut se considérer comme une relation binaire
sur E, c’est alors l’ensemble {(x, x) | x ∈ E} qu’on appelle aussi diagonale de E. En effet,
chaque élément x n’est que dans le couple (x, x), donc n’est en relation qu’avec lui-même, ce qui
correspond bien à x = x.
• Si l’on définit D comme l’ensemble des droites du plan, alors le parallélisme est une relation
binaire sur D.
• Sur N, la relation | définie par x | y s’il existe k tel que y = k × x (appelée divisibilité) est une
relation binaire.
Nous allons maintenant présenter des notions liées aux relations permettant de mieux voit quelles
en sont les manipulations possibles. Comprendre en profondeur le sens et l’utilité de ces définitions
n’est pas nécessaire pour la suite.
Définition 2.2 (Complémentaire, relation réciproque). Soit E un ensemble et R une relation binaire
sur E. On appelle complémentaire de R la relation R décrite par l’ensemble R = {(x, y) | x ∈ E, y ∈
E, (y, x) ∈
/ R}. Cela signifie que deux éléments sont en relation pour R si et seulement s’ils ne sont
pas en relation pour R.
On appelle la relation réciproque de R, que l’on note R−1 , la relation définie par xR−1 y ⇐⇒ yRx.
Exemple 2.13. Dans N, le complémentaire de ≤ est >, tandis que la réciproque de ≤ est ≥.
Donnons les propriétés qui sont habituellement utilisées pour les relation binaires.
Définition 2.3 (Réflexivité, symétrie, transitivité, antiréflexivité, antisymétrie). Soit un
ensemble E. On définit les propriétés suivantes pour une relation binaire R sur E :
Réflexivité : ∀x ∈ E, xRx
Symétrie : ∀x ∈ E, ∀y ∈ E, xRy =⇒ yRx
Transitivité : ∀x ∈ E, ∀y ∈ E, ∀z ∈ E, (xRy ∧ yRz) =⇒ xRz
Antiréflexivité : ∀x ∈ E, ¬(xRx)
Antisymétrie : ∀x ∈ E, ∀y ∈ E, (xRy ∧ yRx) =⇒ x = y
Définition 2.4 (Finesse). Soit E un ensemble et R1 et R2 deux relations binaires sur E. On dit que
R1 est plus fine que R2 lorsque R1 ⊆ R2 . Cela revient à la proposition suivante :
∀x ∈ E, ∀y ∈ E, xR1 y =⇒ xR2 y
Une relation plus fine qu’une autre possède donc moins de liaisons entre les éléments.

17
Cours lycée

Exercice 2.3. Soit E un ensemble et R une relation binaire réflexive sur E. Montrer que l’égalité est
une relation binaire plus fine que R.

Exercice 2.4. Soit E un ensemble et R une relation binaire transitive et symétrique. Montrer que
pour tout x ∈ E, y ∈ E, si xRy alors xRx et yRy.
En déduire qu’une relation transitive et symétrique où tout élément est en relation avec au moins
un élément est réfléxive.

Exercice 2.5. Soit E un ensemble et R une relation binaire symétrique et antisymétrique. Montrer
que R est l’égalité.

Exercice 2.6 (Construire une relation réflexive et transitive *). Soit E un ensemble et R une relation
binaire sur E. On définie R∗ , appelée la clôture réflexive et transitive de R de la façon suivante : xR∗ y
si x = y ou s’il existe une suite finie x0 , . . . , xn où x0 = x, xn = y et pour chaque i ∈ {1, . . . , n − 1},
xi Rxi+1 .
Montrer que R∗ est bien une relation réflexive et transitive, que de plus R ⊆ R∗ (ce qui est
équivalent à dire que xRy =⇒ xR∗ y), et enfin, que R∗ est la plus fine relation réflexive et transitive
qui contient R.

Exercice 2.7 (Construire une relation symétrique *). Soit E un ensemble et R une relation binaire
sur E. Montrer que R ∪ R−1 est une relation symétrique contenant R. Montrer, de plus, que R ∪ R−1
est plus fine que toute les relations symétriques contenant R.

\ ensemble, et R un ensemble de
Exercice 2.8 (Intersection et union de relations **). Soit E un
relations binaires sur E (donc R ⊆ P(E 2 )). Montrer que R′ = R est aussi une relation binaire
[
sur E, et que R′ est plus fine que toute relation R ∈ R. De même, montrer que R′′ = R est une
relation binaire sur E et que toute relation R ∈ R est plus fine que R′′ .

Nous verrons plus tard que regrouper plusieurs relations ou objets divers pour en prendre l’in-
tersection sera souvent fructueux, car beaucoup de propriétés restent stables par intersection (ce qui
signifie que si l’on prend un ensemble d’objets possédant une propriété, alors l’intersection de tous ces
objets possédera aussi cette propriété). La prochaine partie nous donnera un tel exemple.

2.2.2 Relation d’équivalence

Une relation d’équivalence est une relation binaire particulière. Celle-ci prend une importance
particulière car elle permet de relever des propriétés partagées par des éléments, et devient un élément
de construction mathématique essentiel lorsque l’on veut traiter ces propriétés en tant que telles. Par
exemple, la propriété pour des droites d’être parallèles entre elles est intéressantes, mais on peut en
définir la notion de direction, qui est « l’endroit vers lequel pointent toutes les droites parallèles à une
certaine droite ». Nous allons donc voir comment définir rigoureusement ce procédé.
Commençons par présenter des exemples de relations d’équivalences usuelles pour donner une idée
de l’intuition derrière cette notion :

Exemple 2.14 (Relations d’équivalence classiques). Les relations suivantes sont des relations d’équi-
valences :
• La relation de parallélisme sur l’ensemble D des droites du plan affine est une relation d’équiva-
lence.
• La similitude sur l’ensemble T des triangles du plan est une relation d’équivalence.
Pour rappel, deux triangle sont semblables si leurs angles sont les mêmes, ou de façon équivalente
si l’on peut les superposer en en tournant un et en l’agrandissant ou en le réduisant.
• Soit n ∈ N fixé, la relation dite de congruence modulo n (qui sera détaillée plus tard) est une
relation d’équivalence. On la définit par le fait que si x est congru à y modulo n alors n divise
y − x, ou encore que x et y ont le même reste par la division euclidienne par n.

Nous pouvons maintenant donner la définition d’une relation d’équivalence :

18
Cours lycée

Définition 2.5 (Relation d’équivalence). Une relation d’équivalence ∼ sur un ensemble E est une
relation binaire possédant les propriétés suivantes :
Réflexivité : ∀x ∈ E, x ∼ x.
Symétrie : ∀x ∈ E, ∀y ∈ E, x ∼ y =⇒ y ∼ x.
Transitivité : ∀x ∈ E, ∀y ∈ E, ∀z ∈ E, (x ∼ y ∧ y ∼ z) =⇒ x ∼ z.

L’intérêt d’une relation d’équivalence est de pouvoir regrouper les éléments par groupes possédant
une propriété commune, c’est-à-dire étant tous en relation.

Définition 2.6 (Classe d’équivalence). Soit E un ensemble et ∼ une relation d’équivalence sur E.
Soit x ∈ E. On appelle classe d’équivalence de x, et l’on notera Cx ou x l’ensemble :

Cx = {y | y ∈ E, x ∼ y}

qui sont des ensembles non vides car x ∈ Cx (par réflexivité de ∼).
L’utilisation de la notation x est standard mais peut porter à confusion à cause de l’utiliser de
pour de nombreuses notions mathématiques, aussi nous garderons la notation Cx pour qualifier la
classe d’un élément x.

L’intérêt de cette notion est que la classe d’équivalence ne varie par suivant l’élément choisi dans
la classe. Le résultat suivant le montre :

Proposition 2.2.1. Soit E un ensemble et ∼ une relation d’équivalence sur E, soient x ∈ E et y ∈ E.

Il y a alors deux possibilités :
• Si x ∼ y, alors Cx = Cy .
• Si ¬(x ∼ y), alors Cx ∩ Cy = ∅.

Démonstration. Prouvons le premier cas par double inclusion :

Soit z ∈ Cx , prouvons que z ∈ Cy . Par définition, comme z ∈ Cx , x ∼ z. Or par hypothèse,
x ∼ y donc, puisque ∼ est symétrique, y ∼ x, ce qui nous donne par transitivité que y ∼ z, soit
z ∈ Cy . Donc z ∈ Cx =⇒ z ∈ Cy , donc Cx ⊆ Cy .
Réciproquement, si z ∈ Cy , alors par définition y ∼ z et l’hypothèse x ∼ y nous permet par
transitivité de déduire que y ∼ z, donc que z ∈ Cy , donc Cy ⊆ Cx .
D’où par double inclusion que Cx = Cy .

Prouvons le deuxième cas par contradiction :

Supposons qu’il existe z ∈ Cx ∩ Cy . Alors on en déduit que z ∈ Cx et que z ∈ Cy . De ces deux
hypothèses, respectivement, on déduit que x ∼ z et y ∼ z, donc par symétrique et transitivité de ∼,
on en déduit que x ∼ y, ce qui contredit notre hypothèse de départ.
Donc Cx ∩ Cy = ∅ .

Nous pouvons maintenant définir les ensembles quotients, qui seront essentiels pour construire des
objets mathématiques de plus en plus complexes.

Définition 2.7 (Ensemble quotient). Soit E un ensemble et ∼ une relation d’équivalence sur E. On
appelle le quotient de E par ∼, et on note E/∼ l’ensemble
E/ = {Cx | x ∈ E}
∼
qui est donc l’ensemble des regroupement de familles de même propriété pour cette relation d’équiva-
lence.
Remarquons qu’il existe naturellement la fonction π : E −→ E/∼ . Nous détaillerons la notion
x 7−→ Cx
de fonction plus tard, mais nous donnons dès maintenant l’existence d’une telle fonction pour l’étudier
plus tard.

19
Cours lycée

Exercice 2.9. Montrer que les deux relations suivantes sont des relations d’équivalence :
• La relation de parallélisme sur l’ensemble D des droites du plan (nous pouvons utilisés les
résultats appris en 6e).
• (*) Pour n ∈ N fixé, la congruence modulo n.

Exercice 2.10 (Construire une relation d’équivalence *). Soit E un ensemble et → une relation
binaire sur E. On note ←→ la relation symétrique décrite dans l’exercice 2.7 et ←→∗ sa clôture
réflexive et symétrique.
Montrer que ←→∗ est une relation d’équivalence contenant →, et qu’elle est la plus fine relation
d’équivalence contenant →.

Exercice 2.11 (Construction alternative d’une relation d’équivalence **). Soit E un ensemble et R
une relation binaire sur E. On note R l’ensemble des relations d’équivalence contenant R.
1. Montrer que R n’est pas vide (car on veut en considérer l’intersection).
\
2. Montrer que si R est constitué uniquement de relations réflexives, alors R est réflexive, et
contient R.
\
3. Montrer que si R est constitué uniquement de relations symétriques, alors R est réflexive, et
contient R.
\
4. Montrer que si R est constitué uniquement de relations transitives, alors R est réflexive, et
contient R.
\
5. En déduire que R est la relation d’équivalence la plus fine qui contient R.

Remarque. D’après les deux exercices précédents, on remarque qu’il existe deux façon de définir une
structure contenant un ensemble : la première est d’étendre cet ensemble jusqu’à obtenir la structure
souhaitée, et la deuxième est de prendre une surestimation des structure qui contiennent l’ensemble
en question pour en prendre l’intersection. L’avantage de la première méthode est d’en général donner
une description explicite de la structure attendue, mais celle-ci peut-être difficilement manipulable,
alors que la deuxième façon permet de traiter de façon systématique ce genre de problèmes (c’est ce
que nous utiliserons dans la suite du document).

2.2.3 Partition d’un ensemble

Cette partie permet de mieux se familiariser avec les quotients par une relation d’équivalence. En
effet, on appelle partition d’un ensemble l’ensemble de parties produit par un quotient de la forme
E/ .
∼
Définition 2.8 (Partition d’un ensemble). Soit E un ensemble et P ⊆ P(E) un ensemble de parties
de E. On dit que P est une partition de E si :
• ∀P ∈ P , P ̸= ∅.
[
• P = E.
• ∀P ∈ P , ∀P ′ ∈ P , P ̸= P ′ =⇒ P ∩ P ′ = ∅.
Une partition d’un ensemble est donc exactement une façon de découper un ensemble en paquets
pour que chaque élément de l’ensemble aille dans exactement un ensemble.

Le dessin ci-dessous présente un ensemble E avec une partition P = {P1 , P2 , P3 , P4 , P5 }.

Donnons une définition équivalente à une partition qui sera moins centrée sur les parties que sur
les éléments de l’ensemble :

Proposition 2.2.2 (Caractérisation d’une partition). Soit E un ensemble et P ⊆ P(E), les deux
propositions sont équivalentes :
• P est une partition de E.
• Les conditions suivantes sont respectées :
— ∀P ∈ P , P ̸= ∅.

20
Cours lycée

P5
P2 P4

P1 P3

Figure 7 – Un ensemble E partitionné

— ∀x ∈ E, ∃P ∈ P , x ∈ P .
— ∀x ∈ E, ∀P ∈ P , ∀P ′ ∈ P , (x ∈ P ∧ x ∈ P ′ ) =⇒ P = P ′

Remarque. Les points 2 et 3 de la caractérisation précédente peuvent se réécrire

∀x ∈ E, ∃!P ∈ P , x ∈ P

signifiant « il existe un unique élément tel que » plutôt que simplement « il existe ». Nous éviterons
d’utiliser ce symbole car il évite de voir l’importance que revêt l’unicité dans la phrase.

Démonstration. Montrons qu’une partition vérifie bien les conditions décrites :

• La première phrase est commune à la définition et à la caractérisation.
[ [
• Soit x ∈ E, alors comme E = P , x ∈ P , ce qui signifie par définition de l’union, qu’il existe
P ∈ P tel que x ∈ P , ce qui est le résultat que nous voulons démontrer.
• Soit x ∈ E et soient P ∈ P , P ′ ∈ P . Par contraposée de la dernière propriété d’une partition,
comme ¬(P ∩ P ′ = ∅) (en effet, cette intersection contient au moins x), on en déduit ¬(P ̸= P ′ ),
c’est-à-dire P = P ′ .
Montrons le sens réciproque, c’est-à-dire que les conditions suffisent à construire une partition :
• Le fait que toutes les parties sont non vides est vrai par hypothèse.
[
• Pour hypothèse, tout élément x ∈ E appartient à une partie P ∈ P , donc E ⊆ P , et l’autre
inclusion
[ est évidente puisque tous les éléments des parties de E sont des éléments de E. D’où
P = E.
• Soient P et P ′ deux éléments de P . Supposons que P = ̸ P ′ , alors il n’existe pas d’élément x ∈ E
tel que x ∈ P ∧ x ∈ P , ce qui signifie qu’il n’existe pas d’élément x ∈ E tel que x ∈ P ∩ P ′ ,
′

donc P ∩ P ′ = ∅.
Les deux définitions sont donc équivalentes.

Nous allons maintenant voir un théorème exprimant l’équivalence entre une relation d’équivalence
et une partition.

Théorème 2.1 (Equivalence d’une partition et d’un ensemble quotient). Soit E un ensemble. Alors
pour toute partition P il existe une unique relation d’équivalence ∼P telle que E/∼P = P .
Réciproquement, si ∼ est une relation d’équivalence, alors E/∼ est une partition de E.

Démonstration. Comme pour chaque x ∈ E, il existe un unique P ∈ P tel que x ∈ P , on définit ∼P

par le fait que deux éléments x et y sont en relation quand ils appartiennent à la même partie P ∈ P .
Montrons alors que cela forme une relation d’équivalence ;
• Par définition, pour tout x ∈ E, en nommant P la partie de la partition à laquelle appartient x,
x ∈ P , donc x ∼P x.
• Soient x ∈ E et y ∈ E tels que x ∼P y , nommons P la partie à laquelle appartiennent x et y.
Il est évident que y ∼P x comme P , un ensemble, n’est pas ordonné.

21
Cours lycée

• Soient x ∈ E, y ∈ E et z ∈ E tels que x ∼P y et y ∼P z, alors les trois éléments appartiennent

à une même partie P ∈ P , donc x ∼P z.
Donc ∼P est une relation d’équivalence.
Montrons maintenant que E/∼P = P :
Soit x ∈ E, alors Cx = P pour un certain P ∈ P . En effet, puisque tous les éléments en relation
avec x sont dans la même partie P ∈ P , on fixe ce P et on en déduit que Cx ⊆ P . Réciproquement,
tout élément de P est en relation avec x par définition puisque ceux-ci appartiennent à la même partie.
Donc Cx = P .
Ainsi, pour toute partie P ∈ P , on trouve un élément x ∈ P (car P est non vide par hypothèse) et
on en déduit que P = Cx , dont on déduit que P ⊆ E/∼P . Réciproquement, si l’on prend P ∈ E/∼P ,
alors pour tout élément x ∈ P appartient à un certain P ′ ∈ P , mais P ′ = Cx = P d’après les argument
précédents, donc E/∼P ⊆ P .
Donc par double inclusion, E/∼P = P

Montrons que E/∼ est une partition de E :

• Tout d’abord, soit P ∈ E/∼P , par définition on trouve x ∈ P tel que P = Cx , or ∼ est réflexive
donc x ∈ P , donc P ̸= ∅.
• Soit x ∈ E, par définition x ∈ Cx et Cx ∈ E/∼P , donc on trouve P ∈ E/∼P tel que x ∈ P .
• Soit x ∈ E, P, P ′ ∈ E/∼P tels que x ∈ P ∧ x ∈ P ′ . Alors on trouve y et z tels que P = Cx et
P ′ = Cz . Alors par 2.2.1, comme P ∩ P ′ ̸= ∅, on en déduit que P = P ′ .
Donc E/∼ est bien une partition de E.

Exercice 2.12 (Direction d’une droite). Soit D l’ensemble des droites du plan. On décide de par-
titionner cet ensemble en regroupant les droites qui ont la même direction. Quelle est la relation
d’équivalence correspondant à cette partition ?

2.2.4 Relation d’ordre

Outre les relations d’équivalence, un autre type de relations important pour toutes les maths
usuelles est celui des relations d’ordre. Celles-ci servent, comme leur nom l’indique, à ordonner un
ensemble. Leur exemple le plus évident est la relation ≤ qui permet d’ordonner les entiers, et qui est
la base du fait de pouvoir compter. En effet, l’intérêt de compter 1, 2, 3, 4, . . . dans cet ordre est juste
que ces entiers viennent avec un ordre naturel. Voyons donc la définition d’une relation d’ordre.
Définition 2.9 (Relation d’ordre). Soit E un ensemble et ⪯ une relation binaire sur E. On dit que
⪯ est une relation d’ordre lorsqu’elle possède les propriétés suivantes :
Réflexivité : ∀x ∈ E, x ⪯ x
Antisymétrie : ∀x ∈ E, ∀y ∈ E, (x ⪯ y ∧ y ⪯ x) =⇒ x = y
Transitivité : ∀x ∈ E, ∀y ∈ E, ∀z ∈ E, (x ⪯ y ∧ y ⪯ z) =⇒ x ⪯ z
Nous ne nous attarderons pas beaucoup sur les relations d’ordre car, si celles-ci ouvrent le champ
à des théories très larges, elles sont largement hors de notre étude et beaucoup trop abstraites. Nous
allons donner dans un premier temps des exemples de relations d’ordre, puis nous verrons quelques
éléments importants dans l’étude des relations d’ordre.
Exemple 2.15. Voici quelques relations d’ordre classiques :
• Dans N, la relation ≤ est une relation d’ordre.
• Dans N, la relation | définie précédemment est aussi une relation d’ordre.
• Si l’on fixe un ensemble E, alors ⊆ est une relation d’ordre sur P(E).
Une différence notable entre ≤ et, par exemple, ⊆, est que l’on peut toujours comparer deux entiers
avec ≤, alors qu’il existe des parties de E que l’on ne peut pas comparer.

22
Cours lycée

Exemple 2.16. En prenant E = {1, 2, 3}, on remarque que {1} ⊆ {1, 2} et {1} ⊆ {1, 3} mais que
¬({1, 2} ⊆ {1, 3}), de même que ¬({1, 3} ⊆ {1, 2}). Donc ces deux ensembles sont dits incomparables.

On peut donc définir une nouvelle propriété pour certains ordres.

Définition 2.10 (Ordre total). Soit E un ensemble et ⪯ une relation d’ordre sur E. On dit que ⪯
est total si :
∀x ∈ E, ∀y ∈ E, x ⪯ y ∨ y ⪯ x
signifiant que deux éléments peuvent toujours être comparés.

Nous pouvons aussi définir la notion de minorant et de majorant.

Définition 2.11 (Minorant, majorant). Soit (E, ⪯) un ensemble ordonné, et soit A ⊆ E une partie
de E. On dit que m est un minorant de A lorsque

∀x ∈ A, m ⪯ x

c’est donc un élément plus petit que l’ensemble des éléments de A. On dit que M est un majorant de
A lorsque
∀x ∈ A, x ⪯ M
c’est donc un élément plus grand que l’ensemble des éléments de A.

Remarque. Un minorant, comme un majorant, n’est en général pas unique. En prenant par exemple
E = R et A = {0, 1, 5, 6}, on remarque que −1 comme 0 sont des minorants de A. De même, 8 et 9
sont des majorants de A.
Ajoutons une notion plus fine que celle de majorant et de minorant que sont les bornes supérieures
ét inférieures.

Définition 2.12 (Borne supérieure, borne inférieure). Soit (E, ⪯) un ensemble ordonné, et soit A ⊆ E
une partie de E. On dit que m est la borne inférieure de A si m est un minorant de A tel que pour
tout x minorant de A, on a
x⪯m
et de même, on dit que M est le borne supérieure de A si M est un majorant de A tel que pour tout
majorant x de A, on a
M ⪯x
Ce sont donc le plus grand minorant et le plus petit minorant. Attention cependant, ceux-ci
n’existent pas forcément.

On remarquera l’emploi du déterminant « un » pour parler de minorant, et « le » pour parler de

borne inférieure. Cette pratique est essentielle, car « le » et « la » insinuent qu’il y a unicité de l’objet
considéré. Prouvons, sous réserve d’existence, cette unicité.

Proposition 2.2.3. Si A a une borne supérieure, alors celle-ci est unique. De même, si A a une
borne inférieure, celle-ci est unique.

Démonstration. Nous ne traiterons que le cas de la borne supérieure : l’autre cas est laissé en exercice
au lecteur.
Soit M borne supérieure et A et M ′ borne supérieure de A. Alors comme M est plus petit que
tous les majorants de A et que M ′ est un majorant de A, on en déduit que M ⪯ M ′ . De même, M est
un majorant de A et M ′ est plus petit que tous les majorants de A, donc M ′ ⪯ M .
On en déduit que M = M ′ .

23
Cours lycée

2.2.5 Fonctions
Nous allons maintenant introduire ce qui est sûrement l’élément le plus important des mathéma-
tiques : les fonctions. En effet, que cela soit en algèbre, en analyse ou même en géométrie, la notion
de fonction est omniprésente. Nous allons donc préciser ce qu’est une fonction.
Remarque. Dans ce document, nous parlerons indifféremment de fonctions ou d’applications. Les deux
termes ont la même signification.

Définition 2.13 (Fonction). Soient E et F des ensembles. On appelle une fonction un triplet (E, F, Γ)
où Γ ⊆ E × F est une relation entre E et F telle que pour tout x ∈ E, il existe un unique couple
α ∈ Γ tel que x est le premier élément de α.
Autrement dit, Γ est un ensemble de couples de la forme (x, y) où x ∈ E, y ∈ F et tel qu’à x fixé,
il y a un seul couple de la forme (x, y).
Pour noter E, appelé l’ensemble de départ (ou domaine) de f , et F appelé l’ensemble d’arrivée
(ou codomaine) de f , on écrit f : E → F . Comme nous connaissons déjà les éléments x ∈ E, décrire
l’ensemble des couples (x, y) composant Γ (appelé le graphe de f ) se fait en donnant la forme de y
en fonction de x. Pour cela, on écrit x 7→ f (x). On appelle antécédent l’élément x et image l’élément
f (x).

Donnons quelques exemples de fonctions.

Exemple 2.17.
• f : R −→ R
x 7−→ x2
• g : N −→ N
n 7−→ n + 2
• 0 : R −→ R
x 7−→ 0
• i : N −→ R
x 7−→ x
• idN : N −→ N
n 7−→ n
Les fonctions sont essentielles car elles nous permettent de définir des liens entre des objets ma-
thématiques. De plus, elles sont l’objet d’étude privilégié de la discipline appelée l’analyse.
Remarque. La fonction idN , appelée la fonction identité, peut se généraliser à n’importe quel ensemble
E:
idE : E −→ E
x 7−→ x
De plus, le graphe de cette fonction est la diagonale de l’ensemble : {(x, x) | x ∈ E}.
Enfin, nous allons définir une opération sur les fonctions, qui permet de s’abstraire de l’évaluation
d’une fonction en lui donnant un argument :

Définition 2.14 (Composition de fonctions). Soient f : E → F et g : F → G deux fonctions. On

définit g ◦ f de la façon suivante :

g ◦ f : E −→ G
x 7−→ g(f (x))

Cette relation définit bien une fonction.

Démonstration. Montrons que la relation donnée par le graphe de g ◦ f est fonctionnelle. En effet,
ce qu’il est essentiel de montrer est que pour x ∈ E, il existe un unique élément y ∈ G tel que
(g ◦ f )(x) = y.

24
Cours lycée

Soit x ∈ E, alors (g ◦ f )(x) = g(f (x)), or il existe un unique y ′ ∈ F tel que y ′ = f (x) et il existe un
unique y ∈ G tel que y = g(y ′ ) (car f et g sont des fonctions). Donc il existe un unique y ∈ G tel que
(g ◦ f )(x) = y.
On en déduit que g ◦ f est bien définie en tant que fonction.

La composition de fonctions est, de plus, associative.

Proposition 2.2.4. Si f : E → F , g : F → G et h : G → H sont des fonctions, alors

h ◦ (g ◦ f ) = (h ◦ g) ◦ f

ce que l’on écrira directement h ◦ g ◦ f .

Démonstration. Le résultat est évident en regardant à un x fixé : les deux fonction s’évaluent en
h(g(f (x)).

Nous allons maintenant étudier des propriétés liées aux fonctions.

Définition 2.15 (Injection, surjection, bijection). Soit f : E → F une fonction. On dit que f est
injective lorsqu’elle envoie chaque élément sur une image différente. Cela s’écrit formellement

∀x ∈ E, ∀y ∈ E, f (x) = f (y) =⇒ x = y

ce qui signifie que seul x a comme image f (x).

On dit que f est surjective lorsque tout élément de F est l’image d’un élément de E par f . Cela
se formalise par la phrase
∀y ∈ F, ∃x ∈ E, f (x) = y
On dit que f est bijective lorsque f est à la fois injective et surjective. Une formulation équivalente
à cela est
∀y ∈ F, ∃!x ∈ E, f (x) = y
ce qui revient aussi à dire que pour chaque élément y ∈ F , il existe une unique solution à l’équation
f (x) = y.
Donnons maintenant une caractérisation d’une fonction bijective.
Théorème 2.2 (Bijection réciproque). Soit f : E → F , f est bijective si et seulement s’il existe
g : F → E telle que f ◦ g = idF et g ◦ f = idE .
Remarque. Ces équations se traduisent de la façon suivante :

(∀x ∈ F, f (g(x)) = x) ∧ (∀x ∈ E, g(f (x)) = x)

Démonstration. Montrons l’équivalence par double implication. On va donc montrer dans un premier
temps que si une fonction est bijective alors il existe une fonction g telle que décrite plus haut, puis
que s’il existe une telle fonction g alors f est bijective.
⇒ Supposons que f est bijective. Alors soit la fonction g : F → E définie par le graphe
réciproque de f : ∀x ∈ E, ∀y ∈ F, f (x) = y ⇐⇒ x = g(y). On remarque que par construction,
x = g(y) = g(f (x)) et y = f (x) = f (g(y)). Il suffit donc de vérifier que g est bien une fonction.
Pour cela, on remarque que f étant une bijection, pour tout y ∈ F , il existe un unique x ∈ E
tel que f (x) = y, donc tel que x = g(y). On en déduit donc que pour tout y ∈ F , il existe une
unique image g(y), donc g est bien définie en tant que fonction.
⇐ Supposons qu’il existe g telle que f ◦ g = idF et g ◦ f = idE . Montrons que f est injective.
Soient x, y ∈ E tels que f (x) = f (y). Alors g(f (x)) = g(f (y)), ce qui signifie que x = y puisque
∀a, g(f (a)) = a. On en déduit que f est injective. Montrons maintenant qu’elle est surjective.
Soit y ∈ F , alors g(y) ∈ E et f (g(y)) = y par hypothèse, donc g(y) est un antécédent de y : tout
élément y ∈ F possède un antécédent, donc f est surjective.
L’équivalence est donc prouvée par double implication.

25
Cours lycée

On peut prouver une version plus forte de ce résultat : en effet, on peut remarquer que pour
l’injectivité, on utilise l’un des deux sens, et l’autre sens pour la surjectivité. En réalité, on peut
caractériser ainsi l’injectivité et la surjectivité.

Exercice 2.13. Soit f : E → F une fonction. Montrer que :

— f est injective si et seulement s’il existe une fonction g : F → E telle que g ◦ f = idE .
— f est surjective si et seulement s’il existe une fonction g : F → E telle que f ◦ g = idF .

Exercice 2.14. Soient f : E‘ → F et g :→ F . Montrer que :

— si f et g sont injectives, alors g ◦ f est injective.
— si f et g sont surjectives, alors g ◦ f est surjective.
— si f et g sont bijectives, alors g ◦ f est bijective.

Nous donnons en exercice d’approfondissement une autre caractérisation de l’injectivité et de la

surjectivité.

Exercice 2.15 (∗). Soit f : E → F une fonction. Montrer que :

— f est injective si et seulement si pour tout ensemble A et toutes fonctions g : A → E, h : A → E,
si f ◦ g = f ◦ h alors g = h.
— f est surjective si et seulement si pour tout ensemble B et toutes fonctions g : F → B, h : F → B,
si g ◦ f = h ◦ f alors g = h.

2.2.6 Fonctions et ensembles

Nous allons maintenant définir des opérations sur les fonctions par rapport à des ensembles, et sur
des ensembles par rapport à des fonctions.

Définition 2.16 (Restriction, co-restriction). Soit f : E → F une fonction, E ′ ⊆ E et F ′ ⊆ F . On

appelle restriction de f à E ′ , et on note f|E ′ , la fonction définie par le triplet (E ′ , F, Γ′f ) où Γ′f coïncide
avec Γf sur E ′ , ce qui signifie que si x ∈ E ′ , alors f (x) = f|E ′ (x). On appelle co-restriction de f à F ′ ,
′
et on note f |F , la fonction définie par le triplet (E, F ′ , Γ).
Une restriction est toujours définie, mais une co-restriction nécessite de prouver que ∀x ∈ E, f (x) ∈
′
F pour être définie.

Définition 2.17 (Image directe, image réciproque). Soit f : E → F une fonction, soient E ′ ⊆ E et
F ′ ⊆ F . On définit l’image directe de E ′ par f , notée f (E ′ ), par

f (E ′ ) = {f (x) | x ∈ E ′ }

et on définit l’image réciproque de F par f , notée f −1 (F ′ ), par

f −1 (F ′ ) = {x | x ∈ E, f (x) ∈ F ′ }

26
Cours lycée

3 Combinatoire et dénombrement
Cette section est centrée sur l’étude du dénombrement, que l’on pourrait résumer en « l’art de
compter efficacement ». Nous verrons donc dans un premier temps la notion de cardinal, puis quelques
cardinaux classiques, puis nous étudierons les coefficients binomiaux, pierre angulaire du dénombre-
ment.

3.1 Cardinal
Le cardinal d’un ensemble est le nombre d’éléments qui sont dans cet ensemble. Par exemple, le
cardinal de {0} est 1, puisqu’il y a 1 élément.

Définition 3.1 (Cardinal). Soit E un ensemble. S’il existe un élément n ∈ N tel que E est en bijection
avec {1, . . . , n}, alors on dit que E est fini de cardinal n, ce que l’on écrit

card(E) = n

Le cardinal est donc une information préservée par des bijections. Ce qui s’exprime par le théorème
qui suit.

Théorème 3.1 (Conservation du cardinal). Soient E et F deux ensembles et E de cardinal n, s’il

existe une bijection f : E → F alors F est de cardinal n.

Démonstration. En effet, soit g : {1, . . . , n} → E bijective (qui existe par définition du fait que E est
de cardinal n). Puisque f est aussi bijective, f ◦ g : {1, . . . , n} → F est bijective, donc par définition
F est de cardinal n .

Dénombrons maintenant des ensembles d’objets classiques.

3.1.1 Cardinal d’une union disjointe

Proposition 3.1.1. Soient E et F deux ensembles finis tels que E ∩ F = ∅, on a l’égalité

card(E ∪ F ) = card(E) + card(F )

Ce résultat peut s’illustrer par le schéma ci-dessous.

Figure 8 – Illustration d’une union disjointe

Démonstration. On va prouver cette propriété par récurrence sur le cardinal de F :

• Si F = ∅, alors E ∪ F = E et card(E) + card(F ) = card(E) + 0 = card(E), donc l’égalité est
vérifiée pour card(F ) = 0.
• Si F = F ′ ∪ {x}, donc si card(F ) = card(F ′ ) + 1, où par hypothèse de récurrence card(E ∪ F ′ ) =
card(E) + card(F )′ , alors soit f : {1, . . . , m} → E ∪ F ′ la bijection correspondant au cardinal de
E ∪ F ′ , nous allons construire une bijection dans E ∪ F :
On construit f ′ : {1, . . . , m + 1} → E ∪ F en ajoutant que f ′ (m + 1) = x. Par définition, comme
f est surjective et que E ∪ F = (E ∪ F ′ ) ∪ {x}, f ′ est surjective. Si f ′ (a) = f ′ (b), alors soit
f ′ (a) ∈ E ∪ F ′ , auquel cas l’injectivité de f nous fait déduire que a = b, soit f ′ (a) = x, auquel
cas seul m + 1 est un antécédent de x. On en déduit que f ′ est injective. Donc f est bijective.
Il en découle que card(E ∪ F ) = m + 1 = card(E) + card(F ).
Donc, par récurrence, card(E ∪ F ) = card(E) + card(F ).

27
Cours lycée

L’hypothèse E ∩F = ∅ est importante pour définir f ′ ici : l’injectivité provient directement de cette
hypothèse (sinon, x aurait pu appartenir à E et l’on n’aurait pas un unique antécédent). L’exercice
qui suit est la généralisation au cas où E ∩ F est quelconque.
Exercice 3.1 (Cardinal d’une union quelconque). Soient E et F deux ensembles. Montrer que :

card(E ∪ F ) = card(E) + card(F ) − card(E ∩ F )

3.1.2 Cardinal d’un produit cartésien

Proposition 3.1.2. Soient E et F deux ensembles finis de cardinal respectif n et m. Alors

card(E × F ) = n × m = card(E) × card(F )

Démonstration. Prouvons ce résultat par récurrence sur E :

• Tout d’abord, si E = ∅ alors E × F = ∅ donc l’égalité est vérifiée.
• Supposons que E = E ′ ∪ {a}. Par définition,

E × F = (E ′ × F ) ∪ {(a, x) | x ∈ F }

or {(a, x) | x ∈ F } est de cardinal F (la bijection est évidente), donc

card(E × F ) = card(E ′ ) × card(F ) + card(F ) = (card(E ′ ) + 1) × card(F ) = card(E) × card(F )

(le passage de ∪ à + se fait car aucun élément de E ′ × F ne contient a en première coordonnée)

Donc l’égalité est démontrée par récurrence.

Remarque. On comprend alors la notation × pour désigner le produit cartésien.

Exercice 3.2 (Le lemme des bergers). Montrer que si f : E → F est tel qu’il existe k tel que pour
tout y ∈ F , f −1 (y) = k, alors on a la relation

E =F ×k

3.1.3 Ensemble de fonctions

Nous allons ici travailler avec des ensembles de fonctions. Pour cela, nous allons commencer par
définir des notations :
F E = {f : E → F } F(E, F ) = F E
Ces notations permettent de se demander combien il existe de fonctions f : E → F .
Proposition 3.1.3. Soient E et F deux ensembles de cardinal respectif n et m. Alors

card(F E ) = card(F )card(E)

Démonstration. Nous allons dénombrer les triplets (E, F, Γ) où Γ est un graphe fonctionnel. Par
définition, E et F étant fixé, il y a autant de tels triplets que de graphes fonctionnels Γ. Nous allons
alors raisonner par récurrence sur le cardinal de E :
• Si E = ∅, alors le seul graphe possible est le graphe vide, auquel cas F E = {(∅, F, ∅)}, ce qui
vérifie l’égalité.
′ ′
• Si E = E ′ ∪ {a} et card(F E ) = card(F )card(E ) , alors on peut définir

π : F(E, F ) −→ F(E ′ , F )
f 7−→ f|E ′

Dans ce cas, π(f ) = π(f ′ ) si et seulement si f et f ′ ne diffèrent que sur leur image par a. Or il
y a card(F ) images possibles pour a, donc par le lemme des bergers :
′ ′
card(F E ) = card(F )card(E ) × card(F ) = card(F )card(E )+1 = card(F )card(E)

28
Cours lycée

Remarque. Là encore, la notation F E prend son sens en regardant le cardinal.

Exercice 3.3 (Dénombrer les parties d’un ensemble). Soit E un ensemble.

• Montrer qu’il y a une bijection entre P(E) et F(E, {0, 1}). Indication : Pour un sous-ensemble
E ′ ⊆ E, la fonction associée, notée χE ′ , envoie les éléments de E ′ sur 1 et les autres sur 0.
• En déduire que card(P(E)) = 2card(E) .
Remarque. On note parfois aussi l’ensemble P(E) par 2E .

Exercice 3.4 (Sur les fonctions caractéristiques ∗). Soit E un ensemble. On définit

χ : P(E) −→ F(E, {0, 1})

E ′ 7−→ χE ′

Où χE ′ est telle qu’indiquée dans l’exercice précédent.

• Montrer que ∀x ∈ E, χE ′ ∪E ′′ (x) = χE ′ (x) × χE ′′ (x).
• Montrer que ∀x ∈ E, χE ′ ∪E ′′ (x) = χE ′ (x) + χE ′′ (x) − χE ′ ∩E ′′ (x).
• Montrer que ∀x ∈ E, χE\E ′ (x) = 1 − χE ′ (x).

3.1.4 Permutations et arrangements

Nous aurons besoin pour les prochains calculs de dénombrement d’une nouvelle notation : celle des
factorielles.

Définition 3.2 (Factorielle). Soit n un entier. On appelle factorielle de n, que l’on note n!, l’entier
n
Y
n! = i = 1 × 2 × ... × n
i=1

avec la convention que 0! = 1.

Définition 3.3 (Arrangement). Soit E et F des ensembles finis. On note AE

F le nombre d’injections
(ou fonctions injectives) de E vers F . Ce nombre vaut

(card(F ))!
AE
F =
(card(F ) − card(E))!

si card(E) ≤ card(F ) et 0 sinon.

On note Ank , appelé l’arrangement de k parmi n, le nombre d’injections d’un ensemble à k éléments
dans un ensemble à n éléments.

Démonstration. Nous ne donnerons qu’une idée de la preuve, le lecteur assidu rédigera les morceaux
manquants. L’ensemble des injections peut se définir par récurrence : on a 1 fonction depuis l’ensemble
vide, puis card(F ) choix pour l’image du premier élément, puis card(F ) − 1 choix pour l’image du
deuxième éléments, etc. jusqu’à avoir card(E) images choisies dans F .

Nous allons définir maintenant le nombre de permutations.

Définition 3.4 (Permutation). Soit E un ensemble fini. On appelle l’ensemble des permutations de
E l’ensemble F(E, E), et l’on le note S(E), ou encore Sn lorsque E = {1, . . . , n} (une permutation
de Sn peut s’interpréter comme un mélange des entiers de 1 à n). De plus,

card(Sn ) = n!

Démonstration. L’idée de la preuve est d’utiliser le fait qu’une bijection est injective pour obtenir n!
permutations.

29
Cours lycée

3.2 Sur les coefficients binomiaux

Cette partie se concentrera sur les coefficients binomiaux, qui sont une part importante du dénom-
brement. Nous allons d’abord définir les coefficients binomiaux puis nous en donnerons des propriétés
importantes, avant de donner des exemples d’utilisations classiques de ces nombres (principalement le
binôme de Newton).
n

Définition 3.5. Soient k et n deux entiers naturels tels que k ≤ n. On note k , que l’on lit k parmi
n, le nombre !
n
= {E | E ⊆ {1, . . . , n}, card(E) = k}
k
C’est donc l’ensemble des parties à k éléments d’un ensemble à n éléments.

3.2.1 Propriétés
Nous allons maintenant donner différentes propriétés des coefficients binômiaux.

Proposition 3.2.1. Soient k ≤ n deux entiers naturels. On a

! !
n n
=
n−k k

Démonstration. La bijection entre les parties à k éléments et les parties à n−k éléments est la fonction
définie par E 7→ {1, . . . , n} \ E.

Cette propriété revient à dire que choisir n − k éléments revient à choisir les k éléments à ne pas
inclure dans la partie que l’on construit.

Proposition 3.2.2. Soient k < n. Alors

! ! !
n+1 n n
= +
k+1 k k+1

et !
n
=1
0
!
n
Démonstration. Il n’y a, d’abord, qu’une partie à 0 éléments : c’est ∅. On en déduit que = 1.
0
Soit une partie E à k + 1 éléments. Alors soit n + 1 ∈ E, soit n + 1 ∈ / E, et ces deux cas sont
disjoint. Traitons alors chaque cas :
• Si n + 1 ∈ E, alors on a une bijection entre les telles parties E et les parties à k éléments : à
E on associe E \ {n + 1} et !
la bijection réciproque est donnée par l’application qui à E associe
n
E ∪ {n + 1}. Donc il y a telles parties.
k
• Si n ∈/ E, alors on a une bijection entre les telles parties E et les parties à k + 1 éléments, puisque
ces parties sont aussi, alors, des parties de {1, . . . , n} à k + 1 éléments. Réciproquement, toute
partie de k +!1 éléments de {1, . . . , n} est une partie à k + 1 éléments de {1, . . . , n + 1}. Donc
n
il y a telles parties.
k+1
! ! ! !
n+1 n n n
Puisque l’union est disjointe, on en déduit que = + et = 1.
k+1 k k+1 0

30
Cours lycée

!
n
Remarque. A partir des deux propriétés précédentes, on peut en déduire que = 1. On peut ainsi
n
! !
n n
pour chaque entier trouver directement la valeur de et de , et calculer récursivement la
n 0
!
n
valeur d’un quelconque à partir de là. C’est ce qu’on appelle le triangle de Pascal, du nom de
k
son inventeur et à cause de la forme qu’a l’ensemble des coefficients binomiaux lorsque l’on les donne
par liste (c.f. le dessin ci-dessous).

1 1

1 2 1

1 3 3 1

1 4 6 4 1

Figure 9 – Triangle de Pascal pour n ≤ 4.

Nous allons maintenant voir une formule explicite pour le calcul d’un coefficient binomial.

Proposition 3.2.3 (Formule explicite). Soient k ≤ n deux entiers. Alors

!
n n!
=
k k!(n − k)!

Démonstration. Soit une partie E ⊆ {1, . . . , n} de cardinal k. On considère l’ensemble des injections
n!
de E dans {1, . . . , n} : il y en a . Or une injection est exactement une liste d’éléments de
(n − k)!
{1, . . . , n} (en comptant l’ordre), et deux listes donnent le même ensemble d’arrivée si et seulement
s’il existe une permutation faisant passer de la première liste à la deuxième. Il y a k! permutations
au sein d’une liste, et on a donc k! listes possibles de taille k pour un ensemble fixé. On a donc
! !
n n! n n!
k× = , ce qui revient à dire = .
k (n − k)! k k!(n − k)!

Les exercices qui suivent sont importants pour comprendre l’intérêt d’avoir défini les coefficients
binômiaux.

Exercice 3.5. Soient a, b deux nombres réels et n un entier naturel. Montrer que
n
!
n
X n k n−k
(a + b) = a b = bn + nabn−1 + . . . + nan−1 b + an
k=0
k

Indication : Raisonner par récurrence sur n.

31
Cours lycée

Deuxième partie
Géométrie
4 Construction des vecteurs
Nous allons dans cette section définir formellement les vecteurs et en donner les propriétés immé-
diates. Donnons d’abord les notions que l’on considère comme étant axiomatique, c’est-à-dire acceptées
comme connues sans devoir être définie, dans le cadre de la géométrie affine (c’est la géométrie étudiant
les points du plan et leurs transformations).
Nous admettrons l’existence de la relation de parallélisme ainsi que ses propriétés, la perpendicu-
larité et ses propriétés, ainsi que la notion d’angle et de distance entre deux point, permettant donc
de définir par exemple la médiatrice d’un segment ou le milieu de deux points.
De plus, on notera P le plan, qui est considéré comme un ensemble de points, et D l’ensemble des
droites du plan : D ⊆ 2P .
Un vecteur est un déplacement rectiligne du plan. On peut le voir comme un élément de F(P, P)
ou comme un ensemble de couples du plan, ce que l’on va considérer ici. Un vecteur est défini par sa
norme, sa direction et son sens. On pourrait alors définir une relation d’équivalence sur les couples
de points en cherchant à définir norme, direction et sens, de sorte que deux couples appartiennent au
même vecteur s’ils définissent la même norme, direction et sens. Cependant, nous allons plutôt utiliser
−→ −→
une propriété annexe des vecteurs, qui est que si AB = CD alors (ABDC) est un parallélogramme,
et réciproquement. Définissons donc un vecteur à partir de cette propriété.
Définition 4.1 (Bipoint). On appelle « bipoint » un élément de P 2 , qui est donc l’ensemble des
−→
bipoints. Ce bipoint (A, B) représente le segment orienté [AB].
Nous allons donc définir la relation d’équivalence signifiant moralement « ces deux bipoints défi-
nissent le même vecteur » :
Définition 4.2 (Equipollence). On définit la relation ∼ d’équivalence sur les bipoints par :

(A, B) ∼ (C, D) ⇐⇒ IAD = IBC

où IAD désigne le milieu du segment [AD].

Cette définition est équivalente à dire que (ABDC) est un parallélogramme.
Démonstration. Nous devons donc montrer que la relation ∼ est une relation d’équivalence :
• (A, B) ∼ (A, B) puisque IAB = IAB .

• si (A, B) ∼ (C, D) alors par symétrie de l’égalité, (C, D) ∼ (A, B).

• si (A, B) ∼ (C, D) et (C, D) ∼ (E, F ), alors on sait que (AB) et (EF ) sont parallèles à (CD),
ce qui signifie que les deux droites sont parallèles entre elles. Nous allons maintenant utiliser la
AC CE EA
réciproque du théorème de Thalès généralisé, en utilisant le fait que = = = 1
BD DF FB
(de par le fait que (ABDC) et (EF DC) sont des parallélogrammes) et que (AC) et (BD) sont
parallèles ainsi que (CE) et (DF ). On en déduit donc que (AE) et (BF ) sont parallèles. Ainsi
(ABF E) est un parallélogramme, d’où (A, B) ∼ (E, F ).

On définit alors V l’ensemble des vecteurs du plan.

Définition 4.3 (Vecteur). L’ensemble V est défini par
2
V = P /∼

On met donc dans la même classe deux bipoints qui désignent un mouvement dans la même
direction et le même sens d’une longueur égale.

32
Cours lycée

A D

F
E

Figure 10 – Illustration du cas de la transitivité

4.1 Propriétés d’un vecteur

Nous allons maintenant montrer qu’un vecteur définit le graphe d’une fonction du plan.
−→ −→
Définition 4.4. Soit u un vecteur. (P, P, u ) est une fonction qui à un point A associe un point B
−→
qu’on nommera l’image de A par le vecteur u . On notera cela
−→
B= uA

Démonstration. Il faut donc prouver que si (A, B) ∼ (A, B ′ ) alors B = B ′ . Par hypothèse, (ABB ′ A)
est un parallélogramme, donc BB ′ = AA = 0, donc B ′ = B. Il n’y a donc qu’un couple possible dans
−→
une classe d’équivalence donnée, donc (P, P, u ) est bien une fonction du plan.

Nous allons montrer qu’un vecteur est caractérisé par sa norme, sa direction et son sens. Pour cela,
nous allons montrer un lemme (c’est-à-dire un résultat intermédiaire).
−→ −→
Lemme 4.1.1. Soit u un vecteur. Alors l’ensemble des bipoints appartenant à u forment des
segments de même longueur et des droites toutes parallèles entre elles.

Démonstration. Cela découle directement des propriétés d’un parallélogramme : si (A, B) ∼ (C, D)
alors le parallélogramme (ABDC) possède des côtés opposés de même longueur, donc AB = CD. De
plus, les côtés opposés étant parallèles, (AB) et (CD) sont parallèles.
−→
Il en découle qu’on peut définir la norme d’un vecteur, notée ∥ u ∥ comme étant la distance entre les
points d’un bipoint du vecteur, et la direction comme l’ensemble des droites parallèles qui prolongent
les segments des bipoints. Avoir le même sens signifie pour deux demi-droites parallèles que l’une
des deux possède l’ensemble de ses projetés orthogonaux sur l’autre droite inclus dans la deuxième
demi-droite.
−→ −→ −→ −→
Proposition 4.1.1. Soit u et u′ de même norme, même direction et même sens. Alors u = u′ .
−→ −→
Démonstration. Soit un point A, montrons que u A = u′ A. soit B et C respectivement l’image
−→ −→ −→ −→
par u et l’image par u′ de A. Soit alors le quadrilatère (ABCA). Puisque u et u′ ont la même
direction, on en déduit que B et C sont alignés avec A. De plus, comme les vecteurs ont la même
norme, soit ils sont de part et d’autre de A et A est le milieu de [BC], soit ils sont superposés. Or
puisque les vecteurs ont même sens, ils ne peuvent pas être de part et d’autre de A. Donc B = C,
−→ −→
donc u = u′ .

4.2 Addition et multiplication de vecteurs

Nous allons définir l’addition de deux vecteurs et la multiplication d’un vecteur par un nombre
réel (appelé aussi scalaire).

33
Cours lycée

−→ −→ −→ −→
Définition 4.5. Soient u et v deux vecteurs. On définit u + v par
−→ −→ −→ −→
u + v = u ◦ v

en considérant les vecteurs comme des fonctions.

Nous allons montrer plusieurs propriétés de cette addition de vecteurs.

−→
Proposition 4.2.1. L’addition de vecteurs est commutative, c’est-à-dire que pour tous vecteurs u ,
−→ −→ −→ −→ −→
v , on a u + v = v + u .
−→ −→
Proposition 4.2.2. Soient B et C les images d’un point A fixé par u et v . De plus, soit D l’image
−→ −→
par u de C. Montrons que D = v B.
−→
Par définition, (ABDC) est un parallélogramme (puisque constitué de bipoints de u ). Ceci signifie
−→
que AC et BD sont parallèles, de même longueur, et de même sens. On en déduit donc que v =
−→ −→ −→ −→ −→ −→ −→
AC = BD, donc que D = v B. Ainsi u + v = v + u.

De plus, comme le composition est associative, l’addition l’est.

−→
Nous allons montrer que le vecteur {(x, x) | x ∈ P}, appelé vecteur nul et noté 0 , est neutre pour
l’addition.
−→ −→ −→ −→
Proposition 4.2.3. Pour tout u ∈ V, 0 + u = u .
−→
Démonstration. Notons B l’image d’un point A fixé. Alors 0 B = B par définition, ce qui signifie
−→ −→ −→
donc que 0 + u = u.

Cette addition de vecteur possède une propriété appelée la relation de Chasles, elle dit qu’un
mouvement d’un point A à un point B puis du point B à un point C équivaut à un mouvement du
point A au point C directement.

Proposition 4.2.4 (Relation de Chasles). Soient A, B, C trois points du plan. L’identité suivante est
vérifiée :
−→ −→ −→
AB + BC = AC
−→ −→ −→
Démonstration. Par définition, la fonction donnée par AB + BC envoie A sur C, comme AC, donc
ces deux vecteurs ont même norme, même direction et même sens : ils sont égaux.

Figure 11 – Illustration de la relation de Chasles

−→
De plus, un vecteur u possède ce qu’on appelle un opposé.
−→ −→ −→ −→ −→
Proposition 4.2.5. Pour tout u , il existe un unique v tel que u + v = 0 . On note ce vecteur
−→
−u.
−→ −→
De plus, −AB = BA.

34
Cours lycée

−→ −→
Démonstration. Soit u un vecteur. On pose − u comme ayant la même direction, la même norme
−→ −→
mais le sens opposé : on en déduit que A = − u ( u A) ce qui signifie que la composée des fonctions
−→ −→ −→ −→ −→ −→ −→ −→
représentant u et − u vaut le vecteur AA = 0 . Donc on a trouvé − u tel que u + (− u ) = 0 .
−→
Ce vecteur est unique car si on avait v un autre opposé, alors
−→ −→ −→ −→ −→ −→ −→
v =−u + u + v =−u + 0 =−u

donc l’opposé d’un vecteur est unique.

−→ −→ −→
Enfin, on remarque que AB + BA = 0 par la relation de Chasles.

Nous allons désormais définir la multiplication d’un vecteur par un scalaire.

−→ −→
Définition 4.6. Soit u un vecteur et k ∈ R. On définit k u comme l’unique vecteur de même
−→
direction et même sens et de norme k∥ u ∥.

Démonstration. Ce vecteur est bien défini par la caractérisation d’un vecteur par sa norme, sa direction
et son sens.
−→ −→
Exercice 4.1. Soit u et v deux vecteurs, k et k ′ deux réels. Montrer :
−→ −→
• (k × k ′ ) u = k(k ′ u )
−→ −→ −→ −→
• k( u + v ) = k u + k v
−→ −→ −→
• (k + k ′ ) u = k u + k ′ u
−→ −→
• 1u = u

4.3 Système de coordonnées

Nous allons maintenant étudier les repères et les bases du plan. Ceux-ci permettent de décrire de
façon numérique les points du plan. Nous verrons d’abord ce qu’est une base puis ce qu’est un repère.
Pour ce faire, nous allons commencer par définir la notion de colinéarité pour des vecteurs.
−→ −→
Définition 4.7. On dit que deux vecteurs u et v sont colinéaires quand il existe un réel k tel que
−→ −→ −→ −→
u = k v . Cela est équivalent à dire que u et v ont même direction.

Démonstration. Raisonnons par double implication.

−→ −→ −→ −→
• Si u = k v , alors par définition u et v ont la même direction, un sens opposé si k < 0 et
même sens si k ≥ 0. Donc les deux vecteurs ont la même direction.
−→ −→
• Si les deux vecteurs ont la même direction, alors soit u = v auquel cas k = 1, soient ils sont
différents, auquel cas on raisonne par disjonction de cas :
−→
∥u∥ −→
— Si les deux vecteurs ont le même sens, alors on pose k = −→ , donc k v a la même
∥v ∥
−→
direction, le même sens et la même norme que u : ils sont égaux.
— De la même façon, si les deux vecteurs ont des sens opposés, alors on prend l’opposé de la
valeur donnée plus tôt.
−→ −→
Dans tous les cas, on a trouvé k ∈ R, u = k v .
Les deux propositions sont donc équivalentes.

Remarque. Le vecteur nul est donc colinéaire à tous les vecteurs, en prenant k = 0.
−→ −→ −→ −→
Définition 4.8. On appelle base du plan P un couple ( u , v ) où u et v ne sont pas colinéaires.

Une base est importante car elle permet d’écrire n’importe quel vecteur.
−→ −→ −→
Proposition 4.3.1. Soit B = ( u , v ) une base du plan. Alors pour tout vecteur w il existe un
−→ −→ −→
unique couple (x, y) tel que w = x u + y v .

35
Cours lycée

−→ −→ −→
Démonstration. Soit A un point quelconque, B = w A, C = v A, D = u A. On trace les droites (AD)
et (AC) puis les parallèles à (AD) passant par B et à (AC) passant par B. On note respectivement J
−→ −→ −→
et I les points d’intersections. Cette construction forme un parallélogramme, donc w = AI + AJ et
−→ −→ −→ −→
comme ADI sont alignés et ACJ, on en déduit qu’il existe k1 , k2 tels que AI = k1 u et AJ = k2 v .
−→ −→ −→
D’où w = k1 u + k2 v .
De plus, k1 et k2 sont uniques. En effet, s’il existe une autre décomposition alors on trouve un
parallélogramme en A et B passant par C et D : il est unique et c’est déjà (AIBJ). Donc les facteurs
d’une autre décomposition sont k1 et k2 , donc ces facteurs sont uniques.

C
D
A

Figure 12 – Illustration de la décomposition dans une base

Une base permet donc de décomposer n’importe quel vecteur comme somme de deux vecteurs
particuliers, qui sont colinéaires aux vecteurs de la base. On notera (x−u→ , y−u→ ) les coefficients tels que
−→ −→ −→ −→ −→
u = x−u→ e 1 + y−u→ e2 pour une base ( e 1 , e 2 ).
−→ −→
Exercice 4.2. Soient u et v deux vecteurs. Montrer que

x−u→+−v→ = x−u→ + x−v→ y−u→+−v→ = y−u→ + y−v→

Montrer de plus que

xk−u→ = kx−u→ yk−u→ = ky−u→

Nous pouvons alors définir un repère : celui-ci sert à repérer des points du plan, et à donner des
coordonnées non pas aux vecteurs mais aux points directement.

Définition 4.9. On appelle repère un triplet (O, e1 , e2 ) où O est un point fixé, nommé l’origine du
−→ −→
repère, et ( e 1 , e 2 ) forme une base.
−→
Proposition 4.3.2. Pour tout point A, il existe un unique couple de réels (k1 , k2 ) tel que OA =
−→ −→
k1 e 1 + k2 e 2 .

Démonstration. La démonstration est évidente en utilisant la propriété précédente.

36
Cours lycée

Nous allons maintenant voir les notions de base orthogonale et normée, puis étudier certaines
propriétés des vecteurs liées aux coordonnées.

Définition 4.10. Soit B une base. On dit que B est orthogonale si les deux vecteurs qui la constituent
ont des directions perpendiculaires. On dit que B est normée si les vecteurs qui la constituent sont de
norme 1. Une base à la fois orthogonale et normée est appelée une base orthonormée.
−→ −→
Proposition 4.3.3. Soit u un vecteur, de coordonnées (x, y) et v de coordonnées (x′ , y ′ ). Alors
−→ −→ −→
u + v a pour coordonnées (x + x′ , y + y ′ ). De plus, − u a pour coordonnées (−x, −y).
−→ −→ −→ −→ −→ −→
Démonstration. On a les égalités u = x e 1 +y e 2 et v = x′ e 1 + y ′ e 2 , donc
−→ −→ −→ −→
u + v = (x + x′ ) e 1 + (y + y ′ ) e
2

grâce à la troisième égalité de l’exercice 4.1.

−→ −→
On peut aussi montrer que le vecteur nul a comme coordonnées (0, 0) : il vaut 0 e 1 + 0 e 2 .
−→
Alors en notant (x′ , y ′ ) les coordonnées de − u , on sait en passant par les coordonnées que x+x′ = 0
−→
et y + y ′ = 0, donc x′ = −x et y ′ = −y. D’où le fait que les coordonnées de − u sont (−x, −y).
−→ −→
Proposition 4.3.4. Soit u un vecteur, de coordonnées (x, y). Alors k u a comme coordonnées
(kx, ky).

Démonstration. En exercice pour le lecteur assidu.

−→
Proposition 4.3.5. Si AB est un vecteur, que (xA , yA ) sont les coordonnées de A et (xB , yB ) sont
−→
celles de B, alors les coordonnées de AB sont (xB − xA , yB − yA ).
−→ −→ −→ −→
Démonstration. On remarque que AB = AO + OB par la relation de Chasles, or OA a pour coordon-
−→ −→
nées celles de A, et OA = −AO, donc
−→ −→ −→
AB = OB − OA
−→
ce qui nous donne bien que les coordonnées de AB sont (xB − xA , yB − yA ).
−→
Proposition 4.3.6. Soit AB un vecteur. Si la base B est orthonormée et que les coordonnées du
vecteur sont (x, y) dans cette base, alors la norme du vecteur s’exprime :
−→ q
∥AB∥ = x2 + y 2
−→
Démonstration. Tout d’abord, on note C = (x e 1 )A. Puisque la base est orthonormée, le triangle
−→
(ACB) est rectangle en C. Le théorème de Pythagore nous permet alors de déduire que ∥AB∥ =
−→ −→
q
∥AC∥2 + ∥CB∥2 or par colinéarité avec les vecteurs de la base, normés, et en connaissant les coor-
−→ −→ p
données de AB, on en déduit que ∥AB∥ = x2 + y 2 .

4.4 Déterminant de deux vecteurs

Nous allons maintenant voir ce que l’on appelle le déterminant de deux vecteurs.
−→ −→
Définition 4.11. Soient u et v , deux vecteurs, B une base dans laquelle les vecteurs ont respec-
−→ −→
tivement comme coordonnées (x, y) et (x′ , y ′ ). On appelle déterminant, que l’on note det( u , v ) ou
−→ −→
encore [ u , v ], la quantité
−→ −→
det( u , v ) = xy ′ − x′ y

Cet outil nous donne un critère de colinéarité puissant.

37
Cours lycée

−→ −→
Proposition 4.4.1. En reprenant les notations précédentes, u et v sont colinéaires si et seulement
−→ −→
si det( u , v ) = 0.

Démonstration. En effet, si l’un des vecteurs est multiple de l’autre, on vérifie directement que le
déterminant des deux vecteurs est nul. Réciproquement, si le déterminant est nul, alors on en déduit
que xy ′ = x′ y, ce qui signifie que soit (y, y ′ ) = (0, 0), auquel cas les deux vecteurs sont colinéaires,
x x′
soit en divisant par y et y ′ , = ′ . Ce qui montre que les deux vecteurs sont proportionnels, donc
y y
qu’ils sont colinéaires.

Exercice 4.3. Soient deux droites passant respectivement par A et B, et par C et D. Montrer que
−→ −→
les deux droites sont parallèles si et seulement si det(AB, CD) = 0.

e2

A e1 C

Figure 13 – Schéma d’une base orthonormée et de la décomposition d’un vecteur dans cette base

38
Cours lycée

5 Angles et trigonométrie
Nous allons ici traiter des angles et de leur rapport aux longueurs. Nous commencerons par définir ce
que nous appellerons un angle, bien qu’une part importante de ces définitions ne peut pas être explicitée
(une définition parfaitement rigoureuse des angles demande d’étudier en profondeur les transformations
du plan, et une définition rigoureuse de la trigonométrie demande des outils très poussés d’analyse).
Cependant, nous mettrons ici l’accent sur l’utilisation de radians plutôt que de degrés pour mesurer
les angles. En effet, cette mesure est bien plus efficace en mathématiques, puisqu’elle n’est qu’une
mesure de distance.
−→ −→ −→ −→
Définition 5.1 (Angle). Soient deux vecteurs u et v . On appelle angle entre u et v , et l’on note
−→ −→
( u , v ), l’angle formé en appliquant les deux vecteurs à un point A quelconque et en prolongeant
les demi-droites ainsi créées. On appelle mesure de l’angle la longueur de l’arc de cercle de rayon 1
compris entre ces deux demi-droites, et l’unité de ces angles s’appelle les radians (cf figure 14).

−→ −→
(u, v )
O A

Figure 14 – La figure décrite par la définition

5.1 Cercle trigonométrique

Cette partie se concentrera sur l’étude du cercle trigonométrique, qui est une construction per-
mettant de comprendre visuellement ce que mesure la trigonométrie. Ce cercle est un cercle centré en
une origine O fixée (donc de coordonnées (0, 0)) de rayon 1 sur lequel s’enroule la droite des réels : à
un réel on associe un point du cercle, que l’on assimile avec la mesure de l’angle formé entre l’axe des
abscisses et le segment reliant l’origine au point. On oriente l’angle : un angle dans un sens inverse de
celui partant de A et allant vers le haut est négatif, et un angle dans le même sens est positif. Dans le
dessin, on indique un angle θ quelconque, le segment en rouge est celui qui relie l’origine au point de
la droite réelle (et les deux points rouges sont, de gauche à droite, le point θ sur le cercle et le point θ
sur la droite des réels).

θ
••
O
H A
•
−θ

Figure 15 – Cercle trigonométrique

Définition 5.2 (Sinus, cosinus, tangente). Soit θ un point du cercle trigonométrique (d’angle θ). On
définit les coordonnées de θ par (cos(θ), sin(θ)).
De façon équivalente, on définit dans le triangle rectangle en H, (OHθ), les deux valeurs par
Hθ OH
sin(θ) = , cos(θ) = .
Oθ Oθ

39
Cours lycée

Démonstration. L’idée de la preuve est simplement que puisque Oθ = 1, les quotients se simplifient.

Remarque. Puisque l’angle correspond à la partie parcourue sur un cercle de rayon 1, un tour entier
π
correspond à un angle de 2π, un demi-tour à un angle de π, un quart de tour à un angle de , etc.
2
π
 
Voici un tableau listant des valeurs importantes de cos et sin pour θ ∈ 0; :
2

π π π π
θ 0
6 4 3 2

√ √
3 2 1
cos(θ) 1 0
2 2 2

√ √
1 2 3
sin(θ) 0 1
2 2 2

Table 6 – Table trigonométrique

Remarque. Soit un triangle (ABC) rectangle en B. Notons ABC \ = θ. Alors AB = AC cos(θ) et

BC = AC sin(θ), cela vient directement de la définition du sinus et du cosinus comme rapports
de longueur. Ainsi connaître un angle non droit d’un triangle rectangle nous permet de déduire les
longueurs de tous les autres côtés si l’on connait la longueur de l’hypothénuse (le plus long côté).

5.2 Propriétés des fonctions trigonométriques

Les fonctions sin et cos sont très importantes à étudier, notamment de par leur omniprésence
en physique. Nous les étudierons à nouveau quand nous aurons l’outil de la dérivation, mais nous
pouvons déjà explorer des éléments importants. Nous allons commencer par l’égalité fondamentale de
la trigonométrie.
Proposition 5.2.1. Soit θ un angle. Alors

sin2 (θ) + cos2 (θ) = 1

Démonstration. Par définition, on a un triangle rectangle d’hypothénuse 1 et de longueur des côtés

sin(θ) et cos(θ) (c.f. le cercle trigonométrique). En utilisant le théorème de Pythagore, on en déduit
directement que cos2 (θ) + sin2 (θ) = 1.

En regardant le cercle trigonométrique, on remarque les identités suivantes (nous les admettrons
ici) :
• cos(−θ) = cos(θ)
• sin(−θ) = − sin(θ)
• cos(π − θ) = − cos(θ)
• sin(π − θ) = sin(θ)
• cos(π + θ) = − cos(θ)
• sin(π + θ) = − sin(θ)
De plus, comme un angle est le même en ajoutant un multiple de 2π (faire un tour revient à ne
rien faire), on en déduit que cos(x + 2π) = cos(x) et que sin(x + 2π) = sin(x) : on dit que les deux
fonctions sont 2π-périodiques.
Enfin, nous allons démontrer une identité essentielle pour étudier les fonctions trigonométriques.

40
Cours lycée

D
sin(β)
α
1 F C

cos(β)
\ \ sin(α)
β
α
A E B

Figure 16 – Figure pour raisonner sur l’addition

Proposition 5.2.2 (Formule d’addition du sinus). Soit α et β deux angles. Alors

cos(α + β) = cos(α) cos(β) − sin(α) sin(β)
et
sin(α + β) = sin(α) cos(β) + sin(β) cos(α)
Démonstration. Nous allons utiliser la figure 16. En effet, avec les identités de symétrie données plus
haut, on peut vérifier qu’il suffit de traitere le cas d’un angle aigu. Calculons en premier lieu cos(α + β)
puis sin(α + β).
Par définition, cos(α + β) = AE = AB − BE. Calculons donc AB et BE. Comme (DF C) est un
triangle rectangle en F et que l’angle en D est de mesure α, on en déduit que F C = sin(α)DC, or
DC = sin(β), donc F C = sin(α) sin(β). De plus, comme (F CBE) est un parallélogramme, ses côtés
opposés sont de longueurs égales, donc F C = EB, d’où EB = sin(α) sin(β). Pour calculer AB, on
remarque que le triangle (ABC) est rectangle en B, et d’hypothénuse cos(β), donc AB = cos(α) cos(β).
On en déduit donc que cos(α + β) = cos(α) cos(β) − sin(α) sin(β).
Par définition, sin(α + β) = ED, or ED = EF + F D et par construction F E = BC. Par
trigonométrie dans le triangle (ABC), BC = cos(β) sin(α) et par trigonométrie dans (DF C), F D =
sin(β) cos(α), d’où sin(α + β) = cos(α) sin(β) + sin(α) cos(β).

A partir des identités précédentes et des formules liées à la symétries dans le cercle trigonométrique,
on peut déduire de nouvelles identités :
• cos(α − β) = cos(α) cos(−β) − sin(α) sin(β) = cos(α) cos(β) + sin(α) sin(β)
• sin(α − β) = cos(α) sin(−β) + sin(α) cos(−β) = sin(α) cos(β) − cos(α) sin(β)
Enfin, en considérant α = β, on trouve les formules
cos(2α) = cos2 (α) − sin2 (α)
et
sin(2α) = 2 sin(α) cos(α)
Exercice 5.1 (D’autres égalités). Cet exercice vise à démontrer d’autres égalités sur les fonctions
trigonométriques. Certaines égalités sont plus faciles à obtenir en utilisant celles déjà démontrées dans
l’exercice.
• En utilisant l’égalité fondamentale, réécrire cos(2α) en une formule n’utilisant pas sin2 (α), puis
en une formule n’utilisant pas cos2 (α).
• En additionnant cos(α + β) et cos(α − β), trouver une formule exprimant cos(α) cos(β).
• De même, exprimer sin(α) sin(β).
• De même, exprimer sin(α) cos(β) et cos(α) sin(β).
• En additionnant ou soustrayant les identités précédentes, déduire une formule exprimant cos(a)+
cos(b), cos(a) − cos(b), sin(a) + sin(b) et sin(a) − sin(b). Indice : On posera le changement de
a+b a−b
variable a = α + β, b = α − β, ce qui équivaut à α = et β = .
2 2

41
Cours lycée

6 Produit scalaire
Cette partie s’intéresse à un outil important à la fois en mathématiques et en physique : le produit
scalaire. Nous le définirons puis en donnerons des définitions équivalentes, dans un premier temps.
Ensuite, nous donnerons plusieurs propriétés du produit scalaire et nous verrons enfin une application
du produit scalaire pour déterminer une équation de cercle. Pour donner des définitions équivalentes,
il nous faut démontrer un premier théorème : le théorème d’Al Kashi.

6.1 Définitions
Le produit scalaire est une opérations prenant deux vecteurs et renvoyant un réel. On peut l’as-
similer à une opération étudiant la projection d’un vecteur sur un autre (nous verrons une propriété
rendant cette idée plus claire).
−→ −→
Définition 6.1. Soient u et v deux vecteurs du plan. On appelle produit scalaire, et on note
−→ −→
u · v , le réel
−→ −→ −→ −→ −→ −→
u · v = ∥ u ∥ × ∥ v ∥ × cos( u , v )

6.1.1 Identités de polarisation

Théorème 6.1 (Al-Kashi). Soit (ABC) un triangle. En notant a, b, c les longueur des côtés opposés
aux sommets, respectivement, A, B et C, alors

c2 = a2 + b2 − 2ab cos(ACB)
\

b
a
H
h
A c B

Figure 17 – Notations utilisées

Démonstration. On veut donc évaluer c2 . Pour cela, on utilisera le projeté orthogonal de B sur (AC)
(noté H, c.f. figure 17). De plus, nous voulons exprimer les longueurs avec Ĉ = ACB.
\
Tout d’abord, dans le triangle (ABH), par trigonométrie, on trouve que CH = cos(Ĉ)a, d’où
AH = b − a cos(Ĉ). De plus, toujours par trigonométrie, h = a sin(Ĉ).
En utilisant le théorème de Pythagore dans (ABH), rectangle en H, on en déduit que c2 =
h + AH 2 , d’où en remplaçant AH et h :
2

c2 = (b − a cos(Ĉ))2 + a2 sin2 (Ĉ)

ce qui, en développant, donne c2 = b2 + a2 (cos2 (Ĉ) + sin2 (Ĉ)) − 2ab cos(Ĉ) or cos2 (Ĉ) + sin2 (Ĉ) = 1,
d’où c2 = b2 + a2 − 2ab cos(Ĉ).

Grâce au théorème d’Al Kashi, on peut désormais trouver de nouvelles formules pour calculer le
produit scalaire.
−→ −→
Proposition 6.1.1 (Identité de polarisation 1). Soient u et v deux vecteurs du plan, on a l’égalité
suivante :
1
 
−→ −→ −→ −→ 2 −→ 2 −→ 2

u · v = u + v − u − v
2

42
Cours lycée

−→ −→ −→
u + v v

B
−→
u
A

Figure 18 – Notations utilisées

Démonstration. Nous utiliserons les notations de la figure 18. On remarque d’abord que B̂ = π −
−→ −→ −→ −→ −→
( u , v ) (en effet, en prolongeant le vecteur u , on obtient un angle total plat et l’angle ( u , v ) de
l’autre côté de B̂).
−→ −→ −→ −→ −→ −→ −→ −→
On en déduit donc, en utilisant Al Kashi, que ∥ u + v ∥2 = ∥ u ∥2 +∥ v ∥2 +2∥ u ∥∥ v ∥ cos( u , v )
−→ −→ −→ −→ −→ −→ −→ −→
or∥ u ∥∥ v ∥ cos( u , v ) = u · v . En isolant u · v , on en déduit l’équation souhaitée, c’est-à-dire
 
−→ −→ −→ −→ 2 −→ 2 −→ 2

1
u · v = 2 u + v − u − v .

De plus, le même théorème nous permet de déduire une autre formule.

−→ −→
Proposition 6.1.2 (Identité de polarisation 2). Soient u et v deux vecteurs du plan. L’égalité
suivante est vérifiée :
1
 
−→ −→ −→ 2 −→ 2 −→ −→ 2

u · v = u + v − u − v
2

−→ −→ −→
u u − v

B
−→
v
A

Figure 19 – Notations utilisées

Démonstration. Nous utiliserons les notations de la figure 19. La formule d’Al Kashi donne directement
−→ −→ −→ −→ −→ −→
∥ u − v ∥2 = ∥ u ∥2 + ∥ v ∥2 − 2 u · v
 
−→ −→ −→ 2 −→ 2 −→ −→ 2

1
d’où en isolant le produit scalaire u · v = 2 u + v − u − v .

Les deux équations précédentes nous fournissent une dernière expression du produit scalaire.
−→ −→
Proposition 6.1.3 (Identité de polarisation 3). Pour deux vecteurs u et v , le produit scalaire
s’exprime
1
 
−→ −→ −→ −→ 2 −→ −→ 2

u · v = u + v − u − v
4
Démonstration. Il suffit d’additionner les deux identités précédente puis de diviser ces identités par
2.
−→ −→
Enfin, si l’on dispose d’une base orthonormée ( e 1 , e 2 ), on obtient une nouvelle identité.

43
Cours lycée

−→ −→ −→ −→
Proposition 6.1.4. Soit ( e 1 , e 2 ) une base orthonormée, u et v deux vecteurs de coordonnées
respectives (x, y) et (x′ , y ′ ), alors
−→ −→
u · v = xx′ + yy ′

Démonstration. Il suffit de développer la troisième identité de polarisation, en utilisant le fait que

−→ −→ −→ −→
∥ u + v ∥2 = (x+x′ )2 +(y +y ′ )2 et ∥ u − v ∥2 = (x−x′ )2 +(x−y ′ )2 car la base est orthonormée.

6.2 Propriétés
Nous allons montrer les propriétés essentielles du produit scalaire.
Tout d’abord, le produit scalaire est dit symétrique.
−→ −→
Proposition 6.2.1 (Symétrie). Soient u et v deux vecteurs, alors
−→ −→ −→ −→
u · v = v · u
−→ −→
Démonstration. En repassant par la définition, on remarque qu’il suffit de prouver que cos( u , v ) =
−→ −→ −→ −→ −→ −→ −→ −→
cos( v , u ), or cos( v , u ) = cos(−( u , v )) = cos( u , v ).

De plus, le produit scalaire est dit bilinéaire.

−→ −→ −→
Proposition 6.2.2 (Bilinéarité). Soient u , v et w des vecteur, et k ∈ R. Alors
−→
−→ −→
 −→ −→ −→ −→
u · v +kw = u · v +k u · w
−→ −→
Démonstration. Soit ( e 1 , e 2 ) une base orthonormée et (x, y), (x′ , y ′ ), (x′′ , y ′′ ) les coordonnées res-
−→ −→ −→
pectives de u , v et w . Alors
−→
−→ −→
 −→ −→ −→ −→
u · v +kw = x(x′ + kx′′ ) + y(y ′ + ky ′′ ) = (xx′ + yy ′ ) + k(xx′′ + yy ′′ ) = u · v +k u · w

Remarque. La symétrie permet de déduire que

 −→  −→ −→   −→ −→ −→
−→ −→ −→ −→ −→ −→
u + k ′ u′ · v + k v′ = u · v + k′ u′ · v +k u · v′ + kk ′ u′ · v ′

Nous avons dans l’introduction de cette partie mentionné un lien avec la projection d’un vecteur
sur un autre. Voici la propriété qui illustre ce lien.
−→ −→ −→ −→
Proposition 6.2.3. Soient u et v deux vecteurs, ainsi que w le projeté orthogonal de w sur la
−→
droite prolongeant u . Alors
−→ −→ −→ −→
u · v = u · w

−→
v

−→
w
−→
u

Figure 20 – Illustration de la proporition 6.2.3

−→ −→ −→ −→
Démonstration. La trigonométrie nous donne directement ∥ w ∥ = ∥ v ∥ cos( u , v ) or on sait de plus,
−→ −→
par propriété du projeté orthogonal, que ( u , w ) = 1, d’où le résultat.

On peut de plus calculer la norme à partir du produit scalaire.

44
Cours lycée

−→
Proposition 6.2.4. Soit u un vecteur du plan. Alors
−→ −→ −→
∥ u ∥2 = u · u

Démonstration. Le résultat est évident en repassant par la définition.

Enfin, le produit scalaire sert de critère d’orthogonalité (i.e. de critère pour savoir si deux vecteurs
sont de directions perpendiculaires).
−→ −→ −→ −→
Proposition 6.2.5. Soient u et v deux vecteurs. Alors u et v sont orthogonaux si et seulement
−→ −→
si u · v = 0.

Démonstration. Si l’un des vecteurs est nul, il est par convention orthogonal à tout autre vecteur. Si
les deux vecteurs sont non nuls, alors :
π −→ −→
Si les deux vecteurs ont un angle absolu différent de , par définition, cos( u , v ) est non nul,
−→ −→
2
donc u · v ̸= 0.
π
Si les deux vecteurs ont un angle absolu de , alors le cosinus de leur angle est nul donc les deux
2
vecteurs sont nuls.
−→ −→ −→ −→
Donc u ⊥ v ⇐⇒ u · v = 0.

6.3 Application à un cercle

Nous donnons dans cette partie un problème sous forme d’exercice.

Exercice 6.1. Soient A et B deux points. Le but de ce problème est de décrire l’ensemble des point
formant le cercle C de diamètre [AB].
−→ −→
• Soit M . Montrer que M ∈ C ⇐⇒ M A · M B = 0.
• En posant une base orthonormée, en déduire une équation du cercle en fonction des coordonnées
de A et B. Indication : on posera les coordonnées du point M comme valant (x, y), qui seront
les variables de l’équation de cercle.

45
Cours lycée

Troisième partie
Algèbre
7 Équations et inégalités
Cette section s’intéressera à la manipulation d’équations et d’inéquations. Une équation est une
proposition composée uniquement de la relation « = » utilisée une fois avec une variable libre, appelée
inconnue, souvent notée x, dont l’objectif est de trouver la valeur. On appelle membre gauche et
membre droit, respectivement, les expression se trouvant à la gauche et à la droite du « = ». C’est
donc un prédicat égalitaire dont on cherche à établir le domaine de vérité : trouver ce domaine s’appelle
résoudre l’équation.

Exemple 7.1. Voici plusieurs équations :

x+1=0 x2 + 7x + 8 = 12 28 = 0

on remarque que la troisième équation est simplement fausse : il n’y a aucune solution à cette équation.

On utilisera ici un fait important et axiomatique (c’est-à-dire qu’il est accepté comme vrai car à
la base même de nos raisonnements) :

Axiome 7.1. Si a = b alors dans toute proposition de la forme P (a), P (b) a les mêmes valeurs de
vérité.

Cela nous renseigne sur une condition suffisante pour résoudre une équation : une équation de la
forme x = a où a ∈ R admet comme solutions exactement {a}.

7.1 Équation du premier degré

Étudions tout d’abord la forme la plus simple d’une équation, l’équation du premier degré, c’est-
à-dire de la forme suivante :
ax + b = c
où a, b, c ∈ R et a ̸= 0 (car sinon, il n’y a pas de x, donc l’équation est directement résolue).
Nous allons pour cela montrer une propriété importante :

Proposition 7.1.1. Soient a et b deux objet, et f une fonction prenant ces objets en argument. Alors
a = b =⇒ f (a) = f (b).

Démonstration. On suppose que a = b. On sait qu’il existe un unique couple de la forme (a, α) ∈ Γf ,
or a = b donc le couple contenant l’image de b est aussi (a, α), donc f (b) = f (a) = α.

Cette proposition est évidente, mais elle est nécessaire pour plusieurs raisonnements. En effet, on
peut maintenant trouver des solutions en appliquant des fonctions aux deux membres de l’équation.
Remarquons que nous n’avons qu’une implication, or nous voulons l’ensemble exact des valeurs de x
pour lesquelles l’équation est vérifiée : il faut donc si l’on recourt à cette méthode vérifier que chaque
solution trouvée est bel et bien solution de l’équation en réinjectant la valeur dans l’équation (ceci
signifie remplacer x par la valeur trouvée).

Exemple 7.2. Si l’on cherche x tel que x = 5 alors on peut appliquer la fonction carré, donnant
x2 = 25, or −5 aussi vérifie cette équation. Il faut donc vérifier pour chaque valeur de x trouvée si elle
est bien appropriée ou si elle est en réalité un « faux positif ».

Grâce à cette proposition, nous allons prouver deux corollaires tout aussi importants.

Corollaire 7.1.1. Soient a et b deux réels et k un réel non nul. Alors

a = b ⇐⇒ k × a = k × b

46
Cours lycée

1
Démonstration. Soit f : x 7→ k × x de réciproque g : x 7→
× x, en composant par f puis par g, on
k
obtient a = b =⇒ k × a = k × b puis k × a = k × b =⇒ a = b, d’où a = b ⇐⇒ k × a = k × b.
Corollaire 7.1.2. Soient a et b deux réels, et k un réel. Alors
a = b ⇐⇒ a + k = b + k
Démonstration. La preuve se fait de la même façon que pour le corollaire précédent, avec les fonctions
f : x 7→ x + k et g : x 7→ x − k.
Remarque. En utilisant les deux corollaires, on trouve que a = b ⇐⇒ k × a + k ′ = k × b + k ′ pour
k ̸= 0.
Nous pouvons désormais résoudre une équation du premier degré :
Théorème 7.1 (Équations du premier degré). Soient a et b deux réels. Alors
c−b
ax + b = c ⇐⇒ x =
a
1
Démonstration. On additionne −b dans chaque membre puis on multiplie chaque membre par pour
a
obtenir l’équation sous la forme voulue.
Nous avons dès lors la solution directe à n’importe quelle équation du 1er degré.

7.2 Système d’équations du premier degré

Nous allons maintenant nous intéresser à un système de deux équations. Un système de deux
équations est un prédicat à deux variables libres contenant deux égalités séparées par un « et ». Plutôt
que
(ax + by + c = d) ∧ (a′ x + b′ y + c′ = d′ )
nous noterons le système sous la forme suivante :
(
ax + by + c = d
a′ x + b′ y + c′ = d′
Pour résoudre ce type d’équations, nous allons recourir à une nouvelle proposition. Nous allons
utiliser ce que l’on appelle des combinaisons linéaires d’équations.
Proposition 7.2.1. Soit un système S de deux équations tel que décrit plus haut. Alors le système
est équivalent, pour tout k non nul, au système
(
ax + by + c = d
a′ x + b′ y + c′ + k(ax + by + c) = d′ + kd
Démonstration. En effet, on additionne des deux côtés kd à la deuxième équation, et on remplace
ensuite d par ax + by + c.
Pouvoir faire des combinaisons linéaires d’équations va nous permettre d’éliminer directement une
des variable dans la deuxième équation.
Exercice 7.1. Soit le système S suivant :
(
2x + 3y = 5
6x + y = 12
trouver k tel qu’en additionnant k fois la première ligne à la deuxième ligne, l’équation restante est une
équation du premier degré. La résoudre et l’injecter dans la première ligne pour trouver une deuxième
équation du premier degré. La résoudre.
Exercice 7.2 (Formule générale *). Trouver à partir de la méthode précédente, pour le système
(
ax + by + c = d
a′ x + b′ y + c′ = d′
la formule générale du couple (x, y) solution. On supposera de plus que ab′ − b′ a ̸= 0.

47
Cours lycée

7.3 Inéquations
Cette section se concentrera plus précisément sur les inéquations. Comme les équations, nous
parlons de prédicat à une inconnue, mais au lieu d’une relation égalitaire, nous utilisons comme
relation une inégalité, c’est-à-dire l’une des relations suivantes : ≤, <, >, ≥.
Là encore, il est évident qu’une inéquation de la forme xRa où R est l’une des relations citées plus
tôt, se résout directement (par exemple x ≤ 2 a comme solution évidente ] − ∞; 2]).
Nous allons démontrer un résultat proche du premier résultat démontré dans la section 7.1, mais
pour la conservation d’équations.
Pour cela, nous devons ajouter une définition.

Définition 7.1. Une fonction f : R → R est dite croissante si ∀x ∈ R, ∀y ∈ R, x ≤ y =⇒ f (x) ≤ f (y).

f est dite strictement croissante si ∀x ∈ R, ∀y ∈ R, x < y =⇒ f (x) < f (y).
f est dite décroissante si ∀x ∈ R, ∀y ∈ R, x ≤ y =⇒ f (x) ≥ f (y).
f est dite strictement décroissante si ∀x ∈ R, ∀y ∈ R, x < y =⇒ f (x) > f (y).

Remarque. Une fonction strictement croissante (respectivement décroissante) est donc croissante (res-
pectivement décroissante).

Proposition 7.3.1. Soit f une fonction croissante, alors ax ≤ b =⇒ f (ax) ≤ f (b).

Si f est décroissante, alors ax ≤ b =⇒ f (ax) ≥ f (b).
De même si f est strictement croissante ou décroissante en remplaçant l’inégalité large par une
inégalité stricte.

Démonstration. Cela tient directement à la définition d’une fonction croissante.

Cette propriété des fonctions croissantes est utile pour additionner et soustraire, car l’addition par
un nombre fixé et la multiplication par un réel strictement positif sont des fonctions croissantes.

Proposition 7.3.2. Soit k un nombre réel, alors x 7→ x + k est strictement croissante.

Démonstration. On remarque directement que si x < y, alors x−y < 0. Or x−y = x+k −(y +k) donc
x + k − (y + k) < 0 ce qui est équivalent à x + k < y + k. D’où la stricte croissance de la fonction.

Proposition 7.3.3. Soit k un nombre réel strictement positif, alors x 7→ k × x est strictement crois-
sante. Si k < 0 alors x 7→ k × x est strictement décroissante.

Démonstration. On remarque que si x < y alors k(x − y) < 0 puisque k est strictement positif et x − y
strictement négatif. Donc kx < ky, d’où le résultat.
Dans le cas où k < 0, k(x − y) > 0 donc kx > ky.

De là, on en déduit comment résoudre une inéquation du premier degré en multipliant et addition-
nant des termes. En effet, ces deux fonctions donnent des inéquations équivalentes quand on compose,
puisque ce sont des bijections et que leur réciproque est aussi croissante strictement.

Théorème 7.2 (Inéquation du premier degré). Soit une inéquation de la forme ax + b < c, alors la
c−b c−b
solution est ] − ∞; [ si a > 0 et ] ; +∞[ si a < 0
a a
Démonstration. Nous montrerons uniquement le premier cas. On compose par f : x 7→ x − b puis par
x c−b
g : x 7→ pour en déduire directement x < .
a a

7.4 Résolution d’équation du second degré

Nous allons désormais nous concentrer sur les équations du second degré, c’est-à-dire où il y a
un terme en x2 , mais avant ça nous devons traiter un cas particulier d’équation, appelé équations à
produit nul.

Théorème 7.3. R est intègre, ce qui signifie que ab = 0 ⇐⇒ (a = 0) ∨ (b = 0).

48
Cours lycée

Démonstration. Supposons que a = 0 ou b = 0, alors de façon évidente ab = 0. Maintenant, si l’on

suppose que a ̸= 0 et b ̸= 0, alors on peut diviser ab par b pour obtenir a, qui est par hypothèse
différent de 0. Donc ab ̸= 0.

Ce théorème nous permet de déduire une façon de résoudre une équation particulière.
Proposition 7.4.1. L’équation (ax + b)(a′ x + b′ ) = 0 est équivalente à ax + b = 0 ∨ a′ x + b′ = 0.
Remarque. De plus, de par la définition même de l’union ensembliste, si l’on a un système de la
forme E1 ∨ E2 où E1 et E2 sont des équations, alors en notant S1 et S2 les ensembles de solution
respectivement de E1 et E2 , la solution du système est S1 ∪ S2 .
Nous souhaitons désormais résoudre une équation de la forme

ax2 + bx + c = 0

où a ̸= 0. On peut se convaincre que résoudre cette équation nous permet de résoudre n’importe quelle
équation avec un x2 , quitte à devoir faire passer d’un seul côté du « = » tous les termes. Grâce au
résultat précédent, on sait qu’il suffit pour résoudre cette équation de trouver une forme factorisée de
l’équation, c’est-à-dire mettre l’équation sous la forme (ax + b)(a′ x + b′ ) = 0, auquel cas nous avons
une équation à produit nul et deux équations du premier degré.
Pour commencer, nous allons nous intéresser à une forme restreinte de ce problème.
Proposition 7.4.2. La solution à une équation de la forme

x2 = a
√ √
pour a ≥ 0 est { a; − a} (et il n’y a pas de solution pour a < 0.
Démonstration. Nous faisons une simple série de calculs :

x2 = a ⇐⇒ x2 − a = 0
√ √
⇐⇒ (x − a)(x + a) = 0
√ √
⇐⇒ x − a = 0 ∨ x + a = 0
√ √
x2 = a ⇐⇒ x = a ∨ x = − a

Ce cas particulier nous renseigne sur la forme que nous pouvons vouloir donner à notre équation
du second degré : si l’on peut mettre l’équation sous la forme (ax + b)2 = c alors on peut réutiliser
cette méthode pour trouver l’ensemble (potentiellement vide) des solutions de l’équation. Nous voulons
donc trouver α, β et γ tels que ax2 + bx + c = 0 ⇐⇒ (αx + β)2 = γ. Nous allons pour cela définir ce
que l’on appelle la forme canonique.
Définition 7.2 (Forme canonique). Soit une équation du second degré de la forme

ax2 + bx + c = 0

alors cette équation est équivalente à

2
b b2 − 4ac

a x+ − =0
2a 4a
appelée forme canonique de l’équation.
Démonstration. Nous allons simplement développer la forme canonique :
b 2 b2 − 4ac abx b2 b2 − 4ac
 
a x+ − = ax2 + 2 + 2−
2a 4a ab 4a 4a
2 2
b b − 4ac

a x+ − = ax2 + bx + c
2a 4a
D’où l’équivalence des deux équations.

49
Cours lycée

L’équation donnée ci-dessus est donc équivalence à

2
b b2 − 4ac

x+ =
2a 4a2

or a2 > 0 donc il y a (au moins) une solution si et seulement si b2 − 4ac ≥ 0. On en déduit le critère
pour résoudre une équation du second degré.

Théorème 7.4 (Équation du second degré). Soit une équation du second degré de la forme

ax2 + bx + c = 0

où a ̸= 0. Soit ∆ = b2 − 4ac, alors suivant le signe de ∆ :

√ √
−b + ∆ −b − ∆
• Si ∆ > 0 alors il y a deux solutions : x = ∨x= .
2a 2a
−b
• Si ∆ = 0 alors il y a une seule solution : x = .
2a
• Si ∆ < 0 alors il n’y a pas de solution.

Démonstration. Il suffit d’utiliser la proposition 7.4.2 pour l’équation sous la forme canonique.

Dans le cas où ∆ < 0, en réalité, il existe des solutions : simplement, celles-ci ne sont pas réelles
mais complexes. Les nombres complexes sont le thème du prochain chapitre ; ils sont des nombres tels
qu’il existe i, appelé nombre imaginaire, qui a la particularité que i2 = −1.

50
Cours lycée

8 Nombres complexes
Cette section se concentrera sur l’étude des nombres complexes. Ceux-ci sont définis comme des
nombres de la forme x + iy où x, y ∈ R et
i2 = −1
Si l’introduction d’un nombre de carré négatif peut sembler illicite ou étrange (en effet, un carré est
toujours positif), nous allons commencer par construire cet ensemble, noté C, pour montrer qu’il existe
bien un ensemble se comportant comme décrit. Nous verrons ensuite le plan complexe et les interpré-
tations géométriques qui vont avec cette notion. Enfin, nous étendront notre résolution d’équations
du second degré à la résolution dans C de ces équations.

8.1 Construction des nombres complexes

Nous allons munir R2 d’une loi d’addition et d’une loi de multiplication.

Définition 8.1. Soit (x, y), (x′ , y ′ ) ∈ R2 , on définit

(x, y) + (x′ , y ′ ) = (x + x′ , y + y ′ )

et

(x, y) × (x′ , y ′ ) = (x × x′ − y × y ′ , x × y ′ + x′ × y)
On appelle nombre complexe un élément de R2 en utilisant les opérations ainsi définies. Ainsi, R2 = C.

Nous allons maintenant montrer que les opérations ainsi construites conservent les même propriétés
que les opérations de R.

Proposition 8.1.1 (Commutativité). Soient (x, y), (x′ , y ′ ) ∈ C, alors (x, y) + (x′ , y ′ ) = (x′ , y ′ ) + (x, y)
et (x, y)(x′ , y ′ ) = (x′ , y ′ )(x, y).

Démonstration. Ce sont de simples vérifications de calculs :

(x, y) + (x′ , y ′ ) = (x + x′ , y + y ′ )
= (x′ + x, y ′ + y) (x, y, x′ , y ′ ∈ R)
(x, y) + (x′ , y ′ ) = (x′ , y ′ ) + (x, y)

(x, y) × (x′ , y ′ ) = (xx′ − yy ′ , xy ′ + x′ y)

= (x′ x − y ′ y, y ′ x + yx′ ) (x, y, x′ , y ′ ∈ R)
(x, y) × (x′ , y ′ ) = (x′ , y ′ ) × (x, y)

Exercice 8.1. Vérifier que pour tous x, y, z ∈ C, x+(y +z) = (x+y)+z et que x×(y ×z) = (x×y)×z.
Cette propriété s’appelle l’associativité de l’addition.

Proposition 8.1.2 (Neutre pour l’addition). Pour tout (x, y) ∈ C, (x, y) + (0, 0) = (x, y)

Démonstration. Cela est direct en revenant à la définition de l’addition dans C.

Proposition 8.1.3 (Neutre pour le produit). Pour tout (x, y) ∈ C, (x, y) × (1, 0) = (x, y).

Démonstration. En effet,

(x, y) × (1, 0) = (1x + 0y, 1y + 0x)

(x, y) × (1, 0) = (x, y)

51
Cours lycée

Nous allons maintenant définir i.

Définition 8.2. Le nombre imaginaire i est défini comme i = (0, 1).

Démonstration. On vérifie que i2 = −1 : i × i = (0 − 1, 0 + 0) = (−1, 0).

Enfin, soit la fonction f : (x, 0) 7→ x, cette fonction est une bijection, de réciproque évidente
g : x 7→ (x, 0) et on remarque que f (x + y) = f (x) + f (y) et f (x × y) = f (x) × f (y). C’est ce que l’on
appelle un morphisme d’anneau, mais cette notion est hors du programme. Ceci étant, nous voyons
que l’on peut identifier R à un sous-ensemble de C.

Théorème 8.1. Soit (x, y) ∈ C. On peut écrire (x, y) de façon unique comme la somme d’un nombre
réel (identifié à un nombre complexe) et du produit d’un nombre réel par i, et cette décomposition est

(x, y) = x + iy

Démonstration. L’existence est une simple vérification que (x, y) = x + y × i.

Pour l’unicité, supposons deux décompositions (x, y) = a + b × i = a′ + b′ × i. Alors on vérifie
que a + b × i = (a, b) et a′ + b′ × i = (a′ , b′ ). Donc par égalité avec (x, y) on en déduit que a = a′ et
b = b′ .

Nous retrouvons donc la forme que nous souhaitions au début.

Si cet exercice de construction peut sembler inutile, il est essentiel pour s’assurer que l’ensemble
C existe bel et bien, ce qui ne semble pas chose aisée quand l’on voit qu’il contient un élément dont le
carré est négatif.

8.2 Le plan complexe

En assimilant les nombres complexes à R2 , on remarque que C est naturellement similaire au
plan dans lequel, si l’on fixe une origine, on obtient un système de coordonnées qui est un ensemble de
couple de réels. De plus, l’addition de vecteurs est, au niveau des coordonnées, une addition coordonnée
par coordonnée, exactement comme l’addition complexe. On décide donc de représenter les nombres
complexe comme des vecteurs du plan en fixant une origine O. On dit qu’un point est d’affixe x + iy
lorsqu’il correspond au nombre x + iy.

4 + 3i
3i

O 1 4

Figure 21 – Plan complexe avec un point d’affixe 4 + 3i

52
Cours lycée

Nous allons maintenant voir une nouvelle façon de déterminer la position d’un vecteur, qui est un
système de coordonnées appelé coordonnées polaires. Pour cela, nous allons avoir besoin d’un théorème
préalable.
−→ −→ −→
Théorème 8.2. Soit u un vecteur non nul et e un vecteur du plan fixé. Alors u est déterminé de
façon unique par sa norme et son angle principal (c’est-à-dire l’angle qui fait moins d’un tour) avec
−→
e.
Démonstration. Nous admettrons ce théorème dans ce document.

Nous allons donc relier cette notion au plan complexe en considérant l’opération donnant la norme
du vecteur associé à un complexe.
Définition 8.3 (Module). Soit z ∈ C, on appelle module de z, et l’on note |z|, le nombre
−→
z = ∥ uz ∥
−→
où uz est le vecteur d’affixe z.
De par la formule du calcul de lapnorme d’un vecteur dans un système de coordonnées fixé, on en
déduit que si z = x + iy alors |z| = x2 + y 2 .
De plus, nous nommons argument d’un nombre complexe l’angle que fait son vecteur représentatif
avec l’axe des origines.
Proposition 8.2.1. Soit un nombre complexe z de module r et d’argument θ. Alors z = r cos(θ) +
ir sin(θ).
z
Démonstration. On remarque que est de module 1 : il appartient donc au cercle trigonométrique et
r
z
correspond au même angle que z. On en déduit donc que les coordonnées de sont (cos(θ), sin(θ)).
r
Il en découle que les coordonnées de z sont (r cos(θ), r sin(θ)), donc par unicité de z = x + iy
on en déduit que z = r cos(θ) + ir sin(θ).

8.2.1 La conjugaison complexe

Cette partie va s’intéresser à une fonction appelée conjugaison, que l’on note z pour un nombre
complexe z, et qui est définie par − : C −→ C .
x + iy 7−→ x − iy
Nous allons montrer que cette fonction est un morphisme d’anneau.
Proposition 8.2.2. Soient z et z ′ deux complexes. Alors z + z ′ = z + z ′ et de plus −z = −z.
Démonstration. On pose z = x+iy et z ′ = x′ +iy ′ . Alors z + z ′ = x+x′ −iy−iy ′ = (x−iy)+(x′ −iy ′ ) =
z + z′.
Pour la deuxième partie, on remarque que z + (−z) = 0 = z + −z donc, en passant z de l’autre
côté, on trouve bien que −z = −z.
1 1
Exercice 8.2. Montrer que z × z ′ = z × z ′ . En déduire que
= pour z ̸= 0.
z z
Cette fonction nous permet d’exprimer autrement le module d’un nombre complexe.
Proposition 8.2.3. Soit z ∈ C. Alors √
|z| = zz
Démonstration. Il suffit de vérifier que pour z = x + iy, zz = x2 + y 2 . Un calcul nous donne cette
égalité :
zz = (x + iy)(x − iy)
= x2 − ixy + ixy − i2 y 2
zz = x2 + y 2

53
Cours lycée

Enfin, il existe un lien entre l’argument d’un nombre complexe et son conjugué.

Proposition 8.2.4. Soit z un nombre complexe de module r et d’argument θ. Alors z a le même

module et son argument est −θ.

Démonstration. Il suffit de vérifier que cos(−θ) + i sin(−θ) = cos(θ) − i sin(θ). Ce calcul est laissé au
lecteur.

8.2.2 Partie réelle et imaginaire

Nous avons jusque là décomposé les nombres complexes sous la forme z = x + iy. Nous pouvons
systématiser cette décomposition en formant les deux fonctions

ℜ: C −→ R
x + iy 7−→ x

et

ℑ: C −→ R
x + iy 7−→ y
Pour z ∈ C, on appelle ℜ(z) sa partie réelle et ℑ(z) sa partie imaginaire. On remarque que z ∈ R si
et seulement si z = ℜ(z) et que z ∈ iR si et seulement si z = ℑ(z) (l’ensemble iR est l’ensemble des
multiples réels que i, qu’on appelle l’ensemble des imaginaires purs).
1 1
Proposition 8.2.5. Soit z ∈ C, alors ℜ(z) = (z + z) et ℑ(z) = (z − z).
2 2i
Démonstration. Là encore, un calcul suffit :
1 1
(z + z) = (x + iy + x − iy)
2 2
1
= (2x)
2
1
(z + z) = x
2

1 1
(z − z) = (x + iz − x − (−iy))
2i 2i
1
= 2iy
2i
1
(z − z) = y
2i

On peut exprimer, par trigonométrie, un lien entre l’argument d’un nombre complexe, ses parties
réelle et imaginaire et son module.

Proposition 8.2.6. Soit z ∈ C, de module r et d’argument θ, alors

ℜ(z)
cos(θ) =
r
et
ℑ(z)
sin(θ) =
r
Démonstration. La démonstration est laissée au lecteur.

54
Cours lycée

8.2.3 Notation exponentielle

Nous allons désormais utiliser une nouvelle notation pour désigner cos(θ) + i sin(θ), qu’on appelle
notation exponentielle.
Définition 8.4. On appelle exponentielle de iθ, et l’on note eiθ , le nombre
eiθ = cos(θ) + i sin(θ)
Remarque. Un nombre complexe z d’argument r et de module θ s’exprime alors directement z = reiθ .
Une propriété importante de la notation exponentielle est qu’elle permet d’écrire plus facilement
les multiplications complexes.
Proposition 8.2.7. Soient z et z ′ deux nombres complexes d’arguments respectifs θ et θ′ et de modules
respectifs r et r′ . Alors on a l’égalité suivante :
′
z × z ′ = rr′ ei(θ+θ )
Démonstration. Nous décomposons ce produit en un module et un argument. Il est évident que le
module du produit est le produit des modules (de par la formule du produit elle-même). Nous allons
′ ′
donc prouver que eiθ eiθ = ei(θ+θ ) :
′
eiθ eiθ = (cos(θ) + i sin(θ))(cos(θ′ ) + i sin(θ′ ))
= cos(θ) cos(θ′ ) − sin(θ) sin(θ′ ) + i cos(θ) sin(θ′ ) + sin(θ) cos(θ′ )
   

= cos(θ + θ′ ) + i sin(θ + θ′ )
′ ′
eiθ eiθ = ei(θ+θ )

En reprenant les éléments précédents, on remarque que l’inverse d’un complexe de norme 1 est son
conjugué.
Proposition 8.2.8. Soit z ∈ C tel que |z| = 1, et soit θ son argument. Alors z −1 = z.
Démonstration. Tout d’abord, z = eiθ d’après la remarque 8.2.3. Or on sait que z −1 z = 1, donc en
′ ′
écrivant z −1 = eiθ , on en déduit que ei(θ+θ ) = e0×i donc θ + θ′ = 0 (nous considérons les angles
principaux, d’où l’absence de multiple de 2π). De cette égalité on en déduit que θ′ = −θ, donc par la
proposition 8.2.4 on en déduit que z −1 = z.
Cette propriété nous permet de déduire l’identité d’Euler.
Théorème 8.3 (Identité d’Euler). Soit θ ∈] − π; π], alors
eiθ + e−iθ
cos(θ) =
2
et
eiθ − e−iθ
sin(θ) =
2i
Démonstration. Cette identité vient directement de la définition de parties réelle et imaginaire d’un
complexe de module 1, en utilisant la propriété précédente et la formule donnant les parties réelle et
imaginaire d’un complexe en fonction de son conjugué.
Nous allons enfin voir l’identité de Moivre.
Proposition 8.2.9. Soit z ∈ C, d’argument θ. Alors z n a comme argument nθ.
Démonstration. La preuve est simplement une induction utilisant le fait que l’argument d’un produit
est la somme des arguments.
Théorème 8.4 (Formule de Moivre). Soit θ ∈] − π; π], alors
(cos(θ) + i sin(θ))n = cos(nθ) + i sin(nθ)
Démonstration. Il suffit de développer l’identité d’Euler et d’utiliser la propriété précédente.

55
Cours lycée

8.3 Les équations de degré 2

Si nous revenons sur les équations de degré 2 traitées plus tôt, nous remarquons que la forme
factorisée fonctionne encore parfaitement dans le cadre des complexes. Simplement, nous pouvons
maintenant trouver une racine carrée pour tout nombre complexe.

Définition 8.5 (Racine carrée). Soit z ∈ C, on appelle racine carrée principale de z le complexe de
p 1
module |z| et d’argument θ où θ est l’argument de z. La racine carrée, mise au carré, de z, vaut z.
2
p 2
Démonstration. On remarque que le module de la racine mise au carré vaut |z| = |z| et l’argument
1
vaut 2 × θ = θ, donc la racine mise au carré vaut bien z.
2
La résolution d’une équation de degré 2 peut alors se généraliser de la façon suivante.

Théorème 8.5. Soit une équation de la forme

az 2 + bz + c = 0

où a ̸= 0 et de coefficients complexes. Soit ∆ = b2 − 4ac et soit δ la racine carrée principale de ∆.

Alors
−b
• Si δ = 0 alors il n’y a qu’une solution : x = .
2a
−b + δ −b − δ
• Si δ ̸= 0 alors il y a deux solutions : x = ∨x= .
2a 2a
Démonstration. Il suffit de reprendre la preuve du cas réel et de l’adapter en posant une racine carrée
dans tous les cas à ∆.

56
Cours lycée

9 Suites : des éléments algébriques

Dans cette section, nous définirons la notion de suite, où nous utiliserons pleinement le raisonne-
ment par récurrence. Nous étudierons ensuite les sommes et leurs propriétés, puis nous verrons plus
en précision les suites arithmétiques, géométriques et arithmético-géométriques.

9.1 Définition d’une suite

Nous allons voir la définition d’une suite, avec les notations associées.

Définition 9.1. On appelle suite réelle, ou simplement suite, une fonction u : N → R. C’est donc une
liste infinie de nombres réels ordonnés (d’abord l’élément d’indice 0, puis l’élément d’indice 1, etc.)
On note généralement une suite u de l’une des façons suivantes : (u), (un )n∈N ou (un ) s’il n’y a pas
de confusion possible.
Pour une suite (u), on notera ui son terme d’indice i, ou encore [u]i (cette notation sera surtout
utile pour une suite avec un nom plus long, pour écrire par exemple [u + v]i ).
Une suite peut être vue comme une succession de nombres réels allant à l’infini.

Exemple 9.1. Voici plusieurs suites classiques :

• la suite (n) qui est la suite 0, 1, 2, 3, 4, 5, . . .
• la suite (n2 ) qui est la suite 0, 1, 4, 9, 16, 25, . . .
• la suite (2n) qui est la suite 0, 2, 4, 6, 8, 10, . . .
• la suite ((−1)n ) qui est la suite 1, −1, 1, −1, 1, −1, . . .

Remarque. De par la définition même d’une suite, le raisonnement par récurrence est particulièrement
adapté. En effet, un raisonnement par récurrence permet de prouver une propriété pour tout entier
naturel. Ici, justement, une suite est définie par l’image qu’elle envoie à chaque entier naturel.

Définition 9.2 (Suite définie par une relation de récurrence). On peut définir une suite (u) par une
relation de récurrence, c’est-à-dire par deux relations :
(
u0 ∈ R
∀n ∈ N, un+1 = f (un )

Où f : R → R

Démonstration. Montrons que la suite est bien définie, par récurrence :

• (u) est bien définie en 0 puisqu’on a fixé u0 .
• Supposons que (u) soit bien définie pour tout k ≤ n, où n ≥ 0. Alors un+1 = f (un ) est bien
définie, puisqu’image par une fonction de un , bien définie. Donc (u) est bien définie en n + 1.

Par récurrence, on en déduit que (u) est bien définie en n pour tout n ∈ N.

Exercice 9.1. Soit la suite (u) définie par la relation de récurrence suivante :
(
u0 = 0
∀n ∈ N, un+1 = un + 1

Montrer que (u) = (n), c’est-à-dire que ∀n ∈ N, un = n.

Exercice 9.2. Soit la suite (u) définie par la relation de récurrence suivante :
(
u0 = 0
∀n ∈ N, un+1 = u2n + 2un + 1

Montrer que (u) = (n2 ), c’est-à-dire que ∀n ∈ N, un = n2 .

57
Cours lycée

9.2 Sommes et produits

P Q
Nous allons maintenant étudier le symbole et le symbole , qui permettent d’écrire rigoureu-
sement ce que l’on peut écrire par une somme avec des points de suspension.
Pj Qj
Définition 9.3. Soit (un ) une suite. On note k=i uk et k=i uk (pour i ≤ j fixés) les réels suivants :
j
X
uk = ui + ui+1 + ui+2 + . . . + uj−1 + uj
k=i

et
j
Y
uk = ui × ui+1 × ui+2 × . . . × uj−1 × uj
k=i

La variable k dans ces expressions est muettes : elle est seulement propre à l’intérieur de l’expression
décrite dans le symbole et peut être remplacée par n’importe quelle autre variable.
Nous allons définir, plus rigoureusement, les sommes et les produits par récurrence :
 
" i
X
# j+1
X j
X
uk = ui ∧  uk = uk + uj+1 
k=i k=i k=i
 
" i
Y
# j+1
Y j
Y
uk = ui ∧  uk = uk × uj+1 
k=i k=i k=i
Pj Qj
et l’on prend la convention que si j < i, alors k=i uk = 0 et k=i = 1.
P
Nous allons voir plusieurs propriétés de ces notations. Nous ne prouverons que le cas de car le
Q
cas de sera en général similaire, et fait un bon exercice pour le lecteur.

Proposition 9.2.1 (Recollement). Soit (u) une suite, i ≤ j < n des entiers. Alors
j
X n
X n
X
uk + uk = uk
k=i k=j+1 k=i

et de même
j
Y n
Y n
Y
uk × uk = uk
k=i k=j+1 k=i

Démonstration. Nous allons prouver ce résultat par deux récurrences successives.

Tout d’abord, prouvons que
j
X j
X
uk = ui + uk
k=i k=i+1

par récurrence sur j :

• Si i = j, alors
j
X
uk = ui + 0
k=i

• Si la propriété est vraie pour un i < j, alors

j+1
X j
X j+1
X
uk = uk + uj+1 = ui + uk
k=i k=i k=i+1

58
Cours lycée

D’où la propriété par récurrence :

j
X j
X
uk = ui + uk
k=i k=i+1

Prouvons maintenant la proposition par récurrence sur j, où i et n sont fixés.

• Si j = i, alors l’équation est directe avec la propriété précédente.
• Si la propriété est vraie pour j, montrons qu’elle est vraie pour j + 1 :
j
X n
X j
X n
X j+1
X n
X
uk + uk = uk + uj+1 + uk = uk + uk
k=i k=j+1 k=i k=j+2 k=i k=j+2

Ainsi la propriété est vraie pour tout j, y compris pour j = n, donnant alors comme résultat
j
X n
X n
X
uk + uk = uk + 0.
k=i k=j+1 k=i

Exercice 9.3. Montrer que

j
Y j!
k=
k=i
(i − 1)!
Qn
sachant que n! = k=1 k.

Proposition 9.2.2. Soient (u), (v) deux suites et λ ∈ R. Alors

j
X j
X j
X
(λuk + vk ) = λ uk + vk
k=i k=i k=i

et
j
Y j
Y
j−i
(λuk ) = λ uk
k=i k=i

Démonstration. Nous allons prouver ce résultat par récurrence sur j :

• Si j = i alors l’égalité devient λui + vi = λui + vi , qui est vraie.
• Supposons la propriété vraie jusqu’au rang j. Alors
j+1
X j
X j
X
(λuk + vk ) = λ uk + vk + λuj+1 + vj+1
k=i k=i k=i

d’où le résultat en regroupant les termes par factorisation et recollement.

Donc la propriété est vraie.

Proposition 9.2.3. Soit (u) une suite. Alors

j
X j−i
X
uk = uj−k
k=i k=0

et
j
Y j−i
Y
uk = uj−k
k=i k=0

Démonstration. Démonstration laissée au lecteur. Indication : utiliser la propriété utilisée dans la

preuve de la proposition 9.2.1.

59
Cours lycée

Proposition 9.2.4.
j
X
1=j−i+1
k=i

Démonstration. Nous allons prouver ce résultat par récurrence.

• Si j = i, alors la somme vaut 1 = j − i + 1
• Si l’égalité vaut pour j > i, alors
j+1
X j
X
1= +1 = j − i + 1 + 1 = (j + 1) − i + 1
k=i k=i

d’où l’égalité dans le cas j + 1.

L’égalité est donc vraie pour tout j > i.
Pn
Exercice 9.4 (Calcul d’une somme classique ∗). Nous allons étudier la somme k=0 k.
Pn Pn Pn
1. Montrer que k=0 k + k=0 (n − k) = k=0 n.
Pn Pn
2. En déduire la valeur de k=0 k+ k=0 (n−k). Indication : on peut écrire n = n×1 puis factoriser
n.
Pn
3. En réécrivant la somme précédente, en déduire la valeur de k=0 k.

9.3 Suites particulières

Nous étudierons ici trois cas particuliers de suites définies par récurrence : les suites arithmétiques,
géométriques et arithmético-géométriques.

9.3.1 Suite arithmétique

Définition 9.4. Une suite arithmétique, dite de raison r, est une suite définie par
(
u0 ∈ R
∀n ∈ N un+1 = un + r

où r ∈ R.

Nous allons déterminer le terme général d’une telle suite.

Proposition 9.3.1. Le terme général d’une suite arithmétique de raison r est un = u0 + r × n.

Démonstration. Nous allons prouver ce résultat par récurrence :

• Le résultat est évident pour u0
• Si un = u0 + r × n alors un+1 = r + un = u0 + r × (n + 1). D’où le résultat.

9.3.2 Suite géométrique

Définition 9.5. Une suite géométrique, dite de raison q, est une suite définie par
(
u0 ∈ R
∀n ∈ N, un+1 = q × un

60
Cours lycée

10 Approfondissement : Polynômes à une indéterminée

Cette section s’intéresse aux polynômes à coefficients dans R et dans C. C’est un approfondisse-
ment, et à ce titre peut être évité en première lecture : nous traiterons ici de problématiques hors du
cadre du lycée. Dans la suite, K désignera R ou C (au sens où ce que nous dirons pourra fonctionner
pour les deux).
Un polynôme correspondra moralement à une fonction de la forme

x 7→ a0 + a1 x + a2 x2 + . . . + an xn

dont les zéros forment donc une équation de degré n.

La première partie définira les polynômes formels sur K, la deuxième partie s’occupera de la
structure de K[X], l’ensemble des polynômes, comme un anneau euclidien (ces termes seront expliqués).
Enfin, la troisième partie utilisera cette structure pour prouver que la notion de polynôme que nous
avons définie est la bonne, pour ensuite parler du théorème fondamental de l’algèbre.

10.1 Construction de l’ensemble des polynômes

Nous allons définir les polynômes non pas comme des fonctions, comme on pourrait s’y attendre,
mais comme une suite. Cette suite sera la suite de coefficients a0 , a1 , . . . et contiendra un nombre fini
de coefficients non nuls.

Définition 10.1. On appelle polynôme à coefficients dans K un élément de (K)N avec un nombre
fini de coefficients non nuls. Puisque pour (an ) ∈ K[X], {an | an ̸= 0} est fini, on peut trouver un i
maximal tel que ai ̸= 0 : on appelle ce nombre le degré du polynôme (an ) et on le note deg(a). On
note K[X] l’ensemble des polynômes à coefficients dans K.

Nous pouvons maintenant définir les opérations sur les polynômes.

Définition 10.2. Soit (a) et (b) deux polynômes à coefficients dans K. Alors on définit les deux suites
(a + b) et (a × b) par :
[a + b]n = an + bn

et
n
X
[a × b]n = ai bn−i
i=0

Démonstration. Nous devons vérifier que ces opérations donnent bien des polynômes en retour.
Pour (a + b), on remarque directement qu’à partir du terme max(deg(a), deg(b)), les termes de
l’addition sont tous nuls, donc (a + b) possède seulement des coefficients nuls à partir de ce terme. On
en déduit de plus que deg(a + b) ≤ max(deg(a), deg(b)).
Pour (a × b), à partir du terme deg(a) + deg(b), tous les termes sont nuls. En effet, ai bn−i = 0 car
tous les termes non nuls de ai sont inférieurs à deg(a), mais alors bn−i est nul car d’indice supérieur
strictement à deg(b). De plus, comme adeg(a) bdeg(b) ̸= 0, on en déduit que deg(a × b) = deg(a) +
deg(b).

Les lois ainsi définies sont commutatives et associatives.

Exercice 10.1. Montrer que (a + b) = (b + a), que (a + (b + c)) = ((a + b) + c) et que ces identités
sont aussi valables pour la multiplication.

Les lois de distributivité habituelles fonctionnent encore ici.

Proposition 10.1.1. Soient (a), (b), (c) ∈ K[X], alors (a+b)×c = a×c+b×c et a×(b+c) = a×b+a×c.

61
Cours lycée

Démonstration. Nous regardons à un indice n fixé ces suites :

n
X
[(a + b) × c]n = [a + b]i cn−i
i=0
Xn
= (ai + bi )cn−i
i=0
Xn
= (ai cn−i + bi cn−i )
i=0
Xn n
X
= ai cn−i + bi cn−i
i=0 i=0
= [a × c]n + [b × c]n
[(a + b) × c]n = [a × c + b × c]n

n
X
[a × (b + c)]n = ai [b + c]n−i
i=0
Xn
= ai (bn−i + cn−i )
i=0
Xn
= (ai bn−i + ai cn−i )
i=0
Xn n
X
= ai bn−i + ai cn−i
i=0 i=0
[a × (b + c)]n = [a × b + a × c]n

Donc, puisque les suites coïncident sur chaque n ∈ N, on en déduit les égalités.

Nous avons aussi des éléments neutres.

Proposition 10.1.2. 0 est neutre pour l’addition et 1 pour la multiplication, où 0 = (0, 0, . . .) et

1 = (1, 0, 0, . . .).

Démonstration. Pour tout n ∈ N, an = an + 0 et an = an × 1 + 0, d’où le résultat.

Les éléments ont, de plus, un opposé.

Proposition 10.1.3. Soit (a) ∈ K[X]. Alors on définit (−a) par [−a]n = an . Cet élément a la
propriété que (a + (−a)) = (0).

Démonstration. Le résultat est direct.

Enfin, on définit la multiplication d’un polynôme par un élément de K de la façon suivante :

Définition 10.3. Soit (a) ∈ K[X] et b ∈ K, on définit b · a par [b · a]n = b × an .

On va désormais noter X = (0, 1, 0, 0, 0, 0, . . .) la suite valant 1 seulement à l’indice 1 et 0 ailleurs.

Proposition 10.1.4. Soit (a) un polynôme de degré n. Alors (a) s’écrit comme
n
X
a= ak X k
k=0

Démonstration. En effet, on prouve par récurrence que X k est la suite valant 1 à l’indice k et 0 ailleurs
(récurrence laissée au lecteur). Alors on remarque de plus que ak X k vaut exactement ak à l’indice k
et 0 ailleurs, d’où en calculant toute la somme, le résultat.

62
Cours lycée

Nous noterons désormais P , Q, P (X) ou Q(X) les polynômes et respectivement (pn ) et (qn ) leurs
coefficients. De plus, nous allons définir la composition et l’évaluation.

Définition 10.4. Soient P et Q deux polynômes, où P est de degré n. La composition de Q par P ,

notée P ◦ Q ou P (Q), est définie par
n
X
P (Q(X)) = pk (Q(X))k
k=0

Proposition 10.1.5. Le polynôme X est neutre pour la composition.

Démonstration. Ce résultat se déduit directement de la décomposition de la proposition 10.1.4.

Définition 10.5. Soit α ∈ K et P ∈ K[X], on définit l’évaluation P (α) ∈ K de P en α par

n
X
P (α) = pk αk
k=0

10.2 Les polynômes forment un anneau euclidien

Nous avons vu que K[X] est un ensemble muni d’une addition, d’une multiplication, d’un neutre 0
pour l’addition, d’un neutre 1 pour la multiplication et pour tout élément, d’un opposé pour l’addition.
On appelle cette structure un anneau. Remarquons que R, C et même Z sont des anneaux.
Cette structure est large et la structure des polynômes est plus particulière. En effet, c’est ce qu’on
appelle un anneau euclidien, car on peut y définir une division euclidienne.

Théorème 10.1. Soient P et S deux polynômes, P non nul. Alors il existe un unique couple de deux
polynômes (Q, R) tels que
P = S × Q + R ∧ deg(R) < deg(S)
On appelle cette décomposition la division euclidienne de P par S.

Démonstration. Ce théorème sera admis dans ce document.

Ce résultat nous permet directement d’en déduire un résultat fondamental dans l’étude des poly-
nômes : le lien entre une racine et la factorisation d’un polynôme.

Proposition 10.2.1. Soit P un polynôme non nul et α ∈ K tel que P (α) = 0. Alors il existe Q ∈ K[X]
tel que P = (X − α) × Q.

Démonstration. Nous allons faire la division euclidienne de P par (X − α). On trouve donc (Q, R)
tels que P = (X − α)Q + R. Or en évaluant cette égalité en α, on en déduit, comme P (α) = 0 et que
(α − α) × (Q(α)) = 0, que R(α) = 0. Or on sait que le degré de R est strictement inférieur à 1 : il est
donc constant et vaut 0. Donc P = (X − α)Q.

10.3 Polynôme scindé

Nous pouvons maintenant déduire une propriété importante pour exprimer un polynôme de façon
unique.

Proposition 10.3.1. Soit P un polynôme de degré inférieur n. Si P s’annule au moins n − 1 fois,

alors celui-ci est nul.

Démonstration. En effet, D’après le théorème précédent, si P est non nul, on trouve n + 1 monômes
de la forme (X − αi ), donnant un polynôme de degré strictement supérieur à n. On en déduit par
l’absurde que P est nul.

Proposition 10.3.2. Soient P et Q des polynômes de degré inférieur à n coïncidant sur au moins
n + 1 points. Alors P = Q.

63
Cours lycée

Démonstration. On remarque que P − Q a plus de n points d’annulation, donc est nul par la propriété
précédente. D’où P = Q.

On en déduit alors qu’il y a une bijection entre les fonctions polynômiales et les polynômes ainsi
construits.

Théorème 10.2. L’ensemble K[X] est en bijection avec l’ensemble FK[X] des fonctions polynômiales.

Démonstration. La surjectivité est évidente puisqu’une fonction polynômiale est exactement une fonc-
tion de la forme x 7→ P (x).
L’injectivité provient du fait que K est infini, et donc que deux fonctions identiques ont une infinité
de points communs. Les polynômes associés coïncident donc sur un nombre de points supérieur à leur
degré : ils sont donc égaux.
Il y a donc bijectivité entre les deux ensembles.

Nous avons donc prouvé que notre définition de polynôme est cohérente pour travailler sur les
fonctions polynômiales.
Nous allons enfin développer la définition de polynôme scindé.

Définition 10.6. Soit P ∈ K[X]. On dit que P est scindé s’il existe un nombre fini de αi tels que
P (X) = a ni=1 (X − αi ) où a est le coefficient de X n dans P .
Q

Remarque. Un polynôme est scindé si et seulement s’il a autant de racines que son degré.
Tout polynôme n’est pas scindé, par exemple dans R[X], le polynôme X 2 + 1 est toujours stricte-
ment positif. Pourtant, il existe un théorème important, appelé théorème fondamental de l’algèbre, et
démontré par d’Alembert et Gauss, disant que tout polynôme dans C est scindé.

Théorème 10.3 (D’Alembert-Gauss). Soit P ∈ C[X] de degré supérieur à 1. Alors il existe une
racine à P .

Exercice 10.2. Montrant l’équivalence entre cet énoncé et celui expliqué plus haut : « tout polynôme
dans C[X] est scindé. »

64