LES PRINCIPES FONDANENTAUX pr LA GEOMETRIE. « Toute science humaine commence par les intuitions, de ld passe aux nottone ot fluit par les Idées, » Kant, Critique de ta ralvon pure (Théorie dldmentaire, Partio 11, Section 11), INTRODUCTION. La Géométrie, de méme que l’Arithmétique, n’exige, pour sa con- struction logique, qu'un petit nombre de principes fondamentaux simples. Ces principes fondamentaux sont dits les axtomes de la Géo- métrie: L’exposition de ces axiomes et lour examen approfondi est un probléme qui, depuis Euclido, a fait l'objet de nombreux Mémoires remarquables de la Science mathématique ('). Ce probléme revient & Vanalyse logique de notre intuition de l’espace, La recherche qui suit est un nouvel essai dont le but est d’établir ‘ (*) Voir les Comptes rondus si complots de G. Veronese : Grundsdge der Geometrie, traduction de M, A. Schepp, Loipzlg, 189{ (Supplément); et F. Kuzin, Le Prix Loba- tschefakiy,.. (Math. danalen, t. L). D. Husear,6 D. HILBERT, Ja Géométric sur un systéme stupce et compuer d'axiomes mpéPENDANTS ot de déduire de coux-ci les principaux théoremes géométriques, do tello sorte que lo réle des divers groupes d'axiomes et la portée des conclusions que I'on tire des axiomes individuels soient mis en pleine lumitre autant qu'il est possible, CHAPITRE I, LES CINQ GROUPES D’AXIOMES. § 4. Les éléments de 1a Géométrie ot les cing groupes d’axiomes. Convention. — Concevons trois différents systemes d’étres : les étres da puruter systeme, nous les nommerons poiniset nous les désignerons par A, B, C, ...; les étres du neuxitue systéme, nous le nommerons droites ot nous les désignerons par a,b,c, ...; les étres du tRowsitae systéme, nous les nommerons plans ct nous les désignerons par «, B, ‘++ +.3 les points seront aussi nommés déments de la Géomebrie lindai ; Jes points et les droites, dléments de la Géométrie Plane; et les points, les droites et les plans, éléments de la Géometrie de espace ou éléments de l' espace, Concevons que les points, droites et plans aient entre eux certaines relations mutuelles et désignons ces relations par des mots tels que : ( SONT SITUES », @ ENTRE », « PARALLELE », « CONGRUENT », « CONTINU »3 la description exacte et complete de ces relations a lieu au moyen des axiomes de la Géométrie, : Les axiomes de la Géométrie se partagent en cing groupes; chacun de ces groupes, pris individuellement, exprime certaines vérités fon- damentales de méme catégorie qui dérivent de notre intuition, Nous désignerons ces groupes comme il suit :LES PRINCIPES FONDAMENTAUX DE LA GEOMETHIE, 7 1, 1-7, Axiomes d’association, Hl, 1-5, Axiomes de distribution. ML. Axiome des paralléles ( Postulat d'Euclide). IV, 1-6, Axiomes de congruence. v. Axiome de la continuitd (Axiome d’Archimede), § 2. Le groupe d’axiomes I : Axiomes d'association. Les axiomes de ce groupe établissent une association entre les no- tions précédemment indiquées, points, droites et plans. Ces axiomes sont les suivants : 1,1. Deus points distincis, A, B, déterminent toujours une droite a; nous poserons AB= a ou BA =a. Au liew de « pérenmnenr », nous emploierons uussi d'autres tour- nures de phrase} par exemple : A « esr sitvé sun » a; A « est UN POINT DE »@3 @« passe PAR» Ac ET PARB »; « asoint Art B» ou « sontA 4B», Lorsque A est situé sura et, en outre, sur une autre droite 2, nous emploicrons aussi le mode d’expressivn : « Les prorres @ et b ont LB point A EN COMMUN », ot ainsi de suite. 1, 2. Deuw points distinets queloonques d'une droite déterminent cette droite, et sur toute droite il y a au moins deuw points ; c’est-a-dire que, sion a AB=aet AC=aetB#£C, onaaussi BC=a. 1, 3. Trois points A, B, C non situes sur une méme droite determinent toujours un plan a; nous poserons ABC = a. Nous emploierons aussi les tournures : A, B, C « sont situts DANS » le plan «; « sont pgs points DE » a, et ainsi de suite. I, 4. Trois points quelcongues A, B, C d’un plan a, non situés sur une méme droite, déterminent ce ‘plana. 1, 5, Lorsque deux points A et B d'une droite a sont situés dans un plan a, ilen est de méme de tout point de a. 5 8