Voir la source de Géométrie euclidienne

{{En-tête label|BA|année=2008}}
[[Image:Euklid2.jpg|thumb|upright|''[[Euclide]]'', peinture de [[Joos van Wassenhove]] réalisée vers 1474, [[Galleria Nazionale delle Marche]].]]

La '''géométrie euclidienne''' commence avec les [[Éléments (Euclide)|''Éléments d'Euclide'']], qui est à la fois une somme des connaissances [[Géométrie|géométriques]] de l'époque et une tentative de [[Formalisation (mathématiques)|formalisation]] [[Mathématiques|mathématique]] de ces connaissances. Les notions de [[Droite (mathématiques)|droite]], de [[Plan (mathématiques)|plan]], de [[longueur]], d'[[Aire (géométrie)|aire]] y sont exposées et forment le support des cours de [[géométrie]] élémentaire. La conception de la géométrie est intimement liée à la [[Mécanique newtonienne|vision de l'espace physique]] ambiant au sens classique du terme.

Les conceptions géométriques connaissent, depuis les travaux d'[[Euclide]], des évolutions suivant trois axes principaux :
# pour vérifier les critères de rigueur logique actuels, la définition axiomatique subit de profonds changements, l'objet mathématique restant néanmoins le même ;
# pour ne plus se limiter aux dimensions deux et trois et pour permettre l'élaboration d'une théorie plus puissante, un modèle algébrique de la géométrie est envisagé. L'[[espace euclidien]] est maintenant défini comme un [[espace vectoriel]] ou [[Espace affine|affine]] réel de [[dimension d'un espace vectoriel|dimension]] [[espace vectoriel#Propriétés des espaces vectoriels de dimension finie|finie]] muni d'un [[produit scalaire]] ;
# enfin, la structure géométrique euclidienne n'est plus la seule envisageable ; il est établi qu'il existe [[Géométrie non euclidienne|d'autres géométries]] cohérentes.

Plus de {{unité|2000|ans}} après sa naissance, l'espace géométrique euclidien est un outil toujours efficace aux vastes domaines d'applications. À l'exception des échelles cosmiques et microscopiques, l'espace des physiciens reste encore principalement du domaine de la géométrie euclidienne.

Son aspect mathématique est traité de manière didactique dans l'article ''[[Produit scalaire]]''. L'article se fonde sur la formalisation d'un vecteur à l'aide d'un bipoint, développé dans [[vecteur]]. Une approche plus poussée, fondée sur la formalisation [[axiome|axiomatique]] de l’''[[espace vectoriel]]'', est développée dans l'article ''[[Espace euclidien]]''.

== L’approche euclidienne de la science de l’espace ==
La géométrie euclidienne au sens des ''Éléments'' traite du plan et de l'espace ; elle est souvent présentée comme une géométrie « de la règle et du compas ». Les objets considérés sont les [[Point (géométrie)|points]], les [[Segment (mathématiques)|segments]], les [[Droite (mathématiques)|droites]], les [[demi-droite]]s, avec leurs propriétés d'incidence (la '''règle'''), ainsi que les [[cercle]]s (le '''compas'''). Les enjeux essentiels sont l'étude de figures et la mesure.

=== Les outils de la géométrie d'Euclide ===
{{Article détaillé|Vecteur|Produit scalaire}}

La construction d'Euclide se fonde sur cinq [[axiome]]s<ref>[[André Deledicq]] (avec extraits de la traduction d'Euclide par François Peyrard de 1819), ''Les Éléments d'Euclide pour le collège et le Lycée'', Les Éditions du Kangourou, 1999.</ref> :
# un [[Segment (mathématiques)|segment]] de [[Droite (mathématiques)|droite]] peut être tracé en joignant deux points quelconques distincts ;
# un segment de droite peut être prolongé indéfiniment en une ligne droite ;
# étant donné un segment de droite quelconque, un [[cercle]] peut être tracé en prenant ce segment comme rayon et l'une de ses extrémités comme centre ;
# tous les [[Angle droit|angles droits]] sont [[congruence (géométrie)|congruents]] ;
# si deux droites sont sécantes avec une troisième de telle façon que la somme des angles intérieurs d'un côté est strictement inférieure à deux angles droits, alors ces deux droites sont forcément sécantes de ce côté.

Les raisonnements sur les figures géométriques portent sur leurs intersections et leurs dimensions : sur l’''incidence'' et la ''mesure''. De ce point de vue, certaines [[Transformation géométrique|transformations]] des figures sont utiles ; les plus pertinentes sont les [[similitude (géométrie)|similitudes]], c'est-à-dire les transformations qui conservent les rapports des distances. Les similitudes les plus simples sont les [[rotation affine|rotations]], les [[Symétrie (transformation géométrique)|symétries]], les [[Translation (géométrie)|translations]], qui conservent les distances, ainsi que les [[homothétie]]s. À partir de ces quelques objets de base, toutes les similitudes peuvent être construites par [[Composition de fonctions|composition]].

La construction d'Euclide permet le développement des notions de mesure de [[longueur]], d'[[Aire (géométrie)|aire]], de [[volume]], d'[[angle]]. Il existe de nombreuses [[Formulaire de géométrie classique|aires de surfaces usuelles]] calculables par les techniques des ''Éléments''. Une méthode, la [[méthode d'exhaustion]] qui préfigure l'[[intégration (mathématiques)|intégration]], permet d'aller plus loin. [[Archimède]] ([[-287|287]]-[[-212|212 av. J.-C.]]), par exemple réalise la [[quadrature de la parabole]]. Une limite de la notion de mesure vient de ce que les nombres considérés sont seulement les [[nombre constructible|nombres constructibles]] (à la règle et au compas).

Les deux théorèmes fondamentaux sont le [[théorème de Pythagore]] et celui de [[Théorème de Thalès|Thalès]]. Un peu d'[[Analyse (mathématiques)|analyse]] permet d'aller plus loin avec la [[Fonction trigonométrique|trigonométrie]]. C'est le premier exemple de construction d'un ''pont'' entre la géométrie euclidienne pure et une autre branche mathématique, pour enrichir la palette d'outils disponibles.

=== Approche géométrique de l'algèbre ===
{{Article détaillé|Algèbre géométrique}}

La formule de l'aire d'un [[rectangle]] ou d'un [[triangle]], le théorème de Thalès ainsi que celui de Pythagore offrent tous des relations algébriques entre des grandeurs que sont les côtés d'un triangle ou d'un rectangle. Ces différentes méthodes sont l'un des ingrédients de l'[[algèbre]] naissante, initiée par [[Diophante]], et développée par la [[mathématiques arabes|civilisation arabe]].

Le traité d'[[Al-Khawarizmi]], un mathématicien persan du {{VIIIe siècle}}, intitulé ''[[Abrégé du calcul par la restauration et la comparaison]]'' a pour objectif la résolution d'une [[équation du second degré]] quelconque. Sa méthode se fonde sur ce que l'on appelle maintenant les [[identité remarquable|identités remarquables]], qui, chez lui se démontrent toutes à l'aide de la géométrie euclidienne.

Cette géométrisation de l'algèbre porte ses fruits aussi en [[arithmétique]], la science des nombres. La première démonstration montrant l'existence de grandeurs irrationnelles est probablement géométrique<ref>Ce résultat date d'avant les découvertes de la civilisation islamique : {{pdf}} J.-L. Périllié, ''[http://www.cndp.fr/RevueCPhil/91/00902911.pdf La découverte des incommensurables et le vertige de l'infini]'', transcription d’une conférence qui a eu lieu le 16 mai 2001 à Grenoble, p. 18.</ref>. Certains calculs comme la valeur du ''n''<sup>ième</sup> [[nombre triangulaire]] ou encore la somme des ''n'' premiers cubes d'entiers sont réalisés géométriquement<ref>{{DahanPeiffer}}, p. 90.</ref>.

=== Succès et limites ===
{{Article détaillé|Triangle|Construction à la règle et au compas}}
[[Image:Heptadecagone.jpg|thumb|Figure à la règle et au compas : [[heptadécagone]], un polygone régulier de 17 côtés.]]

Un objectif de la géométrie euclidienne est la construction de figures à la règle et au compas. L'étude du [[triangle]] relève de ce domaine. La richesse des résultats obtenus est illustrée par la [[liste des éléments remarquables d'un triangle]]. Une famille de figures emblématiques est celle des polygones réguliers. Ils ne sont cependant pas tous constructibles. Les techniques de construction s'appliquent non seulement au plan, mais aussi à l'espace comme le montre l'étude des [[polyèdre]]s.

Une spécificité de la géométrie euclidienne réside dans le fait qu'elle n'utilise initialement que peu ou pas du tout de théorèmes complexes et puissants d'algèbre ou d'analyse. C'est une mathématique autonome et indépendante, où les preuves proviennent essentiellement de raisonnements purement géométriques. Cependant, pour les cas complexes, comme la construction de la figure ci-contre, d'autres outils, par exemple les [[polynôme]]s, se révèlent indispensables (cf [[Théorème de Gauss-Wantzel]]). La résolution des [[Trois grands problèmes de l'Antiquité|trois grands problèmes de l'antiquité]], à savoir la constructibilité ou non de la [[quadrature du cercle]], la [[trisection de l'angle]] et la [[duplication du cube]], à l'aide seulement de la règle et du compas, n'a pu d'ailleurs être possible qu'avec l'apport d'une autre branche des mathématiques : l'[[arithmétique]], [[théorie algébrique des nombres|algébrique]] ou [[théorie analytique des nombres|analytique]]<ref>Les techniques utilisées se fondent largement sur l'algèbre des [[polynôme]]s. Gauss les considère néanmoins comme de l'arithmétique, il écrit à ce sujet : {{citation|La théorie de la division du cercle, ou des polygones réguliers […] n'appartient pas par elle-même à l'Arithmétique, mais ses principes ne peuvent être puisés que dans l'Arithmétique transcendante.}} ''[[Disquisitiones arithmeticae|Recherches arithmétiques]]'', préface, p. {{rom|xv}}</ref>.

La géométrie euclidienne a de nombreuses applications. La [[Renaissance artistique|Renaissance]] fait largement appel aux techniques des ''Éléments''. L'[[architecture]], la [[peinture (art)|peinture]] à travers la [[Perspective (représentation)|perspective]]<ref>{{la}} [[Leon Battista Alberti]], ''De pictura'', 1435</ref> regorgent d'exemples de cette nature. L'art des entrelacs<ref>[[Daniel Arasse]], ''Léonard de Vinci'', Hazan, 1997</ref> de [[Léonard de Vinci]] ([[1452]]-[[1519]]) est un autre cas d'utilisation. Ces mathématiques servent aussi à la mesure, à la fois pour les [[arpenteur]]s et dans un objectif scientifique. Elles permettent à [[Ératosthène]] ([[-276|276]]-[[-194|194 av. J.-C.]]) de mesurer la circonférence de la Terre. Les techniques utilisées, dites de [[Résolution d'un triangle#Triangulation|triangulation]] et ayant pour base la [[trigonométrie]], permettent aux marins de connaître leur position.

=== Application et nouveaux outils : espace euclidien et physique ===
{{Article détaillé|Mécanique newtonienne}}

[[Image:Solar sys.jpg|thumb|left|[[Système solaire]] (tailles et distances relatives non à l'échelle).]]
À partir du {{XVIe siècle}} les mathématiques s'éloignent de plus en plus de la géométrie du triangle. La géométrie euclidienne garde son utilité car elle modélise avec pertinence le monde physique ambiant.

Cependant, l'approche purement antique devient trop restrictive. Elle n'offre pas un cadre suffisant pour le développement des mathématiques. Pour étudier les [[conique]]s<ref>[[Blaise Pascal]], ''Essay pour les coniques'', 1640</ref>, [[Blaise Pascal]] ([[1623]]-[[1662]]) utilise un nouvel outil : le [[repère cartésien|repère]]. Il s'avère précieux à la naissance du [[calcul infinitésimal]]<ref>{{la}} [[Isaac Newton]], ''[[Philosophiae Naturalis Principia Mathematica]]'', 1687</ref>. Avec le temps, l'algèbre et l'analyse deviennent prédominantes : de nouvelles techniques, éloignées de celles héritées d'Euclide, sont développées. En ce qui concerne la modélisation de l'espace physique, ces nouveautés sont utilisées dans le cadre d'une géométrie peu formalisée, néanmoins avec un large succès. Les théories datant d'avant le {{s-|XX}} se contentent de ce cadre. Encore maintenant, et dans un contexte très général, la géométrie usuelle de la physique reste euclidienne. Elle permet des résultats spectaculaires, comme la [[mécanique newtonienne]].

Ce n'est qu'en [[1915]], qu'une autre géométrie, celle de la [[relativité générale]], explique mieux un phénomène, celui de l'[[Tests expérimentaux de la relativité générale#Avance du périhélie de Mercure|avance du périhélie de Mercure]]. La géométrie euclidienne reste maintenant valable à trois exceptions près :
* les distances astronomiques, dans le cadre de la relativité générale ;
* les vitesses proches de la lumière, avec la géométrie de la [[relativité restreinte]] ;
* les dimensions inférieures à la taille des particules, dans le cadre de certaines théories contemporaines comme les [[Théorie des supercordes|supercordes]].

Si la modélisation de la géométrie de l'espace reste souvent la même que celle de l'Antiquité (aux exceptions déjà citées près), la formalisation change radicalement.

== Approche algébrique de la géométrie ==
La conception de l'espace par les mathématiciens n'est historiquement pas figée ; les évolutions se font pour plusieurs raisons : le besoin de mieux fonder la théorie géométrique, d'une part en comblant certains déficits de rigueur du texte d'Euclide, d'autre part en liant la théorie à d'autres branches des mathématiques ; mais aussi la nécessité de pouvoir utiliser l'important corpus de résultats géométriques dans d'autres espaces que celui de notre monde physique ou que le plan usuel.

Ces deux derniers objectifs sont en fait atteints grâce à une branche particulière des mathématiques : l'[[algèbre linéaire]].

=== Motivation : la mécanique du solide ===
{{Article détaillé|Mécanique du solide}}
[[Image:degres de liberte.jpg|thumb|left|Un solide possède 6 degrés de liberté.]]

La [[mécanique du solide]] apporte un point de vue nouveau sur la géométrie euclidienne. Si notre espace décrit la position du centre de gravité, le solide peut ''tourner'' autour de ce centre. Il dispose encore de trois [[Degré de liberté (mécanique)|degrés de liberté]] supplémentaires. Il est nécessaire de considérer un espace de dimension six, pour rendre compte de la position exacte du solide.

Il en est de même pour la vitesse. Elle est décrite par le mouvement du centre de gravité, représenté classiquement par un vecteur de l'espace physique et par une rotation, que l'on peut modéliser par un vecteur (vecteur perpendiculaire au plan de rotation et dont la longueur est proportionnelle à la [[vitesse angulaire]]). Mathématiquement, le champ des vitesses est dit [[champ équiprojectif|équiprojectif]] et se représente par un [[torseur]]. L'espace auquel il appartient est encore de dimension six.

Cette démarche consistant à définir un espace abstrait, qui ne représente plus directement notre univers, mais un espace spécifique au problème étudié, est féconde. Elle permet d'utiliser les outils de la géométrie euclidienne dans des contextes variés.

La [[mécanique statique]] est un autre exemple, un objet est considéré comme l'assemblage d'un ensemble de solides soumis à des contraintes qui les lient entre eux. L'objet est l'étude de la stabilité d'un corps, comme un pont ou un gratte-ciel. La dimension est égale à six fois le nombre de solides composant l'objet. Cette démarche est surtout développée durant le {{s-|XX}}. En effet, la dimension croît rapidement et une puissance de calcul accessible uniquement depuis l'arrivée des [[ordinateur]]s est nécessaire pour rendre ces techniques opérationnelles.

Ces méthodes, dans leur forme la plus générale, aboutissent à la [[mécanique analytique]] dont les applications sont innombrables, et qui constitue le cadre général de la [[physique théorique]].

=== Motivation : la statistique ===
{{Article détaillé|Analyse en composantes principales}}
[[Image:ACP 2.png|thumb|Exemple de représentation euclidienne d'un dépouillement.]]

Certaines techniques de dépouillement d'un [[Sondage (statistique)|sondage]] utilisent les propriétés de la géométrie euclidienne. Celle-ci permet, grâce à la notion de distance, une modélisation pertinente, et, grâce aux outils de l'[[algèbre linéaire]], une algorithmique pour les calculs effectifs.

Si les critères, représentés par les questions d'un sondage, peuvent être ramenés à des grandeurs mesurables, alors chaque sondé apparaît comme un point d'un espace dont la dimension est égale au nombre de critères. Cette géométrie est essentielle en [[statistique]] :
* elle réduit la dimension de l'espace à travers le choix d'axes (''appelés ici composantes'') particulièrement révélateurs et en nombre réduit. L'analyse du sondage devient réalisable dans un espace plus petit, dépolluée du ''bruit'' non significatif, et graphiquement représentable pour une compréhension intuitive du dépouillement ;
* elle mesure les [[Corrélation (mathématiques)|corrélations]] entre les différentes questions. La figure illustre ici deux critères, chacun représenté par un axe. Pour cet exemple, en première analyse, quand le critère de l'axe horizontal prend des valeurs de plus en plus élevées, alors le critère de l'axe vertical prend des valeurs de plus en plus basses. Les deux critères sont dits anticorrélés.

La démarche consistant à analyser des données à travers une géométrie euclidienne est utilisée dans de nombreuses [[sciences humaines]]. Elle permet l'analyse des comportements même lorsque ceux-ci ne suivent pas des lois rigides.

=== Modèle linéaire de la géométrie : les espaces euclidiens ===
{{Article détaillé|Espace euclidien}}
[[File:Pythagorean.svg|thumb|gauche|Version géométrique du théorème de Pythagore, le théorème fondamental des espaces euclidiens : un carré de côté l'hypoténuse a pour aire la somme des aires des carrés portés par les deux autres côtés.]]

La notion d'[[espace vectoriel]] fournit une première structure purement algébrique dans laquelle le langage géométrique peut s'exprimer. La notion de coordonnée devient centrale, et le plan, par exemple, est en partie modélisé par un espace vectoriel de dimension deux, qui s'identifie essentiellement à l'ensemble de tous les couples de coordonnées (''x''<sub>1</sub>, x<sub>2</sub>), où ''x''<sub>1</sub> et ''x''<sub>2</sub> sont deux nombres réels ; un point est alors simplement un tel couple. La généralisation se fait facilement à l'espace de dimension 3 en considérant des triplets de coordonnées, mais aussi aux espaces de dimension ''n''. Dans cette modélisation, le plan abstrait tel que décrit par les axiomes a été muni arbitrairement d'une origine.

La description géométrique des espaces vectoriels fait jouer un rôle très particulier au [[vecteur nul]] : le vecteur « 0 ». Les objets mathématiques habituellement associés sont des droites qui se rencontrent toutes en 0 et des transformations qui laissent inchangé le vecteur 0. On définit une structure dérivée de celle d'espace vectoriel, qui porte le nom d'[[espace affine]], et pour lequel les points jouent tous des rôles identiques. En termes imagés, ce procédé consiste à transférer la situation observée en 0 à tous les autres points de l'espace. Cela se fait par [[Translation (géométrie)|translation]], plus précisément en faisant [[Action de groupe (mathématiques)|agir]] l'espace vectoriel sur lui-même par translation.

La structure d'espace affine permet de rendre compte pleinement des propriétés d'incidence : par exemple, dans un espace affine réel de dimension 2, les droites vérifient le cinquième postulat d'Euclide.

Cependant, seules les propriétés d'incidence sont modélisées, une grande partie de la géométrie euclidienne classique n'est pas atteinte : il manque essentiellement une notion de mesure. Un outil linéaire permet de combler cette lacune ; c'est le [[produit scalaire]]. Un espace affine réel muni d'un produit scalaire est appelé '''espace euclidien''', toutes les notions géométriques classiques sont définies dans un tel espace, et leurs propriétés issues de l'algèbre vérifient tous les axiomes euclidiens : les théorèmes géométriques issus du corpus classiques, portant sur n'importe quels objets vérifiant ces axiomes, deviennent donc en particulier des théorèmes pour les points, droites, cercles, tels que définis dans un espace euclidien.

Enfin, les espaces affines euclidiens ne sont pas limités aux dimensions 2 ou 3 ; ils permettent de rendre compte des différents problèmes physiques et statistiques évoqués ci-dessus, et qui mettent en jeu un plus grand nombre de variables, avec l'utilisation d'un langage géométrique. Beaucoup de théorèmes d'incidence et de mesure se généralisent presque automatiquement, notamment le [[théorème de Pythagore]].

Le passage à un degré d'abstraction supérieur offre un formalisme plus puissant, donnant accès à de nouveaux théorèmes et simplifiant les démonstrations ; l'intuition géométrique habituelle des dimensions 2 ou 3 est parfois défiée par ces dimensions supérieures, mais reste souvent efficace. Les gains sont suffisants pour que les analyses sophistiquées soient généralement exprimées à l'aide du produit scalaire.

=== Historique de l'approche linéaire ===
[[Image:Arthur Cayley.jpg|thumb|upright|[[Arthur Cayley]] photographié par [[Herbert Beraud]].]]

La notion d'espace vectoriel apparaît petit à petit. [[René Descartes]] ([[1596]]-[[1650]]) et [[Pierre de Fermat]] ([[1601]]-[[1665]]) utilisent le principe de [[coordonnée]]s comme un outil pour résoudre avec une approche [[Algèbre|algébrique]] des problèmes géométriques. La notion de [[Base orthonormale|repère orthonormal]] est utilisée en [[1636]]<ref>{{de}} E. Knobloch, « Zur Vorgeschichte der Determinantentheorie », dans ''Theoria cum praxi: zum Verhältnis von Theorie und Praxis im 17. und 18. Jahrundert'' (''Studia Leibnitiana Supplementa'', vol. 22), 1982, p. 96-118</ref>. [[Bernard Bolzano]] ([[1781]]-[[1848]]) développe une première conception géométrique<ref>{{de}} [[Bernard Bolzano]], ''Betrachtungen über einige Gegenstände der Elementargoemetrie'' (littéralement : « Considérations sur quelques objets de la géométrie élémentaire »), 1804</ref> où les [[point (géométrie)|points]], les [[Droite (mathématiques)|droites]] et les [[Plan (mathématiques)|plans]] sont définis uniquement par des opérations algébriques, c’est-à-dire l'[[addition]] et la multiplication par un nombre. Cette approche permet de généraliser la géométrie à d'autres dimensions que celles des plans et des volumes. [[Arthur Cayley]] ([[1821]]-[[1895]]) est un acteur majeur dans la formalisation des espaces vectoriels<ref>{{en}} [[Arthur Cayley]], « Chapter in the Analytical Geometry of (n) Dimensions », 1843, dans ''The Collected Mathematical Papers of Arthur Cayley'', vol. 1, {{n°|2}}, p. 55-62</ref>.

Le contemporain [[William Rowan Hamilton]] ([[1805]]-[[1865]]) utilise un autre [[corps commutatif|corps]] que celui des [[Nombre réel|réels]] : celui des [[nombre complexe|nombres complexes]]<ref>{{en}} [[William Rowan Hamilton]], « On a general method in dynamics », dans ''[[Philosophical Transactions of the Royal Society A: Physical, Mathematical and Engineering Sciences|Phil. Trans. R. Soc.]]'', part II for 1834, p. 247–308</ref>. Il montre que cette démarche est essentielle en géométrie pour la résolution de nombreux problèmes. [[Hermann Grassmann]] décrit enfin les espaces vectoriels (en fait des algèbres) dans leur généralité.

À la suite des travaux de [[Gaspard Monge]] ([[1746]]-[[1818]]), son élève [[Jean-Victor Poncelet|Jean Poncelet]] ([[1788]]-[[1867]]) réforme la [[géométrie projective]]<ref>[[Jean-Victor Poncelet|Jean Poncelet]], ''Traité des propriétés projectives des figures'', 1822</ref>. Géométrie de la perspective, elle devient aussi modélisable par l'algèbre linéaire : un [[espace projectif]] se construit à l'aide d'un espace vectoriel grâce à un processus d'identification des points suivant une règle de perspective. Les espaces projectifs sont généralisés aux dimensions quelconques. La géométrie projective est une géométrie non euclidienne, dans le sens où le cinquième postulat d'Euclide y tombe en défaut. L'algèbre linéaire fournit non seulement un modèle pour la géométrie euclidienne, mais aussi, une ouverture vers un monde plus vaste.

== Remise en cause de la géométrie d'Euclide ==
L'approche linéaire n'est pas une remise en question des conceptions euclidiennes. Elle permet au contraire de généraliser celles-ci, d'étendre leur portée, et de les enrichir en retour. Un autre grand mouvement historique remet en cause la formalisation euclidienne.

=== Le cinquième postulat ===
{{Article détaillé|Géométrie non euclidienne}}
[[Image:Para lobatchevski C.svg|thumb|gauche|upright|Exemple de géométrie hyperbolique.]]

Le {{XIXe siècle}} voit l'apparition de nombreuses nouvelles géométries. Leur naissance résulte d'interrogations sur le cinquième postulat, que [[Proclus]] exprime de la manière suivante : ''Dans un plan, par un point distinct d'une droite, il existe une et une seule droite parallèle à cette droite''. Ce postulat, admis par Euclide, et que l'intuition soutient, ne devrait-il pas être un théorème ? Ou, au contraire, peut-on imaginer des géométries où il tomberait en défaut ?

Un enjeu durant le {{s-|XIX}} pour les mathématiciens sera de parvenir à se détacher d'une intuition physique casuellement inféconde, ainsi que d'un respect inopportun des leçons des anciens, pour oser inventer de nouvelles conceptions géométriques ; celles-ci ne s'imposeront pas sans difficulté.

Dès le début du siècle [[Carl Friedrich Gauss]] s'interroge sur ce postulat<ref>{{en}} {{Lien|G. Waldo Dunnington}}, ''Carl Friedrich Gauss: Titan of Science'', New York, 1955.</ref>. En 1813, il écrit : {{citation|Pour la théorie des parallèles, nous ne sommes pas plus avancés qu'Euclide, c'est une honte pour les mathématiques.}} En 1817, il semble que Gauss ait acquis la conviction<ref>[[Christian Houzel]], ''Un siècle de géométrie'', Berlin, 1992.</ref> de l'existence de [[Géométrie non euclidienne|géométries non euclidiennes]]. En 1832, le mathématicien [[János Bolyai]] rédige un mémoire sur le sujet<ref>{{la}} [[Farkas Bolyai|Farkas Bǒlyai de Bolya]], [[Gyula König]] et [[József Kürschák]], ''Tentamen juventutem studiosam in elementa matheseos purae […] introducendi'', Marosvásárhely, 1832–33, chapitre sur la géométrie non euclidienne.</ref>. L'existence d'une géométrie non euclidienne n'est pas formellement démontrée, mais une forte présomption est acquise. Le commentaire de Gauss est éloquent : {{citation|Vous féliciter reviendrait à me féliciter moi-même<ref>{{en}} [[Jeremy Gray]], « The discovery of noneuclidean geometry », dans ''Studies in the history of mathematics'', Washington, DC, 1987, p. 37-60.</ref>.}} Gauss n'a jamais publié ses résultats, probablement pour éviter une polémique. Indépendamment, [[Nikolaï Lobatchevski]] ([[1792]]-[[1856]]) devance Bolyai sur la description d'une géométrie analogue dans le journal russe ''Le messager de Kazan'' en 1829. Deux autres publications<ref>[[Nikolaï Lobatchevski]], ''Géométrie imaginaire'', 1835.</ref>{{,}}<ref>{{de}} Nikolaï Lobatchevski, ''Geometrische Untersuchungen zur Theorie der Parellellinien'' (littéralement : « Investigations géométriques sur la théorie des parallèles »), 1840.</ref> sur le sujet n'ont néanmoins pas plus d'impact sur les mathématiciens de l'époque.

[[Bernhard Riemann]] ([[1826]]-[[1866]]) établit l'existence d'une autre famille de géométries non euclidiennes pour son travail de thèse sous la direction de Gauss. L'impact reste faible, la thèse n'est publiée que deux ans après sa mort.

Les géométries de Lobatchevski et Bolyai correspondent à des structures [[Géométrie hyperbolique|hyperboliques]] où il existe une infinité de parallèles passant par un même point. Cette situation est illustrée dans la figure ci-contre, les droites ''d''<sub>1</sub>, ''d''<sub>2</sub> et ''d''<sub>3</sub> sont trois exemples de parallèles à ''D'' passant par le point ''M''. Les trois premières droites sont dites parallèles à ''D'' car aucune d'entre elles n'est sécante avec ''D'' ; mais pourtant ces trois droites ne sont pas parallèles entre elles (le parallélisme des droites n’est plus une propriété transitive dans une géométrie hyperbolique).

Le cas riemannien correspond au cas [[Géométrie non euclidienne#Géométrie elliptique|elliptique]] où aucune parallèle n'existe.

=== L'unification de Klein ===
{{Article détaillé|Programme d'Erlangen}}
[[Image:Erlangen 1916.jpg|thumb|[[Université d'Erlangen]], carte postale de 1916.]]
[[Image:Felix Christian Klein.jpg|thumb|upright|left|[[Felix Klein]].]]

La situation est devenue confuse, les ''Éléments'' ne sont pas en mesure de rendre compte d'une telle diversité. On compte nombre d'espaces géométriques : les espaces vectoriels euclidiens, les [[Espace affine|espaces affines]] euclidiens, les espaces projectifs, les géométries elliptiques et hyperboliques, plus quelques cas exotiques comme le [[ruban de Möbius]]. Chaque géométrie possède des définitions différentes, mais présentant de nombreuses analogies et aboutissant sur des séries de théorèmes plus ou moins différents selon les auteurs et les géométries. La fin de la suprématie euclidienne engendre un important désordre, qui rend la compréhension de la géométrie difficile. Un jeune professeur de 24 ans, [[Felix Klein]] ([[1848]]-[[1925]]), nouvellement nommé professeur à l'université d'[[Erlangen]], propose une organisation pour toutes ces géométries dans son discours inaugural<ref>{{de}} [[Felix Klein]], ''[[Programme d'Erlangen|{{Langue|de|Das Erlanger Programm}}]]'', 1872.</ref>. Ces travaux ont cette fois un vaste retentissement sur la [[communauté scientifique]], la suprématie euclidienne disparaît et la polémique née de la remise en cause du cinquième postulat s'éteint. Son travail implique une réforme de la formalisation des espaces euclidiens. Il utilise les travaux de [[James Joseph Sylvester]] ([[1814]]-[[1897]]) sur ce que l'on appelle maintenant les [[Produit scalaire|produits scalaires]]<ref>[[James Joseph Sylvester]] ''théorie sur les invariants algébriques'', 1852.</ref>. La géométrie euclidienne reste d'actualité au prix d'une refonte profonde de sa construction.

Dans son programme d'Erlangen, [[Felix Klein]] trouve le critère permettant de définir toutes les géométries. Les gains attendus sont au rendez-vous. Les géométries sont classifiées, celles qui se présentent comme des cas particuliers apparaissent et les théorèmes génériques peuvent s'exprimer sur l'intégralité de leur domaine d'application ; en particulier, l'espace vérifiant l'axiomatique euclidienne est la limite qui sépare les familles de géométries hyperboliques de Bolyai et Lobatchevski des géométries elliptiques de Riemann.

Klein définit une géométrie euclidienne par l'ensemble de ses [[isométrie]]s, c'est-à-dire les transformations laissant les distances invariantes. Cette approche caractérise parfaitement cette géométrie. Les isométries bénéficient d'une structure de [[groupe (mathématiques)|groupe]] géométrique. Dans le cas euclidien, cette formalisation est équivalente à la donnée d'un produit scalaire, et si elle est d'un maniement plus abstrait, elle est aussi plus générale. Définir une géométrie par un groupe de transformations est une méthode souvent efficace.

=== Euclide et la rigueur ===
[[image:Preuveeuclide.png|thumb|left|Illustration de la démonstration du théorème de Pythagore par Euclide.]]
La dernière réforme de la géométrie euclidienne est celle de la logique. La critique ne porte pas tant sur les démonstrations d'Euclide mais sur l'absence de fondements suffisants pour une preuve rigoureuse. Elle ne date pas d'hier : [[Eudoxe de Cnide]] ([[-408|408]]-[[-355|355 av. J.-C.]]) et Archimède ([[-287|287]]-[[-212|212 av. J.-C.]]) ajoutent celui maintenant appelé [[axiome d'Archimède]]<ref>J.-L. Gardies ''Pascal entre Eudoxe et Cantor (Problèmes et controverses)'' J. Vrin 1984 p 11 à 24 {{ISBN|2711608441}}.</ref>. [[Christophorus Clavius]] ([[1538]]-[[1612]]) note l'absence d'un postulat pour établir son ''traité des proportions''. Rien ne garantit l'existence des segments proportionnels, sujet central du livre V<ref>Sabine Rommevaux, ''Clavius, une clé pour Euclide au {{s-|XVI}}''. Paris, J. Vrin, 2005. Mathesis {{ISBN|2711617874}}</ref>. [[Gottfried Wilhelm Leibniz]] ([[1646]]-[[1716]]) remarque qu'Euclide utilise parfois l'intuition géométrique pour pallier l'absence de certains postulats, par exemple dans sa méthode de construction d'un [[triangle équilatéral]]. Il construit deux cercles tel que le centre de chacun est un point de l'autre<ref name=100_ans>{{pdf}} H. Languereau, [http://www-irem.univ-fcomte.fr/bulletins/066/bull066.pdf « Les 100 ans de la géométrie de Hilbert »], ''Mathématiques vivantes Bulletin IREM'' {{Numéro|66}} 2001 p. 3.</ref>. Il admet sans preuve que les deux cercles possèdent une intersection. Gauss remarque que la relation ''entre deux points d'un cercle'' est bien mal formalisée et qu'elle ne se généralise pas à la sphère<ref name=100_ans/>.

La fin du {{s-|XIX}} voit non seulement la multiplication de critiques de cette nature, mais aussi la formulation de ''postulats'' manquants. [[Georg Cantor]] ([[1845 en science|1845]]-[[1918 en science|1918]]) et [[Richard Dedekind]] ([[1831 en science|1831]]-[[1916 en science|1916]]) montrent la nécessité d'un ''postulat de la continuité'' et le formalisent<ref>J. Dhombres ''Nombre, mesure et continu'' Fernand Nathan 1978 p 231-238.</ref>. {{refnec|Un exemple du manque est donné par le [[théorème de Pythagore]] dont la figure de gauche illustre une démonstration. Les triangles ''IBC'' et ''AEC'' possèdent la même aire car l'un correspond à la rotation d'un quart de tour de l'autre. Cette assertion n'est pas démontrable dans le cadre axiomatique choisi par Euclide. Comme illustrée sur la figure de droite, la rotation d'un huitième de tour de la diagonale d'un carré de côté 1 ne possède pas, a priori son extrémité ''A' ''si l'ensemble de nombres choisi n'est pas celui des [[Nombre réel|réels]] mais des rationnels. Chez Euclide aucune indication n'est donnée sur la nature des nombres utilisés, aucune information ne permet non plus d'établir qu'une rotation ou une symétrie conserve les distances}}.

=== La réponse de Hilbert ===
{{Article détaillé|Axiomes de Hilbert}}
[[Image:Hilbert.jpg|thumb|gauche|upright|[[David Hilbert]], carte postale de l'université de Göttingen, 1912.]]

À l'aube du {{s-|XX}}, la connaissance des ''manques'' de la formalisation euclidienne, ainsi que les différents éléments de solutions sont suffisamment connus pour permettre une construction rigoureuse. Les mathématiciens [[Moritz Pasch]] ([[1843 en science|1843]]-[[1930 en science|1930]]) et [[David Hilbert]] ([[1862 en science|1862]]-[[1943 en science|1943]]) sont à l'origine de ce travail<ref>Si d'autres penseurs ont apporté leur pierre sur le sujet, pour [[Jean Dieudonné]], Hilbert et Pasch restent les principaux acteurs : ''Pour l'honneur de l'esprit humain'' Hachette Littérature 1987 {{ISBN|2010119509}}.</ref>.

La construction doit être suffisante pour démontrer les théorèmes de géométrie sans appel à l'''intuition'', l'application de règles logiques est la seule méthode autorisée. Pasch s'exprime ainsi : « On énoncera explicitement les concepts primitifs au moyen desquels on se propose de définir logiquement les autres. On énoncera explicitement les propositions fondamentales (postulats) grâce auxquelles on se propose de démontrer logiquement les autres propositions (théorèmes). Ces propositions fondamentales doivent apparaître comme de pures relations logiques entre les concepts primitifs, et cela indépendamment de la signification que l’on donne à ces concepts primitifs »<ref name=100_ans/>.

Si une construction est suffisamment solide pour ne plus nécessiter l'apport de l'intuition, le vocabulaire choisi n'a pas d'importance. Hilbert l'exprime ainsi : « On devrait pouvoir parler tout le temps, au lieu de point, droite et plan, de table, chaise et chope »<ref name=100_ans/>.

Hilbert publie un article<ref>{{en}} {{pdf}} [[David Hilbert]], [http://www.gutenberg.org/files/17384/17384-pdf.pdf ''{{Langue|de|Grundlagen der Geometrie}}'' (version anglaise)], {{1re}} éd. 1899, B. G. Teubner, Leipzig.</ref> sur la question. Dans son introduction, il se fixe comme objectif, la construction d'un système d'axiomes modélisant le plan et répondant à une triple contrainte : être ''simple'', ''complet'' et ''indépendant''. Si le mot ''complet'' n'est pas défini, Hilbert indique néanmoins, quelques mots plus loin, que ce système doit permettre la démonstration des théorèmes principaux de la géométrie euclidienne. Le système d'axiomes est ''simple'' au sens où il est aisé de savoir quels axiomes sont nécessaires à l'établissement des théorèmes. Il est indépendant au sens où la suppression d'un postulat autorise l'existence de nouvelles géométries incompatibles avec les propriétés euclidiennes.

Dans un premier temps, Hilbert construit un système contenant cinq groupes d'axiomes dont le dernier concerne la continuité. Ce dernier peut être enrichi ou non d'un axiome équivalent à la [[espace complet|complétude]]. Il montre alors la ''compatibilité'' des groupes d'axiomes. Ce terme signifie qu'il existe au moins une géométrie satisfaisant tous les axiomes. Hilbert construit un univers algébrique, correspondant à un plan affine sur un corps de nombre particulier. Il contient les rationnels et tout nombre de la forme 1 + ω<sup>2</sup> admet une [[racine carrée]]. Cet univers satisfait à l'intégralité des groupes d'axiomes proposés, ce qui serait impossible si les postulats n'étaient pas compatibles.

L'indépendance est démontrée par la construction de géométries fondées sur une partie seulement de la base axiomatique. Elles diffèrent alors de la géométrie euclidienne. Hilbert démontre rigoureusement l'existence de géométries qu'il qualifie de ''non euclidiennes'', ''non archimédiennes'' et ''non pascaliennes''. Si l'indépendance de chaque groupe d'axiomes est prouvée, chacun des groupes contient lui-même plusieurs postulats (à l'exception du V<sup>e</sup> qui n'en contient qu'un). [[Issai Schur]] ([[1875 en science|1875]]-[[1941 en science|1941]]) et [[Eliakim Hastings Moore]] ([[1862 en science|1862]]-[[1932 en science|1932]]) démontrent indépendamment<ref>[[Issai Schur]] Ueber die Grundlagen der Geometrie ''Math. Annalem, Vol. 55'', p. 265 1902.</ref>{{,}}<ref>[[Eliakim Hastings Moore]] On the Projective Axioms of Geometry ''Transactions of the Amer. Math. Society'', 1902.</ref> qu'un des axiomes était redondant.

== Vers d'autres géométries ==
{{Article détaillé|Géométrie non euclidienne}}

Le concept de géométrie est maintenant appliqué à un vaste ensemble d'espaces. Si la remise en question du cinquième postulat est l'exemple historique qui donne un contenu à la notion de géométrie non euclidienne, une analyse plus précise montre l'existence de quantité d'autres cas non envisagés par Euclide respectant néanmoins le cinquième postulat.

Dans le cas des espaces vectoriels, le [[corps de nombres]] peut être modifié, la distance est parfois choisie de manière à posséder un nouveau groupe d'isométries, le nombre de dimensions peut devenir infini.

Il existe en outre de nombreux cas où l'espace n'est pas un espace vectoriel ; Klein formalise des géométries non orientables ; [[Georg Cantor]] ([[1845]]-[[1918]]) découvre un [[Ensemble de Cantor|ensemble triadique]] dont la dimension n'est pas entière et qui maintenant est classé dans la catégorie des [[Fractale|géométries fractales]]. La [[topologie]] ouvre la porte à la construction de nombreux autres cas.

C'est la raison pour laquelle le terme de géométrie non euclidienne tombe petit à petit en désuétude durant le {{s-|XX}}. Il est maintenant entré dans l'usage de décrire une géométrie par les propriétés qu'elle possède et non pas par une, devenue très spécifique et qu'elle n'aurait pas, à savoir son caractère euclidien.

Les exemples suivants sont parmi les plus fréquemment utilisés.

=== Dimension infinie ===
{{Article détaillé|Espace de Hilbert}}

Les espaces de fonctions à valeurs réelles disposent d'une structure d'espace vectoriel. Il est fécond de les étudier avec des outils géométriques. Il est possible d'y associer une distance issue d'un produit scalaire par exemple si les fonctions sont de carré [[intégration (mathématiques)|intégrable]]. Ce produit scalaire est défini de la manière suivante :
<center><math>(f|g)=\int fg\;</math></center>

Dans un tel espace, le théorème de Pythagore se généralise et a permis à [[Joseph Fourier]] ([[1768]]-[[1830]]) de résoudre l'[[Conduction thermique|équation de la chaleur]].

Cette approche, consistant à utiliser les outils de la géométrie pour résoudre des problèmes d'[[Analyse (mathématiques)|analyse]] est maintenant dénommée [[Analyse fonctionnelle (mathématiques)|analyse fonctionnelle]]. De multiples distances différentes sont définies sur ces espaces, engendrant alors des géométries distinctes. Suivant les propriétés plus ou moins fortes qu'elles possèdent, elles prennent pour nom [[espace de Hilbert]], [[espace de Banach]], [[espace préhilbertien]] ou [[espace vectoriel normé]]. L'espace de Hilbert est la généralisation la plus naturelle des géométries euclidiennes.

=== Espace hermitien ===
{{Article détaillé|Espace hermitien}}

Les nombres réels souffrent d'une faiblesse, le corps qu'ils forment n'est pas [[Clôture algébrique|algébriquement clos]]. Cela signifie qu'il existe des [[polynôme]]s non constants qui n'y ont pas de racine. Cette faiblesse complique l'analyse des [[Application linéaire|applications linéaires]] d'un espace vectoriel dans lui-même. L'article sur les [[Valeur propre (synthèse)|valeurs propres]] explicite cette difficulté. Une solution souvent utilisée consiste à généraliser le corps de nombres et à passer aux [[Nombre complexe|complexes]]. Cette méthode est utilisée en physique, par exemple pour l'étude des [[Systèmes oscillants à un degré de liberté|systèmes oscillants]]. La généralisation d'un espace euclidien aux nombres imaginaires est dénommée espace [[hermitien]].

=== Espace de Minkowski ===
{{Article détaillé|Espace de Minkowski|cône de lumière}}

[[Image:light cone.png|thumb|upright|Le cône de lumière en [[relativité restreinte]].]]
[[Image:Hyperb2N.png|thumb|left|upright|Pour la géométrie associée à l'espace de Minkowski, l'ensemble des points à égale ''distance spatio-temporelle'' d'un centre n'est plus une sphère mais un [[hyperboloïde]].]]

La physique de la relativité restreinte propose un monde régi par des lois différentes de celle de la mécanique classique. Il n'y est pas possible de dépasser une vitesse critique, celle de la lumière. Cette limite engendre de nombreuses conséquences. Pour reprendre l'exemple d'[[Albert Einstein]] ([[1879 en science|1879]]-[[1955 en science|1955]]) un voyageur dans un train en marche et se déplaçant dans le sens du train n'a plus, comme vitesse par rapport au sol, la somme exacte de la vitesse du train et de son déplacement, mais un tout petit peu moins<ref>[[Référence:La Relativité (Albert Einstein)|''La Relativité'', Gauthier-Villars (1956)]].</ref>.

La modélisation physique utilise un espace de dimension quatre contenant à la fois l'[[espace-temps|espace et le temps]]. Il est associé à une géométrie différente. Si l'on note ''x'', ''y'', ''z'' et ''ct'' les quatre coordonnées d'un point dans un repère [[orthogonalité|orthogonal]], en géométrie euclidienne le carré de la distance du point à l'origine est donnée par la formule : {{nobr|''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup> + (''ct'')<sup>2</sup>}}, expression qui a le statut mathématique de [[forme quadratique]]. Dans le monde de la relativité restreinte, la formule : {{nobr|(''ct'')<sup>2</sup> – ''x''<sup>2</sup> – ''y''<sup>2</sup> – ''z''<sup>2</sup>}}, qui est aussi une forme quadratique, joue un rôle analogue. Ici, ''c'' désigne la célérité de la lumière et ''t'' une durée, la formule est bien homogène. Muni de cette forme, l'espace est dit de [[espace de Minkowski|Minkowski]].

La modification d'un signe dans l'égalité définissant la forme quadratique (le « carré de la distance ») change la nature de la géométrie associée : cette quantité n'est plus nécessairement positive. Pour aller du centre noté ''A'' sur la figure de droite au point ''C'', il est nécessaire de dépasser la [[vitesse de la lumière]]. Le carré de la distance entre ''A'' et ''C'' est strictement négatif, cette ''distance'' est [[Nombre imaginaire pur|purement imaginaire]]. En effet, si le carré de la distance est strictement négatif, la vitesse nécessaire pour atteindre le point ''C'' à partir du point ''A'' est supérieur à celle de la lumière. En conséquence et dans le cadre de la relativité restreinte, ce point ne peut pas être en interaction avec ''A''.

L'ensemble des points à distance (spatio-temporelle) nulle de ''A'' forme un cône appelé [[cône de lumière]] de ''A''. Ce cône est constitué des points qui supposent un déplacement à la vitesse de la lumière pour être joints à partir du point ''A'' (dans sa partie supérieure, future) ; et de l'ensemble des points joignant ''A'' à la vitesse de la lumière (dans sa partie inférieure, passée).

Il correspond à la limite physique des points de l'[[espace-temps]] en interaction possible avec ''A'' :
* l'intérieur supérieur du cône peut être vu comme l'ensemble des emplacements futurs possibles du point ''A'', ou de l'ensemble des points qui seront causalement reliés avec ''A'' ;
* l'intérieur inférieur comme l'ensemble des emplacements passés possibles de ''A'', ou de l'ensemble des points causalement reliés à ''A''.
Plus généralement, l'ensemble des points à égale distance (spatio-temporelle) de ''A'' est un [[hyperboloïde]], alors que dans le cas euclidien, l'ensemble des points à égale distance d'un centre définit une [[sphère]].

=== Variété ===
{{Article détaillé|Variété (géométrie)}}
[[Image:Triangle on globe.jpg|thumb|upright=1.2|left|Sur une [[sphère]], la somme des angles d'un [[triangle]] n'est pas égale à 180° : une sphère n'est pas un [[espace euclidien]]. Par contre, les lois de la géométrie euclidienne sont de bonnes approximations locales. Pour un petit triangle sur la surface de la [[Terre]], la somme des angles est proche de 180°.]]

Toutes les géométries ne satisfont pas le cinquième postulat d'Euclide. La surface d'une sphère donne un exemple immédiatement accessible. Le plus court chemin entre deux points se situe toujours le long d'un [[grand cercle]] dont le centre est celui de la sphère. Cette courbe joue donc le rôle de ''droite'' pour la géométrie de la [[sphère]]. Voilà une géométrie cohérente, correspondant à un cas réel. Cependant le cinquième postulat n'est plus vérifié. Dans cet exemple, deux « ''droites'' » non confondues possèdent toujours deux points d'intersection.

L'abandon du cinquième postulat est fondamental. Il est en effet souhaitable de considérer la sphère, non pas comme un sous-ensemble d'un espace euclidien de dimension 3 mais comme une géométrie à part entière, disposant d'une [[Distance (mathématiques)|distance]] et d'une relation d'[[orthogonalité]]. Sans outil de cette nature, l'étude d'un tel espace devient plus délicate.

La formalisation mathématique est dérivée de l'exemple illustré dans la figure. Si l'étude se résume à une zone suffisamment petite, alors il est possible d'utiliser une carte plane, c’est-à-dire une représentation euclidienne. En se rapprochant suffisamment du point d'étude, celle-ci donne une représentation d'une précision aussi grande que voulue. Ainsi, un plan de Paris ne sera jamais rigoureusement exact car sur une sphère la [[somme des angles d'un triangle]] est toujours supérieure à 180 degrés. Cependant, la dimension de Paris (relativement à celle de la Terre) est suffisamment petite pour que l'erreur soit négligeable.

Ce mode de définition de la géométrie des espaces courbes, par la donnée d'une famille de cartes locales, peut être généralisé. On obtient ainsi une description d'espaces courbes usuels (courbes et surfaces telles que la sphère), mais aussi, la possibilité de construire par la même méthode des espaces courbes abstraits portant le nom de [[Variété (géométrie)|variétés]]. La [[géométrie riemannienne]] est la branche des mathématiques qui étudie les espaces courbes sur lesquels existent des distances et des angles, et qui portent le nom de [[variété riemannienne|variétés riemanniennes]]. La recherche et l'étude des plus courts chemins, ou [[géodésique]]s, est une des préoccupations importantes de cette branche.

L’[[astrophysique]] à grande échelle ne peut pas se contenter de la géométrie riemannienne. En théorie de la [[relativité générale]], les modèles utilisés ne sont plus basés sur la géométrie euclidienne, mais le sont plutôt sur l'espace de Minkowski. Le cadre d'étude est toujours un espace courbe (variété), mais on considère une [[forme quadratique]] qui n'est plus nécessairement positive ; la variété devient [[variété lorentzienne|lorentzienne]] (ou, plus généralement, pseudo-riemannienne).

Ainsi, la gravitation se manifeste par la trajectoire incurvée suivie par une masse le long d'une géodésique non euclidienne.

== Notes et références ==
{{références}}

== Voir aussi ==
=== Bibliographie ===
* [[Euclide]], ''[[Éléments d'Euclide|Les Éléments]]'', trad. F. Peyrard, 1804, F. Louis
* Rémi Goblot, ''Thèmes de géométrie : Géométrie affine et euclidienne - agrégation de mathématiques'', Masson
* {{Berger2}}
* {{Artin1}}
* {{Lang1}}
* {{en}} R. J. Trudeau, ''{{Langue|en|The Non-Euclidean Revolution}}'', Birkhauser
* {{en}} M. J. Greenberg, ''{{Langue|en|Euclidean and Non-Euclidean Geometries}}'', Freeman
* Aziz El Kacimi-Alaoui, ''Géométrie euclidienne élémentaire''. Ellipses, 2012 {{ISBN|978-2729871949}}

=== Articles connexes ===
* [[Propriétés métriques des droites et des plans]]
* [[Histoire de la géométrie]]

=== Liens externes ===
{{Liens}}
* [https://gallica.bnf.fr/ark:/12148/bpt6k68013g Euclide. Les quinze livres des éléments géométriques d'Euclide : plus le livre des donnez du mesme Euclide aussi traduict en françois par ledit Henrion, et imprimé de son vivant], traduction de 1632, site [[Gallica]]
* [http://www.les-mathematiques.net/b/c/h/node9.php3 Espace euclidien sous l 'aspect des formes bilinéaires] sur les-mathematiques.net
* [http://www.math.sciences.univ-nantes.fr/~morame/SYM03/DiagHT/node29.html Espace euclidien sous l'aspect du produit scalaire] sur math.sciences.univ-nantes
* [http://www.cabri.net/abracadabri/abraJava/GNECJ/BachCJ/BIntro3.html Lecture algébrique des propriétés euclidiennes] sur cabri.net : une approche axiomatique différente de celle de Hilbert
* [http://math.univ-angers.fr/~darniere/bourbaki.html#sonnet Espace euclidien et André Weil] : la vision de [[Nicolas Bourbaki]] sur les espaces euclidiens
* [http://www-irem.univ-fcomte.fr/bulletins/066/066-article1-critique-elements-euclide.html La critique des éléments d'Euclide]
* [http://www.bibmath.net/bios/index.php3?action=affiche&quoi=euclide Biographie d'Euclide d'Alexandrie]
* [http://passerelle.u-bourgogne.fr/publications/webeuclide/ La géométrie euclidienne par l'informatique]

{{Palette|Algèbre bilinéaire|Géométrie|Systèmes axiomatiques}}
{{Portail|géométrie}}
{{Bon article|vote=BA|oldid=24825960|date=16 janvier 2008}}

[[Catégorie:Géométrie euclidienne|*]]
[[Catégorie:Euclide]]