Géométrie elliptique

géométrie non euclidienne, dans laquelle toutes les droites sont sécantes

Unegéométrie elliptiqueest unegéométrie non euclidienne.Les axiomes sont identiques à ceux de lagéométrie euclidienneà l'exception de l'axiome des parallèles:en géométrie elliptique, étant donné unedroiteet un point extérieur à cette droite, il n'existe aucune droiteparallèleà cette droite passant par ce point. Il est équivalent de dire que lasomme des angles d'un triangleest toujours supérieure à180°.

Il n'existe aucune droite passant par le pointMet parallèle à la droiteD.

En faitGiovanni Girolamo Saccheriavait démontré en 1733 que ce résultat est incompatible avec les quatre premiers postulats d'Euclide; la géométrie elliptique doit donc modifier un autre axiome (qui restait implicite dans l'œuvre d'Euclide) stipulant quesi trois points sont alignés alors l'un de ces points est entre les deux autres.L'inexistence des parallèles peut alors être déduite de la négation de cet axiome[1].La géométrie elliptique n'est donc pas unegéométrie absolue.

Lagéométrie sphériqueest un modèle important de géométrie elliptique.

Articles connexes

modifier

Géométrie absolue
Géométrie hyperbolique

Références

modifier
  1. Maurice Arvonny, «D’ Euclide aux géométries de l’impossible»,Sciences & Vie,no910,‎(lire en ligne).