H. POINCARÉ. — LES GfiOMÉTRlES NON EUCLIDIENNES 



les diverses lignes de cette figure puissent changer 

 de forme, sans changer de longueur. En général, 

 cette figure flexible et inextensible ne pourra se 

 déplacer sans quitter la surface; mais il y a cer- 

 taines surfaces particulières pour lesquelles un pa- 

 reil mouvement serait possible : ce sont les surfaces 

 à courbure constante. 



Si nous reprenons la comparaison que nous fai- 

 sions plus haut et que nous imaginions des êtres 

 sans épaisseur vivant sur une de ces surfaces, ils 

 regarderont comme possible le mouvement d'une 

 ligure dont toutes les lignes conservent une lon- 

 gueur constante. Un pareil mouvement paraîtrait 

 absurde, au contraire, à des animaux sans épaisseur 

 vivant sur une surface à courbure variable. 



Ces surfaces à courbure constante sont de deux 

 sortes : 



Les unes sonl à courbure positive, et peuvent être 

 déformées de façon à être appliquées sur une 

 sphère. La géométrie de ces surfaces seréduitdonc 

 à la géométrie sphérique, qui est colle de Riemann. 



Les autres sont k courbure néffaf ire. M. Beltrami a 

 fait voir que la géométrie de cessurfacesn'estautrc 

 (jue celle de Lowatchewski. Les géométries à deux 

 dimensions de Riemann et de Lowatchewski se 

 trouvent donc raltacbées <i la géométrie eucli- 

 dienne. 



Interpréta/ion des fféoméfrief! non- euclidiennes. — 

 Ainsi s'évanouit l'objection en ce qui concerne les 

 géométries à deux dimensions. 



Il serait aisé d'étendre le raisonnement de M. Bel- 

 trami aux géométries ii trois dimensions. Les es- 

 prits que ne rebute pas l'espace à quatre dimen- 

 sions n'y verront aucune diiïiculté, mais ils sont peu 

 nombreux. Je préfère donc procéder autrement. 



Considérons un certain plan que j'appellerai fon- 

 damental et construisons une sorte de dictionnaire, 

 en faisant correspondre chacun à chacun une double 

 suite de termes écrits dans deux colonnes, de la 

 même façon que se correspondent dans les dic- 

 tionnaires ordinaires les mots de deux langues dont 

 la signification est la même : 



Expacc Portion de l'espace située au-dessus du 



plan l'ondamenlal. 



Phiii Sphère coupant orltiognnalement le plan 



fondamental. 



rh-oilf Cercle coupant orthngnnalement le plan 



fondamental. 



Sphère Sphère. 



Cercle Cercle. 



.iiifjle Angle. 



Dislance de deux 



poinh Logarithme du rapport anharmonique 



de ces deux points et des intersections 

 du plan fondamental avec un cercle 

 passant par ces deux points et le cou- 

 pant orthogonalement. 

 etc.. etc.. 



Prenons ensuite les théorèmes de Lowatchewski 



UEVUK niiMir.Ai.i-;, 1891. 



et traduisons-les à l'aide de ce dictionnaire 

 comme nous traduirions un texte allemande l'aide 

 d'un dictionnaire allemand-fi'ançais. Novs obtien- 

 drons ainsi des théorèmes de la géométrie ordinaire. 



Par exemple, ce théorème de Lowatchewski : « la 

 somme des angles d'un triangle est plus petite que 

 deux droits » se traduit ainsi : « Si un triangle 

 curviligne a pour côtés des arcs de cercle qui pro- 

 longés iraient couper orthogonalement le plan 

 fondamental, la somme des angles de ce triangle 

 curviligne sera plus petite que deux droits. » Ainsi, 

 quelque loin que l'on pousse les conséquences des 

 hypothèses de Lowatchewski, on ne sera jamais 

 conduit à une contradiction. En effet, si deux théo- 

 rèmes de Lowatchewski étaient contradictoires, il 

 en serait de même des traductions de ces deux 

 théorèmes, faites à l'aide de notre dictionnaire . 

 mais ces traductions sont des théorèmes de géo- 

 métrie ordinaire et personne ne doute que la géo- 

 métrie ordinaire ne soit exempte de contradiction. 

 D'où nous vient cette certitude etest-elle justifiée? 

 C'est là une question que je ne saurais traiter ici, 

 mais qui est bien intéressante et que je ne crois 

 pas insoluble. 11 ne reste donc plus rien de l'ob- 

 jection que j'ai formulée plus haut. 



Ce n'est pas tout. La géométrie de Lowatchewski, 

 susceptible d'une interprétation concrète, cesse 

 d'être un vain exercice de logique et peut recevoir 

 des applications ; je n'ai pas le temps de parler ici 

 de ces applications ni du parti que M. Klein et moi 

 en avons tiré pour l'intégration des équations li- 

 néaires. 



Celte interprétation n'est d'ailleurs pas unique, 

 et l'on pourrait établir plusieurs dictionnaires ana- 

 logues à celui qui précède et qui tous permettraient 

 par une simple « traduction » de transformer les 

 théorèmes de Lowatchewski en théorèmes de géo- 

 métrie ordinaire. 



Les axiomes implicites. — Les axiomes explicite- 

 ment énoncés dans les traités sont-ils les seuls 

 fondements de la géométrie? On peut être assuré 

 du contraire en voyant qu'après les avoir succes- 

 sivement abandonnés on laisse encore debout 

 quelques propositions communes aux théories d'Eu- 

 clide, de Lowatchewski et de Riemann. Ces pro- 

 positions doivent reposer sur quelques prémisses 

 que les géomètres admettent sans les énoncer. Il 

 est intéressant de chercher à les dégager des dé- 

 monstrations classiques. 



Stuart-Mill a prétendu que toute définition con- 

 tient un axiome, puisqu'en définissant on affirme 

 implicitement l'existence de l'objet défini. C'est 

 aller beaucoup trop loin; il est rare qu'en ma- 

 thématiques on donne une définition sans la faire 

 suivre par la démonstration de l'existence de l'objet 

 défini, et quand on s'en dispense, c'est générale- 



23* 



