Géométrie non euclidienne

La géométrie non euclidienne (GNE) est, en mathématiques, une théorie géométrique ayant recours aux axiomes et postulats posés par Euclide dans les Éléments, sauf le postulat des parallèles. Les différentes géométries non euclidiennes sont issues initialement de la volonté de démontrer la proposition du cinquième postulat, qui apparaissait peu satisfaisant en tant que postulat car trop complexe et peut-être redondant avec les autres postulats). Dans les Éléments d'Euclide, l'axiome des parallèles ressemble à la conclusion d'un théorème, mais qui ne comporterait pas de démonstration : qu'on peut comprendre comme : Durant plusieurs siècles, la géométrie euclidienne a été utilisée sans que l'on mette en doute sa validité. Elle a même été longtemps considérée comme l'archétype du raisonnement logico-déductif. Elle présentait en effet l'avantage de définir les propriétés intuitives des objets géométriques dans une construction mathématique rigoureuse. En 1902, Henri Poincaré propose un modèle simple dans lequel le cinquième postulat d’Euclide n’est pas valable. La droite est ici définie par extension comme la courbe de plus court chemin qui joint deux points de l’espace considéré. Étienne Ghys commente ce texte de la façon suivante : Les géométries à n dimensions et les géométries non euclidiennes sont deux branches séparées de la géométrie, qui peuvent être combinées, mais pas obligatoirement. Une confusion s'est établie dans la littérature populaire à propos de ces deux géométries. Parce que la géométrie euclidienne était à deux ou trois dimensions, on en concluait, à tort, que les géométries non euclidiennes comportaient nécessairement des dimensions supérieures. La préhistoire de la géométrie non euclidienne est la longue suite de recherches et de tentatives d'éclaircissement du cinquième postulat d'Euclide (l'axiome des parallèles ). Ce postulat — notamment car il fait appel au concept d'infini — a toujours paru un peu « à part » et non évident aux mathématiciens, qui ont cherché soit à le remplacer par un postulat plus simple et plus direct, soit à le démontrer à partir des autres postulats d'Euclide.