Bonsoir,
Cette distinction entre géométrie euclidienne et géométrie non-euclidienne a été évoquée dernièrement.
Dans le langage ancien (il y a quelques décennies) une géométrie euclidienne pouvait se définir, entre autres, par le postulat suivant "à partir d'un point on ne peut mener qu'une droite parallèle à une direction donnée" par opposition à l'affirmation "par un point donné, il existe une infinité de droites parallèles à une direction donnée".
Ce postulat est nécessaire pour démontrer que dans le plan, la somme des 3 angles intérieurs est un angle plat.
Il existe un certain nombre de géométries qui portent des qualificatifs différents de euclidiennes, par exemple, la géométrie cotée, la géométrie projective, sont-elles des géométries euclidiennes?
Dans le langage et les définitions actuelles, la géométrie sphérique c'est pas classées dans la catégorie de la géométrie euclidienne. Par un point, peut-on mener plusieurs droites, ou arcs ou éléments de droites infiniment petits, parallèlement à une direction donnée ? Ce qui distinguait autrefois une géométrie euclidienne des autres, c'était surtout ce postulat, et non son application qui est que la somme des 3 angles d'un triangle fait un angle plat. Donc, en quoi la géométrie sphérique n'est pas euclidienne ? On sait tout de même travailler avec des éléments infiniment petits, ce ne sont pas de longues droites, mais mathématiquement on sait travailler avec cela.
En géométrie sphérique, on aurait du mal à calculer quoi que ce soit si on n'admet pas ce postulat d'Euclide.
Voila ma question.