M302: Géométrie Affine Et Euclidienne

Université des Sciences et Technologies de Lille
U.F.R. de Mathématiques Pures et Appliquées
M302 : Géométrie affine et euclidienne
Notes de cours par Clément Boulonne
L3 Mathématiques 2008 - 2009

Table des matières
1 Structures algébriques 3
1.1 Groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Premières définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 Homomorphisme de groupes . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.3 Groupes opérant sur un ensemble . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Ensembles quotients - groupes quotients . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Produit direct et produit semi-direct . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Espaces vectoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 Espaces affines 12
2.1 Translations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Vectorialisé d’un espace affine . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3 Sous-espace affine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.4 Dimension, repère affine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.5 Barycentres et coordonnées barycentriques . . . . . . . . . . . . . . . . . . . . . 14
2.5.1 Coordonnées barycentriques . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.5.2 Famille affinement libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.6 Plongement dans un espace vectoriel . . . . . . . . . . . . . . . . . . . . . . . . 16
2.7 Droite dans un plan en coordonnées cartésiennes et barycentrique . . . . . . . . 18
2.8 Intersection et parallélisme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.9 Applications affines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.10 Groupes affines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.11 Le groupe des homothéties et translations . . . . . . . . . . . . . . . . . . . . . 26
2.12 Projections, symétries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.13 Affinités et transvections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.14 Théorèmes principaux pour la géométrie affine . . . . . . . . . . . . . . . . . . . 31
2.14.1 Le théorème de Thalès . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.14.2 Le théorème de Ménélaüs . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.14.3 Le théorème de Céva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.14.4 Le théorème de Pappus . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.14.5 Le théorème de Desargues . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3 L’axiomatique de Hilbert 39
3.1 Les axiomes d’incidence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.2 Les axiomes d’ordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.3 Axiomes de congruence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.4 Le postulat d’Euclide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.5 Axiomes de continuité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.6 Compatibilité et indépendance des axiomes . . . . . . . . . . . . . . . . . . . . . 44
2
4 Espaces euclidiens 46
4.1 Produit scalaire et distance euclidienne . . . . . . . . . . . . . . . . . . . . . . . 46
4.2 Orthogonalité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.3 Projections et symétries orthogonales . . . . . . . . . . . . . . . . . . . . . . . . 47
4.4 Formes linéaires, dual, adjoint . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.4.1 Adjoint d’un endomorphisme . . . . . . . . . . . . . . . . . . . . . . . . 49
4.5 Isométries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.5.1 Déplacements et anti-déplacements . . . . . . . . . . . . . . . . . . . . . 52
4.5.2 Décomposition canonique . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.5.3 Génératerurs de Isom(E) . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.6 Angles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.6.1 Angles orientés de vecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.6.2 Angles orientés de droites . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.6.3 Mesure des angles orientés . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.6.4 Angles géométriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.7 Isométrie en dimension 2 et 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.7.1 Classification en dimension 2 . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.7.2 Classification en dimension 3 . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.8 Similitudes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.8.1 Similitudes affines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.8.2 Les similitudes planes et le plan complexe . . . . . . . . . . . . . . . . . 64
5 Géométrie du triangle et du cercle 66

5.1 Médiatrices, médianes, hauteurs, bissectrices . . . . . . . . . . . . . . . . . . . . 66
5.1.1 Bissectrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
5.2 Critère de cocyclicité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
5.3 Trigonométrie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5.3.1 Le triangle rectangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5.4 Cas d’égalité et de similitudes des triangles . . . . . . . . . . . . . . . . . . . . . 71
5.4.1 Similitudes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
6 Géométrie dans l’espace 73

6.1 Produit vectoriel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
6.2 Calcul d’aires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
6.3 Les polyèdres convexes réguliers . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
6.3.1 Polyèdres convexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
7 Groupes de transformations 77
7.1 Géométries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
7.2 Expression analytique dans R2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
7.3 Isométries fixant une partie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
7.3.1 Triangles et quadrilatères dans le plan . . . . . . . . . . . . . . . . . . . 79
A Barycentre (par Jean-François Robinet) 80

A.1 L’espace des points pondérés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
A.2 Barycentres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
A.2.1 Repères barycentriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
A.2.2 Application : milieu d’un segment, parallélogrammes . . . . . . . . . . . 83
A.3 Appendices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
4
A.3.1 For the Snark was just a Boojum, you see ! . . . . . . . . . . . . . . . . . 84

A.3.2 Calcul des coordonnées barycentriques . . . . . . . . . . . . . . . . . . . 85
Chapitre 1
Structures algébriques
NB : Les démonstrations manquantes sur certains théorèmes ou propositions sont laissées

en exercice
1.1 Groupes
1.1.1 Premières définitions
Définition 1.1.1. Une opération ∗ est une application :
∗ : G×G → G
(x, y) 7→ x ∗ y
Définition 1.1.2. Soit G un ensemble muni d’une opération. On dit que (G, ∗) est un groupe
si :
1) L’opération ∗ est associative : ∀a, b, c ∈ G, (a ∗ b) ∗ c = a ∗ (b ∗ c) = a ∗ b ∗ c.
2) Existence d’un élément neutre eG tel que ∀a ∈ G, a ∗ eG = eG ∗ a = a.
3) Existence d’inverses : ∀a ∈ G, ∃a0 ∈ G tel que : a ∗ a0 = a0 ∗ a = eG . En général, on le note
a−1 .
Exemple 1.1.1. – (Z, +), (Q, +), (Q∗ , ×), (R, +), (R∗ , x) sont des groupes infinies.
– (Z/nZ, +), ((Z/pZ)∗ , ×) avec p premier.
– Les matrices inversibles munis du produit des matrices.
– (Mn (K), +)
– Groupes de permutations
Définition 1.1.3. Un sous-ensemble F de (G, ∗) est un sous groupe si :

1) il est stable par ∗.
2) (F, ∗) a une structure de groupe, c’est-à-dire :
∗ : F ×F → F
(a, b) 7→ a ∗ b
Proposition 1.1.1. Soit (G, ∗) un groupe et F ⊂ G alors l’ensemble (F, ∗) est un sous-groupe
si et seulement si : ∀(a, b) ∈ F × F , on ait : a ∗ b−1 ∈ F .
5
6 Chapitre 1. Structures algébriques
1.1.2 Homomorphisme de groupes

Définition 1.1.4. Soient (G, ∗) et (G0 , 4) deux groupes. Une application ϕ de G → G0 est un
homomorphisme de groupes si ∀(a, b) ∈ G2 , on a :
ϕ(a ∗ b) = ϕ(a)4ϕ(b)
Exemple 1.1.2. – Les applications linéaires d’un espace vectoriel E dans lui-même sont
des homomorphismes du groupe additif (E, +).
– La fonction exponentielle est un morphisme de (C, +) → (C∗ , +). On a : exp(x + y) =
exp x exp y
Proposition 1.1.2. Soient (G, ∗) et (G0 , 4) deux groupes, ϕ est un homomorphisme de G → G0

alors :
1) Le noyau de ϕ, Ker(ϕ) = {x ∈ G | ϕ(x) = eG0 } est un sous-groupe de (G, ∗).
2) L’image de ϕ, Im(ϕ) = {ϕ(x), x ∈ G} = {y ∈ G0 , ∃x ∈ G ; y = ϕ(x)} est un sous-groupe de
(G0 , 4).
1.1.3 Groupes opérant sur un ensemble

Définition 1.1.5. (G, ∗) un groupe, X un ensemble. On considère SX l’ensemble des bĳections
de X → X. On dit que le groupe (G, ∗) agit sur l’ensemble X s’il existe un morphisme α de
(G, ∗) sur (SX , ◦) tel que :
α : G → SX
g 7→ α(g)
et
α(g) : X → X
x 7→ α(g)(x)
α(g) est une bĳection de X. α est un morphisme de groupes, c’est-à-dire ∀g, h ∈ G : α(g ∗ h) =
α(g) ◦ α(h). C’est-à-dire ∀x ∈ X, α(g ∗ h)(x) = (α(g) ◦ α(h))(x).
Notation. Pour alléger les notations :

1. Pour g, h ∈ G, on notera gh = g ∗ h.
2. Pour g ∈ G, x ∈ X, on notera g.x = α(g)(x).
Donc : la Définition 1.1.5. s’écrit de cette manière : g.(h.x) = (gh).x.
Exemple 1.1.3. 1. G agit sur lui-même :

– par translation : g.x = gx ou bien g.x = xg, x ∈ G et g ∈ G.
– par automorphisme intérieur : g.x = gxg −1 ou g 0 xg, x ∈ G et g ∈ G.
2. E un espace vectoriel, G = GL(E), u ∈ GL(E), x ∈ E, u.x = u(x).
Définition 1.1.6. G opérant sur X, x ∈ X :
Gx = {g ∈ G | g.x = x}
est un sous-groupe de G appelé stabilisateur de x.
Définition 1.1.7. L’ensemble G.x = {g.x, g ∈ G} ⊂ X est appelé l’orbite de X (sous l’action
de G).
Chapitre 1. Structures algébriques 7
Proposition 1.1.3. \
Ker α = Gx
x∈X
Démonstration. Soit α : G → SX . Alors :

\
Ker α = {g ∈ G | α(g) = idX } = {g ∈ G | ∀x ∈ X, g.x = x} = Gx
x∈X
Proposition 1.1.4. Les sous-groupes Gx et Gy sont conjugés si x et y sont dans la même

orbite (y ∈ G.x).
Démonstration. Si x et y sont dans la même orbite : ∃g ∈ G, y = g.x :
Gy = {h ∈ G, h.y = y} = {h ∈ G, h.(g.x) = g.x} = {h ∈ G, (g −1 hg).x = x}
h ∈ Gy ⇔ g −1 hg ∈ Gx donc Gy = gGx g −1 .
Définition 1.1.8. – On dit que G opére transitivement sur X si ∀(x, y) ∈ X 2 , ∃g ∈ G tel
que y = g.x.
– On dit que G opére fidèlement sur X si la relation ∀x, gx = x ⇒ g = eG . On a alors :
Ker α = {eG }.
Proposition 1.1.5. Soit G commutatif, opérant fidèlement et transitivement sur X. Alors
∀(x, y) ∈ X 2 , ∃!g ∈ G tel que y = g.x. En particulier, ∀x ∈ X, l’application :
. : G → X
g 7→ g.x
est une bĳection.
Démonstration. Soit x ∈ X, g ∈ G tel que g.x = x (g ∈ G.x). Soit y ∈ X, le groupe agit
transitivement, ∃h ∈ G tel que y = h.x.
g.y = g.(h.x) = (gh).x = (hg).x = h.(g.x) = h.x = y
donc ∀y ∈ X, g.y = y, or le groupe opère fidèlement donc ceci implique que g = eG .
On suppose que ∃h et h0 ∈ G tel que y = h.x = h0 .x. On a alors :
h.x = h0 .x ⇔ x = (h−1 h0 ).x ⇔ h−1 h0 = eG ⇔ h = h0
d’où l’unicité.
Proposition 1.1.6. L’action de G sur X induit une relation d’équivalence sur X :
(x, y) ∈ X 2 , x ∼ y ⇔ ∃g ∈ G, y = g.x
Définition 1.1.9. La classe d’équivalence d’un élément x est son orbite G.x.
Proposition 1.1.7 (Formule des classes). Soit G un groupe fini opérant sur X un ensemble
fini. S ⊂ X un ensemble de représentants des orbites. Alors on a :
X card G
card(X) =
s∈S card Gs
Définition 1.1.10. Soit G opérant sur 2 ensembles X et Y et ϕ : X → Y une application. On
dit que ϕ est compatible avec les actions de G sur X et Y (ou G-compatible) si ∀x ∈ G, x ∈
X, ϕ(g.x) = g.ϕ(x)
| {z } | {z }
opérant sur X opérant sur Y
1.2 Ensembles quotients - groupes quotients

Définition 1.2.1. Soit X un ensemble, ∼ une relation d’équivalence sur X. L’ensemble X/ ∼
est l’ensemble des classes d’équivalence.
Définition 1.2.2. G un groupe et H un sous-groupe. La relation :
g ∼ g 0 ⇔ g −1 g 0 ∈ H ⇔ gH = g 0 H
avec :
gH = {gh, h ∈ H}
L’ensemble quotient pour cette relation d’équivalence est noté (G/H)d . C’est l’ensemble des
classes gH, g ∈ G qu’on nomme classe à droite.
On définit de même les classes à gauche Hg = {hg, h ∈ H} :
g ∼ g 0 ⇔ Hg = Hg 0 ⇔ gg 0−1 ∈ H
Exemple 1.2.1 (Exemple commutatif). C’est le cas de Z/nZ. Soit a ∈ Z alors :
a + nZ = {a + nk, k ∈ Z}
et :
a ∼ b ⇔ a − b ∈ nZ ⇔ n|a − b
Définition 1.2.3. Le groupe G agit sur (G/H)d de la manière suivante. Soit x = xH ∈ (G/H)d
avec x ∈ G, on a ainsi : g.x = (gx)H. On vérifie que l’on a bien une action de groupe sur
l’ensemble (G/H)d .
Remarque. Si on considère :
G→G
g 7→ g 0
Cette bĳection induit une bĳection de (G/H)d sur (G/H)g .
Définition 1.2.4. Si G est un groupe fini et H un sous-groupe de G, on appelle indice de H
dans G, noté [G : H] le cardinal de l’ensemble (G/H)d (ou (G/H)g ).
Proposition 1.2.1. Soit G un groupe fini, H un sous-groupe de G, on a :
card(G) = card(H)[G : H]
Démonstration. Soit xH ∈ (G/H)d , x ∈ G. Soit :
ψ : H → G
h 7→ xh
On a que ψ est injective et son image est l’ensemble xH. Donc ψ est une bĳection de H sur
xH. Ainsi, toutes les classes d’équivalences ont le même nombre d’éléments. Or, les classes
d’équivalences forment une partition de G et l’indice [G : H] désigne le nombre d’éléments de
(G/H)d , c’est-à-dire le nombre de classes d’équivalence. D’où :
card(G) = [G : H] card(H)
Définition 1.2.5 (Sous-groupe distingué (ou normal)). Un sous-groupe H d’un groupe G est
dit distingué dans G (ou normal), noté H C G s’il vérifie l’une des conditions équivalentes
suivantes :
1) ∀x ∈ G, xH = Hx
2) ∀x ∈ G, xH ⊂ Hx
3) ∀x ∈ G, xHx−1 = H
4) ∀x ∈ G, xHx−1 ⊂ H
Démonstration : Equivalence des conditions de sous-groupe distingué. 2) ⇒ 1) : On suppose
que ∀x ∈ G, xH ⊂ Hx. On démontre qu’alors on a Hx ⊂ xH. On considère x ∈ G, h ∈ H et
l’élément h−1 x.
(h−1 x)−1 = x−1 h ∈ x−1 H ⊂ Hx−1
donc ∃h0 ∈ H tel que :
x−1 h = h0 x−1 ⇔ hx = xh0
Donc : hx ∈ xH. On a bien : Hx ⊂ xH.
Proposition 1.2.2. Soit H un sous-groupe de G, la loi de composition définie sur (G/H)d
par (xH).(yH) = xyH est une application et munit (G/H)d d’une structure de groupe si et
seulement si H C G.
Démonstration. 1) On suppose que (G/h)d groupe pour la loi ∗ : (xH) ∗ (yH) = xyH avec
eH = H l’élément neutre. On démontre que H C G. Soit x ∈ G et h ∈ H.
xhx−1 H = (xH) ∗ (hH)) ∗ (x−1 H) = (xH) ∗ (x−1 H) = H
On a donc : ∀x ∈ G, xHx−1 ⊂ H : ce qui prouve que H C G.

2) On suppose que H C G. On considère :
(G/H)d × (G/H)d → (G/H)d

(xH, yH) 7→ (xH) ∗ (yH) = xyH
On suppose que x et x0 tel que xH = x0 H et y et y 0 tel que yH = y 0 H. On montre que

xyH = x0 y 0 H. Or H C G :
xyH = xHy = xHHy = xHyH = x0 Hy 0 H = x0 HHy 0 = x0 Hy 0 = x0 y 0 H
L’associativité est évidente et on a (xH)−1 = x−1 H.
Proposition 1.2.3. Soit G un groupe opérant sur un ensemble X. Soit x ∈ X alors l’orbite
de x, G.x est stable par l’action de G et G.x muni de l’action induite est isomorphe (en tant
que G-ensemble) à l’ensemble quotient G/Gx .
Démonstration. Stabilité : Soit y ∈ G.x, il existe h ∈ G tel que y = h.x, pour tout g ∈ G, on
a:
g.y = g.(h.x) = (gh).x ∈ G.x
ϕ : G → G.x
Isomorphisme : est surjective.
g 7→ g.x
ϕ(g) = ϕ(h) ⇔ g.x = h.x ⇔ (h−1 g).x = x ⇔ h−1 g ∈ Gx

Cette application induit donc une bĳection de G.x sur G/Gx compatible avec l’action G.
ϕ̃ : (G/Gx )d → G.x
h.Gx 7→ h.x
ϕ̃ compatible avec la structure de G-ensemble de (G/Gx )d et G.x ⊂ X.
ϕ̃(g(h.Gx )) = ϕ̃((gh)Gx ) = (gh).x
g.ϕ̃(h.Gx ) = g.(hx) = (gh).x

Les ensembles (G/Gx ) et G.x sont isomorphes au sens de leur structure de G-ensembles. Si G
fini :
card(G)
card(G/Gx ) = card(G.x) =
card(Gx )
[
X= s.X
s∈S
où S est un ensemble de représentants des orbites 1 . D’où le résultat :

X card G
card(X) =
s∈S card Gs
1.3 Produit direct et produit semi-direct

Proposition 1.3.1. Soient (H, ∗) et (K, 4) deux groupes. Le produit cartésien H × K =
{(h, k), h ∈ H, k ∈ K} muni de l’opération suivante · défini par :
(h, k) · (h0 , k 0 ) = (h ∗ h0 , k4k 0 )
est appelé produit direct et c’est un groupe.
Exemple 1.3.1. R × R = R2 = {(x, y), x ∈ R, y ∈ R} muni de l’addition :
(x, y) + (x0 , y 0 ) = (x + x0 , y + y 0 )
Proposition 1.3.2. Soit G produit direct de deux de ses sous-groupes. H C G, K C G tel que
H ∩ G = {e} et H.K 2 = G. Alors G ' H × K et ∀h ∈ H et ∀k ∈ K, kh = hk.
Démonstration.
ϕ : H × K → G = H.K
(h, k) 7→ h.k
ϕ est surjective. On montre que pour tout h ∈ H et pour tout k ∈ K, hk = kh. Or : K C G,
∀h ∈ H ⊂ G et ∀k ∈ K, on a :
h−1 kh ∈ K ⇒ (h−1 .k.h)k ∈ K

1
Les orbites sont disjointes ou confondues, elles forment une partition de X
2
H.K = {hk, h ∈ G, k ∈ K}
On a aussi : H C G, ∀k ∈ K ⊂ G, ∀h ∈ H, k −1 hk ∈ H et h−1 (k −1 .h.k) ∈ H car H C G. On a

| {z }
∈H
donc :
h−1 k −1 hk ∈ H ∩ K = {e}
où :
h−1 k −1 hk = e ⇔ h−1 hk = h ⇔ hk = kh
On vérifie que ϕ est un morphisme de groupes. h, h0 ∈ H, k, k 0 ∈ K.
ϕ((h, k).(h0 , k 0 )) = ϕ((hh0 , kk 0 )) = (hh0 )(kk 0 ) = h(kh0 )k = (hk)(h0 k 0 ) = ϕ(h, k).ϕ(h0 , k 0 )
ϕ injective ⇔ [ϕ(h) = e ⇔ h = e
ϕ(h) = ϕ(g) ⇔ ϕ(h)ϕ(g −1 ) = e ⇔ ϕ(h)ϕ(g −1 ) = ϕ(hg −1 ) = e ⇔ h = g
ϕ((h, k)) = e ⇔ h.k = e ⇔ h = k −1
or H ∩ K = {e} d’où le résultat.
Produit semi-direct
Définition 1.3.1. G, F deux groupes. Aut(F ) : groupe des automorphismes de F . Soit :
τ : G → Aut(F )
g 7→ τ (g)
un morphisme de groupes.
τ (g) : F → F
f 7→ τ (g)(f )
τ (g) est un morphisme bĳectif de F . On définit sur le produit cartésien F × G = {(f, g), f ∈
F, g ∈ G} l’opération suivante : τ (g) est un morphisme bĳectif de F . On définit sur le produit
cartésien F × G = {(f, g), f ∈ F, g ∈ G} l’opération suivante :
(f, g)τ (f 0 , g 0 ) = (f τ (g)(f 0 ), gg 0 )
Muni de cette loi, le produit cartésien est un groupe, on l’appelle produit semi-direct de G par
F relativement à τ . On le note F ×τ G.
Exemple 1.3.2. R2 × GL(R2 ) :
(→−u , f ).(→
−
v , g) = (→
−
u + f (→
−
v ), f × g)
Produit semi-direct de sous-groupes

Soit G groupe. Aut(G) = automorphisme de G et Int(G) = automorphismes intérieurs de
G pour a ∈ G :
ϕn : G → G
g 7→ aga−1
τ : G → Int(G)
a 7→ ϕa
Si H et K sont deux sous-groupes de G, H C K. On considère h ∈ K :
ϕk : H → H
h 7→ khk −1
τ : K → Aut(K)
k 7→ ϕk
Proposition 1.3.3. H, K deux sous-groupes de G, on suppose H C G, H ∩ K = {e} et

H.K = G :
τ : G → Int(G)
a 7→ ϕa
où
ϕa : G → G
g 7→ aga−1
Alors l’application :
ψ : H × K → G = HK
(h, k) 7→ h.k
est un morphisme de H ×τ K sur G.
Démonstration. ψ est surjective car G = HK, ψ morphisme de groupes :
ψ((h, k).(h0 , k 0 )) = ψ((h (kh0 k −1 ) , kk 0 ) = hkh0 k −1 kk 0

| {z }
ϕk (h)=τ (k)(h0 )
= (hk)(h0 k 0 ) = ψ((h, k)).ψ((h0 , k 0 ))

On a aussi :
ker ϕ = {(h, k) ∈ H × K, ψ((h, k)) = e} = {(h, k)/hk = e} = {e}
car H ∩ K = {e}
1.4 Espaces vectoriels

Définition 1.4.1. Soit (E, +) un groupe abélien et K un corps commutatif. On définit une
opération externe :
. : K ×E → E
(λ, →
−
u ) 7→ λ→ −
u
L’ensemble (E, +, .) est un espace vectoriel sur le corps K si pour tout (α, β) ∈ K 2 et pour
tout (→
−
u ,→
−
v ) ∈ E 2 , on a :
1) (α + β)→
−u = α→ −u + β→−u
2) α(→
−
u +→ −
v ) = α→
−u + α→
−
v
→
− →
−
3) α(β u ) = (αβ) u
4) 1.→
−
u =→
−
u
Proposition 1.4.1. E est de dimension n alors E ' Rn .
Définition 1.4.2. E et F deux espaces vectories sur un corps K, une application ϕ : E × F

est dite linéaire si ∀(λ, µ) ∈ K 2 , ∀(→
−
u ,→
−
v ) ∈ E.
ϕ(λ→
−
u + µ→
−
v ) = ϕ(λ→
−
u ) + ϕ(µ→
−
v ) = λϕ(→
−
u ) + µϕ(→
−
v)
On note l’ensemble des applications qui va de E dans F : L(E, F ).
Définition 1.4.3. GL(E) = groupe linéaire = groupes des automorphismes de E.

Espaces vectoriels quotients

Soit E un espace vectoriel sur K et F un sous-espace vectoriel de E, l’ensemble E est
en particulier un groupe additif et F est un sous-groupe, on peut considérer le groupe quo-
tient E/F . Cet ensemble est naturellement muni d’une structure d’espace vectoriel, en effet,
considérons la surjection canonique p de E sur E/F qui à un vecteur x de E associe sa classe
X = x + F ∈ E/F , c’est un morphisme de groupes (remarquons, au passage, la notation
additive x + F pour désigner la classe d“équivalence modulo F , x + F = {x + y, y ∈ F }).
Soient x et x0 ∈ X, λ ∈ K. On montre que p(λx) = p(λx0 ). On a :
p(λx) − p(λx0 ) = p(λx − λx0 ) = p(λ(x − x0 ))
or, λ(x − x0 ) ∈ F , donc p(λ(x − x0 )) = 0, ainsi λx + F = p(λx) ne dépend que X et non de

x, on peut donc définir une opération externe de K × E/F dans E/F qui envoie (λ, X) sur
λ.X = p(λx) pour x ∈ X. L’ensemble (E/F, +, .) est alors un K-espace vectoriel et l’application
p est K-linéaire.
Proposition 1.4.2. Soient E et F deux espaces vectoriels et ϕ : E → F une application,

notons N = ker ϕ, I = Im ϕ, p : E → E/N la projection canonique et j : I → F l’injection
canonique. Soit ϕ̃ = E/N → I tel que ϕ = j ◦ ϕ̃ ◦ p.
alors, l’application ϕ̃ est un homomorphisme d’espaces vectoriels de E/N sur I.
Démonstration. L’application ϕ̃ est injective et surjective par définition et si λ, µ ∈ K, X, Y ∈

E/N , x ∈ X et y ∈ Y , on a :
ϕ̃(λX + µY ) = ϕ̃(λp(x) + µp(y)) = ϕ̃(p(λx + µy)) = (ϕ̃ ◦ p)(λx + µy)
= ϕ(λx + µy) = λϕ(x) + µϕ(y) = λ(ϕ̃ ◦ p)(x) + µ(ϕ̃ ◦ p)(y) = λϕ̃(X) + µϕ̃(Y )
Exemple 1.4.1. Soit ψ une application linéaire de Rn dans Rn , on suppose l’application ψ de

rang n − 1, ainsi dim Im ψ = n − 1 et dim ker ψ = 1. L’ensemble :
H = Im ψ ' Rn / ker ψ
est un hyperplan de Rn .
Chapitre 2
Espaces affines
Les définitions que nous donnerons ici reposent sur l’algèbre linéaire, nous verrons dans le
chapitre suivant la définition axiomatique du plan et de l’espace (à trois dimensions) affines.
Nous noterons E un espace vectoriel sur un corps K de caractéristique 0, dans la pratique
sur le corps R des réels.
Définition 2.0.1. On appelle espace affine dirigé par E tout ensemble E sur lequel le groupe
additif de l’espace vectoriel E opère transitivement et fidèlement. C’est-à-dire que l’on définie
une loi externe :
E ×E → E
(M, →−
v ) 7→ M + → −v
telle que pour tout (M, N ) ∈ E 2 il existe un unique →
−v dans E tel que N = M + → −v on note
→
− −−→ −−→
alors v = M N et pour O fixé dans E, l’application M 7→ OM est une bĳection de E sur E.
Cette définition nous fournit une notation cohérente : M + →
−v qui désigne l’unique point N tel
−−→ → − →
−
que M N = v , ce que l’on peut encore écrire v = N − M . Nous verrons plus tard comment le
calcul barycentrique permet de donner du sens à la notation M + N .
Conséquence. Relations de Chasles :

−→ → −
1) Pour tout A ∈ E, AA = 0 .
−→ −→ −→
2) Pour tout A, B ∈ E, B = A + AB et BA = −AB.
−→ −→ −−→
3) Pour tout A, B, C ∈ E, on a : AB = AC + CB.
−→ −−→ −−→ −−→
Parallèlogramme : Soient A, B, C, D ∈ E, alors AB = DC ⇔ AD = BC (Chasles), on dit dans
ce cas que ABCD est un parallèlogramme. Les bipoints (A, B) et (D, C) sont dits équipollents.
La relation d’équipollence est une relation d’équivalence sur les bipoints de E et les vecteurs de
E sont les classes d’équivalence.
On aurait pu aussi bien définir l’espace affine E de la manière suivante.
14
Chapitre 2. Espaces affines 15
Définition 2.0.2. Un ensemble E est muni d’une structure d’espace affine de direction E par
la donnée d’une application Φ de E × E dans E :
∗E × E → E
−→
(A, B) 7→ AB
telle que :
−→
1) Pour tout point A dans E, l’application B 7→ AB est une bĳection de E sur E.
−→ −→ −−→
2) Pour tous points A, B et C de E, on a la relation de Chasles AB = AC + CB.
2.1 Translations
Définition 2.1.1. Pour →
−
u ∈ E fixé, l’application de E dans E qui envoie un point M sur
N = M + v est appelée translation de vecteur →
→
− −
u , notée t−
u . On a les propriétés suivantes :
→
1) Pour M ∈ E et →
−u ∈ E, t− →
−
u (M ) = M + u .
→
2) t− →
− →
−
→ = id et pour u et v ∈ E, t−→ ◦ t−
→ = t−
→ −→.
0 E u v u+v
3) Pour tout →
− −1 −
→
u ∈ E, t−
u est bĳective et (t−
→ u)
→ = t− u .
Proposition 2.1.1. L’ensemble T (E) des translations de E est un groupe isomorphe au groupe
additif de E par l’application →
−
u de E dans T (E).
u 7→ t−
→
2.2 Vectorialisé d’un espace affine

En choisissant un point O de E comme origine de notre espace affine, on construit une
bĳection de E dans E :
E → E
−−→
M 7→ OM
→
−
On note EO l’espace vectoriel isomorphe à E obtenu. Le point O s’envoie sur 0 de E, c’est le
zéro de l’espace EO . On transporte ainsi la structure d’espace vectoriel de E sur E.
2.3 Sous-espace affine

Soit E un espace affine de direction E. Soit F une partie de E.
Proposition 2.3.1. Les conditions suivantes sont équivalentes :

−−→
(i) ∃A ∈ F, FA = {AM , M ∈ F} soit un sous-espace vectoriel de E.
→
−
(ii) ∀A ∈ F, FA = { A , M ∈ F} est un sous-espace vectoriel de E.
Alors pour A, B ∈ F, on a FA = FB et (F, FA ) est un espace affine.
Définition 2.3.1. Une partie F de E qui vérifie la proposition ci-dessus esta ppelée sous-espace
affine de E.
Un sous-espace affine est donc défini par la donnée d’un point de E et d’un sous-espace
vectoriel de E, directeur.
16 Chapitre 2. Espaces affines
2.4 Dimension, repère affine

Soit E un espace affine dirigé par un espace vectoriel E de dimension n sur le corps K,
l’espace affine est alors dit de dimension n. Si l’on choisit une origine O pour l’espace affine E,
et une base (→−e1 , ..., →
−
en ) pour l’espace vectoriel E alors tout point M de E peut être repéré de
la manière suivante :
−−→
∃!(a1 , ..., an ) ∈ K n , OM = a1 →
−
e1 + ... + an →
−
en
−−→ −
par ailleurs, pour tout i, 1 ≤ i ≤ n, il existe un unique point Ai ∈ E tel que OAi = → ei , ainsi le
−−→
vecteur OM s’écrit :
−−→ −−→ −−→
OM = a1 OA1 + ... + an OAn
L’ensemble (O, A1 , ..., An ) est appelé repère affine de l’espace E, les coordonnées du vecteur
−−→ −−→
OM dans la base (OAi )1≤i≤n sont les coordonnées cartésiennes du point M dans ce repère. Il
faut donc n + 1 points pour repérer les points d’un espace affine de dimension n.
2.5 Barycentres et coordonnées barycentriques

Il y a une autre manière, plus naturelle, de repérer les points dans un espace affine, ce sont
les barycentres. C’est une notion purement affine, elle ne nécessite pas de vectorialiser l’espace
E en lui choissisant une origine.
Définition 2.5.1. Soient A1 , ..., Ak des points de l’espace affine E et soient α1 , ..., αk des sca-
laires.
−−→ → −
1) Si ki=0 ai 6= 0, il existe un unique point G de E tel que ki=1 αi GAi = 0 , de plus, si note
P P
α = ki=1 αi et si O est un point quelconque de E, le point G défini par :

P
k
−→ 1 X −−→
OG = αi OAi
α i=1
et ne dépend pas de O.
−−→
2) Si ki=1 αi = 0 et si O est un point quelconque de E, le vecteur
P Pk
i=1 αi OAi , ne dépend pas
de O.
Pk
Lorsque i=1 αi 6= 0, le point G est appelé barycentre du système pondéré (A1 , α1 ), ..., (Ak , αk ).
Remarque. Si λ est un scalaire, le barycentre du système (A1 , λα1 ), ..., (Ak , λαk ) est le même
que le barycentre du système (A1 , α1 ), ..., (Ak , αk ), on peut supposer que ki=0 αi = 1.
P
Nous traduisons alors la définition ci-dessus par la proposition suivante :

Proposition 2.5.1. Soient A1 , ..., Ak des points de l’espace affine E et soient α1 , ..., αk des
scalaires, on suppose que ki=0 αi = 1, les conditions suivantes sont équivalentes :
P
−−→ → −
(i) ki=1 αi GAi = 0
P
−→ P −−→
(ii) ∃A ∈ E, AG = ki=1 αi AAi
−→ P −−→
(iii) ∀A ∈ E, AG = ki=1 αi AAi
On pourra alors écrire G = α1 A1 + α2 A2 + ... + αk Ak .
Exemple 2.5.1. – Soient A et B deux points de E, le point 21 A + 21 B désigne le milieu du
segment [AB].
– Soient A, B, C trois points non alignés, le point G = 13 A + 31 B + 13 C désigne le centre de
gravité du triangle (ABC).
2.5.1 Coordonnées barycentriques

Soit E un espace affine de dimension n dirigé par l’espace vectoriel E. Soient (A0 , A1 , ..., An ),
n + 1 points de E formant un repère affine de E. Soit M ∈ E, les coordonnées cartésiennes M
−−−→ −−−→ −−−→
dans le repère (A0 , A1 , ..., An ) sont les coordonnées de A0 M dans la base de E, A0 A1 , ..., A0 An ,
on a donc :
−−−→ −−−→ −−−→
A0 M = λ1 A0 A1 + ... + λn A0 An
ou encore :
n
!
X −−−→ −−−→ −−−→ → −
1− λi A0 M + λ1 A1 M + ... + λn An M = 0
i=1
ainsi, le point M est le barycentre du système (A0 , λ0 ), ..., (An , λn ) avec λ0 = 1 − ni=1 λi . Tout
P
point M de E est barycentre d’un système (A0 , λ0 ), ..., (An , λn ) avec ni=0 λi = 1, on peut alors
P
écrire :
M = λ0 A0 + ... + λn An
Les scalaires λ0 , ..., λn sont les coordonnées barycentriques de M dans le repère affine (A0 , A1 , ..., An ).
Nous avons ainsi une nouvelle définition d’un sous-espace affine exprimée par la proposition
suivante :
Proposition 2.5.2. Soit F une partie d’un espace affine (E, E), alors F est un sous-espace
affine de E si et seulement si pour tout ensemble fini I, pour toute famille de points (Mi )i∈I et
P
toute famille de scalaires (λi )i∈I avec i∈I λi = 1, le barycentre du système (Mi , λi )i∈I appartient
à F.
−−→
Démonstration. 1) Soit F un sous-espace affine de E, soit A ∈ F, alors FA = {AM , M ∈ F}
est un sous-espace vectoriel de E. Soit (Mi )i∈I une famille finie de points de F et soit (λi )i∈I
P
une famille de scalaires tels que i∈I λi = 1, montrons que le barycentre M des (Mi , λi )i∈I
est dans F. On a : X −−→ X −−→
M= λi Mi ⇒ AM = AMi
i∈I i∈I
−−→
or les (Mi )i∈I sont des points de F, donc les vecteurs (AMi )i∈I sont des vecteurs de FA et
comme FA est un sous-espace vectoriel de E, il est stable par combinaison linéaire, donc
−−→
AM ∈ FA et ainsi M ∈ F.
2) Réciproquement, soit F un sous-ensemble de E tel que pour tout ensemble fini I, pour toute
P
famille de points (Mi )i∈I et toute famille de scalaire (λi )i∈I avec i∈I λi = 1, le barycentre
du système (Mi , λi )i∈I appartient à F. Montrons que F est un sous-espace affine de E,
−−→
pour cela on considère A ∈ F et on montre que FA = {AM , M ∈ F} est un sous-espace
−−→
vectoriel de E. Soit (Mi )i∈I des points de F, les vecteurs (AMi )i∈I sont des vecteurs de FA ,
P −−→
on considère des scalaires (αi )i∈I , montrons que la combinaison linéaire i∈I αi AMi est dans
−−→ P −−→
FA , c’est-à-dire qu’il existe M ∈ F tel que AM = i∈I αi AMi , or :
!
−−→ X −−→ X X
AM = αi AMi ⇔ M = 1 − αi A + αi Mi
i∈I i∈I i∈I
c’est-à-dire que M est le barycentre des points pondérés (A, (1 −

P
i∈I αi )) et (Mi , αi )i∈I .
Un sous-espace affine est donc une partie non-vide stable par barycentre.
Définition 2.5.2. Soit (Mi )i∈I une famille de points de E, on appelle sous-espace affine engen-
dré par la famille (Mi )i∈I , l’ensemble des barycentres des points (Mi )i∈I pondérés. C’est le plus
petit sous-espace affine de E contenant les points (Mi )i∈I .
2.5.2 Famille affinement libre

Soit (Mi )i∈I une famille de poitns d’un espace affine E cette famille est dite affinement libre
si elle vérifie les conditions équivalentes dans la proposition suivante :
Proposition 2.5.3. Il y a équivalence de :

(i) Aucun des points Mi (i ∈ I) ne peut s’exprimer comme barycentre des autres.
−−−−→
(ii) ∃i0 ∈ I tel que (Mi0 Mi )i∈I\{i0 } est un système libre de E.
−−−−→
(iii) ∀i0 ∈ I, (Mi0 Mi )i∈I\{i0 } est un système libre de E.
(iv) ∀j ∈ I, Mj n’appartient pas au sous-espace affine engendré par les (Mi )i∈I\{j} .
Un espace affine engendré par n + 1 points est de dimension n si et seulement si ces points
son affinement libres.
Une base affine de E est une famille affinement libre de points qui engendre E.
2.6 Plongement dans un espace vectoriel

Proposition 2.6.1. Soit E un espace affine dirigé par un espace vectoriel E. Alors il existe
un espace vectoriel Ê et une forme linéaire non nulle sur Ê, ϕ, tels que E soit isomorphe à
l’espace affine ϕ−1 ({1}) = {x ∈ Ê, ϕ(x) = 1}, dirigé par le sous-espace vectoriel ker ϕ. L’espace
vectoriel ker ϕ opère sur E ' ϕ−1 ({1}) par l’addition de Ê.
Démonstration. Soit Ê = K × E et ϕ : K × E → K la forme linéaire définie par ϕ(λ, → −
v ) = λ.
Alors ker ϕ opère sur ϕ−1 ({1} par addition de Ê. L’application α : E → ker ϕ définie par
α(→−
u ) = (0, →
−
u ) est un isomorphisme d’espaces vectoriels. Si A ∈ E, alors β : E → ϕ−1 ({1})
−−→
définie par β(M ) = (1, AM ) est une bĳection, ainsi, les espaces affines E et ϕ−1 ({1}) sont
isomorphes.
Eclairage :
R3 = {(x, y, z), x ∈ R, y ∈ R, z ∈ R}
On considère un plan dans R3
P : ax + by + cz + d = 0
et :
P : ax + by + cz = 0
On a que P est un sous-espace vectoriel de R3 , direction du plan affine P. On considère :
ϕ : R3 → R
(x, y, z) 7→ ax + by + cz
ϕ est une forme linéaire.
ϕ−1 ({0}) = {(x, y, z) | ax + by + cz = 0} (plan vectoriel de R3 )
ϕ−1 ({1}) = {(x, y, z) | ax + by + cz = 1} (plan affine de R3 )

et on considère :
M = x0 A0 + x1 A1 + x2 A2 avec x0 + x1 + x2 = 1
−−→ −−→ −−→ −−→
OM = x0 OA0 + x1 OA1 + x2 OA2 = x0 → −
e 0 + x1 →
−
e 1 + x2 →
−
e2
avec (→
−
e0 , →
−
e1 , →
−
e2 ) une base de R3 . Donc :
−−−→ −−−→ −−−→
A0 M = x1 A0 A1 + x2 A0 A2
−−−→ −−−→
en vectorialisant le plan affine engendré par (A0 , A1 , A2 ) en (A0 , A0 A1 , A0 A2 )
Proposition 2.6.2. Soient A, B, C, D quatre points d’un plan vectoriel P, on suppose que
(ABCD) est un parallélogramme, alors ses diagonales se coupent en leur milieu.
Démonstration. On considère A, B, C, D comme des vecteurs d’un espace affine dans lequel est
plongé P. On a :
−→ −−→ 1 1 1 1
AB = DC ⇔ B − A = C − D ⇔ B + D = A + C ⇔ B + D = A + C
2 2 2 2
Remarque. Nous n’avons jusque là pas précisé le corps de base de l’espace vectoriel, étant plus
ou moins sous-entendu que la géométrie qui nous intéresse dans ce cours est la géométrie de
Rn , il est toutefois intéressant de noter que le résultat précédent n’a de sens que si le corps K
n’est pas de caractéristique 2.
2.7 Droite dans un plan en coordonnées cartésiennes et

barycentrique
On considère le plan affine réel P (espace affine de dimension 2) dirigé par un espace vectoriel
E isomorphe à R2 . Soient A et B deux points de P, la droite affine passant par A et B est
l’ensemble des barycentres des points A et B, c’est-à-dire :
M ∈ (AB) ⇔ ∃t ∈ R, M = tA + (1 − t)B
Par ailleurs, si (O, I, J) est un repère affine de P, on peut repérer un point M par ses co-
−−→ −→ −→
ordonnées cartésiennes (x1 , x2 ) ∈ R2 telles que OM = x1 OI + x2 OJ ou par ses coordonnées
barycentriques (x0 , x1 , x2 ) ∈ R3 telles que M = x0 O + x1 I + x2 J avec x0 + x1 + x2 = 1. Notons
(a1 , a2 ) les coordonnées de A et (b1 , b2 ) celles de B,
−−→ −→
M ∈ (AB) ⇔ ∃λ ∈ R, AM = λAB
ce qui équivaut à la nullité des déterminants suivants :

0 0 1 1 1 1
x
1 − a1 b1 − a1
0= = x1

− a1 b1 − a1 a1 = x1 b1 a1
x2 − a2 b 2 − a2

− a2 b 2 − a2 a2 x 2 b 2 a2

x2
posons x0 = 1 − (x1 + x2 ), a0 = 1 − (a1 + a2 ) et b0 = 1 − (b1 + b2 ), on a alors :

1 1 1 x0 b0 a0

x1 b1 a1 = x1 b1 a1 = 0

x2 b2 a2 x2 b2 a2
On obtient alors la proposition suivante :

Proposition 2.7.1. Trois points du plan affine sont alignés si et seulement si le déterminant
de leur coordonnées barycentriques dans un repère affine est nul.
Il est clair que ceci peut se généraliser aux espaces affines de dimension quelconque. Dans
un espace de dimension n, n points sont affinements liés si et seulement si le déterminant de
leur coordonnées barycentriques dans un repère affine est nul.
La nullité des déterminants précédents nous fournit une équation de la droite affine (AB)
en coordonnées cartésienne :
M (x1 , x2 ) ∈ (AB) ⇔ (b2 − a2 )x1 − (b1 − a1 )x2 = a1 b2 − a2 b1
ou en coordonnées barycentriques
(b1 a2 − b2 a1 )x0 + (b2 a0 − b0 a2 )x1 + (b0 a1 − b1 a0 )x2 = 0
Si l’on se place dans l’espace Ê, une droite de P a pour équations x0 + x1 + x2 = 1 et une
équation de la forme ax0 + bx1 + cx2 = 0, c’est l’intersection du plan affine P d’équation
x0 + x1 + x2 = 1 et d’un plan vectoriel qui n’est pas parallèle à P. On va préciser cette notion
de parallèlisme.
2.8 Intersection et parallélisme

Contrairement à l’intersection des sous-espaces vectoirels, l’intersection de sous-espaces af-
fines peut être vide, c’est le cas par exemple des droites parallèles.
Définition 2.8.1. Soient F et G deux sous-espaces affines d’un espace E, soient F et G leurs
directions respectives, on dit que F et G sont parallèles si F = G.
Notons que cette relation est une relation d’équivalence, elle ne recouvre pas tous les cas
de sous-ensembles disjoints. On peut définir une notion de parallèlisme faible lorsque F ⊂ G.
Les espaces affines que nous avons définis vérifient le postulat d’Euclide. C’est la proposition
suivante :
Proposition 2.8.1. Par tout point d’un espace affine, il passe une unique droite à une droite
donnée.
Démonstration. Soit D une droite de E dirigée par D et A un point. Alors droite passant par
A et parallèle à D est définie par :
−−→
D0 = {M ∈ E, AM ∈ D}
Proposition 2.8.2. E espace affine dirigé par E, (F, F ) et (G, G) deux espaces affines. Soit
A ∈ F et B ∈ G :
−→
(i) F ∩ G =
6 ∅ ⇔ AB ∈ F + G
(ii) Si F ∩ G =
6 ∅, alors F ∩ G est dirigé par F ∩ G.
(iii) H l’espace affine engendré par F ∪ G (plus petit espace affine contenant la réunion F ∪ G),
H l’espace vectoriel direction de H :
a) F ∩ G =6 ∅, H est engendré par H = F + G.
−→
b) F ∩ G = ∅, H = (F + g) ⊕ k AB
(iv) Si F + G = E, alors tout sous-espace parallèle à F rencontre G.
Démonstration. (i) (⇒) Supposons F ∩ G =6 0 alors H = F ∩ G. On prend A ∈ F et B ∈ G
−−→ −−→
alors AM ∈ F et AM ∈ G donc :
−→ −−→ −−→
AB = AM | {zB} ∈ F + G
| {z } + M
∈F ∈G
−→ −→ − →
(⇐) ∀A ∈ F, ∀B ∈ G, AB ∈ F + G. On écrit AB = → u +−v . Il existe un unique M ∈ F
−−→ → −−→ −
(respectivement N ∈ G) tel que AM = u (respectivement N B = →
− v ). On a :
−→ −−→ −−→ −−→ → −−→ −
AB = AM + M N + N B = −
u + MN + →
v =→
−
uv
−−→ → −
donc M N = 0 d’où M = N et F + G =
6 ∅.
(ii) évident
(iii) Soit H le sous-espace affine engendré par F ∩ G
a) F ∩ G = ∅, M ∈ F ∩ F. Soit :
−−→ −−→ −−→
H = HM = {M N , N ∈ H} ⊃ {M N , N ∈ F} ∪ {M N , N ∈ G} = F ∪ G
| {z } | {z }
F ⊂H G⊂H
On a donc : F ∪ G ⊂ H et donc F + G ⊂ H. On considère l’espace affine H0 passant

par M et dirigé par (F + G) :
−−→
H0 = {N ∈ E, M N ∈ F + G}
On démontre que H = H0 . On a : F ∪ G ⊂ H0 donc F ∪ G ⊂ H ⊂ H0 car H est le plus

petit sous-espace affine contenant F ∪ G. On a ainsi : H ⊂ H0 ⇒ H ⊂ H 0
−→
b) F ∩ G = ∅. Soit A ∈ F, B ∈ G, tel que AB 6∈ F + G. On considère K le corps de base
et :
−→ −→ −→
K AB = {k AB, k ∈ K} (droite vectoirelle engendrée par AB)
−→ →
−
On a ainsi K AB ∩ (F + G) = { 0 }, H0 est un sous-espace affine contenant F ∪ G, H 0
−→
sa direction (AB ∈ H, F ⊂ H 0 , G ⊂ H 0 ).
−→
K AB ⊕ (F + G) ⊂ H 0
On considère maintenant :
−→ −−→ −→
H0 = A + (K AB ⊕ (F + G)) = {N ∈ E, AN ∈ K AB ⊕ (F + G)}
−→
On a : F ∪ G ⊂ H0 donc H0 contient H. On a donc : H = K AB ⊕ (F + G).
(iv) Soit M ∈ E et F 0 le sous-espace affine passant par M et dirigé par F , si B ∈ G, on a :

−−→
M B ∈ E = F + G, ainsi d’après (i), F 0 ∩ G 6= ∅.
Tout plan parrallèle au plan du point O rencontre la droite (OG).
2.9 Applications affines

Proposition 2.9.1. Soient E, F deux espaces affines, soit E, F deux espaces vectoriels. f :
E → F est dite affine si les propriétés équivalentes suivantes.
(i) ∃ϕ : E → F linéaire tel que ∀(M, N ) ∈ E 2 :
−−−−−−−→ −−→
f (M )f (N ) = ϕ(M N )
| {z } | {z }
∈F ∈E
(ii) ∃O ∈ E et une application linéaire ϕ : E → F tel que ∀M ∈ E :

−−−−−−−→ −−→
f (O)f (M ) = ϕ(OM )
Démonstration. (i) ⇒ (ii) est clair. On montre que (ii) ⇒ (i). On suppose ∃O ∈ E et ϕ ∈
−−−−−−−→ −−→
L(E, F ) tel que ∀M , f (O)f (M ) = ϕ(OM ). M et N ∈ E :
−−−−−−−→ −−→ −−−−−−−→ −−→
f (O)f (M ) = ϕ(OM ) f (O)f (N ) = ϕ(ON )
−−−−−−−→ −−−−−−−→ −−−−−−−→ −−−−−−−→ −−−−−−−→
f (M )f (N ) = f (M )f (O) + f (O)f (N ) = −f (O)f (M ) + f (O)f (N )
−−→ −−→ −−→ −−→ −−→
= −ϕ(OM ) + ϕ(ON ) = ϕ(−OM + ON ) = ϕ(M N )
→
−
Notation. On notera ϕ = f
Proposition 2.9.2. f : E → F, f affine ⇔ f conserve les barycentres. Soient (Mi , λi )i∈I avec
I fini tel que : X
λi = 1
i∈I
X X
f λi Mi = λi f (Mi )
Démonstration. (⇒) On suppose que f est affine. A ∈ E, on a :

−−−−−−−→ −−→ −−→
f (A)f (Mi ) = ϕ(AMi ) ⇔ f (Mi ) = f (A) + ϕ(AMi )
P −−→ P −−→
avec ϕ linéaire associée à f . Soit M = λi Mi donc AM = λi AMi
X X −−→ X X −−→
λi f (Mi ) = λi (f (A) + ϕ(AMi ) = λi f (A) + λi ϕ(AMi )
| {z }
=1
X −−→ −−→
= f (A) + ϕ λAMi = f (A) + ϕ(AM )
−−−−−−−→ −−→
f (A)f (M ) = ϕ(AM )
−−→
donc : f (A) + ϕ(AM ) = f (M ) = f ( λi Mi ) donc f conserve les barycentres.
P
(⇐) (M1 , a1 ), ..., (Mn , an ) avec a1 + ... + an = 1 :
M = a1 M1 + ... + an Mn
f (M ) = a1 f (M1 ) + ... + ak f (Mk )

Pour démontrer que f est affine, on définit ϕ à partir de f et on montre que ϕ est linéaire.
Soit →
−u ,→
−
v ∈ E, →
−
w =→ −
u +→ −v . On montre alors que ϕ(→ −
w ) = ϕ(→−u ) + ϕ(→
−
v ). Alors il exite
−−→ −−→
un unique M ∈ E tel que u = OM , il existe un unique N ∈ E, tel que →
→
− −
v = ON et il
−→
existe un unique P ∈ E, tel que →−
w = OP .
→
− −→ −−→ −−→ −→ −−→ −→ −−→
w =→
−
u +→
−
v ⇔ OP = OM + ON = OP + P M + OP + P N
−−→ −−→ −→ → −
⇔ PM + PN − PO = 0
P barycentre de (M, 1), (N, 1), (O, −1), ainsi :
P =M +N −O
or f , par hypothèse, conserve les barycentres :
f (P ) = f (M ) + f (N ) − f (O)
d’où :
−−−−−−→ −−−−−−−→ −−−−−−−→ −→ −−→ −−→
f (O)f (P ) = f (O)f (M )+f (O)f (N ) ⇔ ϕ(OP ) = ϕ(OM )+ϕ(ON ) ⇔ ϕ(→
−
w ) = ϕ(→
−
u )+ϕ(→
−
v)
Soit →
−
u ∈ E et λ ∈ K,
−−→
OM =→−u −−→ −−→
⇔ ON = λOM ⇔ N − O = λM − λN (dans Ê)
−
−→
ON = λ→
−u
⇔ N = λM + (1 − λ)O
or f conserve les barycentres (par hypothèse) :
−−→ −−−−−−−→ −−−−−−−→
f (N ) = λf (M ) + (1 − λ)f (0) ⇔ ϕ(λ→
−
u ) = ϕ(ON ) = f (O)f (N ) = λf (O)f (M ) = λϕ(→
−
u)
Conséquence. Une application affine conserve l’alignement. Précisions : soit D = (AB) une
droite affine, on suppose que f (A) 6= f (B), alors f (D) est une droite. En effet, si D = (AB) alors
tout point M ∈ D s’écrit M = λA+(1−λ)B avec λ ∈ K, on a alors f (M ) = λf (A)+(1−λ)f (B),
ainsi f (D) = (f (A)f (B)).
Remarque. – Compte tenu du prolongement de l’espace affine E dans un espace vectoriel
Ê, une application affine définie sur E sur la restriction d’une application linéaire de Ê.
Les points de E sont des vecteurs de Ê.
– Si (λi )1≤i≤k est une famille de scalaires tels que ki=1 λi = 0, alors si (Mi )1≤i≤k est une
P
famille de points de E, on a :
k k
!
X X
λi f (Mi ) = ϕ λi Mi
i=1 i=1
En effet, ki=1 λi Mi est un vecteur de E, si O est un point quelconque de E, c’est le vecteur

P
Pk −−→
i=1 λi OMi qui est indépendant du point O.
2.10 Groupes affines

Proposition 2.10.1. Soient f : E → E 0 et g : E 0 → E 00 deux applications affines, on note ϕ et
ψ leurs applications linéaires associées respectives alors :
(i) l’application g ◦ f est affine et son application linéaire ψ ◦ ϕ.
(ii) l’application f est bĳective si et seulement si ϕ est un isomorphisme linéaire, l’application
linéaire assoicée à f −1 est ϕ−1
(iii) Si F ⊂ E est un sous-espace affine de E, alors f (F) est un sous-espace de E 0
(iv) Si F 0 ⊂ E 0 est un sous-espace affine de E 0 , alors, si f −1 (F 0 ) n’est pas vide, c’est un
sous-espace affine de E.
Démonstration. (i) Il est clair en considérant la conservation des barycentres que la composée
g ◦ f est affine. Soient M et N deux points de E, on a :
−−−−−−−−−−−−→ −−−−−−−→ −−→ −−→
g ◦ f (M )g ◦ f (N ) = ψ(f (M )f (N )) = ψ(ϕ(M N )) = ψ ◦ ϕ(M N )
(ii) Supposons f bĳective, alors pour tout N ∈ E 0 , il existe un unique M ∈ E tel que f (M ) =
N . Soit O un point de E et v un vecteur de l’espace vectoriel E 0 , direction de E 0 , on montre
qu’il existe un unique u ∈ E, direction de E, tel que ϕ(u) = v. Or, :
−−−−→
∃!N ∈ E 0 , f (O)N = v
et
∃!M ∈ E, N = f (M )
on a donc −−−−→ −−−−−−−→ −−→
v = f (O)N = f (O)f (M ) = ϕ(OM )
−−→
Par conséquent, il existe un unique vecteur u ∈ E tel que v = ϕ(u), c’est u = OM et ϕ
est une application linéaire bĳective de E dans E 0 .
−−−−→
Réciproquement, on suppose ϕ bĳective, soit O ∈ E et N ∈ E 0 . On note →
−
v = f (O)N ∈ E 0 .
Il existe un unique vecteur →−
u ∈ E tel que →
−v = ϕ(→ −u ), or :
−−→
∃!M ∈ E, →
−
u = OM
on a donc : −−−−−−−→ −−−−→

→
− −−→
v = ϕ(OM ) = f (O)f (M ) = f (O)N
donc :
∃!M tel que N = f (M )
Notation. On va noter :
GA(E) = {f : E → E, bĳective et affine}
Proposition 2.10.2. L’application ψ :

ψ : GA(E) → GL(E)
→
−
f 7→ f
est un morphisme surjectif de groupes dont le noyau ker ψ est le groupe des translations de E.
De plus ker ψ est distingué dans GA(E).
Démonstration. La Proposition 2.10.1 nous montre que ψ est un morphisme de groupes, on
vérifie qu’il est surjectif. Soit ϕ ∈ GL(E) et soient O et O0 deux points de E. L’application de
−−→
E de E qui envoie un point M sur le vecteur OM est une bĳection, on définit l’application f
−−→ −−−−−→
sur E par f (M ), le point E tel que ϕ(OM ) = O0 f (M ).
On regarde :
→
−
ker ψ = {f ∈ GA(E), f = idE }
Soit f ∈ ker ψ, si M, N ∈ E :
−−−−−−−→ → − −−→ −−→ −−−−−→ −−−−→
f (M )f (N ) = f (M N ) = M N ⇔ M f (M ) = N f (N )
| {z } | {z }
−
→
v −
→
v
−−−−−→ −
donc ∀M ∈ E, M f (M ) = →
v :
f (M ) = M + →
−
v = t−
v (M )
→
On montre maintenant que le groupe T des translations est distingué dans GA(E). Soit f ∈
GA(E) et u ∈ E, on a :
−−−−−−−→ →
− → − →
− →
− →
−
f ◦ tu ◦ f −1 = f ◦ tu ◦ ( f )−1 = f ◦ ( f )−1 = idE
ce qui prouve que l’application linéaire associé f ◦ tu ◦ f −1 est l’identité donc :
∀f ∈ E, ∀t ∈ T , f ◦ tu ◦ f −1 ∈ T
le sous-groupe T est distingué.

On a : f ◦ tu ◦ f −1 = t−
→ . En effet, soit M ∈ E et N tel que f (N ) = M , on a :
f (u)
−1 →
− →
− →− →
− →−
f ◦ t−
u ◦f
→ (M ) = f ◦ t−
u (N ) = f (N + u ) = f (N ) + f ( u ) = M + f ( u )
→
Proposition 2.10.3. Soit ϕ : E → F une application linéaire. Soient E et F deux espaces

affines dirigés respectivement par E et F . Pour tous points O et O0 de E, il existe une unique
→
−
application affine f : E → F telle que f (O) = O0 et f = ϕ.
Démonstration. On définit l’application f : E → E qui envoie M sur N tel que :

−−0→ −−→
O N = ϕ(OM )
L’application f est définie de manière unique par son application linéaire ϕ et l’image d’un
point.
Corollaire. Soit O ∈ E, pour toute application affine f ∈ GA(E), il existe une translation
t ∈ T et une unique application g ∈ GA(E), vérifiant g(O) = O, telles que :
f =t◦g
−−→
Démonstration. Soit f une bĳection affine, on pose O0 = f (O) et u = OO0 alors l’application
g = f −1 ◦ tu vérifie g(O) = O.
Proposition 2.10.4. Soit G = GA(E) le groupe d’un espace affine E dirigé dans un espace
vectoriel E, soit O ∈ G et T le groupe des translations de E, on note :
GO = {f ∈ G, f (O) = O}
Alors GO est un sous-groupe de G isomorphe à GL(E) et G est produit semi-direct de GO par

T . Comme T est isomorphe à E, on a :
GA(E) ' E ×τ GL(E)
Démonstration. T et GO sont des sous-groupes de GA(E) et que T C GA(E). On a aussi :

−−→
E ∩ GO = {idE } et GA(E) = T .GO . Si f ∈ G = GA(E) et si O0 = f (O), on note →
−
u = OO0
alors :
f −1 ◦ t−
u ∈ GO
→
Alors : ∀f ∈ GA(E), ∃g ∈ GO et t−
u ∈ T tel que f = t−
→ u ◦g :
→
GA(E) = T .GO
Soit →
−
u ,→
−
v ∈ E, f et g ∈ GO :
−1
u , f ).(t−
(t−
→ → u ◦ (f ◦ t−
v , g) = (t−
→ v ◦f
→ u ◦ t−
), f ◦ g) = (t−
→ → −
f (→
v)
, f ◦ g) = (t−
→ v ) , f ◦ g)
u +f (−
→
: T × GO → GA(E)
(t, g) 7→ t ◦ g
est un morphisme de groupe. On identifie T à E par t− →
− →
−
u 7→ u et GO à GL(E) par g 7→ g . Sur
→
E × GL(E), l’opération est définie par :
(→
−
u , ϕ).(→
−
v .ψ) = (→
−
u + ϕ(→
−
v ), ϕ ◦ ψ)
→ isomorphisme →
E × GL(E) − →
∼
T × GO −→
∼
GA(E)
→
− 7→ 7→ t−
( u , ϕ) (t−
u , g)
→ u ◦g
→
| {z }
g tq −
→
g =ϕ et g(0)=0
Proposition 2.10.5. Soit f : E → E une application affine, alors les propriétés suivantes sont
équivalentes :
−−−−→ →
−
(i) Il existe A ∈ E tel que Af (A) ∈ Im( f − idE ).
−−−−→ →
−
(ii) Pour tout A ∈ E, on a Af (A) ∈ Im( f − idE ).
(iii) a) f admet au moins un point fixe
→
−
b) L’ensemble des points fixes de f est un sous-groupe affine de E dirigé par ker( f − idE )
→
−
c) si 1 n’est pas valeur propre de f , alors f admet un point fixe.
−−−−→ →
−
Démonstration. (i) ⇒ (ii) Supposons qu’il existe A ∈ E tel que Af (A) ∈ Im( f − idE ),
alors pour M ∈ E on a :
−−−−−→ −−→ −−−−→ −−−−−−−→ −−−−→ → − −−→ −−→ −−−−→ → − −−→
M f (M ) = M A+Af (A)+f (A)f (M ) = Af (A)+ f (AM )−AM = Af (A)+( f −idE )(AM )
−−−−−→ →
−
D’où M f (M ) ∈ Im( f − idE ) pour tout M ∈ E.
−−−−→ → −
(ii) ⇒ (iii) a) Soit A ∈ E, il existe v ∈ E tel que Af (A) = f (v) − v et il existe M ∈ E
−−→
tel que v = M A. On a :
−−−−−→ −−→ −−−−→ −−−−−−−→ −−−−→ −−→ −−→ →
−
M f (M ) = M A + Af (A) + f (A)f (M ) = Af (A) − (f (M A) − M A) = 0
Ainsi f admet au moins un point fixe.

b) Soient M et N deux points fixes de f , on a alors :
→
− −−→ −−→ −−−−−−−→ −−→ −−→ −−→ → −
f (M N ) − M N = f (M )f (N ) − M N = M N − M N = 0
−−→ →
−
Ainsi M N ∈ ker( f − idE ).
→
− →
− →
−
c) Si 1 n’est pas valeur propre de f , alors ker( f − idE ) = { 0 }, donc il n’y a qu’un
seul point fixe.
(iii) ⇒ (i) Supposons que f admette un point fixe M . Soit A ∈ E, on a :
−−−−→ −−−−→ −−−−−−−→ −−→ → − −−→ →
− −−→
Af (A) = Af (M ) + f (M )f (A) = AM + f (M A) = ( f − idE )(M A)
−−−−→ →
−
donc : Af (A) ∈ Im( f − idE ).
2.11 Le groupe des homothéties et translations

Définition 2.11.1. Une application affine h de E dans E est appelée homothétie, s’il existe
A ∈ E et λ ∈ K tels que pour tout vecteur v ∈ E, on ait :
h(A + v) = A + λv
−−→ −−→
C’est l’application qui à un point M associe N tel que AN = λAM . L’application linéaire
assoicée à h est l’homothétie vectorielle ϕ = λ idE , l’homothétie h admet un unique point fixe
A appelé centre, le scalaire λ est appelé rapport de h.
Si A, B, C sont trois points alignées de E, alors il existe un unique homothétie h telle que
h(A) = A et h(B) = C.
Proposition 2.11.1. Soient A 6= A0 , B 6= B 0 des points de E tels que les droites D = (AB) et
D0 = (A0 B 0 ) soient distinctes et parallèles, alors :
a) si (AA0 )//(BB 0 ), on a : B 0 = t−−→ (B)

AA0
b) si (AA0 ) ∩ (BB 0 ) = {O}, on a : B 0 = h(O,λ) (B) où h(O,λ) est l’homothétie de centre O et de
−−→ −→
rapport λ tel que OA0 = λOA.
Démonstration. a) On a (AB)//(A0 B 0 ) et (AA0 )//(BB 0 ), d’où l’existence de deux scalaires α
−−→ −→ −−→ −−→
et β tels que A0 B 0 = αAB et BB 0 = β AA0 , c’est-à-dire :
B 0 = A0 + αB − αA = βA0 + B − βA
−−→ −−→
d’où α = β et donc BB 0 = AA0 .
−−→ −→ −−→ −→
b) On note λ le scalaire tel que OA0 = λOA. Il existe k tel que A0 B 0 = k AB d’où B 0 =
A0 + kB − kA, donc :
−−→0 −−→0 −−→ −→ −→ −−→
OB = OA + OB − k OA = (λ − k)OA + k OB
ce qui prouve que k = λ (car O, B et B 0 sont alignés).
Proposition 2.11.2. Les bĳections de E qui transforment toute droite en une droite parallèle
forment un groupe dont les éléments sont exactement les homothéties et les translations. Ce
groupe est appelé groupe des homothéties-translations, noté HT(E).
Démonstration. Il est clair que l’ensemble de ces bĳections est un groupe qui contient les
homothéties et les translations. On montre la réciporque : soit f une telle bĳection, on va
examiner trois cas :
1) f n’a pas de point fixe : soit M un point de E, on considère N 6∈ (M f (M )), si (M f (M )) ∩
(N f (N )) = {O} alors O est un point fixe de f , en effet, par hypothèse :
(f (O)f (M ))//(OM ) = (Of (M )) donc f (O) ∈ (Of (M ))
mais on a aussi
(f (O)f (N ))//(ON ) = (Of (N )) donc f (O) ∈ (Of (N ))
ce qui prouve que {f (O)} = (M f (M )) ∩ (N f (N )) = {O}. L’application f étant supposée

sans point fixe, les données (M f (M )) et (N f (N )) sont donc parallèles, on est dans la
situation a) de la proposition précédente, f est une translation.
2) f admet un unique point fixe O : soient M et N tels que O, M, N ne soient plus alignés, on
a:
(Of (M )) = (f (O)f (M ))//(OM ) ⇒ f (M ) ∈ (OM )
et de même
(Of (N )) = (f (O)f (N ))//(ON ) ⇒ f (N ) ∈ (ON )
De plus, par hypothèse, (M N )//(f (M )f (N )), on est ainis dans la situation b) de la propo-
sition précédente et f est une homothétie.
3) f admet au moins deux points fixes O et O0 , soit M 6∈ (OO0 ), alors la droite (f (O)f (M )) est
une droite parallèle à (OM ) qui contient O, c’est donc la droite (OM ), de même, (O0 f (M )) =
(O0 M ), ainsi f (M ) ∈ (OM ) ∩ (O0 M ) donc f (M ) = M , les points de E qui ne sont pas sur
(OO0 ) sont fixes. Si N ∈ (OO0 ), le point N 6∈ (OM ) avec O et M fixes, on a donc pour les
mêmes raisons, f (N ) = N ainsi f est l’identité.
Proposition 2.11.3. Soit E un espace affine dirigé par E, soit ϕ : GA(E) → GL(E) qui à une
→
−
application affine f associe son application linéaire f . Le sous-groupe ϕ−1 (K ∗ idE ) est égal au
groupe des homothéties et translations et il est distingué dans GA(E). On a :
f ∈ HT(E) ⇔ ∃k ∈ K ∗ | f (M + v) = f (M ) + λv, ∀M ∈ E, ∀v ∈ E
−−−−→
1. si λ = 1, f est la translation de vecteur Af (A) pour tout A ∈ E.
2. si λ 6= 1, f est l’homothétie de rapport λ et de centre (pour tout A ∈ E) :
−λ 1
C= A+ f (A)
1−λ 1−λ
2.12 Projections, symétries

Soit E un espace affine dirigé par E, soient F et G deux sous-espaces affines de E par F et
G respectivement. On suppose dans ce paragraphe que E = F ⊕ G, c’est-à-dire que F et G sont
supplémentaires, on a F ∩ G = {O}, les sous-espaces F et G sont des sous-espaces vectoriels
supplémentaires de EO .
Rappel (Projecteurs linéaires). E = F ⊕ G, donc pour tout u ∈ E, il existe un unique couple
(v, w) ∈ F × G tel que u = v + w, l’application de E dans E définie par ϕ(u) = v est la
projection sur F parallèlement à G, elle est linéaire et vérifie ϕ ◦ ϕ = ϕ, F = Im ϕ et G = ker ϕ.
Définition 2.12.1. Soient F et G deux sous-espaces supplémentaires de E, on suppose F ∩G =

{O}, alors, pour tout A ∈ E, il existe M ∈ F et N ∈ G, uniques, tels que :
−→ −−→ −−→
OA = OM + ON
On définit le projecteur p de E sur F parallèlement à G par :
p : E → E
A 7→ M
Le projecteur p est caractérisé par les propriétés suivantes :

a) Pour tout M ∈ E, le point p(M ) est l’unique point de E tel que :

−−−−−→
p(M ) ∈ F et p(M )M ∈ G
b) L’application p est affine, vérifie p ◦ p = p et F = p(E) est l’ensemble des points de p.

c) L’application linéaire associée à p est le projecteur →
−p de E sur F parallèlement à G.
Rappel (Symétries linéaires). Soit E un espace vectoriel et ϕ une application linéaire, on note :
E1 = {x ∈ E, ϕ(x) = x} et E−1 = {x ∈ E, ϕ(x) = −x}
alors ϕ◦ϕ = idE ⇔ E = E1 ⊕E−1 . On appelle symétrie, toute application distincte de l’identité
qui vérifie ces propriétés équivalentes
Définition 2.12.2. Soit E un espace affine, une application affine s de E dans E est appelée
symétrie affine si et seulement si elle vérifie s ◦ s = idE . Une symétrie affine est caractérisée par
les propriétés équivalentes suivantes :
a) s est une symétrie affine.
b) s est affine, admet au moins un point fixe et →
−
s ◦→
−
s = idE .
c) Il existe deux sous-espaces affines supplémentaires F et G de E tels que pour tout M ∈ E,
−−−−−→
s(M ) est l’unique point de E tel que le milieu de M et s(M ) soit dans F et s(M )M ∈ G. Alors
F est l’ensemble des points de s, on dit que s est la symétrie par rapport à F parallèlement
à G.
2.13 Affinités et transvections

Soit E un espace vectoriel sur K et soient F et G des sous-espaces vectoriels tel que E = F ⊕
G, soient E un espace affine dirigé par E, et F et G des sous-espaces de E dirigés respectivement
par F et G, on note O le point tel que F ∩ G = {O}. Pour M ∈ E, on note p(M ) le projeté de
M sur F parallèlement à G. Soit α ∈ K. On considère l’application :
f : E → E
M 7→ M 0 = (1 − α)p(M ) + α(M )
−−−−−→ −−−−−→
le point M 0 image de M par f vérifie donc p(M )M 0 = αp(M )M .
• Si α = 0, l’application f est la projection de E sur F parallèlement à G.
• Si α 6= 0, l’application f est une bĳection affine. Une telle application est appelée affinité.
– Si α = −1, c’est la symétrie par rapport à F parallèlement à G.
– Si α 6= 1 alors f (M ) = M ⇔ p(M ) = M ⇔ M ∈ F.
On suppose E de dimension n et H un hyperplan affine de E, c’est-à-dire un sous-espace
affine de dimension n − 1, on notera E et H les directions de E et H.
Nous allons nous intéresser aux bĳections affines f : E → E telles que fH = idH . On a alors
→
−
f H = idH . On note (v1 , ..., vn−1 ) une base de H que l’on complète par un vecteur vn en une
→
−
base de E, (v1 , ..., vn−1 , vn ). La matrice de f dans cette base est alors de la forme :
1 0 ··· 0 a1
 

 0 . . . .. 
 1 . a2 

 .. .. 
· · ·
 . 0 . 

 0 0 ··· 1 an−1 
 
0 ··· ··· 0 γ
avec γ 6= 0 car f est supposée bĳective. On distingue alors les cas :

→
− →
−
1) γ 6= 1 alors γ est valeur propre de f , il existe un vecteur wn tel que f (wn ) = γwn et
→
−
(v1 , ..., vn−1 , wn ) soit une base de E, dans cette base, la matrice de f s’écrit :
1 0 ··· 0 0
 
.
· · · .. 0 
 
0 1
 
. .. .. 
 .. . 0 .
 
0 0 · · · 1 0
 
0 ··· ··· 0 γ
Soit M un point de E, la droite DM passant par M et dirigée par le vecteur wn coupe

l’hyperplan H en un point P qui est le projeté de M sur H parallèlement à Kwn , l’image
f (M ) est définie par :
−−−−→ −−→
P f (M ) = γ P M
l’application f est une affinité.

→
− →
−
2) γ = 1, dans ce cas, ou bien f = idE , ou bien la matrice de f n’est pas diagonalisable, alors
→
−
la matrice de f dans la base (v1 , ..., vn ) s’écrit :
1 0 · · · 0 a1
 
 . . .. 
0
 1 . . a2  
. .. .. 
 .. . 0 . 
 
0 0 · · · 1 an−1 
 
0 ··· ··· 0 1
Notons u le vecteur u = a1 v1 + ... + an−1 vn−1 ∈ H. Soit O ∈ H et M ∈ E, on écrit

−−→
OM = y + xn vn avec y ∈ H, on a alors :
−−−−→ −−−−−−−→ → − −−→ →
− →
− −−→
Of (M ) = f (O)f (M ) = f (OM ) = f (y) + xn f (vn ) = y + xn (u + vn ) = OM + xn u
d’où :
−−−−−→ −−→ −−−−→ −−→ −−→
M f (M ) = M O + Of (M ) = M O + OM + xn u = xn u
L’application f est une transvection d’hyperplan H.
Plus généralement, si g est une forme affine, c’est-à-dire une application affine de E dans K,
si H = ker g et si u est un vecteur non nul de la direction H de H alors l’application définie
par :
f : E → E
0
M 7→ M = M + g(M )u
est une transvection affine d’hyperplan H.
Proposition 2.13.1. Soit f une bĳection affine de E, distincte de l’identité, laissant fixe chaque
−−−−−→
point d’un hyperplan affine H, s’il existe M inE\H tel que M f (M ) ∈ H, alors cette propriété
est vraie pour tout point de E et f est une transvection, sinon f est une affinité.
2.14 Théorèmes principaux pour la géométrie affine

Nous allons démontrer maintenant quelques théorèmes classiques de géométrie, ce sont des
théorèmes affines, dans la mesure où ils font intervenir ques des propriétés affines. Dans un
espace affine, il n’y a pas de mesure de longueur, pas de distance entre les points, nous intro-
duirons une distance, euclidienne, lorsque nous étudirons les espaces euclidiens, ce sera l’ojet
d’un prochain chapitre. Par contre, si A, B, C sont trois points alignés, alors il existe un scalaire
−→ −→
λ tel que AC = λAB et si u est un vecteur directeur de la droite définie par les points alignés
−→
A, B, C on peut définir la mesure algébrique de AB, qui dépend du choix de u comme étant le
réel AB tel que :
−→
AB = ABu
AC
Le rapport de proportions AB = λ, lui, ne dépend pas du choix de u. Les bĳections affines
conservent les rapports de proportions.
2.14.1 Le théorème de Thalès

Ce théorème exprime le fait que les projectons sont des applications affines.
Theorème 2.14.1. Soient H1 , H2 , H3 trois hyperplans d’un espace affine E, parallèles, de di-
rection H. Soient D et D0 deux droites affines dont la direction n’est pas contenue dans H, on
note, pour 1 ≤ i ≤ 3, Ai = Hi ∩ D et A0i = Hi ∩ D0 alors :
A1 A3 A0 A0
= 10 30
A1 A2 A1 A2
Réciproquement si B ∈ D vérifie :
A1 B A0 A0
= 10 30
A1 A2 A1 A2
alors B ∈ H3 et B = A3 .
Démonstration. On considère la projection p sur D0 parallèlement à H, on a, pour 1 ≤ i ≤ 3,

−−−→ −−−→
A0i = p(Ai ), notons λ = A 1 A3
A A
, on a A 1 A 3 = λ A1 A2 ainsi :
1 2
−−0−→0 −−−−−−−→ − −−−→ −−−→ −−−→

A1 A3 = p(A1 )p(A3 ) = →
p (A1 A3 ) = λ→
−
p (A1 A2 ) = λA01 A02
d’où le résultat. Réciproquement, si B vérifie :
A1 B A0 A0
= 10 30
A1 A2 A1 A2
−−→ −−−→ −−−→
alors, il existe un scalaire λ tel que A1 B = λA1 A2 = A1 A3 , ce qui prouve que B = A3 ∈ H3 .
Remarque. 1) Si on a A01 = A1 = D ∩ D0 alors on a aussi :
A1 A3 A1 A03 A03 A3
= =
A1 A2 A1 A02 A02 A2
2) Si E est un plan affine alors les hyperplans H1 , H2 et H3 sont des droites, on retrouve le
théorème de Thalès que l’on connait bien, et si A1 = A01 on peut le démontrer avec des
homothéties.
2.14.2 Le théorème de Ménélaüs

Nous allons commencer par donner la version plane de ce théorème puis nous le généralise-
rons en dimension quelconque.
Theorème 2.14.2. Soit P un plan affine, soient A1 , A2 , A3 trois points non alignés de P.
Soient B1 ∈ (A1 A2 )\{A1 , A2 }, B2 ∈ (A2 , A3 )\{A2 , A3 } et B3 ∈ (A3 A1 )\{A3 , A1 }, alors :
B1 A1 B2 A2 B3 A3
B3 ∈ (B1 B2 ) ⇔ =1
B1 A2 B2 A3 B3 A1
Démonstration. Supposons B1 , B2 , B3 alignés sur une droite D, soit D0 la parallèle à D passnat

par A3 , elle coupe (A1 A2 ) en B, d’après le théorème de Thalès, on a :
B3 A3 B1 B B2 A2 B1 A2
= et =
B3 A1 B1 A1 B2 A3 B1 B
d’où :
B1 B B1 A1 B2 A2 B3 A3
1= =
B1 B B1 A2 B2 A3 B3 A1
Réciproquement, supposons cette condition satisfaite. Notons B 0 = (B1 B2 ) ∩ (A1 A3 ), les points
B 0 , B1 , B2 sont alignés, on a donc :
B1 A1 B2 A2 B 0 A3
=1
B1 A2 B2 A3 B 0 A1
mais aussi, par hypothèse :

B1 A1 B2 A2 B3 A3
=1
B1 A2 B2 A3 B3 A1
D’où :
B 0 A3 B3 A3
=
B 0 A1 B3 A1
ainsi, il existe un scalaire α 6= 1 tel que :
−−0−→ −−−→ −−−→ −−−→
B A3 = αB 0 A1 et B3 A3 = αB3 A1
−−−→ −−−→ −−−→ → −
d’où l’on déduit par Chasles que B 0 B3 = αB 0 B3 donc B 0 B3 = 0 et B 0 = B3 . Ce qui prouve
que B1 , B2 , B3 sont alignés.
Theorème 2.14.3. Soit E un espace affine de dimension n. Soit (A0 , A1 , ..., An ) un repère
affine de E. Soient, pour 0 ≤ i ≤ n − 1, Bi ∈ (Ai , Ai+1 )\{Ai , Ai+1 } et Bn ∈ (An A0 )\{An , A0 },
alors les propriétés suivantes sont équivalentes :
(i) La famille (B0 , B1 , ..., Bn ) est affinement liée.
(ii)
B0 A0 B1 A1 Bn−1 An−1 Bn An
··· =1
B0 A1 B1 A2 Bn−1 An Bn A0
Démonstration. Pour 1 ≤ i ≤ n − 1, il existe λi ∈ K tel que Bi = λi Ai + (1 − λi )Ai+1 et il

existe λn ∈ K tel que Bn = λn An + (1 − λn )A0 . Ainsi, pour 1 ≤ i ≤ n − 1, on a :
Bi Ai λi − 1
=
Bi Ai+1 λi
Ecrivons la matrice M des coordonnées barycentriques des points B0 , B1 , ..., Bn dans le repère
affine (A0 , A1 , ..., An ) :
λ0 0 ··· ··· 0 1 − λn
 
1 − λ λ1 0 ··· 0 0 
 0 
 .. 
M =

0 1 − λ1 λ2 0 . 0 


.. .. .. ..

. . . . λn−1 0
 
 
0 ··· ··· ··· 1 − λn−1 λn
On a :
det(M ) = λ0 λ1 ...λn − ((λ0 − 1)(λ1 − 1)...(λn − 1))
La famille (B0 , B1 , ..., Bn ) est liée si et seulement si ce déterminant est nul, ce qui est équivalent
à:
B0 A0 B1 A1 Bn−1 An−1 Bn An
··· =1
B0 A1 B1 A2 Bn−1 An Bn A0
2.14.3 Le théorème de Céva

Theorème 2.14.4. Soient A, B, C trois points non alignés d’un espace affine E, ils définissent
un plan affine, on cosnidère trois points A0 ∈ (BC)\{B, C}, B 0 ∈ (AC)\{A, C} et C 0 ∈
(AB)\{A, B}, alors les propriétés suivantes sont équivalentes.
(i) Les droites (A0 A), (B 0 B) et (C 0 C) sont parallèles ou sécantes en un point.
(ii)
A0 B B 0 C C 0 A
= −1 (∗)
A0 C B 0 A C 0 B
Démonstration. 1) (droites concourrantes) On suppose (A0 A) ∩ (B 0 B) ∩ (C 0 C) = {O}. On
applique le théorème de Ménélaüs au triangle (AA0 C) avec O ∈ (A0 A), B ∈ (A0 C) et
B 0 ∈ (AC), on a alors :
B 0 C OA BA0
=1
B 0 A OA0 BC
On applique de nouveau le théorème de Ménélaüs au triangle (AA0 B) avec O ∈ (A0 A),
C 0 ∈ (AB) et C ∈ (A0 B), on a :
C 0 B OA CA0
=1
C 0 A OA0 CB
d’où l’on déduit :
B 0 C BA0 C 0 B CA0 OA0
= 0 =
BA BC C A C 0B OA
c’est-à-dire :
A0 B B 0 C C 0 A
= −1
A0 C B 0 A C 0 B
Réciproquement, supposons cette propriété vraie et notons O le point d’intersection des
droites (A0 A) et (B 0 B), montrons que O ∈ (C 0 C). Si la droite (OC) est parallèle à la
droite (AB), alors il existe une homothétie de centre A0 qui envoie (AB) sur (OC) et une
homothétie qui échange A et B, on a alors :
A0 B B 0 C
= −1
AC B 0 A
0
ce qui avec l’égalité (∗) implique CC0 B
A
= 1, ce qui est impossible. Par conséquent les droites
(OC) et (AB) sont sécantes, notons {C 00 } = (OC)∩(AB). Compte tenu de la démonstration
précédente, on a :
A0 B B 0 C C 00 A
= −1
A0 C B 0 A C 00 B
ce qui avec (∗) implique C 00 = C 0 et donc (AA0 ), (B 0 B) et (C 0 C) sont concourrantes.
2) (droites parallèles) Supposons (A0 A)//(B 0 B)//(C 0 C) alors par le théorème de Thalès, on a :
A0 B AB B0C BC 0
= et =
A0 C AC 0 B0A BA
d’où :
A0 B B 0 C C 0 A AB BC 0 C 0 A
= = (−1)(−1)(−1) = −1
A0 C B 0 A C 0 B AC 0 BA C 0 B
Réciproquement, supposons cette propriété vérifiée et (A0 A)//(B 0 B). On considère la paral-
lèle à (A0 A) passant par C elle coupe (AB) en C 00 , elle ne peut pas lui être parallèle car les
points A, B, C sont non-alignés, comptenu de ce qui précède, C 00 vérifie :
A0 B B 0 C C 00 A
= −1
A0 C B 0 A C 00 B
ce qui avec (∗) implique C 00 = C 0 , ainsi les trois droites sont parallèles.
2.14.4 Le théorème de Pappus

Theorème 2.14.5. Soit P un plan affine, soient D et D0 deux droites distinctes A, B, C trois
points de D, A0 , B 0 , C 0 trois points de D0 tels que D ∩ D0 ∩ {A, B, C, A0 , B 0 , C 0 } = ∅. On suppose
(AB 0 )//(BA0 ) et (BC 0 )//(CB 0 ), alors (CA0 )//(AC 0 ).
Démonstration. 1) On suppose D ∩ D0 = {D}, alors d’après le théorème de Thalès, on a :
DB DC 0 DA DB 0
= et =
DC DB 0 DB DA0
ainsi :
DB DA DC 0 DB 0
=
DC DB DB 0 DA0
d’où :
DA DC 0
=
DC DA0
ce qui implique (AC 0 )//(A0 C). En fait, on compose deux homothéties de centre D, l’une
vérifie f (A) = B et f (B 0 ) = A0 et l’autre vérifie g(B) = C et g(C 0 ) = B 0 , on obtient
l’homothétie h = f ◦ g = g ◦ f de centre D qui vérifie h(A) = C et h(C 0 ) = A0 , ce qui prouve
que les droites (A0 C) et (AC 0 ) sont parallèles.
2) On suppose que D ∩ D0 = ∅, les droites sont parallèles. On remplace les homothéties de

la démonstration ci-dessus par des translations t1 et t2 telles que t1 (A) = B, t1 (B 0 ) = A0 ,
t2 (B) = C et t2 (C 0 ) = B 0 . On a t = t1 ◦ t2 = t2 ◦ t1 , t(A) = C et t(C 0 ) = A0 . D’où le
parallélisme (AC 0 )//(A0 C).
2.14.5 Le théorème de Desargues

Theorème 2.14.6. Soient A, B, C (respectivement A0 , B 0 , C 0 ) trois points affinement indépen-
dants d’un espace affine E tels que {A, B, C} ∩ {A0 , B 0 , C 0 } = ∅.
1) On suppose (AB)//(A0 B 0 ), (BC)//(B 0 C 0 ) et (CA)//(C 0 A0 ). Alors les drotes (AA0 ), (BB 0 )
et (CC 0 ) sont concourantes ou parallèles.
2) On suppose (AB)//(A0 B 0 ), (BC)//(B 0 C 0 ) et les droites (AA0 ), (BB 0 ) et (CC 0 ) concourantes
ou parallèles. Alors (CA)//(C 0 A0 ).
Démonstration. 1) a) (droites concourantes) On suppose (AA0 ) ∩ (BB 0 ) = {D}. Il existe une

homothétie h de centre D telle que h(A) = A0 et h(B) = B 0 . Comme (AC)//(A0 C 0 ), alors
h((AC)) = (A0 C 0 ), ainsi h(C) ∈ (A0 C 0 ). De même h(C) ∈ (B 0 C 0 ), ainsi h(C) = C 0 . Ce qui
prouve que les points D, C et C 0 sont alignés, D ∈ (CC 0 ), les droites sont concourantes.
−−→ −−→
b) (droites parallèles) On suppose (AA0 )//(BB 0 ), alors AA0 = BB 0 , on remplace h par une
translation t et on obtient (CC 0 )//(AA0 ).
2) a) (droites concourantes) On note {D} = (AA0 ) ∩ (BB 0 ) ∩ (CC 0 ), il existe une homothétie
h de centre D telle que h(A) = A0 et h(B) = B 0 , comme (BC)//(B 0 C 0 ), on a h(C) = C 0
et (CA)//(C 0 A0 ).
b) (droites parallèles) On considère alors la translation telle que t(A) = A0 , t(B) = B 0 et
t(C) = C 0 . On a bien, là encore, (AC)//(A0 C 0 ).
Chapitre 3
L’axiomatique de Hilbert
Dans ce chapitre, nous allons définir les notions de points, droites, plans et espace de dimen-
sion 3 à partir d’un certain nombre d’axiomes que doivent vérifier ces objets. C’est la présenta-
tion de la géométrie d’Euclide, formalisée par D.Hilbert au début du 20e siècle. Contrairement
à Hilbert, nous n’écrirons pas forcément un système minimal d’axiomes.
Les postulats de la géométrie plane d’Euclide sont au nombre de cinq.
Axiomes d’Euclide : On demande :

1) de pouvoir conduire une doite d’un point quelconque à un point quelconque
2) de prolonger par continuité une droite finie en une droite
3) de décrire un cercle d’un point quelconque et avec un intervalle quelconque (c’est-à-dire une
ouverture de compas quelconque)
4) que tous les angles droits sont égaux entre eux
5) et que par un point extérieur à une droite, on peut mener une parallèle et une seule à cette
droite
La présentation que nous donnons ici est plus proche de celle de Hilbert.
3.1 Les axiomes d’incidence

Ces axiomes sont communs à tous les géométries, ils définissent les points, les droites et
l’espace.
I1) Toute droite contient au moins deux points distincts.

I2) Tout plan contient au moins trois points non-alignés.
I3) Par deux points distincts A et B passe une droite et une seule, on la note (AB).
I4) L’espace contient au moins trois points non-alignés et au moins quatre points non co-
planaires (ainsi, l’espace est de dimension au moins 3).
I5) Par trois points non-alignés passe un plan et un seul.
I6) Une droite qui n’est pas contenu dans un plan le rencontre en au plus un point.
I7) Si deux plans ont un point commun, ils en ont au moins un autre (ainsi l’espace est de
dimension au plus 3).
A partir de cette première famille d’axiomes, on peut déjà démontrer les résultats suivants :
Proposition 3.1.1. Deux droites distinctes se coupent en au plus un point, deux plans distincts,
ou bien ne se rencontrent pas, ou bien se coupent en une droite.
41
42 Chapitre 3. L’axiomatique de Hilbert
Proposition 3.1.2. Deux droites concourantes de l’espace déterminent un unique plan qui les
contient toutes les deux. De même une droite et un point pris hors de cette droite déterminent
un unique plan qui les contient tous les deux.
Proposition 3.1.3. Tout plan contient au moins trois droites non concourantes. L’espace
contient au moins six droites distinctes et quatre plans distincts.
Remarque. 1) Si on appelle espace un ensemble de 4 points E = {A, B, C, D} et droite toute
paire points de E. Alors les axiomes d’incidence sont tous vérifiés. Ceci montre à quel point
ces axiomes sont insuffisants.
2) Il est clair que l’espace affine de dimension 3 et les droites affines définis au chapitre précédent
vérifient les axiomes d’incidence.
3.2 Les axiomes d’ordre

Ces axiomes permettent de définir le fait pour un point d’être entre deux autres, et de définir
un ordre sur les droites, les géométries qui vérifient ces axiomes sont dites ordonnées. C’est le
cas de la géométrie affine si le corps de base de l’espace vectoriel est ordonné (c’est le cas de
R).
Les trois premiers axiomes nous disent que si le point B est entre les points A et C alors il
est entre C et A.
O1) A tout couple de points distincts A et B est associée une partie de l’espace notée ]AB[
appelée intervalle d’extrémités A et B.
O2) Pour tout couple A, B de l’espace, on a ]AB[=]BA[.
O3) Si A 6= B, alors ]AB[⊂ (AB)\{A, B}. On notera [AB] =]AB[∪{A, B} appelé segement
[AB].
O4) Si A 6= B, alors il existe C tel que B ∈]AC[.
O5) Parmi les trois relations : B ∈]AC[, C ∈]AB[ et A ∈]BC[, il n’y en a jamais deux qui ont
lieu en même temps.
O6) Axiome de Pasch : soient A, B, C trois points non alignés. Si une droite du plan (ABC)
rencontre [AB], elle rencontre alors ou [BC] ou [CA] (une droite qui entre dans un triangle
en ressort).
De ces axiomes on déduit les propriétés évidentes des intervalles, que nous connaissons.
Cependant, toute propriété, aussi évidente soit-elle, doit être démontrée si ce n’est pas un
axiomes. Par exemple, on démontre :
Propriété 3.2.1. Si B ∈]AC[ et C ∈]BD[, alors B ∈]AD[ et C ∈]AD[.
Démonstration. Montrons que C ∈]AD[. Soit E 6∈ (AB), un tel E existe dans le plan. Soit
F ∈ (CE) tel que E ∈]CF [. Comme (BF ) coupe ]AC[ mais pas ]CE[, elle coupe ]AE[ en un
point G. Comme (AE) coupe ]CF [ mais pas ]BC[, elle coupe ]BF [. Comme (CF ) coupe ]BD[
mais pas [BG], elle coupe ]GD[. Comme (CF ) coupe ]GD[ mais pas [GA] elle coupe ]AD[.
Ainsi C ∈]AD[.
On peut aussi démontrer :
Propriété 3.2.2. Si B ∈]AC[ et C ∈]AD[, alors C ∈]BD[ et B ∈]AD[.
Proposition 3.2.3. Si A 6= B, alors ]AB[6= ∅.
Chapitre 3. L’axiomatique de Hilbert 43
Proposition 3.2.4. Si A, B, C sont trois points alignés, des trois relations B ∈]AC[, C ∈]AB[
et A ∈]BC[, une et une seule a lieu.
Proposition 3.2.5. (a) Soient A, B, C trois points distincts et alignés tels que B ∈]AC[. Alors
]AB[⊂]AC[ et ]BC[⊂]AC[.
(b) Soient A, B, C, D quatre points distincts et alignés tels que B ∈]AD[ et C ∈]AD[. Alors
[BC] ∈]AD[.
Un autre résultat important :
Proposition 3.2.6. Entre deux points d’une droite, il y en a une infinité.
Ces axiomes d’ordre permettent de définir des demi-droites et des demi-plans grâce aux
propositions suivantes :
Proposition 3.2.7. Soit d une droite et O ∈ d. La relation définie sur d\{O} par :
A ∼ B ⇔ O 6∈]AB[
est une relation d’équivalence qui possède exactement deux classes.

Proposition 3.2.8. Soit d une droite du plan P. La relation définie sur P\d par :
A ∼ B ⇔ d ∩ [AB] = ∅
est une relation d’équivalence qui possède exactement deux classes.

Ces axiomes d’ordre permettent également de définir les polygones ainsi qu’une notion
d’angles (sans mesure d’angle). Jusque là, il n’est pas question de distances, ni de parallélisme.
Néanmoins, avec ces seuls axiomes de la géométrie ordonnée on peut donner une démonstration
très simple et très élégante d’un résultat de Sylvester qui a résisté jusqu’en 1933.
Problème de Sylvester. Soient n points non colinéaires, alors il existe au moins une
droite qui ne contient que deux d’entre eux.
Démonstration. Soient S = {P1 , ..., Pn }, l’ensemble de ces n points, on suppose P1 , P2 , P3 non
alignés.
– Les droites joignant le point P1 à tous les autres points de S coupent la droite (P2 P3 ) en
au plus (n − 1) points (P2 et P3 inclus).
– Soit Q un autre point de cette droite, alors la droite (P1 Q) contient le point P1 mais
aucun autre point de l’ensemble S.
2
– Les droites joignant les points de S coupent la droite (P1 Q) en au plus Cn−1 + 1 1 points
(P1 et Q inclus). Ces points d’intersection partagent la droite (P1 Q) en segments.
– Soit A ∈ (P1 Q) tel que pour tout i, j, 2 ≤ i 6= j ≤ n, on ait [P1 A] ∩ (Pi Pj ) = ∅ (A peut
être égal à Q).
– Par définition A appartient à au moins une droite (Pi Pj ), disons A ∈ (P4 P5 ).
– Si la droite (P4 P5 ) ne contient aucun autre point de S, c’est terminé.
– Sinon, il y a au moins trois points de S sur cette droite passant par A, notons les P4 , P5
et P6 et supposons (sans perdre de généralité) que P4 ∈]AP5 [ mais P6 6∈]AP5 [.
– Montrons alors que la droite (P1 P5 ) ne contient que deux points de S. Raisonnons par
l’absurde, supposons qu’il existe un point de S, notons le P7 tel que P7 ∈ (P1 P5 ). En
raison de l’axiome de Pasch, on a :
n!
1
On rappelle que Cnk = (n−k)!k!
– Si P7 ∈]P1 P5 [ alors ]P1 A[∩(P6 P7 ) 6= ∅.

– Si P5 ∈]P1 P7 [ alors P1 ∈]P5 P7 [ alors ]P1 A[∩(P4 P7 ) 6= ∅.
Ce qui est contradictoire avec la définition du point A. Le résultat est donc démontré.
3.3 Axiomes de congruence

Ces axiomes s’ajoutent aux axiomes d’ordre et vont permettre d’obtenir les géométries
absolues, euclidiennes (au sens des parallèles) ou non-euclidiennes. Il n’est pas encore question
de parallélisme. Les axiomes de congruences vont permettre de mesurer des segments ainsi que
des angles. Ces axiomes ne sont pas vérifiés par les espaces affines dans lesquels on ne peut
mesurer que des rapports de longueurs sur une même droite. Ces axiomes consistent à définir
une relation d’équivalence entre les segments. Des segments équivalents auront même longueur.
C’est ce que nous verrons au chapitre lorsque les espaces vectoriels qui définissent nos espaces
affines seront munis d’une distance euclidienne.
C1) Soit, donnée une relation entre les segments, on notera AB ≡ CD et on dira que les
segments AB et CD sont congruents.
C2) Si A 6= B et C est un point, alors sur toute demi-droite issue de C, il existe un unique
point D tel que AB ≡ CD. Cet axiome permet le report des longueurs.
C3) On a AB ≡ BA.
C4) Si AB ≡ CD et CD ≡ EF , alors AB ≡ EF .
C5) Si B ∈]AC[ et B 0 ∈]A0 C 0 [ et si on a AB ≡ A0 B 0 et BC ≡ B 0 C 0 alors AC ≡ A0 C 0 . Cet
axiome permet d’ajouter des longueurs.
Dans le plan, nous allons définir de la même manière une relation d’équivalence entre les
angles, précisons ici la définition d’un angle. C’est un ensemble de deux demi-droites distinctes
[Ox) et [Oy) issues d’un même point O. On le notera xOy. d Les demi-droites sont les côtés
de l’angle, le point O en est le sommet. L’angle partage le plan en deux régions, l’intérieur
de l’angle et l’extérieur. L’angle xOx d est l’angle nul et l’angle défini par deux demi-droites
opposées par rapport à un point O et portées par une même droite est appelé angle plat.
C6) La congruence (ou égalité) entre les angles de demi-droites est une relation d’équiva-
lence.
C7) Soit α = x[ 0 Oy 0 un angle. De chaque côté d’une demi-droite [Ox), il existe des demi-
droites [Oy) et [Oz) telles que α = xOy d = xOz.

d
C8) Soient A, B, C et A0 , B 0 , C 0 deux triangles (c’est-à-dire trois points non-alignés), on
suppose les congruences suivantes satisfaites AB = A0 B 0 , AC = A0 C 0 et BAC [ = B\ 0 A0 C 0 ,
alors ABC
[ = A\ 0 B 0 C 0 , BC = B 0 C 0 et ACB
[ = A\0 C 0 B 0 . On dit que les triangles sont égaux.
Cet axiome est aussi connu comme premier cas d’égalité des triangles, les autres cas d’égalité
que nous étudierons au chapitre suivante sont des conséquences de ces axiomes de congruence.
L’axiome suivant permet d’ajouter, sous certaines conditions, des angles.
C9) Soient [Oy) et [0z) de part et d’autre de [Ox), on a alors yOx d + xOz d = yOz.d
Nous verrons dans le chapitre suivant comment la notion d’angles orientés permet d’ajouter
des angles sans conditions.
Ces axiomes permettent de définir les angles droits à partir de la définition suivante :
Définition 3.3.1. Deux angles sont dits suplémentaires, s’ils ont même sommet, un côté com-
mun et si les autres côtés sont portés par une même droite. Un angle congruent à un de ses
supplémentaires est appelé angle droit.
On a le résultat suivant :
Proposition 3.3.1. Tous les angles droits sont congruents.
Cette proposition, qui peut être démontrée à partir des axiomes était un axiome chez Eu-
clide.
Les axiomes de congruence permettent donc de mesurer les longueurs et les angles, les géo-
métries vérifiant les trois groupes d’axiomes, incidence, ordre et congruence sont les géométries
pré-euclidiennes ou géométries absolues. On peut y définir les isométries et y démontrer déjà
beaucoup de résultats. Selon l’axiome des parallèles que l’on choisira d’y ajouter, on obtiendra
la géométrie euclidienne ou la géométrie hyperbolique.
3.4 Le postulat d’Euclide

Axiome d’Euclide : Soient un droite d et un point A 6∈ d, alors, dans le plan déterminé
par A et d, il existe au plus une droite qui passe par A et qui ne rencontre pas d.
Remarque. – Les axiomes précédents permettaient de démontrer que par un point donné
du plan, il passe au moins une droite qui ne rencontre pas une droite donnée, l’axiome
d’Euclide démontre l’unicité d’une telle parallèle.
– C’est l’axiome d’Euclide qui permet de définir la notion de parallélogramme et, par là
même, celle de bipoints quipollents et de vecteurs. C’est une manière d’introduire, en
les construisant, les espaces vectoriels. Les axiomes d’ordre imposeront au corps de base
d’être ordonné, les axiomes de continuité imposeront le corps des réels.
– On a longtemps cherché à démontrer que cet axiome était une conséquence des précédents,
jusqu’à ce que l’on construise des géométries cohérentes pour lesquelles il n’est pas vérifié,
ce sont les géométries non-euclidiennes
Remarquons que cet axiome est un axiome du plan, il a pour conséquence le résultat suivant :
Proposition 3.4.1. La somme des angles d’un triangle est égale à deux angles droits.
Les axiomes de congruence permettant la définition du cercle, on obtiendra avec l’exiome
d’Euclide des parallèles les propriétés classique du cercle, cercle circonscrit, angles inscrits...
que nous étudirons à la fin du chapitre suivant.
3.5 Axiomes de continuité

Axiome d’Archimède : Si AB et CD sont deux segments quelconques, il existe un entier
tel que le report du segment CD, n fois à partir de A sur la demi-droite [AB) coduit un point
E tel que B ∈ [AE].
Axiome de l’intégrité linéaire : Les éléments points, droites et plans de la géométrie

constituent un système qui, si l’on admet les axiomes précédents, n’est susceptible d’aucune
extension.
Ces axiomes sont des axiomes linéaires. L’axiome d’intégrité n’est pas une conséquence de
l’axiome d’Archimède et c’est l’axiome d’intégrité qui permet la correspondance biunivoque
entre les points de la droite et les nombres réels.
La géométrie construite à partir des familles d’axiomes que nous venons d’énoncer est la
géométrie cartésienne de R3 .
3.6 Compatibilité et indépendance des axiomes

Dans son ouvrage "Les fondements de la géométrie", David Hilbert étudie la compatibilité
es axiomes et leur indépendances les uns vis-à-vis des autres. Ceci en construisant différentes
géométries cohérentes vérifiant telle ou telle famille d’axiomes. Sans vouloir ici entrer dans les
détails, il est intéressant de faire quelques remarques qui donent un aperçu des liens entre les
axiomes. Nous ferons références à quelques ouvrages qu’il nous semble intéressant et enrichissant
de consulter.
Remarque. 1) Il existe des géométries dites non-archimédiennes dans lesquelles tous les axiomes
sont vérifiés sauf les axiomes de continuité.
2) Si l’on admet l’axiome d’Archimède, l’axiome d’Euclide peut être remplacé par : La somme
des angles d’un triangle est égale à deux droits.
3) Si l’on exclut l’axiome d’Archimède, il ne résulte pas de l’existence par un pint d’une infinité
de parallèles à une droite donnée que la somme des angles d’un triangle est inférieure à deux
droits.
4) Le fait que la somme des angles d’un triangle dépasse toujours deux droits résulte de la
non-existence des parallèles.
5) Le théorème de Desargues ne peut être démontré sans les axiomes de congruences si l’on
reste en géométrie plane, c’est-à-dire si l’on n’admet pas les axiomes de l’espace.
6) Dans ce cours, nous avons choisi de présenter les géométries affines et euclidiennes réelles,
c’est-à-dire vérifiant tous les axiomes énoncés précédemment. Coxeter, dans "Introduction
to Geometry" fait de même et pour lui la géométrie affine est ordonnée et continue. Par
contre, Hartshorne, dans "Geometry : Euclid and beyond" appelle géométrie affine toute
géométrie vérifiant les axiomes d’incidence et l’axiome des parallèles d’Euclide, il considère
ainsi comme des plans affines les ensembles cartésiens K 2 pour K un corps quelconque. Les
propriétés du corps K impliqueront pour K 2 les axiomes d’ordres, dans le cas des corps
ordonnés, ou de continuité.
7) Dans le plan affine défini par Coxeter, le théorème de Desargues est un axiome. Son plan
vérifie les axiomes d’incidence, d’ordre et de continuité ainsi que l’axiome d’Euclide, c’est
l’axiome de Desargues qui lui permet de définir les dilatations, les vecteurs et les coordonnées.
On peut faire la même chose si l’on se place dans l’espace auxquel cas l’axiome de Desargues
devient un théorème.
√
8) Soit K un corps tel que pour tout x ∈ K, on ait 1 + x2 ∈ K, un tel corps est dit
pythagoricien. Si K n’est pas pythagoricien, alors dans K 2 , la droite y = x et le cercle
x2 + y 2 = 1 ne se rencontrent pas.
9) Soit K un corps ordonné tel que pour tout x ∈ K, on ait x2 ∈ K + , un tel corps est dit
euclidien. Il existe des corps euclidiens mais non pythagoriciens et des corps pythagoriciens
non-euclidiens.
10) Il existe quatre points A, B, C, D de K 2 tels que (AB)//(CD), (AC)//(BD) et (AD)//(BC)
si et seulement si le corps K est de caractéristique 2.
11) Si K est un corps, le plan euclidien K 2 , que nous noterons ΠK , est un modèle de plan
affine (au sens où l’entend Hartshorne). Il vérifie les axiomes d’incidence, ainsi que l’axiome
euclidien des parallèles. Nous allons examiner le lien entre les différentes familles d’axiomes
et les propriétés du corps K.
Proposition 3.6.1. Le plan ΠK vérifie les axiomes d’ordre si et seulement si le corps K est
ordonné.
Considérons le nouvel axiome (E) suivant :

(E) : Soient K un corps et ΠK le plan cartésien K 2 , soient Γ et ∆ deux cercles du plan
ΠK , on suppose que ∆ contient au moins un point à l’intérieur de Γ et au moins un point à
l’extérieur, alors l’intersection Γ ∩ ∆ contient exactement deux points.
On a alors la proposition suivante :
Proposition 3.6.2. Soit K un corps ordonné, alors ΠK vérifie l’axiome (E) si et seulement
si le corps K est euclidien.
Par ailleurs, on a :
Proposition 3.6.3. Si K est un corps ordonné, alors ΠK vérifie les axiomes C1, C3, C4, C5,
C6, C7 et C8, il vérifie l’axiome C2 si et seulement si le corps K est pythagoricien.
R.Hartshorne appelle "plan euclidien", un ensemble qui vérifie les axiomes d’incidence I1, I2,
I3, les axiomes d’ordre, les axiomes de congruence, l’axiome euclidien des parallèles et l’axiome
(E).
Un plan euclidien qui vérifie les axiomes de continuité est isomorphe à R2 .
Chapitre 4
Espaces euclidiens
Nous allons maintenant étudier les espaces affines euclidiens. Ils vérifient les axiomes d’in-
cidence, d’ordre, ainsi le postulat d’Euclide, mais aussi les axiomes de congruences et de conti-
nuité. Ainsi, dans ce chapitre, le corps de base des espaces vectoriel est le corps R des nombres
réels.
4.1 Produit scalaire et distance euclidienne

Soit E un espace vectoriel sur R.
Définition 4.1.1. Une application φ : E × E → R est un produit scalaire, si c’est une forme
bilinéaire symétrique, définie-positive, c’est-à-dire, en notant (u|v) = φ(u, v) :
1) ∀(u, v, w) ∈ E 3 et ∀λ ∈ R, on a :
– (u|v + w) = (u|v) + (u|w)
– (u + v|w) = (u|w) + (v|w)
– (λu|v) = λ(u|v) = (u|λv).
2) ∀(u, v) ∈ E 2 , on a (u|v) = (v|u).
→
−
3) ∀u ∈ E, (u|u) ≥ 0 et (u|u) = 0 ⇔ u = 0 .
Un espace vectoriel muni d’un produit scalaire est appelé espace vectoriel euclidien.
Proposition 4.1.1. Soit E un espace vectoriel euclidien. Alors, l’application :
k · k : E → q R+
u 7→ u|u = kuk
est une norme, c’est-à-dire qu’elle vérifie :
→
−
1) ∀u ∈ E, kuk = 0 ⇔ u = 0
2) ∀u ∈ E, on a : kλuk = |λ|kuk
3) ∀(u, v) ∈ E 2 , on a ku + vk ≤ kuk + kvk.
Proposition 4.1.2 (Inégalité de Minkowski). Pour tout (u, v) ∈ E 2 , on a : |(u|v)| ≤ kukkvk.
Définition 4.1.2. On appelle espace affine euclidien un espace affine E dirigé par un espace
vectoriel E euclidien. On peut alors définir une distance sur E par :
−→
∀(A, B) ∈ E 2 , d(A, B) = kABk
On peut vérifier que l’application d ainsi définie est une distance, en particulier que pour
(A, B, C) ∈ E, on a d(A, B) ≤ d(A, C)+d(C, B) avec égalité si et seulement si les points A, B, C
sont alignés et C ∈ [A, B].
On s’autorisera désormais à noter u.v pour (u|v) et AB pour d(A, B).
48
Chapitre 4. Espaces euclidiens 49
4.2 Orthogonalité
Définition 4.2.1. On dit que deux vecteurs u et v d’un espace vectoriel eclidien sont ortho-
gonaux, noté u ⊥ v si leur produit scalaire u.v est nul.
Si F est un sous-espace vectoriel de E, on définit le sous-espace orthogonal de F par :
F ⊥ = {u ∈ E, u.v = 0, ∀v ∈ F }
On a E = F ⊕ F ⊥ . Plus généralement, si S est une partie de E, on définit :
S ⊥ = {u ∈ E, u.v = 0, ∀v ∈ S}
C’est un sous-espace vectoriel de E qui est l’orthogonal du sous-espace engendré pr la partie S.
Définition 4.2.2. Une base (e1 , ..., en ) de E est dite orthogonale si ei .ej 0 pour tout (i, j),
1 ≤ i 6= j ≤ n. Elle est dite orthonormale si, de plus, kei k = 1.
Proposition 4.2.1 (Procédé d’orthonormalisation de Schmidt). Soit (c1 , ..., cn ) une base de
E, il existe une base orthonormée (e1 , ..., en ) telle que pour tout k, 1 ≤ k ≤ n, l’espace engendré
par les vecteurs (e1 , ..., ek ) soit égal à l’espace engendré par (c1 , ..., ck ).
Démonstration. On note < c1 , ..., ci > le sous-espace engendré par les vecteurs (c1 , .., ci ). La
démonstration se fait par réccurence sur k. On pose e1 = kcc11 k .
Supposons e2 , ..., ek construits tels que ei .ej = 0, kei k = 1, pour 1 ≤ i 6= j ≤ k et <
e1 , ..., ek−1 >=< c1 , ..., ck−1 >, on cherche alors ek sous la forme :
ek = α1 e1 + ... + αk−1 ek−1 + αck
avec (α1 , ..., αk−1 , α) ∈ Rk .

Pour 1 ≤ i ≤ k − 1, on a ei .ek = 0 d’où αi = −αck .ei . La condition kek k = 1 permet
de calculer α en fonction des vecteurs e1 , ..., ek−1 et ck . D’où la possibie la construction par
réccurence.
4.3 Projections et symétries orthogonales

Définition 4.3.1. Soit E un espace vectoriel euclidien et F un sous-espace vectoriel de E, on a
E = F ⊕ F ⊥ , on note pF la projection sur F associée à cette décomposition en somme directe,
c’est la projection orthogonale sur F . Pour tout u ∈ E et v ∈ F , on a :
v = pF (u) ⇔ u − v ∈ F ⊥
Dans le cas où F = H est un hyperplan : si a est un vecteur unitaire directeur de H ⊥ alors

E = H ⊕ Ra et, pour u ∈ E, pH (u) = u − (u.a)a et pH ⊥ (u) = (u.a)a.
La symétrie orthogonale sF est l’application linéaire égale à idF sur F et à − idF ⊥ sur F ⊥ .
Soit u ∈ E, u = v + w avec v ∈ F et w ∈ F ⊥ , alors sF (u) = v − w.
On définit de la même manière les projection et les symétries orthogonales affines, dont
les applications linéaires associées sont les projections et les symétries orthogonales vectorielles
définies ci-dessus.
50 Chapitre 4. Espaces euclidiens
Définition 4.3.2 (Projection orthogonale affine). Soit E un espace affine euclidien dirigé par
E. Soit F un sous-espace affine de E dirigé par le sous-espace vectoriel de F de E.
−−→
1) Pour tout M ∈ E, il existe un unique point N ∈ F tel que M N ∈ F ⊥ , on note :
N = pF (M )
−−→
En effet, fixons A ∈ F, soit M ∈ E, le vecteur AM ∈ E = F ⊕ F ⊥ , d’où l’existence de u ∈ F
−−→
et v ∈ F ⊥ , uniques, tels que AM = u + v. Par ailleurs, il existe un unique point N ∈ F tel
−−→
que AN = u, on écrit :
−−→ −−→ −−→ −−→
AM = AN + N M = u + v ⇔ N M = v ∈ F ⊥
2) Le point N = pF (M ) est l’unique point de F tel que :
M N = d(M, N ) = d(M, F) = inf{M A, A ∈ F}
L’application pF est affine et →

−
p F = pF .
Définition 4.3.3 (Symétrie orthogonale affine). Soit E un espace affine euclidien euclidien
dirigé par E. Soit F un sous-espace affine de E dirigé par le sous-espace vectoriel F de E.
1) Pour tout M ∈ E, il existe un unique point N ∈ E tel que :
−−→ 1 1
M N ∈ F ⊥ et M + N ∈ F
2 2
−−→
En effet, fixons A ∈ F, soit M ∈ E, le vecteur AM ∈ E = F ⊕ F ⊥ , d’où l’existence de u ∈ F
−−→
et v ∈ F ⊥ , uniques, tels que AM = u + v. Par ailleurs, il existe un unique point N ∈ F tel
−−→ −−→
que sF (AM ) = u − v = AN . On a :
−−→ −−→ −−→
M N = M A + AN = −u − v + u − v = −2v ∈ F ⊥
et si P ∈ E est le milieu de [M N ], P = 1/2M + 1/2N , on a :

−→ 1 −−→ 1 −−→ 1 1
AP = AM + AN = (u + v) + (u − v) = u ∈ F
2 2 2 2
d’où P ∈ F.
2) On pose N = sF (M ), l’application sF est la symétrie orthogonale par rapport à F, elle est
affine et →
−
s F = sF , l’ensemble des points points fixes est F et elle est involutive, sF ◦sF = idE .
Si F est un hyperplan affine de E, la symétrie sF est appelée réflexion.
4.4 Formes linéaires, dual, adjoint

Proposition 4.4.1. Soit E un espace vectoriel euclidien, pour toute forme linéaire f sur E, il
existe un unique vecteur a ∈ E tel que f (u) = u.a pour tout u ∈ E.
Démonstration. Soit (e1 , ..., en ) une base orthonormale de E, posons f (ei ) = ai ∈ R. Soit a le
vecteur a = a1 e1 + ... + an en , soit u ∈ E, u = x1 e1 + ... + xn en , on a :
f (u) = x1 a1 + ... + xn an = u.a
d’où l’existence de a, ce vecteur a est unique, en effet s’il existe b tel que pour tout u ∈ E,
f (u) = b.u, alors pour tout u ∈ E, on a (b − a).u = 0 donc b − a ∈ E ⊥ = {0}.
Soit E ∗ le dual de E, l’application :
ϕa : E → E∗
a 7→ ϕ(a) : u 7→ a.u
est une bĳection, elle est linéaire, c’est un isomorphisme d’espaces vectoriels.
4.4.1 Adjoint d’un endomorphisme

Définition 4.4.1. Soit f une application linéaire de E dans E. Soit v ∈ E, on considère la
forme linéaire fv : u 7→ f (u).v, d’après ce qui précède, il existe un unique vecteur w tel que
fv (u) = w.u. On note ce vecteur w = f ∗ (v). On a ainsi défini un endomorphisme f ∗ qui vérifie,
pour tout u, v ∈ E, f (u).v = u.f ∗ (v), c’est l’adjoint de f .
Proposition 4.4.2. Dans une base orthonormée quelconque de E, si P est la matrice de f , et

P ∗ la matrice de f ∗ , on a : P ∗ = t P .
4.5 Isométries
Définition 4.5.1. Une isométrie vectorielle, d’un espace vectoriel euclidien E, est une appli-
cation linéaire ϕ qui conserve la norme :
∀u ∈ E, kϕ(u)k = kuk
Une isométrie affine, d’un espace affine euclidien E, est une application affine f qui conserve la
distance :
∀(A, B) ∈ E 2 , d(f (A), f (B)) = d(A, B)
Soit ϕ une isométrie vectorielle, alors ϕ est injective, en effet :
∀(u, v) ∈ E 2 , kϕ(u) − ϕ(v)k = ku − vk
elle est donc bĳective car E est de dimension finie. Il en est de même des isométries affines, ce
sont des éléments du groupe affine.
Le groupe des isométries vectorielles de E est appelé groupe orthogonal noté O(E), c’est
un sous-groupe du groupe linéaire GL(E).
Le groupe des isométries affines de E, noté Isom(E) est un sous-groupe du groupe affine
GA(E).
Proposition 4.5.1. Soit ϕ ∈ GL(E) alors les propriétés suivantes sont équivalentes :
(i) ϕ est une isométrie.
(ii) ϕ conserve le produit scalaire, pour u, v ∈ E, on a ϕ(u).ϕ(v) = u.v.
(iii) On a ϕ−1 = ϕ∗ .
(iv) ϕ transforme toute base orthonormale en une base orthonormale.
(v) ϕ transforme une base orthonormale en une base orthonormale.
Démonstration. (i) ⇒ (ii) : On remarque que pour tout u, v ∈ E, on a :
4u.v = ku + vk2 − ku − vk2
or :
kϕ(u) + ϕ(v)k2 − kϕ(u) − ϕ(v)k2 = kϕ(u + v)k2 − kϕ(u − v)k2 = ku + vk2 − ku − vk2
d’où 4ϕ(u).ϕ(v) = 4u.v.

(ii) ⇒ (iii) : Par définition de ϕ∗ , on a pour u, v ∈ E, ϕ(u).v = u.ϕ∗ (v), ainsi d’après (ii) :
u.v = ϕ(u).ϕ(v) = u.ϕ∗ ◦ ϕ(v)
d’où :
∀(u, v) ∈ E 2 , u.(v − ϕ∗ ◦ ϕ(v)) = 0
donc, pour tout v ∈ E, v − ϕ∗ ◦ ϕ(v) ∈ E ⊥ = {0}. Ce qui prouve que ϕ−1 = ϕ∗ .
(iii) ⇒ (iv) : On suppose que ϕ ∈ GL(E) vérifie ϕ∗ ◦ ϕ = idE , soit (e1 , ..., en ) une base
orthonormale de E, on a pour 1 ≤ i 6= j ≤ n.
ϕ(ei ).ϕ(ej ) = ei .ϕ∗ ◦ ϕ(ej ) = ei .ej = 0 et ϕ(ei ).ϕ(ei ) = ei .ei = 1
d’où le résultat.
(iv) ⇒ (v) : évident.
(v) ⇒ (i) : On considère une base orthonormale (e1 , ..., en ) de E telle que (ϕ(e1 ), ..., ϕ(en ))
soit une base orthonormale. Soit u = x1 e1 + ... + xn en ∈ E, on a :
kϕ(u)k2 = kx1 ϕ(e1 ) + ... + xn ϕ(en )k2 = x21 + ... + x2n = kuk2
Proposition 4.5.2. Une symétrie est une isométrie si et seulement si c’est une symétrie
orthogonale.
Démonstration. Soit E = F ⊕ G et s la symétrie par rapport à F parallèlement à G. Tout

u ∈ E s’écrit u = v + w avec v ∈ F et w ∈ G, et s(u) = v − w. Supposons s ∈ O(E), alors :
kv + wk2 = ks(v + w)k2 = kv − wk2
ainsi 4v.w = kv + wk2 − kv − wk2 = 0, ce qui prouve que G = F ⊥ et que s est la symétrie
orthogonale sF .
Réciproquement, si s = sF est la symétrie orthogonale par rapport à F , alors pour u = v +w
et u0 = v 0 + w0 avec (v, v 0 ) ∈ F 2 et (w, w0 ) ∈ (F ⊥ )2 , on a :
s(u).s(u0 ) = (v − w).(v 0 − w0 ) = v.v 0 + w.w0 = u.u0
Proposition 4.5.3. Soit f ∈ Isom(E), alors les conditions suivantes sont équivalentes :
(i) f 2 = idE .
(ii) f est une symétrie orthogonale.
Démonstration. (ii) ⇒ (i) : évident
(i) ⇒ (ii) : Soit f une isométrie telle que f 2 = idE . Soit A ∈ E et soit O le milieu de A et
f (A), on a :
A + f (A) f (A) + A
O= donc f (O) = =O
2 2
Ainsi, f admet un point fixe. On considère le sous-espace affine F = {M, f (M ) = M },
alors, on a :
→
− →
−
F = ker( f − idE ) et F = O + ker( f − idE )
On a donc : f |F et f 2 = idE . Or :
→
− ⊥ →
−
E = ker( f − idE ) ⊕ Im( f − idE ) = F + F ⊥
→
− →
− →
−
En effet, su v = f (u) − u ∈ Im( f − idE ) et w ∈ ker( f − idE ), alors :
→
− →
− →
− →
−
u.w = ( f (u) − u).w = f (u).w − u.w = f (u). f (w) − u.w = 9
→
− →
−
Soit u ∈ E, on écrit u = u1 + u2 = f (u3 ) − u3 + u2 , avec u2 ∈ F , u1 = f (u3 ) − u3 ∈ F ⊥ ,
on a alors :
→
− →
− →
− →
− →
−
f (u) = f 2 (u3 ) − f (u3 ) + f (u2 ) = u3 − f (u3 ) + u2 = u2 − u1
Ainsi, f est la symétrie orthogonale par rapport à F.
Proposition 4.5.4. Soit E un espace affine euclidien dirigé par un espace vectoriel euclidien E,
soient O(E) le groupe orthogonal de E et Isom(E) le groupe des isométries de E. L’application :
ψ : Isom(E) → O(E)
→
−
f 7→ f
est un morphisme surjectif de groupes dont le noyau est le groupe des translations de E.
De même que dans le cas du groupe affine, on peut écrire le groupe des isométries comme
un produit semi-direct.
Proposition 4.5.5. Soit G = Isom(E) le groupe des isométries d’un espace affine E dirigé par
un espace vectoriel E, soit A ∈ E et T le groupe des translations de E, on note :
IsomA = {f ∈ G, f (A) = A}
Alors IsomA est un sous-groupe de G isomorphe à O(E) et G est produit semi-direct de IsomA
par T .
4.5.1 Déplacements et anti-déplacements

Définition 4.5.2. Soit ϕ une isométrie vectorielle, on a vu qu’alors ϕ−1 = ϕ∗ et que si P est
la matrice de ϕ dans une base orthonormale de E, la matrice de ϕ∗ est la transposée de P , on
a donc, pour ϕ ∈ O(E) :
det(ϕ ◦ ϕ∗ ) = det(P t P ) = det(P )2 = 1
d’om det ϕ ∈ {−1, 1}. On appelle déplacement une isométrie affine dont le déterminant de
l’isométrie linéaire associée est égal à 1 (c’est, par exemple, le cas des translations). On appelle
anti-déplacement, une isométrie affine dont le déterminant de l’isométrie linéaire associée est
égal à −1 (c’est, par exemple, le cas des symétries orthogonales).
L’ensemble des déplacements, ou isométries positives, noté Isom+ (E) est un sous-groupe de
Isom(E).
4.5.2 Décomposition canonique

Proposition 4.5.6. Soit E un espace affine euclidien dirigé par un espace vectoriel E, soit f
→
−
une isométrie et f son isométrie vectorielle associée. Alors, il existe une unique décomposition,
f = t◦g où t est une translation et g est une isométrie affinie admettant un sous-espace F affine
→
−
non-vide de points fixes. On a alors t ◦ g = g ◦ t, la direction F de F est égale à ker( f − idE )
et t = tu avec u ∈ F .
→
− →
−
Démonstration. Notons F = ker( f − idE ) et on remarque que F ⊥ = Im( f − idE ), en effet
→
− →
− →
−
soit v ∈ Im( f − idE ), il existe u ∈ E tel que v = f (u) − u, soit w ∈ ker( f − idE ), on a :
→
−
f (w) = w et :
→
− →
− →
− →
−
v.w = ( f (u) − u).w = f (u).w − u.w = f (u). f (w) − u.w = 0
→
−
car f conserve le produit scalaire.
→
− ⊥ →
−
On a donc bien E = ker( f − idE ) ⊕ Im( f − idE ) = F + F ⊥ .
−−−−→
Soit A ∈ E, on écrit Af (A) = u1 + u2 avec u1 ∈ F et u2 ∈ F ⊥ , il existe u3 ∈ E tel que
→
−
u2 = f (u3 ) − u3 . Remarquons que le vecteur u1 ne dépend que de f et pas du point A choisi.
−−−−−→
En effet, si A0 6= A est un autre point de E, le vecteur A0 f (A0 ) s’écrit u01 + u02 avec u01 ∈ F et
u02 ∈ F ⊥ , on a :
− −−→0
→ −−→ →
−
f (AA ) − AA0 ∈ F ⊥ = Im( f − idE )
et :
− −−→0
→ −−→ −−−−−−−→ −−→ −−−−→ −−→ −−−−−→ −−→
f (AA ) − AA0 = f (A)f (A0 ) − AA0 = f (A)A + AA0 + A0 f (A0 ) − AA0 = (u01 − u1 ) + (u02 − u2 )
→
−
d’où u01 −u1 = 0. On note u ce vecteur qui ne dépend que de f . On rappelle que u2 = f (u3 )−u3 .
→
− →
−
On pose B = A − u3 , on a f (B) = f (A) − f (u3 ), or, f (A) = A + u + u3 − f (u3 ). D’où
f (B) = A − u3 + u = B + u1 + tu (B).
On définit l’isométrie affine g par g = t−u ◦ f , c’est-à-dire f = tu ◦ g avec u ∈ F défini de
→
−
manière unique comme ci-dessus. On a → − g = f et g(B) = B.
Vérifions l’unicite de la décomposition, supposons f = tu ◦ g = t0u ◦ g 0 avec g(B) = B et
g (B 0 ) = B 0 , on a f (B) = B + u et f (B 0 ) = B 0 + u0 d’où :
0
−−−−0 −−−→ −−0→ →

− →
−
f (B )f (B) − B B = u − u0 ∈ ker( f − idE ) ∩ Im( f − idE )
donc u = u0 et g = g 0 .
Cette décomposition, unique f = tu ◦ g, s’appelle la décomposition canonique de f . L’en-

→
−
semble des points fixes de g qui est un sous-espace affine de E dirigé par ker( f − idE ), est
appelé axe de f .
4.5.3 Génératerurs de Isom(E)

Proposition 4.5.7. Soit E un espace affine de dimension n dirigé par un espace vectoriel eucli-
→
− →
−
den E, soit f ∈ Isom(E) et f l’automorphisme orthogonal associé. On note k = dim ker( f −
idE ), alors f s’écrit comme produit de p réflexions, avec p = n − k si f admet un point fixe et
p = n − k + 2 sinon.
Lemme 4.5.8. Soit E un espace vectoriel euclidien de dimension n. Toute isométrie ϕ de E

s’écrit comme produit de p symétries orthogonales hyperplanes, avec p ≤ n.
Démonstration du Lemme 4.5.8. La démontsration se fait par réccurence sur la dimension n

de E. Le cas n = 1 correspond à E = R, il n’y a que deux isométries, idE et − idE . L’identité
est composée de zéro symétrie et − id est une symétrie hyperplane (d’hyperplan H = {0}).
Supposons donc le résultat vrai pour tout espace vectoriel de dimension ≤ n − 1. On se place
alors dans E de dimension n. Soit u0 un vecteur non nul de E, on distingue alors deux cas :
1) ϕ(u0 ) = u0 , on considère l’hyperplan H = {v ∈ E, u0 .v = 0}, ϕ conserve le produit scalaire,
on a donc :
v ∈ H ⇒ ϕ(v).u0 = ϕ(v).ϕ(u0 ) = v.u0 = 0
ainsi, pour tout v ∈ H, ϕ(v) ∈ H. Par conséquent ϕ0 = ϕ|H est une isométrie de H et H
est un espace vectoriel de dimension n − 1. Ainsi, par hypothèse de réccurence, il existe q
hyperplans Hi0 , 1 ≤ i ≤ q, de H avec q ≤ n − 1, tels que :
ϕ0 = sH10 ◦ ... ◦ sHq0
Pour i, 1 ≤ i ≤ q, on note Hi l’hyperplan de E engendré par Hi0 et u0 . Vérifions que :
ϕ = sH1 ◦ ... ◦ sHq
Il suffit d’écrire E = H ⊕ H ⊥ = H ⊕ Ru0 , alors :

– si u = λu0 , on a sH1 ◦ ... ◦ sHq = u = ϕ(u), en effet, pour tout i, 1 ≤ i ≤ q, Hi = Hi0 ⊕ Ru0 ,
donc λu0 ∈ Hi .
– Maintenant, si v ∈ H, sH1 ◦ ... ◦ sHq (v) = sH10 ◦ ... ◦ sHq0 (v) = ϕ0 (v) = ϕ(v). D’où le résultat,
avec q ≤ n − 1 ≤ n.
2) ϕ(u0 ) 6= u0 . On considère v0 = 1/2(u0 − ϕ(u0 )) 6= 0 et H = {u ∈ E, u.v0 = 0}. Ainsi
1/2(u0 − ϕ(u0 )) ∈ H ⊥ et kϕ(u0 )k = ku0 k d’où sH (u0 ) = ϕ(u0 ) et :
sH ◦ ϕ(u0 ) = sH (ϕ(u0 )) = u0
Ainsi l’isométrie sH ◦ ϕ admet un vecteur fixe, on est ramené au cas précédent, il existe q
symétries orthogonales hyperplanes, avec q ≤ n − 1, telles que :
sH ◦ ϕ = sH1 ◦ ... ◦ sHq
ainsi ϕ = sH ◦ sH1 ◦ ... ◦ sHq est bien coposée de p symétries orthogonales hyperplanes avec
p ≤ n.
Démonstration du Proposition 4.5.7. Soit f une isométrie affine de E. Si f admet un point

fixe A, on vectorialise en A et on applique le lemme à l’espae vectoriel EA . Si f n’a pas de point
fixe, on considère A et A0 = f (A) et H l’hyperplan médiateur de A et A0 , c’est-à-dire l’hyperplan
−−→
qui passe par le milieu des points A et A0 et qui est dirigé par H = {u ∈ E, AA0 .u = 0}. Alors
l’isométrie sH ◦ f est une isométrie affine qui fixe A, on peut donc lui appliquer ce qui précède.
Ainsi, toute isométrie se décompose en produit de p réflexions, avec p ≤ n.
→
−
Montrons que p = n−k si f admet un point fixe et n−k +2 sinon, où k = dim ker( f −idE ).
Nous allons distinguer trois cas :
1) On suppose que f admet au moins deux points fixes distincts A et B. Dans ce cas, comme
dans la démonstration du lemme, on procède par réccurence sur la dimension n de E. On
suppose que le résultat est vrai pour tout espace affine de dimension ≤ n − 1, soit E de
→
−
dimension n et f ∈ Isom(E), on note k = dim ker( f − idE ).
−→
Soit H = {u ∈ E, u.AB = 0} et H l’hyperplan qui passe par A et dirigé par H, on a
→
− −→ −→ →
−
f (AB) = AB donc f est un isomorphisme de H, ceci implique que pour tout M ∈ H,
f (M ) ∈ H, ainsi f 0 = f |H = sH10 ◦ ... ◦ sHq0 , où les Hi0 sont des hyperplans de H et, par
→
− →
− →
−
hypothèse de réccurence, q = (n−1)−dim ker( f 0 −idH ). Or ker( f 0 −idH ) = ker( f −idE )∩H
→
−
et donc dim ker( f 0 − idH ) = k − 1. Ainsi, comme d’après le lemme, on a f = sH1 ◦ ... ◦ sHq ,
on a bien une décomposition de f en q symétries avec q = (n − 1) − (k − 1) = n − k.
2) On suppose que f admet un unique point fixe A, on a alors k = 0. Soit M0 ∈ E, on
−−→ → − −−→ −−→ −−→
note N0 le point de E tel que AM0 − f (AM0 ) = AN0 et H = {u ∈ E, uAN0 = 0}.
→
− −−→ −−→
On a alors (sH ◦ f )(AM0 ) = AM0 , si H est l’hyperplan passant par A et dirigé par H,
l’isométrie g = sH ◦ f admet au moins deux points fixes et on est ramené au cas précédent,
→
−
g se décompose en q symétries, avec q = n − k 0 où k 0 = dim ker(sH ◦ f − idE ). Notons
→
− −−→
K = ker(sh ◦ f − idE ), on a dim K ≥ 1 car AM0 ∈ K. Par ailleurs :
→
− →
− →
−
u ∈ K ⇔ (sH ◦ f )(u) = u ⇔ f (u) = sH (u) ⇔ u − f (u) ∈ H ⊥
Or :
→
− →
− −−→
u − f (u) ∈ H ⊥ ⇔ ∃λ ∈ R, u − f (u) = λAN0
−−→
Notons u = λAM0 + v, alors :
→
− −−→ −−→ →
− −−→ → − −−→ →
− −−→ →
−
u − f (u) = λAN0 ⇔ λAM0 + v − f (λAM0 ) − f (v) = λAM0 − λ f (AM0 ) ⇔ v − f (v) = 0
→
− −−→ →
−
or, ker( f − idE ) = {0}, d’où u = λAM0 . Ce qui prouve que k 0 = dim ker(sH ◦ f − idE ) = 1.
Ainsi, g se décompose en n − 1 symétries, donc f se décompose en p = n − k symétries.
3) On suppose que f n’admet pas de point fixe ; D’après la Proposition 4.5.6, f se décompose
canoniquement en g ◦ tu = tu ◦ g, où g admet un espace affine de points fixes dirigé par
→
−
F = ker( f − idE ) = ker(→ −g − idE ), ainsi, d’après les questions précédentes, g se décompose
en n − k réflexions.
Il reste à démontrer que tu s’écrit comme produit de 2 réflexions. Soit H l’hyperplan vectoriel
des vecteurs orthogonaux à → −
u , on considère H1 un hyperplan de E dirigé par H et H2 =
H1 + u/2, on montre qu’alors tu = sH2 ◦ sH1 . Soit M un point de E, notons M1 = pH1 (M )
le projeté orthogonal de M sur H1 et M 0 = sH1 (M ).
On note M2 = pH2 (M 0 ) = pH2 (M ), le projeté orthogonal de M 0 (et de M ) sur l’hyperplan
H2 et M 00 = sH2 (M 0 ) = (sH2 ◦ sH1 )(M ). On a alors :
M + M0 M 0 + M 00 −−−−→ u
M1 = M2 = et M1 M2 =
2 2 2
−−−→
Montrons que M M 00 = u. Pour cela, nous allons plonger E dans Ê et ainsi écrire :
M 00 − M = (2M2 − M 0 ) − M = 2M2 − (2M1 − M ) − M = 2(M2 − M1 )

−−−→
On a donc bien M M 00 = u et, ainsi, f se décompose en produit de p = n − k + 2 réflexions.
4.6 Angles
Nous avons vu dans le chapitre sur l’axiomatique que certaines définitions des angles ne
permettait pas de faire toutes les opérations souhaitées, nous allons maintenant définir de
manière rigoureuse la notion d’angles orientés de vecteurs.
On se place dans le plan affine euclidien P dirigé par un plan vectoriel E, les isométries
vectorielles positives de E sont appelées rotations.
Proposition 4.6.1. Soient u et v deux vecteurs de E tels que kuk = kvk = 1, il existe une
unique rotation r ∈ O+ (E) telle que r(u) = v.
Démonstration. Soit (e1 , e2 ) une base orthonormée de E telle que e1 = u. On a v = ae1 + be2
avec a2 + b2 = 1 car on a supposé le vecteur v unitaire. La rotation r dont la matrice dans la
baxe (e1 , e2 ) est la suivante : !
a −b
b a
vérifie bien r(u) = v et elle est déterminée de manière unique par a et b.
4.6.1 Angles orientés de vecteurs

Soit S = {u ∈ E, kuk = 1} l’ensemble des vecteurs unitaires de E, l’application :
: S × S → O+ (E)
(u, v) 7→ r
r étant l’unique rotation telle que v = r(u), est surjective et définit une relation d’équivalence
sur les couples de vecteurs unitaires.
(u, v)R(y 0 , v 0 ) ⇔ ∃r ∈ O+ (E), v = r(u) et v 0 = r(u0 )
⇔ ∃ρ ∈ O+ (E), u0 = ρ(u) et v 0 = ρ(v)
La classe d’équivalence du couple (u, v) est appelée angle orienté des vecteurs u et v. L’ensemble
des classes d’équivalence, noté A, est l’ensemble des angles orientés. L’application :
Φ : A → O+ (E)
[
(u, v) 7→ r
r étant l’unique rotation telle que v = r(u), est maintenant bĳective. Cette application, considé-
rée comme isomorphisme de groupes permet de transporter la structure de groupes commutatif
de O+ (E) sur A, on a :
[
(u, \
v) + (u0 , v 0 ) = Φ−1 (Φ((u,
[ v)) ◦ Φ((u
\ 0 , v 0 )))
[
L’angle nul correspond à l’identité, soit (u, \
u). On appelle angle plat l’angle (u, −u), il corres-
pond à la symétrie centrale − idE . Un angle tel que 2(u, v) = (u, −u) est appelé angle droit. Il
[ \
[
y a ainsi deux angles droits, l’angle (u, v) est droit si et seulement si les vecteurs u et v sont
orthogonaux. Un angle droit correspond à une rotation r qui vérifie r ◦ r = − id, c’est-à-dire :
!2 !
a −b −1 0
=
b a 0 −1
ce qui implique a = 0 et b = 1 ou b = −1.
Les angles orientés forment donc un groupe additif et, de plus, ils vérifient la relation de
Chasles.
Proposition 4.6.2. Soient u, v, w des vecteurs unitaires de E, on a :
[
(u, \
v) + (v, \
w) = (u, w)
Démonstration. On considère les rotations r1 et r2 telles que v = r1 (u) et w = r2 (v), on a alors
w = r2 ◦ r1 (u).
4.6.2 Angles orientés de droites

Soient D et D0 deux droites vectorielles de E dirigée respectivement par les vecteurs unitaires
u et u0 . Les vecteurs −u et −u0 sont également des vecteurs unitaires directeurs de D et D0 , on
va alors considérer la relation d’équivalence suivante :
(u, u0 )R(v, v 0 ) ⇔ (u,

\ u0 ) = (v,
\ v 0 ) ou (u,
\ u0 ) = (−v,
\ v0)
L’angle orienté des droites D et D0 , noté (D, D0 ), est alors la classe d’équivalence du couple de
vecteurs unitaires (u, u0 ) pour cette relation d’équivalence. L’ensemble des angles orientés de
droites est un groupe comme quotient du groupe A par le sous-groupe d’ordre 2 engendré par
l’angle plat.
Proposition 4.6.3. Soient D, D0 , ∆ et ∆0 des droites dirigées respectivement par les vecteurs
unitaires u, u0 , v et v 0 , on a alors :
\
2(u, u0 ) = 2(v,
\ v 0 ) ⇔ (D, D0 ) = (∆, ∆0 )
4.6.3 Mesure des angles orientés

Commençons par orienter le plan vectoriel P par le choix d’une base orthonormée B, les
bases de P dont la matrice dans la base B ont un déterminant positif sont dites directes, celles
dont le déterminant de la matrice dans B est négatif sont dites indirectes. La matrice d’une
rotation est la même dans toutes les bases orthonormées directes.
[
Définition 4.6.1. Soient u et v deux vecteurs unitaires de E, l’angle (u, v) ∈ A est définie
+
par la rotation r ∈ O (E) telle que v = r(u), la matrice de cette rotation dans toute base
orthonormée directe est de la forme :
!
cos θ − sin θ
sin θ cos θ
où θ est un nombre réel défini modulo 2π appelé angle de la rotation r ou mesure de l’angle
[
orienté (u, v).
[
Si les vecteurs u et v ne sont plus supposés unitaires, on peut encore définir l’angle (u, v)

\
u v

comem étant égal à kuk , kvk . Si θ est une mesure de cet angle, on a :
u.v
cos θ =
kuk.kvk
L’application :
R → R/2πZ → O+ (E) → A
est surjective, ainsi tout angle orienté possède une mesure.
L’application :
R/2πZ → O+ (E) → A
[
est injective, ainsi, si θ est une mesure de (u, v), toutes les autres mesures sont de la forme
θ + 2kπ, avec k ∈ Z. Le nombre π est une mesure de l’angle plat. Les mesures des angles de
droites sont des éléments de R/πZ et on a, si θ et ϕ sont des mesures d’angles :
2θ ' 2ϕ mod 2π ⇔ θ ' ϕ mod π
Proposition 4.6.4. L’application qui, à un angle orienté de vecteurs (resp. de droites) associe
une de ses mesures, définit un homomorphisme du groupe des angles orientés dans R/2πZ (resp.
R/πZ). Ce morphisme dépend de l’orientation du plan choisie et c’est un isomorphisme.
4.6.4 Angles géométriques

Pour définir l’angle géométrique des vecteurs u et v, on confond (u, [ [
v) et (v, u). On peut
ainsi définir une mesure de l’angle, non orienté, des vecteurs u et v comme étant :
u.v
(u, v) = arccos ∈ [0, π]
kuk.kvk
Si A, B, C sont trois points de E, on note :
[ = (−
BAC
→ −→
AB, AC)
−→ −→
l’angle non-orienté (ou géométrique) des vecteurs AB et AC.
On perd ainsi la structure de groupe. On garde les notions d’angles plat et d’angle droit et
on a la proposition suivante :
Proposition 4.6.5. Les isométries du plan conservent les angles géométriques.
On termine le paragraphe sur les angles par quelques résultats bien connus.
Proposition 4.6.6. Soient A, B, C trois points du plan affine euclidien P. La somme des
angles orientés de vecteurs :
−→
\ −→ −−→
\ −→ −→
\ −−→
(AB, AC) + (BC, BA) + (CA, CB)
est égale à un angle plat.
Démonstration. On a par Chasles :
−→
\ −→ −−→
\ −→ −→
\ −−→ −→
\ −→ −−→
\ −→ −→
\ −−→
(AB, AC) + (BC, BA) + (CA, CB) = (AB, AC) + (BC, BA) + (AC, BC)
−→
\ −→ −→
\ −−→ −−→
\ −→ −→
\ −→
= (AB, AC) + (AC, BC) + (BC, BA) = (AB, BA)
On a le corollaire suivant :
Corollaire. Soient A, B, C trois points du plan affine euclidien orienté. On note α, β, γ des
−→
\ −→ −−→ \ −→ −→ \ −−→
mesures des angles orientés (AB, AC), (BC, BA), (CA, CB), on a :
α+β+γ 'π mod 2π
et la somme des mesures des angles géométriques est exactement π.
Proposition 4.6.7. Soient A, B, C trois points d’un cercle de centre O, alors, on a :
−→
\ −−→ −→
\ −−→
(OA, OB) = 2(CA, CB)
Démonstration. Le point O étant sur la médiatrice du segment [AC], on a :
−→
\ −→ −→
\ −→
(CA, CO) = (AO, AC)
ainsi :
−→
\ −→ −→
\ −→
(OA, OC) + 2(CO, CA) = π
De même, on a :
−→
\ −−→ −−→
\ −→
(OA, OB) + 2(CB, CO) = π
Ce qui nous donne en ajoutant ces deux égalités et en utilisant la relation de Chasles :
−→
\ −−→ −−→
\ −→
(OA, OB) + 2(CB, CA) = 0
Si le point C est confondu avec le point B, alors la droite (BC) est remplacée par la tangente
au cercle en B. On a alors la proposition suivante :
Proposition 4.6.8. Soient C un cercle de centre O, B un point de C et D la tangente en B

au cercle C. Alors si A ∈ C, A 6= B, on a :
−→
\ −−→
(OA, OB) = 2((AB), D)
De cette proposition, on déduit le critère de cocyclicité suivant.
Proposition 4.6.9. Soient A, B, C, D des points du plan affine, les points A, B, C, D sont
cocycliques ou alignés si et seulement si les angles de droites (CA, CB) et (DA, DB) sont
égaux.
On remarque qu’on a défini les angles dans le plan affine euclidien, mais, dans la mesure où
deux vecteurs définissent un plan vectoriel, on peut toujours parler d’angle de deux vecteurs
quelque soit la dimension de l’espace. La mesure d’angle nécessite une orientation du plan dans
lequel on se place.
4.7 Isométrie en dimension 2 et 3

On a vu dans un précédent chapitre la structure de groupe des isométries. On va maintenant
s’intéresser à leur classification dans le cas du plan affine et de l’espace de dimension 2.
4.7.1 Classification en dimension 2

On note P la plan affine, et P son plan vectoriel directeur. Soit f une isométrie affine de P
→
−
et f l’automorphisme orthogonal associé. Ecrivons la décomposition canonique de f :
f = g ◦ tu = tu ◦ g
où g est une isométrie affine admettant un sous-espace affine non vide F de points fixes, dirigé
→
−
par le sous-espace vectoriel F = ker( f − idP ), le vecteur u de la translation tu appartient à F .
On a vu précédemment que les isométries vectorielles étaient composées d’une ou de deux
réflexions. La composée de deux réflexions est une isométrie positive, dans le cas du plan, c’est
→
−
une rotation. Ainsi, l’application f = → −g est-elle égale ou bien à l’identité ou à une réflexion
ou à une rotation. Nous noterons L = {M ∈ P, f (M ) = M }, l’ensemble des points fixes de f .
Nous allons classifier les cas suivant la dimension de F et l’existence de points fixes de f :
→
−
1) dim F = 2. Dans ce cas, f = idP , l’isométrie f est une translation (ou l’identité de P) et
L = ∅ (ou P).
→
−
2) dim F = 1, on note F = D alors f = → −
s est la symétrie orthogonale par rapport à la
D
droite vectorielle D.
a) si f admet un point fixe A alors L = D, la droite passant par A et dirigée par D. Le
vecteur u de la translation dans la décomposition canonique de f est nul, l’isométrie f
est la symétrie orthogonale par rapport à la droite affine D.
b) si f n’admet pas de point fixe, L = ∅, on note D l’ensemble des points fixes de g et

→
−
g = sD . On a f = sD ◦ tu = tu ◦ sD avec u 6= 0 , l’isométrie f est une symétrie glisée.
→
− →
−
3) dim F = 0, f n’est ni l’identité, ni une réflexion, donc f = → −g est une rotation vectorielle
d’angle θ, dans ce cas, l’isométrie f admet un unique point fixe, L = {A} et f est la rotation
de centre A et d’angle θ. On remarque que si θ = π, f est aussi l’homothétie de centre A et
de rapport −1.
4.7.2 Classification en dimension 3

Comme dans le cas précédent, on note E l’espace affine de dimension 3, et E son espace
→
−
vectoriel directeur. Soit f une isométrie affine de E et f l’automorphisme orthogonal associé.
On écrit la décomposition canonique de f :
f = g ◦ tu = tu ◦ g
où g est une isométrie affine admettant un sous-espace affine non vide F de points fixes, dirigé
→
−
par le sous-espace vectoriel F = ker( f − idP ), le vecteur u de la translation tu appartient à
→
−
F . Par ailleurs, l’isométrie vectorielle f est composée d’une deux ou trois réflexions (symétries
orthogonales hyperplanes). Nous noterons encore L = {M ∈ P, f (M ) = M }, l’ensemble des
points fixes de f et nous allons examiner tous les cas possibles en classifiant selon la dimension
→
−
de F , l’existence des points fixes et la décomposition de f en produit de réflexions.
→
−
1) dim F = 3, alors f = idE , l’isométrie f est soit l’identité et L = E soit une translation de
vecteur u 6= 0 et L = ∅.
→
−
2) dim F = 2, dans ce cas, 1 est valeur propre de f et le sous-espace propre associé est un
→
−
plan vectoriel P , il existe une base orthonormée de E dans laquelle la matrice de f s’écrit :
 
1 0 0
0 1 0 
 
0 0 −1
→
−
L’application f est alors la symétrie orthogonale par rapport au plan P .
a) si f admet un point fixe A alors L = P, où P est le plan affine passant par A et dirigé
par P , l’isométrie f est alors la symétrie orthogonale par rapport au plan P. Le vecteur
u de la décomposition canonique est nul.
b) si f n’admet pas de points fixes, on note P l’ensemble des points fixes de g = sP , il est
dirigé par P . On a sP ◦ tu et u ∈ P . L’isométrie f est une symétrie glisée orthogonale.
→
−
3) dim F = 1, alors 1 est valeur propre de f et le sous-espace propre associé est une droite D,
→
−
il existe une base orthonormée de E dans laquelle la matrice de f s’écrit :
 
1 0 0
0 cos θ − sin θ 
 
0 sin θ cos θ
→
−
f est alors une rotation d’axe la droite D engendrée par le premier vecteur de cette base,
→
−
f est le produit de deux réflexions.
a) si f admet un point fixe A alors f est la rotation d’axe D, passant par A et dirigé par D,
et d’angle θ. On a L = D et la translation de la décomposition canonique est l’identité.
→
−
b) si f n’admet pas de point fixe, on note D l’axe de rotation f et D l’ensemble des points
fixes de la rotation r = g. On a la décomposition f = r ◦ tu = tu ◦ r où u est un vecteur
non nul de D. L’isométrie f est alors un visage d’axe D, d’angle θ et de vecteur u.
→
−
4) dim F = 0, alors f est le produit de trois réflexions ou encore d’une réflexion et d’une
→
−
rotation, dans ce cas il existe une orthonormée de E dans laquelle la matrice de f s’écrit :
 
−1 0 0

 0 cos θ − sin θ

0 sin θ cos θ
→
−
on a f = → −
rD◦→ −
sP = → −sP = → −r D , où →
−
r D est la rotation vectorielle d’axe D et →−
s P la
⊥
symétrie orthogonale par rapport au plan P = D . Par ailleurs, la décomposition canonique
nous dit que f = tu ◦ g, où g admet un espace de points fixes dirigé par F ainsi g admet
→
−
un point fixe A et u ∈ F donc u = 0 . On a alors f = g = sP ◦ rD où P est le plan affine
dirigé par P et passant par le point A et D est la droite affine dirigée par D et passant par
A. L’isométrie f admet A comme point fixe, elle est la composée d’une rotation d’axe D
passant par A et d’une symétrie orthogonale de plan P passant par A et dirigé par P = D⊥ .
4.8 Similitudes
Définition 4.8.1. Soit E un espace vectoriel euclidien, une application ϕ ∈ GL(E) est une
similitude si elle s’écrit ϕ = h ◦ ψ avec h une homothétie vectorielle et ψ ∈ O(E). On a alors
(c’est une définition équivalente) pour tout u ∈ E, ϕ(u).ϕ(u) = λ2 u.u, si λ est le rapport de
l’homothétie, |λ| est appelé rapport de la similitude.
Proposition 4.8.1. 1) On suppose dim E ≥ 2. Soit ϕ ∈ GL(E), l’application ϕ est une simi-
litude si et seulement si elle conserve l’orthogonalité.
2) Les similitudes conservent les angles (non-orientés) et ce sont les seuls endomorphismes
bĳectifs de Eayant cette propriété.
Démonstration. 1) Soient u et v deux vecteurs orthogonaux de E, si ϕ est une similitude, on
a ϕ(u).ϕ(v) = λ2 u.v = 0, ainsi ϕ conserve l’orthogonalité.
Réciproquement, considérons ϕ ∈ GL(E) telle que pour (u, v) ∈ E 2 :
u.v = 0 ⇒ ϕ(u).ϕ(v) = 0
Pour v ∈ E, on considère la forme linéaire :

fv : E → R
u 7→ ϕ(u).ϕ(v)
Cette forme linéaire s’annule sur hvi⊥ = {u ∈ E, u.v = 0}, elle est donc proportionnelle à
la forme linéaire u → u.v, ainsi il existe k(v) ∈ R tels que :
∀u ∈ E, ϕ(u).ϕ(v) = k(v)u.v
En échangeant les rôles des vecteurs de u et v, on obtient k(u) = k(v), le réel k est donc
indépendant de v et on a pour u ∈ E :
kϕ(u)k2 = kkuk2
ce qui prouve que ϕ est une similitude.

2) Soient ϕ une similitude de rapport k, u et v des vecteurs de E, on a :
\ ϕ(u).ϕ(v) k 2 u.v u.v [

cos (ϕ(u), ϕ(v)) = = 2 = = cos (u, v)
kϕ(u)k.kϕ(v)k k kuk.kvk kuk.kvk
Réciproquement, si ϕ est un automorphisme de E qui conserve les angles (non orientés),

alors ϕ conserve en particulier l’orthogonalité et ainsi, d’après a), ϕ est une similitude.
Les similitudes vectorielles forment un sous-groupe de GL(E), les similitudes dont le déter-
minant est positif sont dites similitudes directes, elles conservent alors les angles orientés, celles
dont le déterminant est négatif sont dites indirectes.
4.8.1 Similitudes affines

Soit E un espace affine dirigé par un espace vectoriel E. Une bĳection affine f est une simi-
→
−
litude affine si son application linéaire associée f est une similitude vectorielle. La similitude
→
−
affine f est dite directe ou indirecte comme la similitude vectorielle f et son rapport est celui
→
−
de f . Si f est une similitude de rapport k, on a :
−−−−−−−→ →
− −−→ −−→
∀(M, N ) ∈ E 2 , f (M )f (N ) = kf (M )f (N )k = k f (M N )k = kkM N k = kM N
Il est clair que les isométries sont des similitudes (de rapport 1). pour les similitudes de rapport
k 6= 1, on a la proposition suivante :
Proposition 4.8.2. Soit f une similitude de rapport k 6= 1, alors f admet un unique point fixe
O qui est appelé centre de la similitude.
Démonstration. L’application linéaire associée à f est une similitude vectorielle de rapport

k 6= 1, ainsi elle n’admet pas 1 comme valeur propre. Ceci prouve d’après la Proposition
2.10.5, que f admet un unique point fixe.
En admettant le théorème fondamentale de la géométrie affine, déjà cité, qui dit qu’une
bĳection de E qui transforme trois points alignés en trois points alignés est une bĳection affine,
on peut caractériser les similitudes par la proposition suivante :
Proposition 4.8.3. Soit f une bĳection de E dans E, il y a équivalence de :

(i) f est une similitude
(ii) Pour tout A, B, C ∈ E, on a BAC \
[ = f (B)f (A)f (C)
(iii) Pour tout A, B, C, D ∈ E, on a (AB) ⊥ (CD) ⇒ (f (A)f (B)) ⊥ (f (C)f (D)).
Démonstration. Compte tenu des propriétés des similitudes vectorielles, il est évident que (i) ⇒
→
−
(ii) ⇒ (iii), en effet f conserve l’orthogonalité et les angles (non-orientés).
On montre que (iii) ⇒ (i), il suffit de vérifier que f est affine et c’est là qu’intervient le
théorème fondamental, pour démontrer que f est affine, nous allons démontrer que l’hypothèse
→
−
(iii) implique que f conserve l’alignement. On aura alors une bĳection affine f telle que f
conserve l’orthogonalité.
Soient A, B, C trois points alignés de E. Notons D la droite passant par A et dirigée par
−→ −→
AB, on a C ∈ D. On note → −
e1 = AB et considérons une base orthogonale (→ −
e1 , →
−
e2 , ..., →
−
en )de E.
→
− −−→
Pour 1 ≤ i ≤ n, il existe un unique Ai ∈ E, tel que ei = AAi , (A1 = B), comme f conserve
→
− −−−−−−−→
l’orthogonalité, les vecteurs e0i = f (A)f (Ai ) sont orthogonaux deux à deux, ils forment donc un
−−−−−−→
système libre de n vecteurs, donc une base de E. Notons λ1 , ..., λn les coordonnées de f (A)f (C)
dans cette base, sachant que pour 2 ≤ i ≤ n,
(AC) = (AB) = (AA1 ) ⊥ (AAi )
−→ −−→
et que f conserve l’orthogonalité, on a (f (A)f (C)) ⊥ (f (A)f (Ai )). Ainsi AC.AAi = 0 pour
−−−−−−→ −−−−−−−→
2 ≤ i ≤ n, d’où λi = 0 pour 2 ≤ i ≤ n. Ce qui prouve que f (A)f (C) = λ1 f (A)f (A1 ) donc que
f (C) ∈ (f (A)f (B)).
Les similitudes conservent aussi les rapports de distances.
Proposition 4.8.4. Soit f : E → E une application non constante, les propriétés suivantes
sont équivalentes :
(i) f est une similitude de rapport k > 0
(ii) Pour tout M, M 0 , N, N 0 dans E tels que M N 6= 0 et f (M )f (N ) 6= 0, on a :
f (M 0 )f (N 0 ) M 0N 0
=
f (M )f (N ) MN
(iii) ∃k > 0, ∀(M, N ) ∈ E 2 , f (M )f (N ) = kM N .
Démonstration. (i) ⇒ (ii) est évident. On montre que (ii) ⇒ (iii) : il existe M 6= N tels que
f (M ) 6= f (N ), si M 0 et N 0 sont deux points de E alors :
f (M 0 )f (N 0 ) M 0N 0
=
f (M )f (N ) MN
si M 0 N 0 6= 0 alors :
f (M 0 )f (N 0 ) f (M )f (N )
0 0
=
MN MN
donc f (M 0 ) 6= f (N 0 ), ainsi f est injective et il existe k > 0 tel que f (M )f (N ) = kM N .
On montre maintenant que (iii) ⇒ (i). On considère une homothétie h de rapport k −1 .
Posons g = h ◦ f , on a alors pour tout M, N ∈ E :
g(M )g(N ) = k −1 f (M )f (N ) = k −1 kM N = M N
ce qui prouve que g est une isométrie, ainsi f = h−1 ◦ g est une similitude.
4.8.2 Les similitudes planes et le plan complexe

On a vu qu’une similitude plane, ou bien est une isométrie, ou bien admet un centre O. On
vectorialise le plan affine P en O, une similitude vectorielle est le produit d’une isométrie et
d’une homothétie.
On identifie le plan affine au plan complexe. Un point M de coordonnées (x, y) dans un
repère orthonormé est identifié au nombre complexe z = x + iy. Les similitudes directes sont
alors les applications de la forme :
f : z 7→ f (z) = az + b
et les similitudes indirectes sont de la forme :
f : z 7→ f (z) = az + b
où a et b sont des nombres complexes. Le rapport de la similitude est |a|. On étudie précisement
ces applications.
1er cas. Les similitudes directes : on commence par étudier les points fixes de f .
f (z) = z ⇔ z = az + b ⇔ (1 − a)z = b
ainsi, si a = 1, l’application f n’a pas de point fixe, on a f (z) = z + b, c’est la translation

−−→
de vecteur OB, où O est le point d’affixe 0 et B le point d’affixe b. Si a 6= 1, f admet un
unique point fixe, le point Ω d’affixe b/(1 − a).
Si a 6= 1, on décompose f de la manière suivante :
f : z 7→ az 7→ az + b
On note z = ρeiθ et a = |a|eiα , l’application ϕ(z) = az envoie ρeiθ sur |a|ρeiθ+α . C’est
donc la rotation de centre O, d’angle θ composée avec l’homothétie de centre O de rapport
|a|, c’est une similitude vectorielle. L’application f vérifie :
kf (z) − f (0)k = kazk = |a|kz − 0k
ce qui caractérise bien les similitudes affines de rapport |a|.

2ème cas. Les similitudes indirectes : on caractérise les points fixes de f , on note S = {z ∈
C, z = az + b} :
– si |a| = 1, l’application z 7→ az est une isométrie vectorielle, c’est la composée de la
symétrie d’axe y = 0 et de la rotation d’angle un argument de a. Ainsi, si S est une
droite D, f est la symétrie orthogonale de base D et si S = ∅, f est une symétrie glisée.
on retrouve ainsi les isométries négatives en dimension 2.
– si |a| 6= 1, l’application z 7→ az est une similitude vectorielle, c’est la composée de
la symétrie d’axe y = 0, de l’homothétie de rapport |a| et de la rotation d’angle un
argument de a.
On a alors S = {Ω} et f est une similitude affine indirecte de centre Ω et de rapport |a|.
Chapitre 5
Géométrie du triangle et du cercle
On va réunir dans ce chapitre, des résultats classiques sur les cercles et les triangles dans le
cadre de la géométrie affine euclidienne que nous avons développé.
Dans tout ce chapitre, ABC est un triangle, c’est-à-dire que les points A, B et C ne sont
pas alignés. On travaille dans le plan affine euclidien P défini par ces trois points.
5.1 Médiatrices, médianes, hauteurs, bissectrices

Theorème 5.1.1. Les trois médiatrices d’un triangle ABC se coupent en un point O qui est
le centre de l’unique cercle passant par les points A, B et C.
La médiatrice d’un segment [AB] est l’ensemble des points à égale distance des points A et
B, c’est aussi la droite orthogonale à la droite (AB) qui passe par le milieu du segment [AB]
(on pourra vérifier l’équivalence de ces deux définitions).
Les points A, B et C n’étant pas alignés, les médiatrices de [AB] et de [BC] sont sécantes
en un point O, celui-ci est à égale distance de A, B et C, il se trouve donc sur la médiatrice de
[AC].
Theorème 5.1.2. Les trois hauteurs d’un triangle sont concourantes en un point H appelé
orthocentre.
On rappelle que la hauteur issue d’un sommet est la droite qui passe par ce sommet et est
orthogonale au côté opposé.
Démonstration. Soit M un point de P, on note :
−−→ −−→ −−→ −→ −−→ −→
f (M ) = M A.BC + M B.CA + M C.AB
on a f (M ) = 0, c’est une simple application de la relation de Chasles, en effet :

−−→ −−→ −−→ −→ −→ −−→ −→ −→
f (M ) = M A.BC + (M A + AB).CA + (M A.AC)AB
d’où
−−→ −−→ −→ −→ −→ −→ −→
f (M ) = M A.(BC + CA + AB) + AB.(CA + AC) = 0
−−→ −→
Ainsi, si H est l’intersection des hauteurs issues de A et B, on obtient HC.AB = 0, ce qui
prouve que H est également sur la hauteur issue de C.
Theorème 5.1.3. Les trois médianes d’un triangle sont concourantes en un point G, centre de
gravité du triangle.
68
Chapitre 5. Géométrie du triangle et du cercle 69
Nous avons déjà démontré ce résultat, en effet :

1 1 2B +C 1 2A+C 1 2A+B
G = (A + B + C) = A + = B+ = C+
3 3 3 2 3 3 2 3 3 2
Si l’on note :
B+C A+C A+B
A0 = ,B= , C0 =
2 2 2
−→ 2 −−→0 −−→ 2 −−→0 −→ 2 −−→0
on a AG = 3 AA , BG = 3 BB et CG = 3 CC .
−−→ −→
Theorème 5.1.4. Les points O, H et G sont alignés et on a OH = 3OG (ils se situent sur la
droite d’Euler).
Démonstration. On considère l’homothétie de centre G et de rapport −2, elle envoie A0 sur A,
B 0 sur B et C 0 sur C. Elle transforme le triangle A0 B 0 C 0 en le triangle ABC. Or le point O,
centre du cercle circonscrit à ABC est l’intersection des hauteurs du triangle A0 B 0 C 0 . Le point
O est donc envoyé sur le point H par l’homothétie précédente, d’où :
−−→ −→
GH = −2GO
c’est-à-dire :
−−→ −→
OH = 3OG
5.1.1 Bissectrices
Définition 5.1.1. Soient D et D0 deux droites du plan affine euclidien, sécantes en un point
O, une droite ∆ est dite bissectrice des droites D et D0 si l’on a :
s∆ (D) = D0 et s∆ (D0 ) = D
où s∆ désigne la symétrie orthogonale par rapport à la droite ∆.
70 Chapitre 5. Géométrie du triangle et du cercle
Theorème 5.1.5. Soient D et D0 deux droites, on note D∩D0 = {O}. Soient A ∈ D et A0 ∈ D0

tels que OA = OA0 . Il existe exactement deux bissectrices aux droites D et D0 , elles passent
pas O, sont perpendiculaires l’une et l’autre et sont dirigées respectivement par les vecteurs
−→ −−→0 −→ −−→
OA + OA et OA − OA0 .
Theorème 5.1.6. L’ensemble des points équidistants de deux droites sécantes D et D0 est la
réunion des bissectrices du couple (D, D0 ).
Theorème 5.1.7. La droite ∆ est une bissectrice du couple de droites (D, D0 ) si et seulement
si on a l’égalité des angles orientés de droite (modulo π).
(D, ∆) = (∆, D0 ) ou encore (D, D0 ) = 2(D, ∆)
Définition 5.1.2. Soient [OA) et [OB) deux demi-droites, l’axe de l’unique symétrie qui
échange les deux demi-droites est appelé bissectrice du couple de demi-droites ([0A), [OB)).
−→ −−→ −→ −−→ → −
Si OA = OB, c’est la droite passant par O et dirigée par OA + OB, si OA + OB = 0 , c’est
la droite orthogonale à (AB) passant par O.
Soit (A, B, C) un triangle, on note a = BC, b = AC et c = AB. Les bissectrices intérieures

du triangle (A, B, C) sont les bissectrices des couples de droites ([AB), [AC)), ([BA), [BC)) et
([CA), [CB)). On a le théorème suivant :
Theorème 5.1.8. Les trois bissectrices intérieures d’un triangles sont concourantes en un
point I situé à l’intérieur du triangle et admettant les coordonnées barycentriques (a, b, c) dans
le repère (A, B, C). Le point I est le centre du cercle inscrit au triangle.
Démonstration. Il est clair que les bissectrices sont concourantes, en effet soit I le point d’in-
tersection des bissectrices issues de A et B, on a alors l’égalité des distances :
d(I, (AC)) = d(I, (AB)) et d(I, (BC)) = d(I, (BA))
d’où d(I, (BC)) = d(I, (AC)), ce qui prouve que I est sur la bissectrice issue de C. On note :
a b c
I= A+ B+ C
a+b+c a+b+c a+b+c
on a alors :
−
→ b −→ c −→
AI = AB + AC
a+b+c a+b+c
On note :
−−→ b −→ −−→ c −→
AM = AB et AN = AC
a+b+c a+b+c
On a, d’une part :
−−→ −→
AM = N I
et d’autre part
bc
AM = AN =
a+b+c
Ce qui prouve que le quadrilatère AM IN est un losange, c’est-à-dire un parallélogramme ayant
ses côtés égaux. Ainsi, la droite (AI) est bien la bissectrice intérieure de A, on montrerait de
me que les droites (BI) et (CI) sont respactivement les bissectrices issues de B et C.
Le point I est à égale distance des côtés du triangle, si l’on considère les projetés orthogonaux
P, Q, R de I sur les côtés, le cercle de centre I passant par P, Q, R est tangent aux trois côtés
du triangle (A, B, C). C’est le cercle inscrit.
5.2 Critère de cocyclicité

Dans le chapitre sur les angles, on a demontré le théorème de l’angle inscrit et énoncé un
critère de cocyclicité, on y revient ici :
Theorème 5.2.1. Soient A et B deux points distincts d’un cercle C de centre O.

−→\ −−→ −−→
\ −−→
1) pour tout point M ∈ C\{A, B}, on a : (OA, OB) = 2(M A, M B)
−→\ −−→
2) Soit TA la tangente au cercle C en A, on a (OA, OB) = 2(TA , (AB)).
Démonstration. 1) LE point O est sur la médiatrice de [M A] et sur la médiatrice de [M B] on

a donc :
−−→
\ −−→ −−\
→ −→
2(M A, M O) + (OM , OA) = π
et
−−→
\ −−→ −−→
\ −−→
2(M O, M B) + (OB, OM ) = π
d’où en additionnant :
−−→
\ −−→ −−→
\ −→
2(M A, M B) + (OB, OA) = 0
−−→
\ −−→ −→
\ −−→
L’angle (M A, M B) est appelé angle inscrit et l’angle (OA, OB) est l’angle au centre corres-
pondant.
2) Si dans le cas précédent, le point M coincide avec le point A, la droite (AM ) est alors
−−→
remplacée par la tangente au cercle C en A, on remplace le vecteur M A par n’importe quel
−→
vecteur T A où T ∈ TA et on obtient le même résultat.
Corollaire. 1) Soit ABC un triangle, un point M (distinct de A et B) du plan appartient au

cercle circonscrit au triangle ABC, si et seulement si on a l’égalité modulo π des angles :
−−→
\ −−→ −→
\ −−→
(M A, M B) = (CA, CB) mod π
2) Quatre points distincts A, B, C, D du plan sont alignés ou cocyliques si et seulement si :
−−→
\ −−→ −→
\ −−→
(DA, DB) = (CA, CB) mod π
5.3 Trigonométrie
On suppose le plan euclidien E orienté. La matrice de rotation vectorielle d’angle α dans
une base orthonormée directe ne dépend que de α, c’est la matrice :
!
cos α − sin α
M (α) =
sin α cos α
On a cos2 α + sin2 α = 1. Si u et v sont deux vecteurs de E, on a les relations suivantes :
[ u.v [ det(u, v)
cos (u, v) = et sin (u, v) =
kuk.kvk kuk.kvk
où le déterminant est calculé dans une base orthonormée directe.

On démontre facilement, à l’aide des matrices, les formules de trigonométries :
cos(α + β) = cos α cos β − sin α sin β
et
sin(α + β) = cos α sin β + cos β sin α
Proposition 5.3.1 (Formule d’Al-Kashi). Soit ABC un triangle, on note a = BC, b = AC et

c = AB alors1 :
a2 + b2 + c2 − 2bc cos Ab
Proposition 5.3.2 (Formule des sinus). Soit ABC un triangle quelconque, S son aire et R le
rayon de son cercle circonscrit, alors on a :
a b c abc
= = = 2R =
sin Ab sin Bb sin Cb 2S
1
A
b est l’angle géométrique (non orienté) au point A
5.3.1 Le triangle rectangle

On appelle triangle rectangle un triangle dont un des angles est un angle droit, c’est-à-dire
de mesure π/2.
Theorème 5.3.3 (Pythagore). Un triangle ABC est rectangle en A si et seulement si :
AB 2 + AC 2 = BC 2
Démonstration. On a :
−−→ −−→ −−→ −→ −→ −→ −→
BC 2 = kBCk2 = BC.BC = (BA + AC)2 = BA2 + AC 2 + 2BA.AC
Theorème 5.3.4. Un triangle ABC est rectangle en A si et seulement si A appartient au

cercle de diamètre [BC].
Démonstration. Notons O le milieu de [BC], on a :

−→ −→ −→ −−→ −→ −→
AB.AC = 0 ⇔ (AO + OB).(AO + OC) = 0
−→ −→ −−→ −−→ −→
⇔ AO2 + AO.(OC + OB) + OB.OC = 0
−→ −−→ → − −−→ −→
Or, OC + OB = 0 et OB.OC = − 14 BC 2 , on obtient donc :
−→ −→ BC
AB.AC = 0 ⇔ OA =
2
Theorème 5.3.5. Le triangle ABC est rectangle si et seulement si :
−−→
\ −→ BA
cos (BC, BA) =
BC
Theorème 5.3.6. Le triangle ABC est rectangle si et seulement si :
−−→
\ −→ AC
| sin (BC, BA)| =
BC
Theorème 5.3.7. Soit ABC un triangle et H le pied de la hauteur issue de A, on a équivalence

des propriétés suivantes :
(i) Le triangle ABC est rectangle en A.
(ii) AH.BC = AB.AC
(iii) BA2 = BHBC
Theorème 5.3.8. Soit ABC un triangle et H le pied de la hauteur issue de A. Le triangle

ABC est rectangle en A si et seulement si AH 2 = BHHC.
5.4 Cas d’égalité et de similitudes des triangles

Soit ABC un triangle, on note A,
b B, b les angles géométriques (non orientés) aux sommets.
b C
Proposition 5.4.1. Deux triangles ABC et A0 B 0 C 0 du plan sont isométriques si et seulement

si l’une des assertions équivalentes suivantes est vérifiée.
1) AB = A0 B 0 , BC = B 0 C 0 et CA = C 0 B 0 .
→
− −
→
2) AB = A0 B 0 , BC = B 0 C 0 et B = B 0 .
→
− →
− →
− −
→
3) AB = A0 B 0 , A = A0 et B = B 0 .
5.4.1 Similitudes
On dit que deux triangles ABC et A0 B 0 C 0 du plan sont semblables, s’il existe une similitude
affine qui transforme les sommets de l’un et les sommets de l’autre.
Proposition 5.4.2. Deux triangles ABC et A0 B 0 C 0 sont semblables si et seulement si leurs

côtés sont proportionnels, c’est-à-dire :
A0 B 0 B0C 0 C 0 A0
= =
AB BC CA
Pour démontrer cette proposition, on essaie de mettre en évidence les transformations qui
permettent de passer du triangle ABC du triangle A0 B 0 C 0 et on obtient une similitude (par
composition d’une homothétie, d’une rotation, d’une translation et le cas échéant d’une ré-
flexion).
Proposition 5.4.3. Deux triangles ABC et A0 B 0 C 0 sont semblables si et seulement si l’une

des assertions équivalentes suivantes est vérifiée.
A0 B 0 B0C 0 C 0 A0
1) AB
= BC
= CA
A0 B 0 B0C 0 c0 .
2) AB
= BC
et Bb = B
c0 et B
3) Ab = A c0 .
b =B
où A,
b B, b désignent les mesures dans ]0, π[ des angles géométriques du triangle ABC.
b C
Démonstration. La condition (i) est la proposition précedente, elle implique évidemment les
0B0
conditions (ii) et (iii). Réciproquement, supposons (ii) vraie, on pose k = AAB et on a alors :
A0 C 02 = A0 B 02 + B 0 C 02 − 2A0 B 0 .B 0 C 0 cos B
c0 = k 2 (AB 2 + BC 2 − 2AB.BC cos B
b = k 2 AC 2
d’où (i). Supposons maintenant (iii) vraie, on a :

c0 = π − (A
C c0 + B
c0 ) = π − (A
b + B)
b =C
b
d’où
AB BC CA A0 B 0 B 0 C 0 C 0 A0
= = et =
sin C sin A sin B c0 sin A
sin C c0 sin Bc0
d’où le (i).
Chapitre 6
Géométrie dans l’espace
On a classifié les isométries en dimension 3, on va dans ce court chapitre définir le produit

vectoriel puis étudier les polyèdres réguliers.
6.1 Produit vectoriel

On se place dans un espace vectoriel E de dimension 3, orienté. On notera B = {e1 , e2 , e3 }
une base orthonormée directe de E.
Theorème 6.1.1. Soient u, v, w trois vecteurs de E, le déterminant detB (u, v, w) ne dépend

pas de la base (orthonormée directe) choisie.
Démonstration. Le déterminant est une forme multilinéaire alternée, detB est l’unique forme
multilinéaire qui prend la valeur 1 en (e1 , e2 , e3 ), et si B 0 est une autre base de E, on a :
det
0
(u, v, w) = det B 0 det(u, v, w)
B B B
or, detB B 0 = 1.
Theorème 6.1.2. Soient u et v deux vecteurs de E, il existe un unique vecteur, appelé produit
vectoriel de u et v, noté u ∧ v tel que :
∀w ∈ E, (u ∧ v).w = det(u, v, w)
Démonstration. Si les vecteurs u et v sont fixés, l’application ϕ : w 7→ det(u, v, w) est une

forme linéaire sur E, ainsi, on a vu dans le chapitre sur le dual qu’il existe un unique vecteur
a tel que pour tout w ∈ E, on a ϕ(w) = a.w. On note ce vecteur qui dépend ici des vecteurs u
et v, u ∧ v.
Theorème 6.1.3. L’application de E × E dans E qui envoie le couple (u, v) sur le produit
vectoriel u ∧ v est bilinéaire et antisymétrique.
Démonstration. C’est immédiat, d’après le théorème précédent.
Theorème 6.1.4. Le vecteur u ∧ v est l’unique vecteur qui vérifie les propriétés suivantes :
1) u ∧ v = 0 ⇔ u et v sont colinéaires.
2) u ∧ v est orthogonal à u et v.
3) Si u et v ne sont pas colinéaires, la base (u, v, u ∧ v) est une base directe de E
76
Chapitre 6. Géométrie dans l’espace 77
4) ku ∧ vk = kuk.kvk| sin (u,

[ v)|.
Démonstration. 1) On a ∀w ∈ E, (u ∧ v).w = det(u, v, w), ainsi, si les vecteurs u et v sont

colinéaires alors, ∀w ∈ E, (u ∧ v).w = 0, ce qui prouve que le vecteur u ∧ v est nul.
Réciproquement, si u ∧ v = 0 alors ∀w ∈ E, det(u, v, w) = 0 ce qui prouve que les vecteurs
u et v sont colinéaires.
2) Il est clair que (u ∧ v).u = 0 = (u ∧ v).v.
3) On a det(u, v, u ∧ v) = (u ∧ v).(u ∧ v) = ku ∧ vk2 > 0, ce qui prouve que la base (u, v, u ∧ v)
est directe.
4) Soient u et v deux vecteurs linéairement indépendants. On considère une base orthonormée
directe (e1 , e2 , e3 ) de E, telle que les vecteurs e1 et e2 forment une base de l’espace vectoriel
engendré par u et v. Notons (x, y, 0) et (x0 , y 0 , 0) les coordonnées respectives de u et v dans
cette base. Soit w = (a, b, c) un vecteur de E exprimé dans la même base, on a :
x0 a

x

(u ∧ v).w = det(u, v, w) = y

y 0 b = det (u, v)c
(e1 ,e2 )
0 0 c
ceci étant vrai pour tout w ∈ E, le vecteur u ∧ v a pour coordonnées (0, 0, det(u, v)) dans la
base (e1 , e2 , e3 ). Ainsi, on a bien :
ku ∧ vk = kuk.kvk| sin (u,

[ v)|
6.2 Calcul d’aires

−ı , −
Définition 6.2.1. Soit E un plan affine euclidien dirigé par un espace vectoriel E. Soit (→
−−−→
jmath)
une base orthonrmée de E, soit O un point de E. Une mesure des aires planes est une applica-
tion µ définie sur un ensemble Q de parties de E (dites mesurables), à valeurs dans R+ vérifiant
les propriétés suivantes :
1) Si C est le carré unité sur le repère (O, →
−ı , →
− ), alors C ∈ Q et µ(C) = 1.
78 Chapitre 6. Géométrie dans l’espace
2) µ est simplement additive, si A, B ∈ Q telles que A ∩ B = ∅, on a :
µ(A ∪ B) = µ(A) + µ(B)
3) µ est invariante par isométrie. Si f ∈ Isom(E), et si A ∈ Q, alors µ(f (A)) = µ(A).

4) µ est homogène. Si h est une homothétie de E de rapport λ et si A ∈ Q, alors µ(h(A)) =
λ2 µ(A).
On admettra qu’une telle mesure existe sur un ensemble Q de parties de E satisfaisant et

on identifiea l’aire A(A) à sa mesure µ(A). Sans se préoccuper d’unité, on dira que l’aire de
carré C est égale à 1. A partir de cette définition, on retrouvera l’aire du rectangle, largeur ×
longueur, ou du triangle, 1/2(base × hauteur) que l’on attend. On revient au produit vectoriel
et on se place dans un espace affine euclidien de dimension 3. Un triangle définit un plan :
Theorème 6.2.1. L’aire du triangle ABC est donnée par :
1 −→ −→
A(ABC) = kAB ∧ ACk
2
Démonstration. Notons H la hauteur issue de C du triangle ABC, on a :
1 1 −→
\ −→ 1 −→ −→
A(ABC) = AB.C + AB.AC| sin (AB, AC)| = kAB ∧ ACk
2 2 2
On remarque que l’aire est plutôt une notion euclidienne, puisuqe le calcul d’une aire né-
cessite le produit scalaire et l’orthogonalité. Néamoins, les rapports d’aires sont conservés par
les bĳections affines. On peut, sans orthogonalité considérer un repère affine A, B, C du plan
−→ −→
et définir l’aire d’un triangle à partir du déterminant exprimé dans la base (AB, AC). Ainsi, si
M, N, P sont trois points non alignés du plan on aura :
1 −−→ −−→
A(M N P ) = | det(M N , M P )|
2
−→ −→
l’unité d’aire étant l’aire du parallélogramme construit sur le base (AB, AC).
Chapitre 6. Géométrie dans l’espace 79
6.3 Les polyèdres convexes réguliers

6.3.1 Polyèdres convexes
Définition 6.3.1. On appelle polyèdre convexe l’enveloppe convexe d’un nombre fini de points
non coplanaires.
Proposition 6.3.1. Tout polyèdre convexe est l’intersection d’un nombre fini de demi-espaces
fermés. Réciproquement, toute intersection compacte d’un nombre fini de demi-espaces fermés
est un polyèdre convexe.
Propriété 6.3.2. Soit P un polyèdre convexe.
1) Le nombre de côtés d’une face est supérieur ou égal à 3.
2) Le nombre d’arrêtes aboutissant en un sommet est égal au nombre de faces aboutissant en
ce même sommet et ce nombre est supérieur ou égal à 3.
3) Une arête est commune à exactement deux faces.
4) Si A est un sommet de P , la somme des angles en A de toutes les faces aboutissant en A
est inférieure strictement à 2π.
Theorème 6.3.3 (Formule d’Euler). Soit P un polyèdre convexe, on note f le nombre de ses
faces, a le nombre de ses arrêtes et s le nombre de ses sommets, alors :
f −a+s=2
Définition 6.3.2. Un polyèdre convexe est dit régulier si ses faces sont des polygones réguliers
ayant tous le même nombre q de côtés et si en chacun de ses sommets le même nombre p de
faces (ou d’arêtes).
Theorème 6.3.4. Dans l’espace, il y a exactement cinq polyèdres convexes réguliers. Les couples
(p, q) correspondants sont les suivants :
(3, 3), (4, 3), (3, 4), (5, 3), (3, 5)
les triplets (s, a, f ) correspondants sont les suivants :
(4, 6, 4), (6, 12, 8), (8, 12, 6), (12, 30, 20), (20, 30, 12)
ce sont (respectivement) le tétraèdre, l’octaèdre, le cube, l’icosaèdre et le dodécaèdre. On appelle
ces cinq polydères, les cinq solides de Platon.
Démonstration. On a f q = 2a et sp = 2a, il s’agit de résoudre le système :

s − a + f =2



f q = 2a


sp = 2a
d’où :
4q 2pq 4p
s= ,a= ,f=
2p + 2q − pq 2p + 2q − pq 2p + 2q − pq
On recherche alors tous les couples d’entiers (p, q) vérifiant p ≥ 3, q ≥ 3 et 2p + 2q − pq > 0, et
on en obtient exactement 5, desquels on déduit les triplets (s, a, f ).
On admet que les cinq polyèdres obtenus sont constructibles et que ce sont les seuls à
similitude près.
Chapitre 7
Groupes de transformations
Dans ce chapitre, suivant l’idée de Félix Klein dans son programme d’Erlangen, on va étudier
les différentes géométries du point de vue des groupes de transformations et de leurs invariants.
Voici la question qu’il pose :
"Etant donné une multiplicité et un groupe de transformations de cette multiplicité, en
étudier les êtres du point de vue des propriétés qui ne sont pas altérées par les transformations
du groupe"
ce qu’il exprime aussi ainsi :
"On donne une multiplicité et un groupe de transformations de cette multiplicité ; développer
la théorie des invariants relatifs à ce groupe"
Dans ce cours, on a étudié la géométrie affine et la géométrie euclidienne. On a rencontré
des groupes de transformations de l’espace ou du plan et étudié des propriétés invariantes par
ces groupes.
Par exemple, le groupe affine conserve les barycentres, l’alignement, le parallélisme et les
rapports de proportions. Le groupe des similitudes conserve les angles. Le groupe des isométries
conserve les distances. Le groupe des déplacements conserve l’orientation...
Dans la géométrie d’Euclide, il n’est question ni de groupes, ni de coordonnées ou de nombres
réels, par contre l’espace est supposé homogène, les points sont équivalents et on ne change
pas une figure en la déplaçant par un mouvement rigide. On pourrait considérer chez Euclide
l’utilisation de la méthode de superposition comme un axiome non-dit supplémentaire. La
formalisation moderne, après F.Klein, suppose l’exsitence d’un groupe de mouvements rigides
agissant sur le plan. Ce point de vue pouvant se généraliser à d’autres groupes comme nous
l’avons vu avec la géométrie affine ou le groupe des similitudes, mais aussi avec la géométrie
projective et les géométries non-euclidiennes.
7.1 Géométries
On peut définir une géométrie de la manière suivante :
Définition 7.1.1. On dira qu’un couple (E, G) est une géométrie si E est un ensemble et G
un sous-groupe du groupe des bĳections de E dans lui-même. Les éléments de E sont appelés
les points, les éléments du groupe G sont les transformations ponctuelles de la géométrie.
Les propriétés intrinsèques d’une géométrie (E, G) sont les propriétés de E conservées par
transformation par un élément de G. On appelle le groupe G le groupe principal ou fondamental
de la géométrie considérée. Le groupe affine est le groupe fondamental de la géométrie affine,
le groupe des isométries, celui de la géométrie euclidienne. Le groupe principal de la géométrie
projective est le groupe des homographies.
80
Chapitre 7. Groupes de transformations 81
Définition 7.1.2. Deux géométries (E, G) et (Ẽ, G̃) sont dites isomorphes, s’il existe une
bĳection ϕ : E → Ẽ telle que l’application :
ϕ̃ : G → G̃
f 7→ ϕ ◦ f ◦ ϕ−1
est un isomorphisme de groupes.
On aura les définitions suivantes :
Définition 7.1.3. On appelle plan affine une géométrie isomorphe à (R2 , GA(R2 ). On appelle
plan euclidien une géométrie isomorphe à (R2 , Isom(R2 ).
Les géométries qu’on a étudiées sont subordonnées les unes aux autres. En effet, le groupe af-
fine contient le groupe des similitudes et les similitudes sont des bĳections affines qui conservent
les angles. Le groupe des similitudes contient le groupe des isométries et les isométries sont des
similitudes qui conservent les distances. Le groupe des déplacements est un sous-groupe du
groupe des isométries et les déplacements sont des isométries qui conservent l’orientation. Le
groupe affine est en fait lui-même un sous-groupe du groupe projectif, ce sont les homographies
qui fixent le plan. De même, le groupe fondamental de la géométrie hyperbolique est le groupe
des homographies qui laissent invariante une conique propre. Ainsi toutes les géométries sont
en fait des sous-géométries de la géométrie projective, mais ce n’est pas l’objet de notre étude.
7.2 Expression analytique dans R2

On considère le groupe linéaire GL(R2 ) que l’on identifie au groupe des matrices 2 × 2 à
coefficients dans R de déterminant non nul.
Une bĳection de f de R2 est une application affine s’il existe une matrice A ∈ GL(R2 ) et
→
−
un vecteur b = (α, β) ∈ R2 tels que pour tout →
−
u = (x, y) ∈ R2 on ait :
! !
x α
f (→
−
u ) = A.U + B, où U = et B =
y β
!
a b
La matrice A = , avec ad − bc 6= 0, on note f (→
−
u ) = (x0 , y 0 ), on a :
c d
!
x0 = ax + by + α
y 0 = cx + dy + β
Les isométries de R2 sont les bĳections affines pour lesquelles la matrice A appartient au groupe
orthogonal O(R2 ). On a :
O(R2 ) = {A ∈ GL(R2 ), t A, A−1 }
Si f ∈ Isom(R2 ), alors :
f : R2! → !R !
2
!
x a −εb x α
7→ +
y b εa y β
avec (a, b, α, β) ∈ R4 , ε = det A et a2 + b2 = 1.

82 Chapitre 7. Groupes de transformations
Les similitudes sont composées d’une isométrie et d’une homothétie, pour f une similitude
de R2 , on a :
f : R2! → R2 !
! !
x a −εb x α
7→ λ +
y b εa y β
avec (λ, a, b, α, β) ∈ R5 , ελ = det A et a2 + b2 = 1. On retrouve bien la forme complexe.
On va terminer ce cours par l’étude de quelques sous-groupes du groupe des isométries du
plan ou de l’espace, qui conservent une partie.
7.3 Isométries fixant une partie

Soit E un espace affine euclidien, et P une partie de E. On note Isom(P) le sous-groupe de
Isom(E) des isométries f telles que f (P) = P. On distinguera également les isométries positives
et négatives, Isom+ (P) et Isom− (P). On va commencer par quelques théorèmes généraux qui
nous permettrons de déterminer les sous-groupes laissant fixe certaines parties du plan ou de
l’espace.
Theorème 7.3.1. 1) Isom(P) est un sous-groupe de Isom(E) et Isom+ (P) est un sous-groupe
de Isom+ (E).
2) Si s ∈ Isom− (P), l’application de Isom+ (P) dans Isom− (P) qui à f fait correspondre s ◦ f
est une bĳection. On a donc Isom− (P) = sIsom+ (P).
Theorème 7.3.2. Soit P = {A0 , A1 , ..., An } est une partie finie de E. Toute isométrie laissant
globalement invariant P, fixe l’isobarycentre des Ai , 0 ≤ i ≤ n.
Ces deux théorèmes nous permettent de voir, d’une parti, qu’il suffit de déterminer Isom+ (P)
et un élément de Isom− (P) pour obtenir Isom(P) et, d’autre part, que si P est finie, on devra
déterminer les isométries laissant fixe un point, l’isobarycentre des points de P.
7.3.1 Triangles et quadrilatères dans le plan

Theorème 7.3.3. Soit P = ABC un triangle du plan, alors :
1) Si ABC n’est pas isocèle, Isom(P) = {idE }.
2) Si ABC est isocèle en A, Isom(P) = {idE , sA } où sA est la symétrie par rapport à la
médiatrice de [BC].
3) Si ABC est équilatéral, Isom(P) est isomorphe au groupe des permutations S3 .
Theorème 7.3.4. Soit P un parallélogramme ABCD du plan :
1) Si ABCD n’est ni rectangle, ni un losange, Isom(P) = {idE , sO }, où sO est la symétrie par
rapport au centre O du parallélogramme.
2) Si ABCD est un losange, Isom(P) = {idE , sO , sAC , sBD }.
3) Si ABCD est un rectangle, Isom(P) = {idE , sO , s∆AB , s∆BC } où les droites ∆AB et ∆BC
désignent les médiatrices.
4) Si ABCD est un carré, Isom(P) = {idE , r, r2 , r3 , sAC , sBD , s∆AB , s∆BC } où r désigne la
rotation de centre O, le centre du carré et d’angle π/2.
Et pour terminer, on pourra déterminer les groupes suivants :
1) Dans le plan, le groupe fixant un polygône régulier à n côtés.
2) Dans l’espace, le groupe des isométries du cube.
Annexe A
Barycentre (par Jean-François

Robinet)
Dans la suite, E désigne un espace affine de dimension n, sur un corps K, dirigé par un
espace vectoriel E.
A.1 L’espace des points pondérés

On appelle champ de vecteurs sur E une application (quelconque) ξ : E → E. L’ensemble
X des champs de vecteurs sur E est (de manière naturelle1 ) un espace vectoriel sur K.
Exercice - Démontrer que l’espace X est de dimension infinie, c’est-à-dire qu’il existe une
(des) famille(s) de champs de vecteurs de cardinal infini, dont toute sous-famille finie est libre.
- On pourra considérer des champs de vecteurs partout nuls sauf en un point.
1) Etant donné un vecteur → −v ∈ E, nous désignerons par [→ −v ] le champ de vecteurs constant de
→
− →
− →
−
valeur v , c’est-à-dire, défini par : [ v ](M ) = v , pour tout M ∈ E.
Nous noterons Xc l’ensemble des champs de vecteurs constants. Il est clair que c’est un
sous-espace vectoriel de X, et que l’application → −v 7→ [→
−v ] est un isomorphisme (d’espaces
vectoriels) de E sur Xc .
2) Etant donné un point A ∈ E nous lui associerons le champ de vecteur [A] défini par [A](M ) =
−−→
M A.
−−→
Si a est un scalaire non nul, le champ de vecteur a[A] est donc défini par a[A](M ) = aM A ;
→
−
et on a évidemment (cas a = 0) : 0[A] = [ 0 ].
Nous appelerons champ de vecteurs radial un champ de vecteurs de la forme a[A], avec
A ∈ E et a ∈ K × (groupe multiplicatif des éléments non nuls de K) et nous noterons Xr
l’ensemble des champs de vecteurs radiaux.
Observons que l’application K × × E 3 (a, A) 7→ a[A] ∈ Xr est bĳective.
→
− −−→ −−→ → −
En effet, si a[A] = a0 [A0 ], il vient 0 = a[A](A) = a0 [A0 ](A) = a0 A0 A d’où A0 A = 0 (puisque
−−→ −−→
a0 6= 0) et A = A0 ; ensuite, la relation aM A = a[A](M ) = a0 [A](M ) = a0 M A (∀M )
implique a = a0 ; d’où l’injectivité de l’application considérée. Qu’elle soit surjective, résulte
de la définition même de Xr .
1
Etant donnés deux champs de vecteurs ξ, ξ 0 et un scalaire a, on pose : (ξ + ξ 0 )(M ) = ξ(M ) + ξ 0 (M ) et
(aξ)(M ) = aξ(M ), pour M ∈ E.
83
84 Annexe A. Barycentre (par Jean-François Robinet)
Ceci étant, soit Ê la réunion des deux ensembles disjoints Xc et Xr ; et notons ε l’application
de Ê dans K définie par ε([→ −
v ]) = 0 et ε(a[A]) = a (en particulier, ε([A]) = 1, pour A ∈ E).
Proposition A.1.1. L’ensemble Ê est un sous-espace vectoriel de l’espace X des champs de
vecteurs sur E et ε est une forme linéaire sur Ê, de noyau Xc (isomorphe à E), et on a
dim Ê = (dim E) + 1.
Pour qu’un champ de vecteurs ξ ∈ Ê soit de la forme [A] (pour un certain point A), il faut,
et il suffit, que ε(ξ) = 1.
Démonstration. • Il est clair que : x[→
−v ] = [x→ −v ], pour x ∈ K ; et que x(a[A]) = (xa)[A],
× →
−
si x ∈ K , et 0(a[A]) = [ 0 ].
Il est tout aussi clair que :
→
− →
−
[→
−v ] + [ v 0 ] = [→
−
v + v0 ] (A.1)
• Calculons maintenant a[A] + a0 [A0 ]. Nous avons (Chasles) :
−−→ −−→ −−→ −−→
(a[A] + a0 [A0 ])(M ) = aM A + a0 M A0 = (a + a0 )M A + a0 AA0 (A.2)
−−→
Si a + a0 = 0 (c’est-à-dire a0 = −a), il vient (a[A] − a[A0 ])(M ) = a0 A0 A, d’où :

−−→
a[A] + a0 [A0 ] = aA0 A (champ constant) (A.3)
Supposons maintenant a + a0 6= 0. De (A.2), on déduit :

−−→ a0 −−→0
!
−−→ −−→
(a[A] + a0 [A0 ])(M ) = aM A + a0 M A0 = (a + a0 ) M A + AA
a + a0
a0
−−→0 −→ a0
−−→0
Soit B = A + a+a 0 AA , c’est-à-dire le point caractérisé par AB = a+a0 AA . Il vient donc :
−−→ −→ −−→
(a[A] + a0 [A0 ])(M ) = (a + a0 )(M A + AB) = (a + a0 )M B
Nous avons donc établi :
a0 −−→0
a[A] + a0 [A0 ] = (a + a0 )[B] si a + a0 6= 0, où B = A +AA (A.4)
a + a0
• Considérons enfin une somme de champs de vecteurs de la forme a[A] + [→−
v ] (a 6= 0). Il
vient :
−−→ 1 →

→
−
(a[A] + [ v ]) = a M A + v−
a
1→
− −→ 1 →−
Soit alors B = A + v , point caractérisé par AB = v , et par conséquent :
a a
−−→ −−→
−−→
(a[A] + [→
−
v ])(M ) = a M A + M B = aM B = a[B](M )
Nous avons établi :
1−
a[A] + [→
−
v ] = a[B], avec B = A + → v (A.5)
a
De ces formules, on déduit d’abord que Ê est un sous-espace vectoriel de l’espace vectoriel
X des champs de vecteurs sur E ; elles permettent ensuite de vérifier, cas par cas, les égalités
ε(ξ + ξ 0 ) = ε(ξ) + ε(ξ 0 ) et ε(xξ) = xε(ξ), pour ξ, ξ 0 dans Ê et x dans K - ce qui montre
que l’application ε : Ê → K est une forme linéaire sur E, dont, par construction même, Xc
(qui est clairement un sous-espace vectoriel de E, isomorphe à E) est le noyau ; il s’ensuit :
dim Ê = dim Xc + 1 = dim E + 1 = n + 1.
La dernière assertion du théorème est immédiate.
Annexe A. Barycentre (par Jean-François Robinet) 85
On change de notation :
Notation. L’application →
−
v 7→ [→
−v ] étant bĳective (de E sur Xc ), il est licite d’identifier le
vecteur →
−
v au champ constant [→
−
v ] - c’est-à-dire →
−
v désignera aussi bien le vecteur que le champ
constant de valeur ce vecteur.
Similairement, l’application (a, A) 7→ a[A] étant bĳective, nous désignerons simplement
par aA le champ radial a[A] - le point A se trouve, en particulier identifié au champ radial
−−→
M 7→ M A.
Les éléments de Ê sont donc de la forme →
−v , ou aA, avec A ∈ E, a 6= 0. On dit (souvent)
que Ê est l’espace des points pondérés2 .
Remarque. Revenons sur les formules (A.1) et (A.5) établies ci-dessus. La première s’écrit (après
ce changement de notations) → −
u +→ −
v =→ −
u +→ −v , elle paraît tautologique ; elle ne l’est pas ! Car
elle exprime que la somme dans Ê des deux éléments (champs) → −u et →
−v (premier membre de
l’égalité) est (le champ de vecteurs constant associé à) la somme dans E des deux vecteurs.
−→ −
Quant à la formule (A.4), elle donne en particulier : A + → −
v = B où AB = → v . Comme dans
−→
l’espace affine E, on a B = A + AB, cette formule a, elle aussi, une apparence tautologique, à
−→ −→
savoir : A + AB = A + AB ; elle ne l’est cependant pas, car le premier membre est à lire dans
Ê et le second dans E. Elle exprime que la somme dans Ê d’un point A et d’un vecteur → −v (ou
plus exactement des champs de vecteurs associés) est le (champ associé au) point A + v , au →
−
sens de l’opération externe de l’espace vectoriel E sur l’espace affine E.
Exemple A.1.1. Supposons E de dimension 2. Soient A, B, C trois points distincts, supposons-

les linéairement dépendants dans Ê ; il existe donc des scalaires a, b, c non tous nuls, pour lesquels
→
−
aA + bB + cC = 0 . Mais puisque ε est une forme linéaire sur Ê, il vient a + b + c = 0, c’est-
→
−
à-dire c = −(a + b), et la relation précédente s’écrit a(A − C) + b(B − C) = 0 , soit encore :
−→ −−→ →
−
aCA + bCB = 0 ; or, les 3 points étant supposés distincts, on a nécessairement ab 6= 0, la
relation de dépendance linéaire signifie donc que A, B, C sont alignés.
On peut montrer la réciproque, c’est-à-dire qu’on ura démontré que : dans un plan affine
E, trois points distincts sont alignés, si et seulement si, ils sont linéairement dépendants dans
→
−
Ê ce qui équivaut à l’existence d’une relation non triviale de la forme aA + bB + cC = 0 , avec
a + b + c = 0.
A.2 Barycentres
P
Considérons un élément de la forme ki=1 ai Ai dans Ê. Nous avons : ε k k
P P
i=1 ai Ai = i=1 ai ,
soit a ce scalaire. P
k
• On suppose que a 6= 0, il vient alors ε ai
= 1, et par conséquent ki=1 aai Ai
P
i=1 a iA
est un point G, bien déterminé. Comme la précédente relation est à comprendre comme
égalité entre champs de vecteurs - vec les premières notations employées - elle s’écrit
Pk ai
i=1 a [Ai ] = [G] - le point G est caractérisé par les relations :
k
X ai −−→ −−→
M Ai = M G (∀M ∈ E) (A.6)
i=1 a
2
Il est aussi connu sous le nom d’espace universel de Berger, qui, à l’occasion, le qualifie d’"hydre" - voir
l’ouvrage bien connu Géométrie de cet auteur

Ce point est appelé barycentre de la famille des points pondérés Ai , aai (où 1 ≤ i ≤ m),
de "masse totale" ni=1 aai = 1. Il vient (en faisant M = G) :
P
k
X ai −−→ →
−
GAi = 0 (A.7)
i=1 a
Cette égalité caractérise aussi le point G. En effet, supposons-la satisfaite, il vient, pour
un point M ∈ E :
k k k k
!
X ai −−→ X ai −−→ −−→ X ai −−→ X ai −−→ −−→
M Ai = M G + GAi = MG + GAi = M G
i=1 a i=1 a i=1 a i=1 a
du fait que ki=1 aai .

P
• Par contre, quand a = 0, le symbole (c’est-à-dire le champ de vecteurs) m

P
i=1 ai Ai représent
un vecteur →−u (c’est-à-dire est le champ de vecteur constant défini par →
−u ) caractérisé par
→
− →
− −−→
u =( m
Pm
i=1 ai Ai ) (M ), c’est-à-dire u = i=1 ai M Ai , ∀M ∈ E. La formule (A.3) s’écrit
P
donc :
−−→
aA − aA0 = a(A − A0 ) = aA0 A (A.8)
et en particulier :
−−→
A − A0 = A0 A (A.9)
Remarque. La formule d’associativité des barycentres ne nécessite aucune démonstration, elle
résulte trivialement de l’associativité des combinaisons linéaires dans l’espace vectoriel Ê.
A.2.1 Repères barycentriques

L’arguement de l’Exemple A.1.1., s’étend au cas général (c’est-à-dire n quelconque).
Proposition A.2.1. Pour que n + 1 points distincts A0 , ..., An de l’espace affine E, forment
une base de l’espace Ê, il faut, et il suffit, qu’ils n’appartiennent pas à un même hyperplan affine
(sous-espace ffine de codimension 1 de E).
En effet, pour que ces n + 1 points forment une base de Ê (de dimension n + 1) il suffit qu’ils
forment une famille libre. Supposons qu’ils satisfassent à une relation de dépendance linéaire
→
−
non triviale : a0 A0 + ... + an An = 0 , il vient alors : a0 + ... + an = 03 , il s’ensuit :
n n
→
− X X −−−→
0 = ai (Ai − A0 ) = ai A0 Ai
i=1 i=1
−−−→ −−−→
cette égalité ayant lieu dans E, elle signifie que les vecteurs A0 A1 , ..., A0 An appartiennent à
un même sous-espace vectoriel H de E, de dimension ≤ n − 1 (c’est-à-dire contenu dans
un hyperplan vectoriel). Les points A0 , A1 , ..., An , appartiennent alors au sous-espace affine
H = A0 +H, de dimension ≤ n−1 (c’est-à-dire contenu dans un hyperplan affine). La réciproque
est claire.
Définition A.2.1. Quand les n + 1 points A0 , ..., An forment une base de Ê , nous dirons aussi
qu’ils forment un repère barycentrique de l’espace affine E.
3
on a appliqué ε aux deux membres de l’égalité
S’il en est ainsi, tout point M ∈ E s’écrit de manière unique (dans Ê) : M = ni=0 xi Ai avec
P
Pn 4
i=0 xi = 1 . Les scalaires (x0 , ..., xn ) - de somme égale à 1 - sont les coordonnées barycentriques
du point M de repère barycentrique considéré. Tout point E s’écrit donc de manière unique
comme barycentres des points A0 , ..., An .
Remarque. On trouvera en Section A.3, une expression générale des coordonnées barycen-
triques d’un point.
A.2.2 Application : milieu d’un segment, parallélogrammes

Soient A, B deux points de l’espace E, le point I = 12 (A + B) est, par définition, le milieu
−−→ −−→ −−→
du segment [AB]. Ce point est donc caractérisé par M I = 21 (M A + M B), ∀M ∈ E, ou, ce qui
−
→ −→ → − −→ −→ −→
revient au même, IA + IB = 0 , c’est-à-dire : AI = IB = 12 AB.
On se place dans le cas où E est un plan, c’est-à-dire n = 2. Soient A, B deux points distincts,
la droite affine qu’ils déterminent, est, par définition le sous-espace affine (de dimension 1)
−→
(AB) = A + K AB de E. Deux droites distinctes (AB) et (CD) sont dites paralèlles lorsqu’elles
sont disjointes.
Lemme A.2.2. Pour que des droites (AB), (CD) soient parallèles, il faut, et il suffit, que les
−→ −−→
vecteurs AB et CD soient proportionnels.
−→ −−→
Un point M commun aux deux droites (AB) et (CD) s’écrit A + xAB = M = C + y CD
−→ −→ −−→
pour des scalaires x, y convenables. Si un tel point existe, il vient A + xAB = A + AC + y CD
−→ −→ −−→ −→ −→ −−→
et xAB = AC + y CD, par simple transitivité, c’est-à-dire AC = xAB − y CD.
−→ −−→
Lorsque les vecteurs AB, CD ne sont pas proportionnels, ils forment une base de E, il existe
−→ −→ −−→
donc des scalaires x, y uniques, pour lesquels AC = xAB − y CD, remontant le calcul ci-dessus,
−→ −−→
nous avons A + xAB = C + y CD, et ce point est l’unique point d’intersection des droites (AB),
(CD).
−→ −−→ −→ −−→
Lorsque, les vecteurs AB, CD sont proportionnels, (c’est-à-dire K AB = K CD) et s’il existe
−→ −−→
M ∈ (AB)∩(CD), on a (AB) = M +K AB = M +K CD = (CD), contrairement à l’hypothèse.
Proposition A.2.3. Soient A, B, C, D quatre points trois à trois non alignés. Les conditions
suivantes sont équivalentes :
−→ −−→ −→ −−→
(i) AB = CD ; (i’) AC = BD
(ii) les segments [AD] et [BC] ont le même milieu.
(iii) les droites (AB), (CD) sont parallèles, ainsi que les droites (AC), (BD).
Dans Ê, les conditions i) et i0 ) s’écrivent respectivement B − A = D − C et C − A = D − B,

et il est immédiat qu’elles sont équivalentes. Ces conditions équivalent encore à A + D = B + C,
ou à 21 (A + D) = 12 (B + C) condition qui exprime que les segments [AD] et [BC] ont le même
milieu, c’est-à-dire ii).
−→ −−→ −→ −−→
Compte tenu du lemme, la condition iii) s’écrit AB = aCD et AC = bBD, pour des
scalaires a, b non nuls convenables ; soit encore B − A = a(D − C) et C − A = b(D − B), ou
A = B + aC − aD et A = bB + C − bD. Mais n’étant pas alignés, les points B, C, D forment
un repère barycentrique dans le plan, et l’écriture de A comme combinaison linéaire de ces
points est unique, il s’ensuit que nécessairement 1 = b, a = 1 (et aussi a = b). La condition iii)
4
on a appliqué ε aux deux membres de la relation
−→ −−→ −→ −−→
équivaut donc à B − A = D − C et C − A = D − B, ou : AB = CD et AC = BD. L’équivalence
de iii) avec i) et/ou i0 ) s’ensuit aussitôt.
Lorsqu’il en est ainsi, on dit que les points A, B, D, C (dans cet ordre) forment un parallèlo-
gramme. On dit aussi que les bipoints (A, B) et (C, D) sont équipollents5 ; c’est là une condition
−→ −−→
(de nature géométrique) nécessaire et suffisante pour que soit satisfaite l’égalité AB = CD.
−→ −−→
Quand les points A, B, C, D sont alignés, on établit de même AB = CD, si et seulement si, les
segments [AB] et [CD] ont le même milieu.
A.3 Appendices
A.3.1 For the Snark was just a Boojum, you see !
Nous reprenons les notations de la section A.1.1. Fixons une origine O dans l’espace affine
E, et considérons!l’application de Ê → K × E, qui au champ de vecteurs constant !
[→
−
v ] fait
0 a
correspondre → − et au champ de vecteurs radial a[A] fait correspondre −→ .
v aOA
L’application ainsi définie est un isomorphisme d’espaces vectoriels. Nous avons en premier
lieu : ! ! !
0 0 0
→
− + →− = →− (A.10)
u v u +→ −v
et, en second lieu :
a0 a + a0
! ! !
a
−→ + 0 −−→0 = −→ −−→
aOA a OA aOA + a0 OA0
Quand a + a0 = 0, il vient :
a0
! ! ! !
a 0 0
−→ + 0 −−→0 = −→ −−→0 = −−→ (A.11)
aOA a OA a(OA − OA ) aA0 A
Quand a + a0 6= 0, on peut écrire
−−→ −→ −−→ a0 −−→0

!
−→ −→ −→
aOA + a0 OA0 = aOA + a0 (OA + AA0 ) = (a + a0 ) OA + AA
a + a0
et, par suite :

0
 
a0 a + a
! !
a
−→ + 0 −−→0 = 
0 −→ a0
−−→0  (A.12)
aOA a OA (a + a ) OA + a+a0 AA
Nous avons enfin : ! ! !

0 0 −→
a
−→ + →
− = (A.13)
a OA + a1 →
−

aOA v v
Pour établir que l’application considérée est linéaire, il suffit de mettre en regard les relations
(A.1), (A.3), (A.4), (A.5) et (A.10), (A.11), (A.12), (A.13). Par ailleurs, il est immédiat qu’elle
est bĳective.
5
Auquel cas, (A, C) et (B, D) le sont aussi.
A.3.2 Calcul des coordonnées barycentriques

Convention : Soit B = {→ −
e1 , ..., →
−
en } une base d’un espace vectoriel de dimension n, et n
vecteurs →−
v1 , ..., →
−
vn avec →−vi = nj=1 xij → −
ej , nous poserons alors detB (→
−
v1 , ..., →
−
P
vn ) := det(xij ).
→
− −
→
Soient O un point de l’espace affine E et B = {u1 , ..., un } une base de E ; notons Ei le point
−−→ −
pour lequel OEi = → ui , on démontre sans peine que {O, E1 , ..., En } est un repère barycentrique
de E, et que B̂ := {O, → −
u1 , ..., −
→} est une base6 de Ê - observer (ce qui va servir dans un instant)
u n
que les coordonnées barycentriques de O dans ce repère sont 1, 0, ..., 0.
Etant donnés n + 1 points A0 , ..., An de E, nous poserons :
hA0 , ..., An i = detB̂ (A0 , ..., An ) (A.14)
cette quantité est donc non nulle si et seulement si A0 , ..., An est un repère barycentrique.
Lemme A.3.1. On a (avec les notations introduites ci-dessus) :

−−−→ −−−→
hA0 , ..., An i = detB (A0 A1 , ..., A0 An )
Nous avons7 :
detB̂ (A0 , ..., An ) = detB̂ (A0 , A1 − A0 , ..., An − A0 )

−−→ −−−→ −−−→
= detB̂ (O + OA0 , A0 A1 , ..., A0 An )
−−−→ −−−→ −−→ −−−→ −−−→
= detB̂ (O, A0 A1 , ..., A0 An ) + detB̂ (OA0 , A0 A1 , ..., A0 An )
−−−→ −−−−→
= detB̂ (O, A0 A1 , ..., A0 , An )
−−−→ −−−→
Le premier terde la dernière ligne est detB (A0 A1 , ..., A0 An ) - comme on le voit en développement
ce determinant par rapport à la première colonne qui est le premier vecteur de la base canonique
de K n+1 (cf remarque ci-dessus). Le second terme est nul, puis c’est le déterminant de n + 1
appartenant au sous-espace E de Ê (qui est de dimension n), et qui sont donc linéairement
dépendant dans E, et donc aussi dans Ê.
Proposition A.3.2. Les coordonnées barycentriques xi , d’un point M dans un repère barycen-
trique A0 , ..., An sont8 :
hA0 , ..., Ai−1 , M, Ai+1 , ..., An i
xi =
hA0 , ..., An i
Pn Pn
Ecrivons donc M = k=0 xk Ak , avec k=0 xk = 1, il vient :
hA0 , ..., Ai−1 , M, Ai+1 , ..., An i = hA0 , ..., Ai−1 , nk=0 xk Ak , Ai+1 , ..., An i
P
Pn
= k=0 xk hA0 , ..., Ai−1 , Ak , Ai+1 , ..., An i
= xi hA0 , ..., Ai−1 , Ai , Ai+1 , ..., An i
puisque hA0 , ..., Ai−1 , Ak , Ai+1 , ..., An i = 0 quand k 6= i (déterminant ayant deux colonnes
égales) ; ce qui établit l’énoncé.
6
c’est-à-dire étant donnée une base →
−
v1 , ..., −
v→
n de E et O un point de E (c’est-à-dire un repère affine de l’espace
affine E), ces éléments forment une base de l’espace Ê.
7
Par définition même, les termes figurant dans les divers déterminants sont à interpréter comme vecteurs de
n+1
K ou de K n .
8
Les formules ci-dessous présupposent donc qu’une base E de E a été choisie, afin d’exprimer les déterminants
qui y figurent implicitement.
Exemple A.3.1. Plaçons-nous dans le cas où E est un plan euclidien orienté ; ici K = R.
Une base orthonormée B = (→ −
e1 , →
−
e2 ) étant fixée (qui définit l’orientation), la surface du carré
défini par ces deux vecteurs est prise pour unité de surface. Etant donnés trois points distincts,
−→ −→
A, B, C non alignés, hA, B, Ci = detB (AB, AC) représente l’aire (réel > 0) du parallèlogramme
dont deux côtés consécutifs sont [AB] et [AC], affecté du signe + ou du signe − suivant que la
−→ −→
base (AB, AC) de E est directe ou non.
Etant donné un repère barycentrique A, B, C c’est-à-dire trois points non alignés, nous
avons, pour tout point M :
hM, B, Ci hA, M, Ci hA, B, M i

M= A+ B+ C
hA, B, Ci hA, B, Ci hA, B, Ci
formule dont les coefficients s’interprêtent au signe près comme les rapports respectifs des aires
des triangles M BC, AM C, ABM à celle du triangle ABC.
En particulier, quand M est l’isobarycentre du triangle ABC, les triangles M BC, AM C, ABM
ont la même aire.
Exemple A.3.2. Dans un plan euclidien, soient ABC un triangle des poitns A0 ∈ BC, B 0 ∈
CA, C 0 ∈ AB. Nous pouvons alors écrire A0 = λB + λ0 C, B 0 = µC + µ0 A et C 0 = νA + ν 0 B
avec λ + λ0 = µ + µ0 = ν + ν 0 = 1.
Nous avons donc : hA0 , B 0 , C 0 i = hλA + λ0 C, µC + µ0 A, νA + ν 0 Bi ; compte tenu de la
multilinéarité du déterminant, on obtient aisément :
hA0 , B 0 , C 0 i = (λµν + λ0 µ0 ν 0 )hA, B, Ci
Puisuqe hA0 , B 0 , C 0 i est 2 fois l’aire du triangle A0 B 0 C 0 , on conclut que les points A0 , B 0 , C 0 sont
alignés si et seulement si hA0 , B 0 , C 0 i = 0, ce qui équivaut à :
λµν
= −1
λ0 µ0 ν 0
comme :
λ A0 C µ B0A ν C 0A
= − , = − , = −
λ0 A0 B µ0 B0C ν 0 C 0B
Nous avons démontré que : les points A0 , B 0 , C 0 sont alignés si et seulement si :
A0 C B 0 A C 0 B
=1
A0 B B 0 C C 0 A
c’est-à-dire le théorème de Menelaüs.
Bibliographie
[AUD] Michèle Audin, Géométrie, Collection Enseignement Sup, EDP Sciences 2006
[TIS] Claude Tisseront, Géométrie affine, projective et euclidienne, Activités scientifiques et
industrielles, Hermann 2001
[FRE] Jean Fresnel, Méthodes modernes en géométrie, Formation des enseignements, Hermann
1997.
[MER] Dany-Jack Mercier, Cours de géométrie, préparation au CAPES et à l’agreg, EPU 2004.
[PER] Daniel Perrin, Mathématiques d’école, nombres, mesures et géométrie, Cassini 2005.
[CAR] Michel Carral, Géométrie, Ellipses, 1995.
[HIL] David Hilbert, Les fondements de la géométrie, Réédition Gabay 1997.
[LIO] Georges Lion, Géométrie du plan, Collection "Les sciences en fac", Vuibert 2001.
[BOURIC] Alain Bouvier, Denis Richard, Groupes, observation, théorie, pratique, Hermann
1994.
[SEN] Brigitte Sénéchal, Groupes et géométries, Hermann 1979.
[COX] Coxeter, Introduction to Geometry, John Wiley and Sons, 1989.
[HAR] Robin Hartshorne, Geometry : Euclid and Beyond, Sringer 2000.
91

M302: Géométrie Affine Et Euclidienne

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

M302: Géométrie Affine Et Euclidienne

Transféré par

Droits d'auteur :

Formats disponibles

Université des Sciences et Technologies de Lille

U.F.R. de Mathématiques Pures et Appliquées

M302 : Géométrie affine et euclidienne

Notes de cours par Clément Boulonne

L3 Mathématiques 2008 - 2009

5 Géométrie du triangle et du cercle 66

6 Géométrie dans l’espace 73

A Barycentre (par Jean-François Robinet) 80

A.3.1 For the Snark was just a Boojum, you see ! . . . . . . . . . . . . . . . . . 84

NB : Les démonstrations manquantes sur certains théorèmes ou propositions sont laissées

Définition 1.1.3. Un sous-ensemble F de (G, ∗) est un sous groupe si :

1.1.2 Homomorphisme de groupes

Proposition 1.1.2. Soient (G, ∗) et (G0 , 4) deux groupes, ϕ est un homomorphisme de G → G0

1.1.3 Groupes opérant sur un ensemble

Notation. Pour alléger les notations :

Exemple 1.1.3. 1. G agit sur lui-même :

Définition 1.1.6. G opérant sur X, x ∈ X :

est un sous-groupe de G appelé stabilisateur de x.

Démonstration. Soit α : G → SX . Alors :

Proposition 1.1.4. Les sous-groupes Gx et Gy sont conjugés si x et y sont dans la même

1.2 Ensembles quotients - groupes quotients

Exemple 1.2.1 (Exemple commutatif). C’est le cas de Z/nZ. Soit a ∈ Z alors :

Démonstration. Soit xH ∈ (G/H)d , x ∈ G. Soit :

xhx−1 H = (xH) ∗ (hH)) ∗ (x−1 H) = (xH) ∗ (x−1 H) = H

On a donc : ∀x ∈ G, xHx−1 ⊂ H : ce qui prouve que H C G.

(G/H)d × (G/H)d → (G/H)d

On suppose que x et x0 tel que xH = x0 H et y et y 0 tel que yH = y 0 H. On montre que

xyH = xHy = xHHy = xHyH = x0 Hy 0 H = x0 HHy 0 = x0 Hy 0 = x0 y 0 H

L’associativité est évidente et on a (xH)−1 = x−1 H.

ϕ(g) = ϕ(h) ⇔ g.x = h.x ⇔ (h−1 g).x = x ⇔ h−1 g ∈ Gx

ϕ̃ compatible avec la structure de G-ensemble de (G/Gx )d et G.x ⊂ X.

ϕ̃(g(h.Gx )) = ϕ̃((gh)Gx ) = (gh).x

g.ϕ̃(h.Gx ) = g.(hx) = (gh).x

où S est un ensemble de représentants des orbites 1 . D’où le résultat :

1.3 Produit direct et produit semi-direct

(h, k) · (h0 , k 0 ) = (h ∗ h0 , k4k 0 )

est appelé produit direct et c’est un groupe.

Exemple 1.3.1. R × R = R2 = {(x, y), x ∈ R, y ∈ R} muni de l’addition :

h−1 kh ∈ K ⇒ (h−1 .k.h)k ∈ K

On a aussi : H C G, ∀k ∈ K ⊂ G, ∀h ∈ H, k −1 hk ∈ H et h−1 (k −1 .h.k) ∈ H car H C G. On a

Produit semi-direct de sous-groupes

Proposition 1.3.3. H, K deux sous-groupes de G, on suppose H C G, H ∩ K = {e} et

Démonstration. ψ est surjective car G = HK, ψ morphisme de groupes :

ψ((h, k).(h0 , k 0 )) = ψ((h (kh0 k −1 ) , kk 0 ) = hkh0 k −1 kk 0

= (hk)(h0 k 0 ) = ψ((h, k)).ψ((h0 , k 0 ))

ker ϕ = {(h, k) ∈ H × K, ψ((h, k)) = e} = {(h, k)/hk = e} = {e}

1.4 Espaces vectoriels

Proposition 1.4.1. E est de dimension n alors E ' Rn .

Définition 1.4.2. E et F deux espaces vectories sur un corps K, une application ϕ : E × F

On note l’ensemble des applications qui va de E dans F : L(E, F ).

Définition 1.4.3. GL(E) = groupe linéaire = groupes des automorphismes de E.

Espaces vectoriels quotients

p(λx) − p(λx0 ) = p(λx − λx0 ) = p(λ(x − x0 ))

or, λ(x − x0 ) ∈ F , donc p(λ(x − x0 )) = 0, ainsi λx + F = p(λx) ne dépend que X et non de

Proposition 1.4.2. Soient E et F deux espaces vectoriels et ϕ : E → F une application,

alors, l’application ϕ̃ est un homomorphisme d’espaces vectoriels de E/N sur I.

Démonstration. L’application ϕ̃ est injective et surjective par définition et si λ, µ ∈ K, X, Y ∈

ϕ̃(λX + µY ) = ϕ̃(λp(x) + µp(y)) = ϕ̃(p(λx + µy)) = (ϕ̃ ◦ p)(λx + µy)

Exemple 1.4.1. Soit ψ une application linéaire de Rn dans Rn , on suppose l’application ψ de

Conséquence. Relations de Chasles :

On aurait pu aussi bien définir l’espace affine E de la manière suivante.

2.2 Vectorialisé d’un espace affine

2.3 Sous-espace affine