Axiomes d'Euclide - axiome des parallèles
La géométrie dans le plan vue par Euclide repose sur les 5 axiomes (aussi appelés postulats) suivants :
- il existe toujours une droite qui passe par deux points du plan.
- tout segment peut être étendu suivant sa direction en une droite (infinie).
- à partir d'un segment, il existe un cercle dont le centre est un des sommets du segment et dont le rayon est la longueur du segment.
- tous les angles droits sont égaux entre eux.
- étant donné un point et une droite ne passant pas par ce point, il existe une seule droite passant par ce point et parallèle à la première.
Dans ses Eléments, Euclide prouvait ses 28 premières propositions à partir de seulement les 4 premiers axiomes, mais il était obligé d'invoquer le 5ème pour la 29è proposition. Ce cinquième postulat d'Euclide, aussi appelé postulat des parallèles a longtemps posé beaucoup de problèmes aux mathématiciens, qui ont cherché à le déduire des 4 autres premiers. Ce n'est qu'au XIXè siècle que Gauss le premier (découverte non publiée par lui), puis indépendamment János Bolyai et Nikolai Lobachevsky en 1823 se rendirent compte qu'on pouvait très bien considérer des modèles de la géométrie non-contradictoires dans lequel on ne faisait pas cette 5ème hypothèse. L'aventure des géométries non-euclidiennes pouvait commencer!