Voir la source de Géométrie non euclidienne

La '''géométrie non euclidienne''' (GNE) est, en [[mathématiques]], une [[Théorie des modèles|théorie]] [[Géométrie|géométrique]] ayant recours aux [[axiome]]s et [[postulat]]s posés par [[Euclide]] dans les ''[[Éléments (Euclide)|Éléments]]'', sauf le [[Axiome des parallèles|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.
[[Image:para euclide.png|thumb|La [[Droite (mathématiques)|droite]] ''d'' est la seule droite passant par le [[Point (géométrie)|point]] ''M'' et [[Parallélisme (géométrie)|parallèle]] à la droite ''D''. Toute autre droite passant par ''M'' (par exemple les droites tracées en pointillé) est [[Droite sécante|sécante]] à ''D''.]]

== Préambule ==
[[Fichier:Euclidian and non euclidian geometry.png|vignette|Espace euclidien en 1, mais espace à courbure négative et positive en 3 et 2 respectivement.]]
Dans les ''Éléments'' d'Euclide, l'[[axiome des parallèles]] ressemble à la [[conclusion (logique)|conclusion]] d'un [[théorème]], mais qui ne comporterait pas de [[Démonstration (logique et mathématiques)|démonstration]]<ref>{{article|langue=en|auteur=Florence P. Lewis|titre=History of the Parallel Postulate|journal=[[The American Mathematical Monthly]]|volume=27|numéro=1|pages=16–23|date=janvier 1920|doi=10.2307/2973238|jstor=2973238}}.</ref> :
{{énoncé|axiome des parallèles|
Si une droite, tombant sur deux droites, fait les [[Angle interne|angles intérieurs]] du même côté plus petits que deux [[Angle droit|droits]], ces droites, prolongées [[Point à l'infini|à l'infini]], se rencontreront du côté où les [[angle]]s sont plus petits que deux droits.}}
qu'on peut comprendre comme :
{{énoncé|reformulation de l'axiome des parallèles|
Par un point extérieur à une droite, il passe toujours une parallèle à cette droite, et une seule.}}

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 déductif|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.

== Approche intuitive de la géométrie non euclidienne ==
{{Trop de citations|date=février 2020}}
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é.
{{citation bloc|Supposons un monde renfermé dans une grande sphère et soumis aux lois suivantes : 
La température n'y est pas uniforme ; elle est maxima au centre, et elle diminue à mesure qu'on s'en éloigne, pour se réduire au zéro absolu quand on atteint la sphère où ce monde est renfermé. 
[...] Un objet mobile deviendra alors de plus en plus petit à mesure qu’on se rapprochera de la sphère limite. 
Observons d’abord que, si ce monde est limité au point de vue de notre géométrie habituelle, il paraîtra infini à ses habitants. 
Quand ceux-ci, en effet, veulent se rapprocher de la sphère limite, ils se refroidissent et deviennent de plus en plus petits. Les pas qu'ils font deviennent donc de plus en plus petits, de sorte qu’ils ne peuvent jamais atteindre la sphère limite.|[[Henri Poincaré]]|[[La Science et l'Hypothèse]]|référence=Chapitre 4 "L'espace de la géométrie"|style=}}

[[File:Géométrie non euclidienne, Approche intuitive.png|thumb|Ce schéma explicite une approche intuitive de la géométrie non euclidienne proposée par Poincaré.]]
[[Étienne Ghys]] commente ce texte de la façon suivante :
{{citation bloc|Les êtres qui habitent dans ce monde ne peuvent pas savoir qu’ils rapetissent car s’ils se mesurent avec un mètre ruban, le mètre ruban également se rapetisse. Nous savons qu’ils se rapetissent mais eux ont une vie tout à fait normale et tout à fait cohérente. S’ils veulent aller d’un point à un autre par le plus court chemin, nous pensons qu’ils auront tendance à se rapprocher du centre, car leurs pas sont plutôt plus grands vers le centre. 

Alors on peut démontrer que le plus court chemin d’un point à un autre dans cette géométrie imaginaire est un arc de cercle perpendiculaire au cercle limite. Leurs droites à eux sont nos cercles à nous. Et vous voyez que dans leur géométrie, l’axiome d’Euclide n’est pas satisfait. La droite rouge est parallèle à la droite verte mais la droite bleue l’est également (deux droites qui ne se coupent pas sont en effet parallèles). 

Il y a une infinité de parallèles qui passent par un point. Et ces gens sont raisonnables, ils ne savent pas qu’ils rapetissent. Mais ils sont tout aussi raisonnables que nous qui ignorons probablement beaucoup d’autres choses. 

La morale de cette petite histoire de Poincaré est qu’on peut très bien envisager beaucoup de mondes extrêmement raisonnables, chacun ayant sa géométrie, chacun ayant sa logique et qui chacun peuvent nous apporter une vision de notre monde concret […]. 

Le mathématicien d'aujourd’hui pour résoudre un problème, pour étudier une question, va utiliser une géométrie, va prendre sa boite à outils, et va choisir la géométrie la plus convenable pour comprendre le problème étudié. 

Voici la phrase de Poincaré : ''Une géométrie ne peut être plus vraie qu’une autre, elle peut simplement être plus commode.''|Étienne Ghys<ref>{{Dailymotion|x1zaeyx_etienne-ghys-et-si-le-theoreme-de-pythagore-n-etait-pas-vrai_school}}. Étienne Ghys, mathématicien, directeur de recherche au CNRS, remet en question les fondements des mathématiques : les axiomes.</ref>}}

== Histoire des géométries non euclidiennes ==
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{{Note|texte=Voir l'article [http://www.math.brown.edu/~banchoff/Beyond3d/chapter9/section05.html Higher-Dimensional Euclidean Geometry (''géométrie euclidienne en dimensions supérieures'')] {{en}}, sur le site math.brown.edu.}}. 

=== Antiquité ===
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. Ainsi, les mathématiciens arabes et perses dont notamment [[Thābit ibn Qurra]], [[Alhazen]], et surtout [[Omar Khayyam]] ont étudié les liens entre le postulat des parallèles et la somme des angles des [[quadrilatère]]s et des triangles. Khayyam propose ainsi dès le {{s-|XI}} une alternative au cinquième postulat d'Euclide, et des tentatives de démonstration de ce postulat [[démonstration par l'absurde|par l'absurde]]<ref>{{DahanPeiffer}}, chap. 4, Figures, espaces et géométries, section 11 : les géométries non euclidiennes {{p.|152-153}}.</ref>.

=== {{s-|XVII}} ===
Au {{s-|XVII}}, [[John Wallis]] et surtout [[Giovanni Girolamo Saccheri]] se sont inspirés des travaux de ces mathématiciens et ont tenté de démontrer le postulat des parallèles. Saccheri consacra sa vie entière à essayer de démontrer le postulat des parallèles par l'absurde, sans y parvenir. Mais, postulant « l'hypothèse de l'angle aigu », qui postule que la somme des angles d'un [[quadrilatère]] est inférieure à quatre [[angle droit|angles droits]], non seulement il n'aboutit à aucune contradiction mathématique flagrante, mais de plus il découvre tout un ensemble de nouveaux théorèmes, cohérents et riches. Il est sur le point de découvrir une géométrie non euclidienne (la [[géométrie hyperbolique]], dans laquelle l'espace peut admettre une infinité de parallèles à une droite donnée et passant par un point hors de cette droite), mais il n'acceptera jamais ces nouveaux théorèmes qu'il considère comme « répugnants »<ref group=alpha>La conclusion de Saccheri est restée célèbre : {{citation|L'hypothèse de l'angle aigu est absolument fausse car cela répugne à la nature de la ligne droite.}}</ref>.

Reprenant les travaux de Saccheri en 1766, [[Jean-Henri Lambert]] reprend l'hypothèse de l'angle aigu, mais ne conclut pas à une contradiction. Il réalise, au moins dans les toutes dernières années de sa vie, qu'il doit être possible de bâtir des géométries cohérentes, soit à partir de l'hypothèse de l'angle aigu ([[géométrie hyperbolique]]), soit celle de l'angle obtus<ref group=alpha>La somme des angles d'un [[quadrilatère]] est supérieure à quatre [[angle droit|angles droits]].</ref> ([[géométrie elliptique]]).

Lambert obtient notamment la formule <math>\pi-(\alpha+\beta+\gamma)=C\,\Delta</math>, où {{mvar|C}} est une constante<ref group=alpha>Aujourd'hui, {{mvar|C}} est nommée la « courbure Gaussienne » du plan hyperbolique.</ref>, qui donne l'aire {{math|Δ}} d'un triangle dont les trois angles sont {{mvar|α}}, {{mvar|β}} et {{mvar|γ}} dans une géométrie fondée sur l'angle aigu (nommée de nos jours une [[géométrie hyperbolique]]).

=== {{s-|XIX}} ===
[[Carl Friedrich Gauss|Gauss]], dès 1813<ref>{{DahanPeiffer}}, chap. 4, Figures, espaces et géométries, section 11 : les géométries non euclidiennes {{p.|154}}.</ref>, a formulé la possibilité qu'il existe d'autres géométries que celle d'Euclide. Cependant il n'a jamais osé publier les résultats de ses réflexions en ce sens « par crainte des cris des Béotiens », comme il l'écrivit lui-même<ref>« ''{{langue|de|da ich das Geschrei der Böotier scheue}}'' », lettre de Gauss à Bessel du 27 juin 1829, citée dans {{Ouvrage|langue=de|prénom1=H.|nom1=Reichardt|titre=Gauß und die Anfänge der nicht-euklidischen Geometrie|éditeur=[[Springer Science+Business Media|Springer-Verlag]]|année=2013|pages totales=250|passage=40|isbn=978-3-7091-9511-6|lire en ligne=https://books.google.fr/books?id=46GuBgAAQBAJ&pg=PA40|consulté le=2016-10-03}}.</ref>.

On distingue les géométries à courbure négative, comme celle de [[Nikolaï Lobatchevski|Lobatchevski]] (1829) et [[János Bolyai|Bolyai]] (1832) ([[somme des angles d'un triangle]] inférieure à 180°, nombre infini de parallèles possibles à une droite par un point, par exemple la géométrie hyperbolique), des géométries à [[courbure positive]] comme celle de [[Bernhard Riemann|Riemann]] (1867) (somme des angles d'un triangle supérieure à 180°, parallèles se rejoignant aux pôles, par exemple la géométrie elliptique).

La géométrie communément appelée « géométrie de Riemann » est un espace sphérique à trois dimensions, espace fini et cependant sans bornes, à courbure positive régulière, alternative au postulat euclidien des parallèles. Riemann a conçu par ailleurs une théorie étendue des géométries non euclidiennes à ''n'' dimensions (conférence de 1854). 

L'idée de « géométrie non euclidienne » sous-entend généralement l'idée d'un espace courbe, mais la géométrie d'un espace courbe n'est qu'une représentation de la géométrie non euclidienne, précise [[Duncan Sommerville]] dans ''{{lang|en|The Elements of Non-Euclidean Geometry}}'' (Londres, 1914). Il existe des espaces non euclidiens à trois dimensions.

[[Image:LineOnHyper.svg|thumb|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''.]]
== Différents types de géométrie non euclidienne ==
=== Géométrie hyperbolique ===
{{article détaillé|Géométrie hyperbolique}}
[[Nikolaï Ivanovitch Lobatchevski|Lobatchevski]], [[Felix Klein|Klein]] et [[Henri Poincaré|Poincaré]] ont créé des modèles de géométrie dans lesquelles on peut tracer une infinité de parallèles à une droite donnée et passant par un même point. 

Il est remarquable que seul le cinquième postulat d'Euclide ait été levé ; les géométries non euclidiennes respectent par ailleurs toutes les autres définitions d'Euclide. En particulier, une droite est toujours définie comme la ligne de plus court chemin joignant deux points sur une surface. Il existe plusieurs modèles de géométrie hyperbolique à deux dimensions : le [[disque de Poincaré]], le [[demi-plan de Poincaré]]…

=== Géométrie elliptique ===
[[Image:para riemann.png|thumb|Il n'existe aucune droite passant par le point ''M'' et parallèle à la droite ''D''.]]
{{article détaillé|Géométrie elliptique}}
[[Bernhard Riemann|Riemann]] a introduit un autre modèle de géométrie non euclidienne, la [[géométrie sphérique]] (parfois appelée ''[[géométrie elliptique]] sphérique''). Dans ce cas, par un point extérieur à une droite, on ne peut mener aucune parallèle (autrement dit, toutes les droites passant par un point extérieur à une droite donnée sont sécantes à cette droite, ou encore toutes les droites de l'espace sont sécantes entre elles). Le modèle est très simple : 
* les points sont les paires de points antipodes d'une sphère ;
* les droites sont les grands cercles (c'est-à-dire les cercles ayant le même centre que la sphère).

Cette géométrie donne une courbure positive de l'espace (la somme des angles d'un triangle est supérieure à deux droits, ou la somme de deux angles successifs d'un quadrilatère est supérieure à deux droits, ou encore il existe un triangle dont tous les angles sont droits).

== Notes et références ==
=== Notes ===
{{Références| groupe=alpha}}

=== Références ===
{{Références}}

== Voir aussi ==
=== Bibliographie ===
==== Aspects historiques ====
* Luciano Boi, ''Le problème mathématique de l'espace - Une quête de l'intelligible'', Springer-Verlag (1995){{commentaire biblio|Une histoire philosophique du concept mathématique d'espace, de la géométrie euclidienne au développement des géométries modernes non euclidiennes, dont la version riemannienne est indispensable pour la formulation de la relativité générale ; niveau premier cycle universitaire minimum.}} 
* {{en}} Marvin J. Greenberg, ''Euclidean & Non-Euclidean geometries - Development & History'', W.H. Freeman & Co., New-York ({{3e}} édition-1996){{commentaire biblio|Un livre de mathématiques qui retrace l'histoire et le développement des géométries non euclidiennes, essentiellement à deux dimensions (géométries de Gauss, Bolyai et Lobachevsky) ; accessible à l'« honnête homme  cultivé ».}}
* {{en}} Max Jammer, ''Concepts of space - The history of theories of space in physics'', [[Dover Publications]], Inc. ({{3e}} édition-1993){{commentaire biblio|Une histoire érudite du concept d'espace, depuis l'Antiquité jusqu'à nos jours ; niveau premier cycle universitaire.}}
* {{Ouvrage|langue=fr|auteur1=[[Jean-Claude Pont]]|titre=L'aventure des parallèles|sous-titre=histoire de la géométrie non euclidienne, précurseurs et attardés|lieu=Berne|éditeur=Lang|année=1986|pages totales=736|isbn=3-261-03591-9}}
* {{Ouvrage|langue=en|langue originale=ru|auteur1=[[Boris Rosenfeld|Boris Abramovich Rosenfeld]]|titre=A history of non-euclidean geometry|sous-titre=evolution of the concept of a geometric space|lieu=New York|éditeur=Springer|année=1988|isbn=|doi=10.1007/978-1-4419-8680-1}}
* A. Papadopoulos et Guillaume Théret, La théorie des parallèles de Johann Heinrich Lambert (édition critique du mémoire de Lambert, traduction française, avec commentaires mathématiques et historiques), éd. Blanchard, coll. Sciences dans l'Histoire, Paris, 214 p., 2014. {{ISBN|978-2-85367-266-5}}

==== Ouvrages de mathématiques ====
* {{Bourguignon1}}
* {{en}} [[Norbert A'Campo]] et Athanase Papadopoulos, ''Notes on hyperbolic geometry'', in: Strasbourg Master class on Geometry, pp. 1--182, IRMA Lectures in Mathematics and Theoretical Physics, Vol. 18, Zürich: European Mathematical Society (EMS), 461 pages, 2012 {{ISBN|978-3-03719-105-7}}, {{DOI|10.4171/105}}
* {{BergerGostiaux1}}
* {{Berger1}}{{commentaire biblio|Comme l'indique son titre, le grand géomètre français nous convie ici à une longue (824 pages) promenade panoramique dans le monde de la géométrie riemannienne ; les divers résultats sont pour la plupart donnés sans démonstrations détaillées, mais avec les références idoines pour le lecteur qui souhaiterait mettre « les mains dans le cambouis » ; le dernier chapitre donne les bases techniques du domaine.}}
*  Jean-Marc Daudonnet, Bernard Fischer, ''Courbure des surfaces. Introduction aux géométries non euclidiennes'', JIPTO 2009 {{ISBN|2-35175-028-4}}
* {{DoubrovineFomenkoNovikov}} (Première partie : géométrie des surfaces, des groupes de transformations et des champs).{{commentaire biblio|Une introduction très pédagogique à la géométrie, avec des applications à la physique, écrite par des spécialistes russes. L'approche étant plutôt intuitive, cet ouvrage est accessible à partir du premier cycle universitaire pour un « bon » étudiant motivé.}}
* {{en}} Birger Iversen, ''Hyperbolic Geometry'', [[London Mathematical Society]] Student Texts 25, [[Cambridge University Press]], 1992 {{ISBN|0-521-43528-5}}
* {{en}} Nikolai I. Lobachevsky, Pangeometry, Translator and Editor: A. Papadopoulos, Heritage of European Mathematics Series, Vol. 4, European Mathematical Society, 2010
* {{Spivak1}}{{commentaire biblio|Traité de référence en  cinq volumes.}}
* {{Ouvrage|langue=en|prénom1=John|nom1=Stillwell|lien auteur1=John Stillwell|titre=Geometry of Surfaces|éditeur=[[Springer Verlag|1992]]|collection=Universitext|année=1995|pages totales=236|isbn=978-0-387-97743-0|lire en ligne=https://books.google.fr/books?id=PTNHBGAtjTYC}}

==== Ouvrages pour physiciens théoriciens ====
* {{en}} [[Yvonne Choquet-Bruhat]] et [[Cécile DeWitt-Morette]], ''Analysis, Manifolds and Physics - Part I: Basics'', North-Holland, 1989 {{ISBN|978-0-44486017-0}}
* {{en}} Theodore Frankel, ''The Geometry of Physics - An introduction'', Cambridge University Press, 2004, {{2e}} éd. révisée et illustrée {{ISBN|978-0-52153927-2}}
* {{en}} Mikio Nakahara, ''Geometry, Topology and Physics'', [[Institute of Physics]] Publishing, 2003, {{2e}} éd. illustrée {{ISBN|978-0-75030606-5}}
* {{en}} Charles Nash et Siddhartha Sen, ''Topology and Geometry for Physicists'', [[Academic Press]], 1983 {{ISBN|978-0-12514080-5}}

==== Ouvrages de philosophie ====
* [[Gaston Bachelard]], ''Le nouvel esprit scientifique'', 1934.{{commentaire biblio|Introduction non technique au sujet.}}
* [[Imre Tóth (philosophe)|Imre Toth]], ''Liberté et vérité. Pensée mathématique et spéculation philosophique'', Paris, [[Éditions de l'éclat|Éditions de l'Éclat]], 2009, 144 p. {{commentaire biblio|Une critique des réticences frégéennes sur la GNE.}}
* Imre Toth, ''Palimpseste. Propos avant un triangle'', Paris, [[Presses universitaires de France]], 2000, 528 p., {{ISBN|9782130500032}}.

==== Aspects ludiques ====
[[Jean-Pierre Petit]], ''Le Géométricon'', [[bande dessinée]] de la collection ''Les Aventures d'[[Anselme Lanturlu]]'', éd. Belin, {{ISBN|2-7011-0372-X}}

=== Articles connexes ===
{{colonnes| taille=24|
* [[Courbure]]
* [[Géométrie absolue]]
* [[Géométrie dans l'espace]]
* [[Géométrie différentielle]]
* [[Relativité générale]]
* [[Théorème de plongement de Nash]]
* [[Quatrième dimension (art)]]}}

=== Liens externes ===
* {{Autorité}}
* {{Bases}}
* {{Dictionnaires}}
*  {{Lien vidéo |langue= |people=Denis van Waerebeke, Cédric Piktoroff (réalisation) |date= |année=2022 |titre=Les géométries non-euclidiennes|émission=Voyages au pays des maths |chaine=Arte |durée=10|url=https://www.arte.tv/fr/videos/107398-001-A/voyages-au-pays-des-maths/ |format= |medium= |éditeur= |lieu=France |consulté le=20 mai 2023 |temps= |oclc= | extrait= |id= }} 
* [http://www.ens-lyon.fr/asso/groupe-seminaires/seminaires/voirsem.php?id=cboubel ''Promenade non euclidienne''], conférence donnée par Charles Boubel, [[École normale supérieure de Lyon|ENS Lyon]].
* [http://matthieu.net/cheminlepluscourt/autres_geometries.php Tractrices, pseudosphère]
* [http://www-cabri.imag.fr/abracadabri/GeoNonE/GeoNonE.htm Géométries planes non euclidiennes] sur le site universitaire associé à [[Cabri Géomètre]]
* [http://xavier.hubaut.info/coursmath/var/planhyp.htm Plan hyperbolique], par Xavier Hubaut

{{Palette|Géométrie}}
{{Portail|géométrie|physique}}

[[Catégorie:Géométrie non euclidienne|*]]
[[Catégorie:Axiome de la géométrie]]
[[Catégorie:Relativité générale]]
[[Catégorie:Henri Poincaré]]