Wikipédia:Lumière sur/Géométrie hyperbolique
Ce « Lumière sur » a été ou sera publié sur la page d'accueil de l'encyclopédie le mardi 1er juin 2021.
En mathématiques, la géométrie hyperbolique (nommée auparavant géométrie de Lobatchevski, lequel est le premier à en avoir publié une étude approfondie) est une géométrie non euclidienne vérifiant les quatre premiers postulats d’Euclide, mais pour laquelle le cinquième postulat, qui équivaut à affirmer que par un point extérieur à une droite passe une et une seule droite qui lui est parallèle, est remplacé par le postulat selon lequel « par un point extérieur à une droite passent plusieurs droites parallèles à celle-ci » (il en existe alors une infinité).
En géométrie hyperbolique, la plupart des propriétés métriques de la géométrie euclidienne ne sont plus valables ; en particulier le théorème de Pythagore n'est plus vérifié, et la somme des angles d'un triangle est toujours inférieure à 180°. Les droites restent cependant les lignes de plus court chemin joignant deux points, ce qui a permis à Beltrami, dans le cas du plan hyperbolique, de les modéliser comme des géodésiques sur une surface de courbure constante négative, comme les droites de la géométrie elliptique sont modélisées par des grands cercles sur une sphère.
À la suite de Beltrami, Klein et Poincaré ont construit plusieurs autres modèles de géométrie hyperbolique, comme le modèle de l'hyperboloïde ou celui du disque de Poincaré. Ces modèles montrent l'indépendance de l'axiome des parallèles, c'est-à-dire l'impossibilité de le démontrer (ou de le réfuter) à partir des autres axiomes ; cela revient également à dire que si la géométrie euclidienne ne contient pas de contradiction, il en est de même de la géométrie hyperbolique.
La détermination de la « vraie » géométrie de notre espace physique s'est posée dès la découverte des géométries non euclidiennes ; au début du 21e siècle, les tests expérimentaux ne permettent toujours pas de décider ce qu'il en est, ce qui constitue le problème de la platitude, l'une des questions non résolues de la cosmologie.