Gomtrie non euclidienne

On appelle gomtrie non euclidienne une thorie gomtrique ayant recours tous les axiomes et postulats poss par Euclide dans les lments, sauf le postulat des parallles.

Durant plusieurs sicles, la gomtrie euclidienne a t

utilise sans que l'on mette en doute sa validit. Elle
a mme t longtemps considre comme l'archtype
du raisonnement logico-dductif. Elle prsentait en effet l'avantage de dnir les proprits intuitives des objets gomtriques dans une construction mathmatique
rigoureuse.

1 Une approche intuitive de la gomtrie non euclidienne

En 1902, Henri Poincar propose un modle simple dans
lequel le cinquime postulat dEuclide nest pas valable.
La droite est ici dnie par extension comme la courbe
de plus court chemin qui joint deux points de lespace
considr.
Supposons, un monde renferm dans une grande sphre
et soumis aux lois suivantes : La temprature n'y est pas
uniforme ; elle est maximum au centre et elle diminue
mesure qu'on sen loigne, pour se rduire au zro absolu quand on atteint la sphre o ce monde est renferm.
Un objet mobile deviendra alors de plus en plus petit,
mesure quon se rapprochera du cercle limite.
La droite d est la seule droite passant par le point M et parallle
la droite D. Toute autre droite passant par M (par exemple les
droites traces en pointill) est scante D.

Observons dabord que si ce monde est limit au point de

vue de notre gomtrie habituelle, il paratra inni ses
habitants. Quand ceux-ci en eet veulent se rapprocher
Les direntes gomtries non euclidiennes sont issues en eet du cercle limite, ils se refroidissent et deviennent
de la volont de dmontrer le cinquime postulat (le de plus en plus petit. Leurs pas deviennent donc de plus
quils ne peuvent jamais atteindre
postulat d'Euclide) qui semblait peu satisfaisant car trop en plus petits, de sorte
[1]
ce
cercle
limite.

complexe, et peut-tre redondant.

[2]
Ce quoi Saccheri, procdant par l'absurde, avait chou tienne Ghys commente ce texte de la faon suivante :
la n du XVIIe sicle.
Les tres qui habitent dans ce monde ne peuvent pas saDans les lments d'Euclide, le postulat ressemble la voir quils rapetissent car sils se mesurent avec un mtre
conclusion d'un thorme, mais qui ne comporterait pas ruban, le mtre ruban galement se rapetisse. Nous savons quils se rapetissent mais eux ont une vie tout fait
de dmonstration :
normale et tout fait cohrente. Sils veulent aller dun
point un autre par le plus court chemin, nous pensons
Si une droite, tombant sur deux droites, fait les
quils auront tendance se rapprocher du centre, car leurs
angles intrieurs du mme ct plus petits que
pas sont plutt plus grands vers le centre.
deux droits, ces droites, prolonges l'inni,

se rencontreront du ct o les angles sont plus

petits que deux droits

Alors on peut dmontrer que le plus court chemin dun

point un autre dans cette gomtrie imaginaire est un arc
de cercle perpendiculaire au cercle limite. Leurs droites
eux sont nos cercles nous. Et vous voyez que dans
leur gomtrie, laxiome dEuclide nest pas satisfait. La
droite rouge est parallle la droite verte mais la droite
bleue lest galement (deux droites qui ne se coupent pas

et qu'on peut comprendre comme :

Par un point extrieur une droite, il passe toujours une parallle cette droite, et une seule.
1

2 LE DVELOPPEMENT DES GOMTRIES NON EUCLIDIENNES

Ce constat fait par Gauss est le terme d'une longue suite
de recherches et de tentatives d'claircissement du cinquime postulat d'Euclide (le postulat des parallles).
En eet, ce postulat notamment car il fait appel au
concept d'inni a toujours paru un peu part et
non vident aux mathmaticiens, qui ont cherch soit le
remplacer par un postulat plus simple et plus direct, soit
le dmontrer partir des autres postulats d'Euclide. Ainsi, les mathmaticiens arabes et perses dont notamment
Thbit ibn Qurra, Alhazen, et surtout Omar Khayyam ont
tudi les liens entre le postulat des parallles et la somme
des angles des quadrilatres et des triangles. Khayyam
propose ainsi ds le XIe sicle une alternative au cinquime postulat d'Euclide, et des tentatives de dmonstration de ce postulat par l'absurde[3] .

Ce schma explicite une approche intuitive de la gomtrie non

euclidienne propose par Poincar

sont en eet parallles).

Il y a une innit de parallles qui passent par un point.
Et ces gens sont raisonnables, ils ne savent pas quils rapetissent. Mais ils sont tout aussi raisonnables que nous
qui ignorons probablement beaucoup dautres choses.

Au XVIIe sicle, John Wallis et surtout Giovanni Girolamo Saccheri se sont inspirs des travaux de ces mathmaticiens et ont tent de dmontrer le postulat des
parallles. Saccheri consacra sa vie entire essayer de
dmontrer le postulat des parallles par l'absurde, sans y
parvenir. Mais, postulant l'hypothse de l'angle aigu[4] ,
non seulement il n'aboutit aucune contradiction mathmatique agrante, mais de plus il dcouvre tout un ensemble de nouveaux thormes, cohrents et riches. Il est
sur le point de dcouvrir une gomtrie non euclidienne
(par exemple la gomtrie hyperbolique, dans laquelle
l'espace peut admettre une innit de parallles une
droite donne et passant par un point hors de cette droite),
mais il n'acceptera jamais ces nouveaux thormes qu'il
considre comme rpugnants [5] .

La morale de cette petite histoire de Poincar est quon

peut trs bien envisager beaucoup de mondes extrmement raisonnables, chacun ayant sa gomtrie, chacun
ayant sa logique et qui chacun peuvent nous apporter une Reprenant les travaux de Saccheri en 1766, Johann Heinrich Lambert reprend l'hypothse de l'angle aigu, mais ne
vision de notre monde concret [...].
conclut pas une contradiction. Il ralise, au moins dans
Le mathmaticien d'aujourdhui pour rsoudre un proles toutes dernires annes de sa vie, qu'il doit tre posblme, pour tudier une question, va utiliser une gomsible de btir des gomtries cohrentes, soit partir de
trie, va prendre sa boite outil, et va choisir la gomtrie
l'hypothse de l'angle aigu (gomtrie hyperbolique), soit
la plus convenable pour comprendre le problme tudi.
celle de l'angle obtus[6] (gomtrie elliptique).
Voici la phrase de Poincar : Une gomtrie ne peut tre
Lambert obtient notamment la formule ( + + )
plus vraie quune autre, elle peut simplement tre plus com= C, C tant une constante[7] , qui donne l'aire d'un
mode.
triangle dont les trois angles sont , , dans une gomtrie fonde sur l'angle aigu (nomme de nos jours une
gomtrie hyperbolique).

Le dveloppement des gomtries

non euclidiennes

On distingue les gomtries courbure ngative, comme

celle de Lobatchevski (1829) et Bolyai (1832) (somme
des angles d'un triangle infrieure 180, nombre inni de parallles possibles une droite par un point,
par exemple la gomtrie hyperbolique), des gomtries
courbure positive comme celle de Riemann (1867)
(somme des angles d'un triangle suprieure 180, parallles se rejoignant aux ples, par exemple la gomtrie
elliptique).

Les gomtries n dimensions et les gomtries non

euclidiennes sont deux branches spares de la gomtrie, qui peuvent tre combines, mais pas obligatoirement. Une confusion sest tablie dans la littrature populaire propos de ces deux gomtries. Parce que la
gomtrie euclidienne tait deux ou trois dimensions,
on en concluait, tort, que les gomtries non eucli- La gomtrie communment appele gomtrie de Riediennes comportaient ncessairement des dimensions su- mann est un espace sphrique trois dimensions, espace
ni et cependant sans bornes, courbure positive rguprieures.
lire, alternative au postulat euclidien des parallles. Rie[3]
C'est Gauss qui, ds 1813 , a formul la possibilit qu'il
mann a conu par ailleurs une thorie tendue des goexiste d'autres gomtries que celle d'Euclide.

3.2

La gomtrie elliptique

mtries non euclidiennes n dimensions (confrence de

1854).
L'ide de gomtrie non euclidienne sous-entend gnralement l'ide d'un espace courbe, mais la gomtrie d'un espace courbe n'est qu'une reprsentation de
la gomtrie non euclidienne, prcise Duncan Sommerville (en) dans The Elements of Non-Euclidean Geometry
(Londres, 1914). Il existe des espaces non euclidiens
trois dimensions.

Les dirents types de gomtrie

non euclidienne

Il n'existe aucune droite passant par le point M et parallle la

droite D.

3.2 La gomtrie elliptique

Article dtaill : Gomtrie elliptique.
Riemann a introduit un autre modle de gomtrie
non euclidienne, la gomtrie sphrique (parfois appele
gomtrie elliptique sphrique). Dans ce cas, par un point
extrieur une droite on ne peut mener aucune parallle
(autrement dit, toutes les droites passant par un point extrieur une droite donne sont scantes cette droite,
ou encore toutes les droites de l'espace sont scantes entre
elles). Le modle est trs simple :
Il existe une innit de droites qui, comme d1, d2 et d3, passent
par le point M et sont parallles la droite D.

les points sont les paires de points antipodes d'une

sphre ;
les droites sont les grands cercles (c'est--dire dire
les cercles ayant le mme centre que la sphre).

3.1

La gomtrie hyperbolique

Article dtaill : Gomtrie hyperbolique.

Lobatchevski, Klein et Poincar ont cr des modles de
gomtrie dans lesquelles on peut tracer une innit de
parallles une droite donne et passant par un mme
point.
Il est remarquable que seul le cinquime postulat
d'Euclide ait t lev ; les gomtries non euclidiennes
respectent par ailleurs toutes les autres dnitions
d'Euclide. En particulier, une droite est toujours dnie
comme la ligne de plus court chemin joignant deux points
sur une surface. Il existe plusieurs modles de gomtrie
hyperbolique deux dimensions : le disque de Poincar,
le demi-plan de Poincar,

Cette gomtrie donne une courbure positive de l'espace

(la somme des angles d'un triangle est suprieure deux
droits, ou la somme de deux angles successifs d'un quadrilatre est suprieure deux droits, ou encore il existe
un triangle dont tous les angles sont droits).

4 Notes et rfrences
[1] Henri Poincar, La Science et l'Hypothse.
[2] tienne Ghys, mathmaticien, directeur de recherche au
CNRS, remet en question les fondements des mathmatiques : les axiomes
[3] A. Dahan-Dalmedico et J. Peier (lb), Une histoire des
mathmatiques Routes et ddales, 1986 [dtail des ditions].

[4] Cette hypothse postule que la somme des angles d'un

quadrilatre est infrieure quatre angles droits.
[5] La conclusion de Saccheri est reste clbre :
L'hypothse de l'angle aigu est absolument fausse
car cela rpugne la nature de la ligne droite.

VOIR AUSSI

(en) Max Jammer, Concepts of space - The history

of theories of space in physics, Dover Publications,
Inc. (3e dition-1993)
Une histoire rudite du concept d'espace, depuis
l'Antiquit jusqu' nos jours ; niveau premier cycle
universitaire.

[6] La somme des angles d'un quadrilatre est suprieure

quatre angles droits.
[7] Aujourd'hui, C est nomme la courbure Gaussienne
du plan hyperbolique.

Voir aussi

5.1

Articles connexes

Courbure
Gomtrie absolue (en)
Gomtrie dans l'espace
Gomtrie direntielle
Relativit gnrale
Thorme de plongement de Nash
Quatrime dimension (art)

5.2

Bibliographie

Jean-Pierre Bourguignon, Espaces courbes [dtail des ditions]

5.2.2 Ouvrages de mathmatiques

(en) Norbert A'Campo (de) 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, Zrich : European Mathematical Society (EMS), 461 pages, 2012 (ISBN 978-3-03719105-7), DOI :10.4171/105
Marcel Berger et Bernard Gostiaux, Gomtrie diffrentielle : varits, courbes et surfaces [dtail des
ditions]

(en) Marcel Berger, A Panoramic View of Riemannian Geometry [dtail de ldition]

Comme l'indique son titre, le grand gomtre
franais nous convie ici une longue (824 pages)
promenade panoramique dans le monde de la gomtrie riemannienne ; les divers rsultats sont pour
la plupart donns sans dmonstrations dtailles,
mais avec les rfrences idoines pour le lecteur qui
souhaiterait mettre les mains dans le cambouis ;
le dernier chapitre donne les bases techniques du
domaine.

Introduction non technique au sujet.

5.2.1

Aspects historiques

Luciano Boi, Le problme mathmatique de l'espace

- Une qute de l'intelligible, Springer-Verlag (1995)
Une histoire philosophique du concept mathmatique d'espace, de la gomtrie euclidienne
au dveloppement des gomtrie modernes non
euclidiennes, dont la version riemannienne est
indispensable pour la formulation de la relativit
gnrale ; niveau premier cycle universitaire minimum.
(en) Marvin J. Greenberg, Euclidean & NonEuclidean geometries - Development & History,
W.H. Freeman & Co., New-York (3e dition-1996)
Un livre de mathmatiques qui retrace l'histoire et
le dveloppement des gomtries non Euclidiennes,
essentiellement deux dimensions (gomtries
de Gauss, Bolai et Lobachevsky) ; accessible l'
honnte homme cultiv .

Jean-Marc Daudonnet, Bernard Fischer, Courbure

des surfaces. Introduction aux gomtries non euclidiennes, JIPTO 2009 (ISBN 2-35175-028-4)
Boris Doubrovine (de), Anatoli Fomenko et Sergue
Novikov, Gomtrie contemporaine - Mthodes et
applications [dtail des ditions] (Premire partie :
gomtrie des surfaces, des groupes de transformations et des champs).
Une introduction trs pdagogique la gomtrie,
avec des applications la physique, crite par des
spcialistes russes. L'approche tant plutt 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

5.3

Liens externes

(en) Michael Spivak, (A Comprehensive Introduction to) Dierential Geometry [dtail des ditions]
Trait de rfrence en cinq volumes.
(en) John Stillwell, Geometry of Surfaces, 1992,
coll. Universitext (ISBN 978-0-387-97743-0, lire
en ligne)

5.2.3

Ouvrages pour physiciens thoriciens

(en) Yvonne Choquet-Bruhat et Ccile DeWittMorette, Analysis, Manifolds and Physics - Part I :
Basics, North-Holland, 1989 (ISBN 978-0-444860170)

(en) Theodore Frankel, The Geometry of Physics An introduction, Cambridge University Press, 2004,
2e d. rvise et illustre (ISBN 978-0-52153927-2)
(en) Mikio Nakahara, Geometry, Topology and Physics, Institute of Physics Publishing, 2003, 2e d.
illustre (ISBN 978-0-75030606-5)
(en) Charles Nash et Siddhartha Sen, Topology
and Geometry for Physicists, Academic Press, 1983
(ISBN 978-0-12514080-5)

5.2.4

Aspects ludiques

Jean-Pierre Petit, Le gomtricon, bande dessine de la

collection Les aventures d'Anselme Lanturlu, d. Belin,

5.3

Liens externes

Promenade non euclidienne, confrence donne par

Charles Boubel, ENS Lyon.
Tractrices, pseudosphre
Gomtries planes non euclidiennes sur le site universitaire associ Cabri Gomtre
Plan hyperbolique, par Xavier Hubaut

Portail de la gomtrie

Portail de la physique

SOURCES, CONTRIBUTEURS ET LICENCES DU TEXTE ET DE LIMAGE

Sources, contributeurs et licences du texte et de limage

6.1

Texte

Gomtrie non euclidienne Source : https://fr.wikipedia.org/wiki/G%C3%A9om%C3%A9trie_non_euclidienne?oldid=116717148

Contributeurs : Hashar, Marc Girod, Vargenau, Nataraja, Zzzoomorph, Orthogae, Ellisllk, Ske, Cdang, Moala, HasharBot, R, Aldoo, Camion, Grum, LeYaYa, Dhenry, Verdy p, Spoirier, Archibald, Phe, MedBot, Sam Hocevar, HB, Phe-bot, Poulpy, Lac, STyx, Celui, Ellywa,
Sherbrooke, DocteurCosmos, Chobot, JihemD, Stanlekub, Dereckson, Kilom691, RobotQuistnix, EDUCA33E, YurikBot, Waltercolour,
Askywhale, AlphaBot, Jean-Christophe BENOIST, Kototama, Serenity~frwiki, Zweistein~frwiki, Vincen, Elwwod, Pld, Peps, Epsilon0,
Liquid-aim-bot, Arglanir, Ektoplastor, Thijs !bot, SGC.Alex, Le Pied-bot, Tulipe-qui-pagaie, Biopsie23, Dfeldmann, CommonsDelinker,
Jaclaf, Salebot, DodekBot~frwiki, AlnoktaBOT, TXiKiBoT, VolkovBot, Simla, Lylvic, Chicobot, BotMultichill, ZX81-bot, Ambigraphe,
MystBot, OKBot, Alienor Rzeczska, Dhatier, DeepBot, GLec, Kolossus, HerculeBot, WikiCleanerBot, RogueLeader, LaaknorBot, Peti610bot, CarsracBot, Luckas-bot, GrouchoBot, Sublimo69, JmCor, Anne Bauval, Cantons-de-l'Est, Xqbot, Rubinbot, AStarBot, TobeBot,
EmausBot, LEMEN, Le pro du 94 :), Pitoresk18, SantoshBot, Skygge, Addbot, Zebulon84bot, Armando de la Magdalena, Do not follow
et Anonyme : 45

6.2

Images

Fichier:Gomtrie_non_euclidienne,_Approche_intuitive.png Source : https://upload.wikimedia.org/wikipedia/commons/0/0f/G%

C3%A9om%C3%A9trie_non_euclidienne%2C_Approche_intuitive.png Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste dorigine : Pitoresk18
Fichier:Icosahedron.svg Source : https://upload.wikimedia.org/wikipedia/commons/b/b7/Icosahedron.svg Licence : CC-BY-SA-3.0
Contributeurs : Vectorisation of Image:Icosahedron.jpg Artiste dorigine : User:DTR
Fichier:LineOnHyper.svg Source : https://upload.wikimedia.org/wikipedia/commons/5/5d/LineOnHyper.svg Licence : Public domain
Contributeurs : Travail personnel Artiste dorigine : Mpz
Fichier:Logo_physics.svg Source : https://upload.wikimedia.org/wikipedia/commons/c/cc/Logo_physics.svg Licence : CC BY 2.5 Contributeurs : ? Artiste dorigine : ?
Fichier:Para_euclide.png Source : https://upload.wikimedia.org/wikipedia/commons/1/1a/Para_euclide.png Licence : CC-BY-SA-3.0
Contributeurs : work by ske Artiste dorigine : Ske sur Wikipedia franais
Fichier:Para_riemann.png Source : https://upload.wikimedia.org/wikipedia/commons/3/3b/Para_riemann.png Licence : CC-BY-SA-3.0
Contributeurs : work by Ske Artiste dorigine : Ske sur Wikipedia franais

6.3

Licence du contenu

Creative Commons Attribution-Share Alike 3.0