a Saccheri quadrilateral

In 1733 the Jesuit priest Giovanni Saccheri tried to defend Euclid by reductio ad absurdum: assume the parallel postulate is FALSE and chase the consequences, hoping to hit a contradiction. The tool he built for this is now named after him. A Saccheri quadrilateral starts from a base segment AB, erects two equal perpendiculars AD and BC of the same length on the SAME side, and joins their tops with segment DC. By construction the two base angles at A and B are right angles, and the figure is symmetric left-to-right, so the two TOP (summit) angles at D and C are equal to each other.

The whole question collapses to one thing: what are those two equal summit angles? Saccheri proved, using ONLY the axioms shared by all geometries (neutral geometry, no parallel postulate assumed), that there are exactly three logical possibilities — the summit angles are both right, both obtuse, or both acute. The right-angle case is precisely Euclid: it forces the parallel postulate and makes the figure a rectangle. The obtuse case he correctly ruled out (it contradicts other axioms, and corresponds to spherical geometry where lines have finite length). The acute case is the hyperbolic world — and try as he might, he found no contradiction in it.

Saccheri reluctantly published the acute case as merely 'repugnant to the nature of the straight line', mistaking his own failure to derive absurdity for proof that none existed. He had, without realising it, derived dozens of genuine theorems of hyperbolic geometry a full century before Bolyai and Lobachevsky. The honest lesson: his quadrilateral did not prove Euclid; it quietly demonstrated that the alternative was consistent, which is the exact opposite of what he set out to show.