Voir la source de Axiomes de Hilbert

{{À sourcer|date=juillet 2023}}
[[Fichier:Hilbert.jpg|thumb|right|David Hilbert]]
Dans un mémoire paru en 1899, ''Les fondements de la géométrie'' (''{{lang|de|Grundlagen der Geometrie}}''), [[David Hilbert]] propose une axiomatisation de la [[géométrie euclidienne]]. Ce sont ces axiomes, qui ont été révisés au cours des éditions successives par Hilbert lui-même, ou des axiomes directement inspirés de sa présentation que l'on appelle '''axiomes de Hilbert'''.

Hilbert se situe dans la lignée d'[[Euclide]] et de ses ''[[Éléments (Euclide)|Éléments]]'', qui du point de vue de la rigueur ne satisfont plus les géomètres du {{s-|XIX}}, car pour [[démonstration (logique et mathématique)|démontrer]] rigoureusement les théorèmes associés à cette géométrie, il est nécessaire d'admettre comme vraies des hypothèses supplémentaires laissées implicites par Euclide.

Hilbert établit un système d'axiomes simples, qu'il répartit en plusieurs groupes, dont il analyse la portée, les théorèmes qu'ils permettent de démontrer, et ceux qui ne peuvent être obtenus sans ce groupe d'axiomes. Son objet est, ainsi qu'il le présente dans son introduction, « l'analyse de notre intuition de l'espace ».

Les axiomes de Hilbert apparaissent souvent comme la version axiomatique moderne qui permet une fondation rigoureuse de la géométrie d'Euclide. Il existe cependant d'autres axiomatisations de la géométrie élémentaire (dont les objectifs sont en partie différents) comme [[Axiomes de Tarski|celle de Tarski]] ou {{Lien|langue=en|trad=Birkhoff's_axioms|fr=Axiomes de Birkhoff pour la géométrie|texte=celle de Birkhoff}}.
== Contexte ==

=== La représentation d'Euclide ===
==== Angles et longueurs chez Euclide ====
{{Animation
 | titre = Preuve d'Euclide
 | upright = 1.5
 | float = right
 | PythagoreEuclide1.gif|Pour une image fixe, cliquer sur la flèche
 | PythagoreEuclide0.svg|Pour une animation, cliquer sur la flèche
}}
{{article connexe|Éléments d'Euclide}}

Euclide définit dans sa géométrie les notions de longueur et d'angle. Il est intéressant de voir ce qu'Euclide présuppose implicitement lorsqu'il les utilise.

Les définitions d'angle, d'angle droit, d'angle obtus, d'angle aigu, apparaissent dès les premières définitions du Livre I des ''Éléments''.
:''Un angle plan est l'inclinaison mutuelle de deux lignes qui se touchent dans un plan, et qui ne sont point placées dans la même direction''.
:''Lorsque les lignes, qui comprennent ledit angle, sont des droites, l'angle se nomme rectiligne''.
:''Lorsqu'une droite tombant sur une droite fait deux angles de suite égaux entre eux, chacun des angles égaux est droit''.
:''L'angle obtus est celui qui est plus grand qu'un droit''.
:''L'angle aigu est celui qui est plus petit qu'un droit''.
Cependant Euclide ne précise pas comment il définit l'égalité ou la comparaison de deux angles, pas plus qu'il ne définit l'égalité de deux longueurs. En fait, il apparaît qu'Euclide utilise implicitement la conservation des angles ou des longueurs de segments lorsque ceux-ci sont déplacés d'une position à l'autre, même si la notion de déplacement n'apparaît pas non plus explicitement dans les ''Éléments''. Ainsi, pour montrer qu'un triangle ABC, ayant deux côtés AB et AC de même longueur, est tel que les angles B et C sont égaux, Euclide superpose les triangles ABC et ACB. Il suppose donc implicitement que, dans cette superposition, longueurs et angles sont conservés. La géométrie d'Euclide est donc ce qu'on pourrait appeler une géométrie des figures rigides.

La figure du paragraphe illustre le mécanisme d'une preuve ''classique'' dans la démonstration d'un théorème, celui de [[Théorème de Pythagore|Pythagore]]. Les [[triangle]]s ''AEC'' et ''IBC'' sont [[Triangle semblable|semblables]] car le deuxième est la rotation d'un quart de tour du premier. Un triangle est donc une figure rigide qui possède une aire invariante par rotation.

==== Théorie des proportions ====
{{article détaillé|Livre V des Éléments d'Euclide}}
Le [[Livre V des Éléments d'Euclide|livre V des éléments d'Euclide]] introduit une théorie des proportions entre grandeurs de même nature (longueur, aires, volumes). Cette théorie, attribuée à [[Eudoxe de Cnide]] par [[Archimède]], qui ne fait jamais référence à Euclide, permet de traiter les proportions entre grandeurs incommensurables, ce que nous appelons aujourd'hui les [[Nombre irrationnel|nombres irrationnels]], comme l'a illustré en particulier Archimède. Les proportions des grecs n'ont pas vraiment le statut de nombre, les opérations doivent avoir un sens géométrique. Elles peuvent être multipliées ou divisées par un nombre entier.

Hilbert établit une théorie des proportions (voir plus loin) où celles-ci ont le statut de nombre à part entière.

=== Géométries non euclidiennes ===
[[Fichier:MobiusAnime.gif|thumb|upright=1.3|Une géométrie non euclidienne]]
{{article connexe|Programme d'Erlangen}}
Une idée fréquente pendant plus des deux millénaires qui ont suivi l'édition des ''Éléments'' d'Euclide est le fait qu'il n'existe que deux uniques géométries, celle du [[plan euclidien]], et celle de l'[[espace euclidien]].

Elle se traduit par le statut donné au cinquième [[postulat]], dit de la [[parallélisme (géométrie)|parallèle]]. Tel que formulé par [[Proclos]], celui-ci stipule que « dans un plan, par un point distinct d'une droite ''d'', il n'existe qu'une unique droite parallèle à ''d''.» Si, comme on l'a cru jusqu'au début du {{s-|XIX}} l'unicité de la géométrie euclidienne est vraie, alors le cinquième postulat ne serait qu'un [[théorème]], encore à l'état de [[conjecture]]. Il ne manquerait que le talent d'un mathématicien pour la démontrer, mais la proposition serait [[vérité scientifique|vraie]] et son statut de postulat ne serait que provisoire.

[[Fichier:LineOnHyper.svg|thumb|left|Il existe une infinité de droites qui, comme ''d''1, ''d''2 et ''d''3, passent par le point ''M'' et sont parallèles à la droite ''D''. Exemple de [[géométrie hyperbolique]] ne respectant pas le {{5e|postulat}} d'Euclide.]]
Mais lorsque Hilbert axiomatise la géométrie euclidienne, on sait déjà qu'il y a [[géométries non euclidiennes|des géométries]] qui ne respectent pas le {{5e|postulat}}. Dans son [[programme d'Erlangen]], [[Felix Klein]] ordonne les différentes géométries : les espaces de [[Nikolaï Lobatchevski]] et [[Bernhard Riemann]] ne vérifient pas le {{5e|postulat}}.

D'autres cas sont connus : Klein a construit un espace, celui de la figure qui respecte le cinquième postulat, mais qui n'est pas orientable. Dire qu'un espace est « [[orientation (mathématiques)|orientable]] » signifie que la droite et la gauche existent. Dans un espace euclidien, une main droite et une main gauche ne sont jamais superposables, il est impossible de les faire coïncider sans utiliser une [[symétrie]], c’est-à-dire une transformation équivalente à celle d'un miroir. La figure du paragraphe montre que cet état de fait n'est pas vrai dans toutes les géométries. Ainsi, la règle de la figure, jaune sous le plan et rouge au-dessus, par un mouvement continu devient rouge sous le plan et jaune au-dessus. Ce qui est impossible dans un plan euclidien.

== Analyse de Hilbert ==
Ces présuppositions ont été mises en évidence à la fin du {{s-|XIX}} par [[Moritz Pasch|Pasch]] et [[David Hilbert|Hilbert]]. Celui-ci a donné, avec ''Les fondements de la géométrie'', un exposé axiomatique complet et rigoureux, s'attachant à clairement identifier tous les axiomes implicitement utilisés dans la géométrie traditionnelle.

=== Angle et longueur ===
Une des notions fondamentales de la théorie d’Euclide est donc celle d’égalité, ou congruence entre figures. Deux figures sont égales si elles peuvent représenter deux positions différentes d’un même corps rigide. Pour savoir si deux distances AB et CD sont égales, on peut repérer deux points E et F sur une règle rigide, et s’assurer que EF peut être ajusté à la fois sur AB et sur CD. Cela conduit à un [[Argument circulaire|problème de circularité]] : au sens géométrique, une règle est rigide lorsque les distances entre ses points ne varient pas au cours d'un déplacement. Mais pour savoir que deux distances sont égales, on se sert d’un corps rigide qu'on déplace.

[[David Hilbert]], dans ses ''Fondements de la géométrie'', mettra en évidence ce cercle vicieux. Pour y remédier, il introduit de nouveaux axiomes dévoilant les présupposés implicites d'Euclide. Ces axiomes donnent les propriétés qu'on souhaite voir vérifiées par des figures congruentes. Par exemple, on souhaite que la règle de transitivité soit respectée : si AB et CD ont la même longueur, et que CD et EF ont aussi la même longueur, alors AB et EF doivent avoir même longueur. Par ailleurs, un des axiomes de Hilbert relie congruence de segments et congruence d'angles et constitue le premier cas d'égalité des triangles : si [AB] est congruent à [A'B'], [AC] à [A'C'] et l'angle BAC à l'angle B'A'C', alors [BC] est congruent à [B'C']. À noter que cette propriété, qui est un théorème chez Euclide, est devenue un axiome chez Hilbert. C'est qu'Euclide suppose implicitement que les déplacements conservent la congruence. Cette supposition, mise à jour par Hilbert, revient en fait à admettre la validité du théorème. Hilbert déduit de cet axiome les autres cas d'égalité des triangles, l'existence de l'angle droit et la congruence entre eux de tous les angles droits, cette dernière propriété étant un axiome chez Euclide.

=== Nombre et géométrie chez Hilbert ===
Le choix axiomatique de Hilbert, ne fait pas appel aux nombres. Des deux axiomes de continuité, l'un correspond à la propriété archimédienne, l'autre à la complétude du corps des réels. Ces deux axiomes assurent que « la géométrie ainsi construite est identique à la géométrie cartésienne » ({{harvsp|Hilbert|1971|p=42}}, traduction Rossier), en particulier une droite représente la [[nombre réel|droite réelle]]. Le corps des réels est, en [[théorie des ensembles]], l'unique corps archimédien complet.

Cependant Hilbert montre, au chapitre III de son ouvrage, qu'il est possible sans faire appel aux axiomes de continuité, d'« établir la théorie euclidienne des proportions ». il se fonde sur les axiomes d'incidence, d'ordre, et des parallèles (I.1 à 3), II, III et IV) de la géométrie plane, et démontre pour cela le [[théorème de Pappus]] (appelé par Hilbert [[théorème de Pascal]], en tant que cas particulier de celui-ci). Le théorème de Pappus permet de définir un « calcul segmentaire » qui satisfait les propriétés de [[corps commutatif]].

Au chapitre V il montre qu'il est possible d'introduire un calcul segmentaire fondé sur le [[théorème de Desargues]], sans utiliser les axiomes de congruence (groupe III). Les axiomes d'ordre ne sont pas utilisés pour établir le calcul, mais seulement pour ordonner le système de nombre obtenu<ref>{{harvsp|Hilbert|1971|p=146}} commentaire de Bernays.</ref>, dont la multiplication peut ne pas être commutative. C'est-à-dire que les axiomes d'incidence et l'axiome des parallèles, correspondent à une géométrie construite sur un [[corps gauche]] (commutatif ou non), et Hilbert montre qu'une géométrie construite sur un « système arguésien de nombres » (corps gauche ordonné) vérifie les axiomes d'incidence d'ordre et de parallélisme (voir [[plan affine arguésien]] pour une présentation modernisée due à [[Emil Artin]]).

Hilbert<ref>toujours au chapitre V, {{harvsp|Hilbert|1971|p=124}}</ref> montre que le théorème de Desargues nécessite, si on se restreint aux axiomes d'incidence et de parallélisme, d'utiliser l'espace. L'autre possibilité est d'utiliser les axiomes de congruence (c'est une conséquence du chapitre III, le théorème de Desargues étant conséquence du théorème de Pappus, par le [[théorème d'Hessenberg]]).

=== Géométries non archimédiennes ===
Hilbert montre que l'axiome du premier cas d'égalité des triangles ne peut se déduire des autres axiomes. On peut en effet définir une géométrie [[archimédien|non-archimédienne]] vérifiant tous les axiomes de la géométrie de Hilbert sauf le premier cas d'égalité des triangles. Dans cette géométrie :
* On ne dispose pas de l'inégalité triangulaire.
* Les cas d'égalité des triangles ne sont plus valables.
* On peut avoir un triangle ayant deux angles égaux, mais dont les deux côtés ne sont pas égaux.
* La symétrie par rapport à une droite ne conserve pas nécessairement les longueurs.
* La notion d'aire d'un triangle (''base'' × ''hauteur''/2) n'est plus définie.
* On peut trouver deux carrés équidécomposables (i.e. qui peuvent être décomposés en triangles congruents), dont l'un est intérieur à l'autre.

== Les axiomes ==
Hilbert présente ses axiomes en les accompagnant de théorèmes et de définitions. Ses axiomes ne sont pas conçus pour être présentés isolément. Ils utilisent certaines définitions, qui s'appuient sur des axiomes précédemment introduits, ou des théorèmes obtenus à partir de ceux-ci. Ainsi les notions de segment, de [[demi-droite]], d'angle (de demi-droites), de triangle sont introduites au fur et à mesure de l'exposé, et ne font pas partie des notions primitives.

Hilbert introduit trois types d'objets primitifs. Ces objets ne sont pas définis, il s'agit de [[point (géométrie)|point]], de [[Droite (mathématiques)|droite]] et de [[Plan (mathématiques)|plan]].

Certaines relations entre ces objets sont décrites par les axiomes, regroupés en cinq groupes : l'incidence (ou association, ou appartenance), l'ordre, les parallèles, la congruence, et la continuité.

Les axiomes d'incidence<ref>appelés axiomes d'association par Laugel {{harv|Hilbert|1900}}, d'appartenance par Rossier {{harv|Hilbert|1971}}, qui utilise aussi incidence, et axiomes d'incidences par {{harvsp|Artin 1957}}, {{harvsp|Greenberg|1993}} et {{harvsp|Arsac|1998}}.</ref> définissent ''être situé sur'', qui correspond aux notions ''est élément de'' (pour un point vis-à-vis d'une droite ou d'un plan) et '' est inclus dans'' (pour une droite vis-à-vis d'un plan). On utilise librement ces équivalents ou d'autres expressions, comme telle droite passe par tel point, tel point est sur telle droite, deux droites, ou deux plans ont un point en commun, etc.

Les axiomes d'ordre définissent la [[relation (mathématiques)|relation]] ''entre'' reliant 3 points, qui permet de définir les segments.

Les axiomes de congruence, définissent trois [[Relation d'équivalence|relations d'équivalence]], ''être congruent à'', pour les couples de points, les triangles et les angles.

Les points, droites et plans sont considérés comme distincts par défaut, les cas contraires sont précisés dans la suite de l'article.

=== I. Incidence ===
'''I.1''' : Par deux points distincts, passe une droite.

'''I.2''' : Par deux points distincts, passe une seule droite (c'est-à-dire que la droite donnée en '''I.1''' est unique, elle est déterminée par les deux points distincts).

'''I.3''' : Sur une droite sont situés au moins deux points, et pour une droite donnée, il existe au moins un point qui n'est pas sur la droite.

'''I.4''' : Soient trois points non alignés c'est-dire non situés sur une même droite, alors il existe un plan sur lequel sont situés ces trois points. Sur tout plan est situé au moins un point.

'''I.5''' : Soient trois points non alignés, il n'existe qu'un et un seul plan sur lequel sont situés ces trois points.

'''I.6''' : Soient deux points (distincts) d'une droite ''d'' qui sont sur un plan α, alors tous les points de ''d'' sont sur α. On dit alors que la droite d est dans le plan.

'''I.7''' : Si deux plans ont un point en commun, ils ont alors au moins un autre point en commun.

'''I.8''' : Il existe au moins un quadruplet de points non situés sur un même plan, c'est-à-dire tels que les quatre points sont non coplanaires.

=== II. Ordre ===
'''II.1''' : Si un point ''B'' est entre les points ''A'' et ''C'', ''B'' est aussi entre les points ''C'' et ''A'', et il existe une droite contenant les trois points ''A, B, C''.

'''II.2''' : Soient deux points ''A'' et ''C'', il existe au moins un point ''B'' de la droite ''AC'' tel que ''C'' soit entre ''A'' et ''B''.

'''II.3''' : Soient trois points alignés, alors un au plus se situe entre les deux autres.

'''Définition''' : Deux points ''A'' et ''B'' sur une droite ''d'', définissent un ''segment'' noté ''AB'' ou ''BA''. Les ''points du segment AB'' sont les points de ''d'' entre ''A'' et ''B''. Les ''extrémités'' du segment ''AB'' sont les points ''A'' et ''B''.

'''II.4''' : [[Axiome de Pasch]]. Soient trois points ''A, B, C'' non alignés et soit une droite ''d'' contenue dans le plan ''ABC'' mais ne passant par aucun des points ''A, B, C''. Si ''d'' passe par un point du segment ''AB'', alors ''d'' passe aussi soit par un point du segment ''AC'', soit par un point du segment ''BC''.

=== III. Congruence ===
'''III.1''' : Soient deux points distincts ''A'', ''B'' et un point ''A' '' élément d'une droite ''d'', il existe deux et deux uniques points ''C'' et ''D'' éléments de la droite ''d'', tel que ''A' '' se situe entre ''C'' et ''D'', et ''AB'' est congru à ''CA' ''ainsi qu'à ''DA' ''.

'''III.2''' : La relation de congruence est transitive, c’est-à-dire, si ''AB'' est congru à ''CD'' et si ''CD'' est congru à ''EF'', alors ''AB'' est congru à ''EF''.

'''III.3''' : Soient une droite ''d'' contenant les segments sans point commun ''AB'' et ''BC'' et une droite ''d' '' contenant les segments sans point commun ''A'B' '' et ''B'C' ''. Si ''AB'' est congru à ''A'B' '' et ''BC'' est congru à ''B'C' '', alors ''AC'' est congru à ''A'C' ''.

'''III.4''' : Soient un angle ''ABC'' dans un plan α et une demi-droite ''B'C' '' dans un plan α', il existe deux et seulement deux demi-droites, ''B'D'' et ''B'E'' dans le plan α', telles que l'angle ''DB'C' '' est congru à l'angle ''ABC'' et l'angle ''EB'C' '' est congru à l'angle ''ABC''.

''Corollaire'' : Tout angle est congru à lui-même.

'''III.5''' : Soient deux triangles ''ABC'' et ''A'B'C' '' tel que ''AB'' est congru à ''A'B' '', ''AC'' est congru à ''A'C' '', et l'angle ''BAC'' est congru à l'angle ''B'A'C' '', alors le triangle ''ABC'' est congru au triangle ''A'B'C' ''.

=== IV. Parallèles ===
'''IV''' : '''[[Axiome des parallèles]].''' Soient une droite ''d'' et un point ''A'' non sur ''d ;'' dans le plan déterminé par ''d'' et ''A'', il existe au plus une droite passant par A qui n'a aucun point commun avec ''d''.

De cet axiome et des précédents on déduit que par un point extérieur à une droite, il passe une et une seule parallèle à cette droite.

=== V. Continuité ===
'''V.1''' : '''[[Axiome d'Archimède]]'''. Soient deux segments ''AB'' et ''CD'' tel que ''C'' est différent de ''D''. Alors il existe un entier ''n'', et ''n'' points ''A''<sub>1</sub>, etc., ''A''<sub>''n''</sub> de la droite contenant le segment ''AB'', tels que ''A''<sub>''j''</sub> se situe entre ''A''<sub>''j''-1</sub> et ''A''<sub>''j''+1</sub> si 2 ≤ ''j'' < ''n'' - 1, ''A''<sub>''j''</sub>''A''<sub>''j''+1</sub> est congru à ''CD'' si 1≤ ''j'' <''n'' - 1, ''A'' est confondu avec ''A''<sub>''1''</sub> et ''B'' se situe entre ''A'' et ''A''<sub>''n''</sub>.

Ce groupe peut, ou non, être complété par un axiome impliquant la [[espace complet|complétude]] de la géométrie. Celui-ci est ajouté par Hilbert à la traduction française de 1900 et apparaît dès la seconde édition de 1903<ref>{{harvsp|Hilbert|1971|p=43}} (commentaire de Rossier)</ref>. Hilbert précise qu'il ne supposera pas en général sa validité.

'''V.2''' : '''Axiome de l'intégrité linéaire.''' L'ensemble des points d'une droite, soumis aux [[Relation d'ordre|relations d'ordre]] et de congruence, n'est susceptible d'aucune extension dans laquelle restent valides les relations précédentes et les axiomes I à III et V.1<ref>L'énoncé de Hilbert, à partir de la {{7e|édition}}, est plus précis : il donne les « propriétés fondamentales », axiomes ou déduites de ceux-ci, qu'il est nécessaire de conserver {{harv|Hilbert|1971|p=41}}.</ref>

Hilbert précise que l'axiome d'intégrité permet de montrer le [[théorème de Bolzano-Weierstrass|théorème de Bolzano]] sur l'existence de points d'accumulation, et la construction des [[coupure de Dedekind|coupures de Dedekind]].

L'axiome apparaît sous une forme proche à partir de la {{7e|édition}} (la dernière parue du vivant de Hilbert). Dans les éditions précédentes (sauf la première où il est absent et n'a pas d'équivalent), il est énoncé pour tous les éléments de la géométrie, points, droites et plans (« ... les éléments de la géométrie forment un système d'êtres qui, si l'on conserve tous les axiomes, n'est susceptible d'aucune extension »), énoncé qui devient un théorème de l'intégrité, déduit de l'intégrité linéaire, dans les versions suivantes<ref>à la suite d'une remarque de [[Paul Bernays]], {{harvsp|Hilbert|1971|p=41}} et page 43 pour la citation.</ref>.

Ce dernier axiome n'est pas un axiome ordinaire, il fait référence aux autres axiomes, et il s'agit plutôt d'un « meta-axiome »<ref name="igg210">{{harvsp|Grattan-Guinness|2000|p=210}}</ref>. Hilbert fait d'ailleurs remarquer que cet axiome, en l'absence de celui d'Archimède devient contradictoire<ref name="igg210"/>.

Il est possible de le remplacer par un axiome plus « usuel », mais du second ordre (faisant intervenir la notion d'ensemble), comme l'axiome de Cantor, sur les segments emboîtés d'intersection non vide (leurs extrémités comprises)<ref>{{harvsp|Hilbert|1971|p=281}} commentaire de Rossier</ref>, ou l'axiome de Dedekind, qui énonce que pour toute [[partition (mathématiques)|partition]] d'une droite en deux parties non vides, telle qu'aucun point de l'une de ces parties ne soit entre deux points de l'autre, il existe un point de la droite telle que l'une des parties est une demi-droite issue de ce point<ref>{{harvsp|Greenberg|1993|p=98}}</ref>.

== Commentaires ==
Dans l'article de 1899, Hilbert avait ajouté un {{21e|axiome}}, qui s'est avéré redondant : il était possible de le déduire des autres. [[Eliakim Hastings Moore]] démontra cette redondance en 1902, de même que le jeune [[Robert Lee Moore]] (homonyme sans lien de parenté).

{{citation bloc|Soient quatre points sur une droite, il est toujours possible de les nommer ''A'', ''B'', ''C'', et ''D'', tel que ''B'' est entre ''A'' et ''C'' et entre ''A'' et ''D''. De sorte que, ''C'' se trouve entre ''A'' et ''D'' et aussi entre ''B'' et ''D''.}}

Cette base axiomatique décrit l'espace euclidien de dimension 3. Il est relativement simple de transformer les hypothèses pour décrire un espace de dimension 2.

Cette axiomatique se formalise naturellement dans un calcul des prédicats à plusieurs types d'objets, les [[point (géométrie)|points]], les [[Droite (mathématiques)|droites]], et les [[Plan (mathématiques)|plans]], une variante du calcul des prédicats ordinaire, où on préfère séparer syntaxiquement les objets de base du [[Théorie des modèles|modèle]] plutôt que de les définir par des prédicats. Les axiomes de continuité ne sont pas des axiomes de la [[Calcul des prédicats|logique du premier ordre]] : ils requièrent la [[Logique d'ordre supérieur|logique du second ordre]] (quantifications sur des ensembles d'objets de base). Tarski a donné une axiomatisation au premier ordre de la géométrie, qui repose de fait sur la notion de [[corps réel clos]] (et non sur le corps des réels), et qui est décidable et complète, à la différence de l'axiomatisation de Hilbert.

L'intérêt de l'approche de Hilbert est plus méthodologique que pédagogique ou appliquée. En effet, dès cette époque était déjà connue l'approche algébrique par des [[Espace vectoriel|espaces vectoriels]] abstraits et des [[Produit scalaire|produits scalaires]]. Son article sur les fondements n'a donc une conséquence que secondaire en géométrie. En revanche, la démarche consistant à définir une approche axiomatique non redondante, cohérente et si possible complète est avant-gardiste. L'article, durant le {{s-|XX}}, est d'une influence considérable sur l'approche axiomatique formelle en logique.

== Modèle algébrique des axiomes de Hilbert ==

Soit E un [[espace affine euclidien]], ayant pour direction l’[[espace vectoriel euclidien]] V sur le corps des réels de dimension 3.

=== I Axiomes d'incidence ===
On appelle droites les sous-espaces affines de dimension 1 et plans les sous-espaces affines de dimension 2. Les points, les droites et les plans de E vérifient les axiomes d’incidence de Hilbert.
{{Démonstration|contenu=
;I.1
Soient A et B deux points. La droite d contenant le point A, et de direction W, sous-espace de V de dimension 1 engendré par le vecteur AB, contient aussi le point B.

;I.2
Soit une autre droite d’ passant par A et B de direction W. Le sous-espace W’ de dimension 1 contient le vecteur AB : il est donc identique à W et d’est identique à d

;I.3
Toute droite d est non-vide et contient au moins un point A. Sa direction contient au moins un vecteur v non nul, et la droite d contient aussi le point A + v.

L’espace vectoriel V étant de dimension strictement supérieure à 1 contient au moins un vecteur w n’appartenant pas à la direction de d. Le point A+w n’appartient pas à la droite d.

;I.4
Soient A, B et C trois points non alignés. Les vecteurs AB et AC ne sont donc pas colinéaires et le sous-espace vectoriel Q engendré par AB et AC est de dimension 2. Le plan P  contenant A et de direction Q contient aussi les points B et C.

;I.5
Soit P’ un autre plan passant par A, B et C de direction Q’. Le sous-espace vectoriel Q’ de dimension 2 contient les vecteurs AB et AC : il est donc identique à Q et P’ est identique à P.

;I.6
Soit A et B deux points appartenant au plan P de direction Q. Le vecteur AB appartient donc au sous-espace vectoriel Q. Soit C un autre point quelconque de la droite AB. Les vecteurs AC et AB sont colinéaires et le vecteur AC appartient aussi à la direction Q, donc C appartient au plan P.

;I.7
Soit P un plan de direction Q passant par le point A, et soit P’ un autre plan de direction Q’ passant aussi par A. L’intersection de Q et de Q’ est un sous-espace vectoriel de dimension 1 ou 2. Soit v un vecteur non nul de cette intersection. Le point A + v, différent de A, appartient à la fois à P et à P’.

;I.8
Soient A, B, et C trois points non alignés, et P le plan de direction Q passant par ces trois points. L’espace V étant de dimension strictement supérieure à 2, il contient au moins un vecteur w de V n’appartenant pas à Q. Le point A + w n’appartient pas au plan P.
}}

=== II Axiomes d’ordre ===

Soit O(A, B, C) la [[relation ternaire]] « B est entre A et C », vérifiée si et seulement s’il existe un réel {{mvar|r}} négatif tel que le vecteur <math display=inline>\overrightarrow{BA}</math> soit égal au produit du vecteur <math display=inline>\overrightarrow{BC}</math> par {{mvar|r}}. Muni de cette relation, E vérifie les axiomes d’ordre de Hilbert.
{{Démonstration|contenu=
;II.1
Si B est entre A et C, le vecteur <math display=inline>\overrightarrow{BA}</math> est égal au produit du vecteur <math display=inline>\overrightarrow{BC}</math> par {{mvar|r}}, et le vecteur <math>\overrightarrow{BC}</math> est égal au produit du vecteur <math>\overrightarrow{BA}</math> par 1/r. Donc B est entre C et A.

;II.2
Soient deux points A et B. Il existe au moins un réel r strictement compris entre 0 et 1. Soit M le point <math>A + r\overrightarrow{AB}</math> :
:<math>\overrightarrow{MA}=-r\overrightarrow{AB}</math>
:<math>\overrightarrow{MA}=-\frac{r}{1-r}\overrightarrow{MB}</math>

Donc M est entre A et B.

;II.3
Soient A, B et C trois points alignés et {{mvar|r}} le réel tel que :
:<math>\overrightarrow{BA}=r\overrightarrow{BC}</math>
* Si {{mvar|r}} est négatif, B est entre A et C.
* Si {{mvar|r}} est compris entre 0 et 1 :
:<math>\overrightarrow{AB}=-r\overrightarrow{CB}</math>
:<math>\overrightarrow{AB}=-\frac{r}{1-r}\overrightarrow{AC}</math>
:Donc A est entre B et C.
* Si {{mvar|r}} est supérieur à 1 :
:<math>\overrightarrow{CB}=\frac{1}{r} \overrightarrow{AB}</math>
:<math>\overrightarrow{CB}=\frac{1}{1-r}\overrightarrow{CA}</math>

Donc C est entre B et A.

;II.4
Dans un plan P de direction Q, étant donnés une droite d définie par un de ses point A et sa direction W, et un point B du plan P n’appartenant pas à d, un point M du plan P est dit « du côté de B (resp. du côté opposé à B) par rapport à d » si la projection du vecteur <math>\overrightarrow{AM}</math> selon W sur le vecteur <math>\overrightarrow{AB}</math> est positive (resp. négative)

Cette définition est indépendante du point A choisi pour définir d. Deux points M et N du plan P non situés sur la droite d sont soit d’un même côté de d, soit de côtés opposés.

Si M et N sont deux points du plan P non situés sur la droite d  de côtés opposés de d, la droite MN coupe la droite D en un point A, qui est entre M et N.

En effet, la droite MN n’a pas la direction W, sinon M et N seraient du même côté de d. Elle coupe la droite d en un point A. M étant de côté opposé à N, il existe {{mvar|r}} négatif tel que :
:<math>\overrightarrow{AM}=r\overrightarrow{AN}</math>

Donc A est entre M et N.

Soient A, B et C trois points non alignés et soit d une droite passant par un point D entre A et B de direction W. Donc A et B sont de côtés opposés par rapport à d. Le point C est soit du côté de A, soit du côté de B par rapport à d, et donc soit du côté opposé à B, et dans ce cas d coupe BC entre B et C, soit du côté opposé à A, et dans ce cas d coupe AC entre A et C. L’axiome de Pasch est donc vérifié.
}}

=== III Axiomes de congruence===

Deux segments AB et A’B’ sont dits congrus si les normes des vecteurs <math>\overrightarrow{AB}</math> et <math>\overrightarrow{A'B'}</math> sont égales.
Une demi-droite d’origine O et de vecteur unitaire <math>\overrightarrow{u}</math> est l’ensemble des points M pour lesquels il existe un réel positif ou nul r tel que : 	<math>\overrightarrow{OM}=r\overrightarrow{u}</math>

Un angle <math>\widehat{xOy}</math> est un couple de deux demi-droites Ox et Oy de même origine.

Deux angles <math>\widehat{xOy}</math> et <math>\widehat{x'Oy'}</math> sont dits congrus si, <math>\overrightarrow{u}</math>, <math>\overrightarrow{v}</math>, <math>\overrightarrow{u'}</math> et <math>\overrightarrow{v'}</math> étant respectivement les [[Vecteur unitaire|vecteurs unitaires]] de Ox, Oy, O’x' et O’y', le produit scalaire <math>\overrightarrow{u} \cdot \overrightarrow{v}</math> est égal au produit scalaire  <math>\overrightarrow{u'} \cdot \overrightarrow{v'}</math>.

L’espace affine E vérifie les axiomes de congruence de Hilbert.

{{Démonstration|contenu=
;III.1
Soient deux points distincts A et B et un point A’ appartenant à une droite d. Soit <math>\overrightarrow{u}</math> le vecteur unitaire d’une des demi-droites d’origine A’ de la droite d.
Soient C et D les points <math>A'+\left\| \overrightarrow{AB} \right\| \overrightarrow{u}</math> et <math>A'-\left\| \overrightarrow{AB} \right\| \overrightarrow{u}</math>
:<math>\overrightarrow{A'C}= -1 \cdot \overrightarrow{A'D}</math>	donc A’ est entre C et D
:<math>\left\|\overrightarrow{A'C}\right\| =\left\| \overrightarrow{AB}\right\|</math>
:<math>\left\|\overrightarrow{A'D}\right\| =\left\| \overrightarrow{AB}\right\|</math>

Si E est tel que <math>\overrightarrow{A'E}=r\overrightarrow{u}</math> et <math>\left\|\overrightarrow{A'E}\right\| = \left\|\overrightarrow{AB}\right\|</math> alors
*soit <math>r=\left\|\overrightarrow{AB}\right\|</math>et E est confondu avec C
*soit <math>r=-\left\|\overrightarrow{AB}\right\|</math> et E est confondu avec D

;III.2
Si AB est congru à CD et CD est congru à EF, les normes des trois vecteurs <math>\overrightarrow{AB}</math>, <math>\overrightarrow{CD}</math> et <math>\overrightarrow{EF}</math> sont égales, et AB est donc congru à EF.

;III.3
Soient une droite d contenant deux segments sans points communs AB et BC, et un droite d’ contenant deux segments sans points communs A’B’ et B’C’. Il existe donc deux réels positifs {{mvar|r}} et {{mvar|r'}} tels que <math>\overrightarrow{BC}=r\overrightarrow{AB}</math> et <math>\overrightarrow{B'C'}=r'\overrightarrow{A'B'}</math>

Donc <math>\overrightarrow{AC}=(1+r)\overrightarrow{AB}</math> et <math>\overrightarrow{A'C'}=(1+r')\overrightarrow{A'B'}</math>

Si AB est congru à A’B’ et BC est congru à B’C’ :
:<math>\left\|\overrightarrow{AB}\right\|=\left\|\overrightarrow{A'B'}\right\|</math> et <math>\left\|\overrightarrow{BC}\right\| = \left\|\overrightarrow{B'C'}\right\|</math>

Alors {{mvar|r {{=}} r'}} et <math>(1+r)\left\|\overrightarrow{AB}\right\|=(1+r')\left\|\overrightarrow{A'B'}\right\|</math>

Donc AC est congru à A’C’.

;III.4
Soient BC et BA deux demi-droites du plan P d’origine B et de vecteurs unitaires <math>\overrightarrow{u}</math> et <math>\overrightarrow{v}</math>, et soit une demi-droite B’C’ du plan P’ d’origine B’ et de vecteur unitaire <math>\overrightarrow{u'}</math>. Soient <math>\overrightarrow{w}</math> et <math>\overrightarrow{w'}</math> des vecteurs unitaires respectivement orthogonal à <math>\overrightarrow{u}</math> et orthogonal à <math>\overrightarrow{u'}</math> et appartenant respectivement à la direction de P et à la direction de P’. Soient {{mvar|x}} et {{mvar|y}} les coordonnées de <math>\overrightarrow{v}</math> dans la base <math>(\overrightarrow{u},\overrightarrow{w})</math>. Soient <math>\overrightarrow{v'}</math> et <math>\overrightarrow{v''}</math> les vecteurs de coordonnées {{math|(''x'' , ''y'')}} et {{math|(''x'', –''y'')}} dans la base <math>(\overrightarrow{u'},\overrightarrow{w'})</math>.

:<math>\left\|\overrightarrow{v'}\right\|^2 = x^2 + y^2 = 1</math>
:<math>\overrightarrow{u} \cdot \overrightarrow{v} = x</math>
:<math>\overrightarrow{u'} \cdot \overrightarrow{v'} = x</math>

Donc la demi-droite d’origine B’ et de vecteur unitaire v’ forme un angle avec la demi-droite congru à l’angle <math>\widehat{ABC}</math>. De même la demi-droite B’ et de vecteur unitaire v’’ forme un angle avec la demi-droite congru à l’angle <math>\widehat{ABC}</math>.

Soit une autre demi-droite d’origine B’ et de vecteur unitaire <math>\overrightarrow{v'''}</math>, de coordonnées {{math|(''x''’’’ , ''y''’’’)}} dans la base <math>(\overrightarrow{u'},\overrightarrow{w'})</math>  formant aussi un angle avec la demi-droite congru à l’angle <math>\widehat{ABC}</math>.

:<math>\left\|\overrightarrow{v'''}\right\| = 1</math>

:<math>\overrightarrow{u'} \cdot \overrightarrow{v'''} = x''' = x</math>

:<math>y'''^2 = y^2</math>

Donc <math>\overrightarrow{v'''}</math> est confondu soit avec <math>\overrightarrow{v'}</math> soit avec <math>\overrightarrow{v''}</math>.

;III.5
Soient deux triangles ABC et A'B'C' tel que AB est congru à A'B', AC est congru à A'C', et l'angle <math>\widehat{BAC}</math> est congru à l'angle <math>\widehat{B'A'C'}</math>. Soient <math>\overrightarrow{u}</math>, <math>\overrightarrow{v}</math>, <math>\overrightarrow{u'}</math> et <math>\overrightarrow{v'}</math> les vecteurs unitaires respectifs des demi-droites d’origine A passant par B, d’origine A passant par C, d’origine A’ passant par B’ et d’origine A’ passant par B’.

:<math>
\begin{align}
\left\|\overrightarrow{B'C'}\right\|^2 &= \left\|\overrightarrow{A'B'}\right\|^2 + \left\|\overrightarrow{A'C'}\right\|^2  - 2\left\|\overrightarrow{A'B'}\right\| \, \left\|\overrightarrow{A'C'}\right\| \left(\overrightarrow{u'} \cdot \overrightarrow{v'}\right)\\
&= \left\|\overrightarrow{AB}\right\|^2 + \left\|\overrightarrow{AC}\right\|^2 - 2\left\|\overrightarrow{AB}\right\| \, \left\|\overrightarrow{AC}\right\| \left(\overrightarrow{u} \cdot \overrightarrow{v}\right) \\
 &= \left\|\overrightarrow{BC}\right\|^2
\end{align}
</math>

Donc B’C’ est congru à BC.
:<math>
\begin{align}
\overrightarrow{BA} \cdot \overrightarrow{BC} & =\overrightarrow{BA} \cdot \overrightarrow{AC}-\overrightarrow{BA} \cdot \overrightarrow{AB} \\
&=\left\|\overrightarrow{BA}\right\|^2 - \overrightarrow{AB} \cdot \overrightarrow{AC} \\
&=\left\|\overrightarrow{B'A'}\right\|^2 - \overrightarrow{A'B'} \cdot \overrightarrow{A'C'} \\
&=\overrightarrow{B'A'} \cdot \overrightarrow{B'C'}
\end{align}
</math>

Donc l’angle <math>\widehat{ABC}</math> est congru à l’angle <math>\widehat{A'B'C'}</math>.

De même l’angle <math>\widehat{ACB}</math> est congru à l’angle <math>\widehat{A'C'B'}</math>, et les triangles ABC et A’B’C’ sont donc congrus.
}}

=== IV Parallèles ===

Si deux droites ont des directions complémentaires, elles ont un point commun.

Soit d passant par A et de direction W, et d’ passant par A’ de direction W’. Le vecteur AA’ peut être décomposé en deux vecteurs u et u’ appartenant respectivement à W et à W’.

:<math>\overrightarrow{AA'}=\overrightarrow{u}+\overrightarrow{u'}</math>

Les deux points <math>A + \overrightarrow{u}</math> et <math>A' - \overrightarrow{u'}</math> sont confondus en un point commun à d et à d’.

Donc toute droite passant par A’ et ne coupant pas d, a la même direction que d. Elle est donc unique et l’axiome d’Euclide est vérifié.

=== V Continuité ===

Pour toute droite, il existe au moins une [[bijection]] sur l’ensemble R des réels respectant l’incidence, l’ordre et la congruence. En effet, étant donné deux points distincts O et A de la droite, l’application qui fait correspondre au point P l’unique réel {{mvar|r}} tel que :
:<math>\overrightarrow{OP}=r\overrightarrow{OA}</math>

est une telle bijection.

La vérification par toute droite des axiomes d’Archimède et d’intégrité, résulte de la vérification par l’ensemble des réels des axiomes d’Archimède et d’intégrité.

{{Démonstration|contenu=
;V.1
Soit j+1 le plus petit entier de la classe supérieure de {{mvar|r}} : {{mvar|r}} est compris entre j et j+1 et l’axiome d’Archimède est vérifié par l’ensemble des réels.

;V.2
Supposons l’existence R’ d’une extension de R satisfaisant les axiomes d’incidence, d’ordre de congruence et d’Archimède et soit m’ un élément de R’ n’appartenant pas à R. On peut repartir tous les rationnels en deux classes C’ et C’’ de la façon suivante : si sur R’ q est inférieur à m', q est dans la classe C’, et si sur R’ q est supérieur à m', q est dans la classe C’’. Ces deux classes forment une coupure de Dedekind. Soit m le réel associé à cette coupure. Le nombre m’ n’appartenant pas à R est distinct de m. Supposons m inférieur a m’. R’ satisfaisant l’axiome d’Archimède, il existe un rationnel q’ strictement supérieur à m entre m et m’. Mais q’ serait dans C’ donc inférieur à m, d’où contradiction. En supposant m supérieur à m, on aboutit aussi à une contradiction. Donc il n’existe pas d’extension de R satisfaisant les axiomes d’incidence, d’ordre de congruence et d’Archimède.
}}

== Notes et références ==
{{Références}}

== Bibliographie ==
=== ''{{lang|de|Grundlagen der Geometrie}}'' ===
Les ''{{lang|de|Grundlagen der Geometrie}}'' ont connu 10 éditions de 1899 à 1968, 7 du vivant de Hilbert, et les 3 dernières préparées par [[Paul Bernays]] qui avait été un de ses proches collaborateurs, (source et détails : {{harvsp|Hilbert|1971}} préface de Rossier p. VI et VII), et d'autres ultérieures.
==== Éditions ====
* {{de}} David Hilbert, ''{{lang|de|Grundlagen der Geometrie}}'', Leipzig, Teubner, 1899 (comme partie d'un mémoire ''Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen'').
* {{Ouvrage
|langue=de
|prénom1=David
|nom1=Hilbert
|lien auteur1=David Hilbert
|titre=Grundlagen der geometrie
|éditeur=Teubner
|lieu=Leipzig
|année=1903
|numéro d'édition=2
|isbn=
|lire en ligne=https://archive.org/details/grunddergeovon00hilbrich
}}
==== Traductions ====
* {{Ouvrage
|langue=fr
|prénom1=David
|nom1=Hilbert
|traducteur=L. Laugel
|titre=Les principes fondamentaux de la géométrie
|éditeur=Gauthier-Villars
|lieu=Paris
|année=1900
|isbn=
|lire en ligne=https://gallica.bnf.fr/ark:/12148/bpt6k996866
}} traduction de la première édition avec des additions de Hilbert, reprises par celui-ci dans la seconde édition de 1903.
* {{Ouvrage
|langue=en
|auteur1=David Hilbert
|traducteur=E. J. Townsend
|titre=The Foundations of Geometry
|éditeur=
|année=1902
|isbn=
|lire en ligne=http://www.gutenberg.org/ebooks/17384
}} traduction de la première édition avec prise en compte des additions de Hilbert à la traduction de L. Laugel.
* {{Ouvrage
|langue=fr
|prénom1=David
|nom1=Hilbert
|traducteur=PauL Rossier
|titre=Les fondements de la géométrie
|éditeur=Dunod
|lieu=Paris
|année=1971
|réimpression=Gabay 1997
|pages totales=311
|isbn=2-87647-127-2
}} Édition critique avec introduction et compléments préparée par Paul Rossier. La traduction est celle de la {{10e|édition}}, avec indications des variantes des éditions successives.

=== Autres ===
* {{Ouvrage
|langue=fr
|prénom1=Gilbert
|nom1=Arsac
|titre=L'axiomatique de Hilbert <span style="font-size : 90%;">et l'enseignement de la géométrie au Collège et au Lycée</span>
|éditeur=Aleas
|lieu=Lyon
|année=1998
|mois=octobre
|pages totales=125
|pages=125
|isbn=2-84301-004-7
}}
* {{Ouvrage
|prénom1=M. J.
|nom1=Greenberg
|titre=Euclidiean and non-Euclidiean geometries
|éditeur=W.H. Freeman and Company
|année=1993
|isbn=0-7167-2446-4
}}
* H. Languereau ''Les 100 ans de la géométrie de Hilbert'', [[Mathématiques]] vivantes Bulletin IREM de Besançon {{numéro|66}} 2001 [http://archive.wikiwix.com/cache/?url=http://www-irem.univ-fcomte.fr/bulletins/066/bull066.pdf&title=lire archive]
* {{Ouvrage|id=Artin 1957|prénom1=Emil|nom1=Artin|lien auteur1=Emil Artin|titre=Algèbre géométrique|éditeur=Calmann-Lévy|année=|isbn=}}, traduction de ''Geometric algebra'' New York, Interscience Publishers, Inc., 1957, chap.II (présentation axiomatique, essentiellement de la géométrie plane, inspirée de celle de Hilbert et modernisée).
* {{Ouvrage|langue=fr|prénom1=Jacqueline|nom1=Lelong-Ferrand|titre=Fondements de la géométrie|éditeur=PUF|lieu=Paris|année=1985|pages totales=287|isbn=2-13-038851-5}}.
* Yves Martin - IREM de La Réunion [http://curvica974.re/?page_id=86 ''Géométrie non arguésienne dynamique''] dont la géométrie du modèle de Hilbert et le [[plan de Moulton]] .
* {{Ouvrage
|langue=en
|prénom1=Ivor
|nom1=Grattan-Guinness
|lien auteur1=Ivor Grattan-Guinness
|titre=In Search of Mathematical Roots
|éditeur=Princeton University Press
|année=2000
|pages totales=690
|isbn=978-0-691-05858-0
|présentation en ligne=https://books.google.com/books?id=2Y-_YTazbYUC&printsec=frontcover
}} section 4.7.

== Liens externes ==
* [http://perso.wanadoo.fr/fabien.besnard/vulg/tout/les%20axiomes%20de%20hilbert.html Les axiomes de Hilbert] par Fabien Besnard, professeur de mathématiques, en lycée et à l'[[EPF - École d'ingénieurs|EPF]]
{{Palette|Systèmes axiomatiques}}
{{Portail|géométrie|logique}}

[[Catégorie:Axiome de la géométrie]]
[[Catégorie:Logique mathématique]]