Giovanni Girolamo Saccheri
Un article de Wikipédia, l'encyclopédie libre.
Vous avez de 
Giovanni Girolamo Saccheri (5 Septembre 1667 - 25 Octobre 1733) était un jésuite et un mathématicien italien. Il entra dans la compagnie de Jésus en 1685, et fut ordonné prêtre en 1694. Il fut professeur de philosophie à Turin de 1694 à 1697, puis enseigna la philosophie, la théologie, et les mathématiques à Pavie de 1697 à son décès.
Disciple du mathématicien Tommaso Ceva il publia plusieurs ouvrages, parmi lesquels Quaesita geometrica (1693), Logica demonstrativa (1697), et Neo-statica (1708).
C'est à sa dernière publication, en 1733, qu'il doit l'essentiel de sa renommée : Euclides ab omni naevo vindicatus (Euclide sans erreur) tomba dans l'oubli avant sa redécouverte par Eugenio Beltrami au milieu du XIXe siècle.
L'objectif de Saccheri était de prouver la validité des axiomes d'Euclide par l'absurde. Il chercha à obtenir une contradiction en supposant la fausseté du postulat des parallèles. Au lien de quoi, il obtint des résultats très bizarres qui ont maintenant le statut de théorèmes de la géométrie hyperbolique, tels que l'existence de triangles dont la somme des angles dépasse 180°.
On trouve chez le mathématicien Omar Khayyam des considérations analogues à celles de Saccheri. Il n'est pas facile de savoir si ce dernier a eu accès aux travaux de son prédécesseur, ou si ses découvertes furent indépendantes.
