LA GÉOMÉTRIE DE HILBERT

UN FORMULAIRE

On postule l’existence d’un ensemble, appelé plan, qu’on note E. Les éléments
du plan sont appelés points. Le plan contient des parties remarquables appelées
droites.

1. Axiomes d’incidence
Axiome 1. Par deux points distincts du plan passe une droite et une seule.

Axiome 2. Toute droite contient au moins deux points.

Axiome 3. Il existe trois points non alignés.

2. Axiomes d’ordre
On postule une relation ternaire entre points « B est entre A et C », qu’on note
A ∗ B ∗ C, qui vérifie les quatre axiomes suivants.

Axiome 4. Si A ∗ B ∗ C, alors A, B, C sont trois points distincts alignés et C ∗ B ∗ A.

Axiome 5. Étant donnés deux points A et B, il existe un point C tel que A ∗ B ∗ C.

Axiome 6. Étant donnés trois points d’une droite, un et un seul d’entre eux est entre les
deux autres.

Axiome 7 (Pasch). Soient A, B et C trois points non alignés et L une droite qui ne
contient aucun de ces points. Si L contient un point D entre A et B, alors soit elle contient
un point entre A et C, soit elle contient un point entre B et C.

S. Maronne, Département de Mathématiques

Année universitaire 2019-2020.

1
2 TD L3E GÉOMÉTRIE 2 — FORMULAIRE

3. Axiomes de congruence
On postule deux relations binaires de congruence pour les segments et pour les
angles qu’on note ≅ qui vérifient les axiomes suivants.
Axiome 8 (Transport). Soient un segment [AB] et une demi-droite [Cx). Il existe un
unique point D ∈ [Cx) tel que AB ≅ CD.
Axiome 9 (Relation d’équivalence). Soient AB, CD, EF trois segments.Si AB ≅ CD
et AB ≅ EF , alors CD ≅ EF . Tout segment est congruent à lui-même.
Axiome 10 (Addition). Soient trois points A, B, C (alignés) tels que A ∗ B ∗ C et trois
autres points D, E, F (alignés) tels que D ∗ E ∗ F .
Si AB ≅ DE et BC ≅ EF , alors AC ≅ DF .
̂ et une demi-droite [DF ). Il existe une
Axiome 11 (Transport). Soit un angle BAC
̂ ≅ EDF
unique demi-droite [DE) sur un côté donné de la droite (DF ), tel que BAC ̂.
Axiome 12 (Relation d’équivalence). Soient α, β, γ trois angles. Si α ≅ β et α ≅ γ,
alors β ≅ γ. Tout angle est congruent à lui-même.
Axiome 13 (Côté-Angle-Côté (CAC)). Soient ABC et DEF des triangles. On suppose
que AB ≅ DE, AC ≅ DF et BAC ̂ ≅ EDF ̂.
Alors on a BC ≅ EF , ABC ̂ ≅ DEF ̂ et ACB̂ ≅ DF ̂E.
On dit alors que les triangles sont congruents.
4. Axiomes supplémentaires
Axiome (P). Par un point M non situé sur la droite D passe une parallèle à D et
une seule.
Axiome (C). Soient deux cercles Γ et ∆. Si ∆ contient un point à l’intérieur de Γ et
un point à l’extérieur de Γ, alors Γ et ∆ se coupent.
5. Plans hilbertiens, plans euclidiens
Définition (Plan hilbertien). Un plan hilbertien est un ensemble donné de points
qui contient des sous-ensembles appelés droites, et muni de trois relations :
– une relation « entre » ;
– une relation de congruence pour les segments ;
– une relation de congruence pour les angles.
qui vérifient les axiomes d’incidence 1-3, d’ordre 4-7 et de congruence 8-13. 1
Définition (Plan euclidien). Un plan euclidien est un ensemble donné de points
qui contient des sous-ensembles appelés droites, et muni de trois relations :
– une relation « entre » ;
– une relation de congruence pour les segments ;
– une relation de congruence pour les angles.
qui vérifient les axiomes d’incidence 1-3, d’ordre 4-7 et de congruence 8-13 2 ainsi
que l’axiome P des parallèles et l’axiome C.

1. On n’inclut pas l’axiome P des parallèles.

2. C’est donc en particulier un plan hilbertien.