Dès qu’Euclide eut énoncé son cinquième postulat, on a trouvé sa formulation complexe. Certains ont voulu le remplacer par un énoncé plus simple (ex : Par un point extérieur à une droite on peut tracer une et une seule parallèle à cette droite). D’autres ont pensé qu’il devait avoir rang de théorème, et ont donc cherché à le démontrer : sa négation devait aboutir à une contradiction. On n’a pas trouvé de contradiction, mais cette négation entraînait des propiétés géométriques « incroyables », contraires au « bon sens », donc refusées. Jusqu’à ce qu’on finisse, vingt siècles plus tard, par admettre qu’il pouvait exister une géométrie non euclidienne… C’est cette histoire que brosse l’article, des contestations grecques aux commentateurs arabes et européens d’Euclide, en passant par les précurseurs des géométries non euclidiennes Saccheri et Lambert pour terminer par les « 30 glorieuses » (1805-1835) avec Bolyaï, Gauss et Lobatchevski.