A Saccheri quadrilateral is a quadrilateral with two equal sides perpendicular to the base. It is named after Giovanni Gerolamo Saccheri, who used it extensively in his 1733 book Latin: Euclides ab omni naevo vindicatus (Euclid freed of every flaw), an attempt to prove the parallel postulate using the method reductio ad absurdum. Such a quadrilateral is sometimes called a Khayyam–Saccheri quadrilateral to credit Persian scholar Omar Khayyam who described them in his 11th century book Arabic: Risāla fī šarḥ mā aškala min muṣādarāt kitāb Uqlīdis (Explanations of the difficulties in the postulates of Euclid).[1]
For a Saccheri quadrilateral
ABCD,
AD
BC
AB.
CD
C
D
The advantage of using Saccheri quadrilaterals when considering the parallel postulate is that they clearly present three mutually exclusive options: Are the summit angles right angles, obtuse angles, or acute angles?
Saccheri himself did not consider the possibility of non-Euclidean geometry and believed that both the obtuse and acute cases could be shown to be contradictory from Euclid's other postulates. He did show that the obtuse case was contradictory, but failed to properly handle the acute case.
The existence of a Saccheri quadrilateral with right angles at the summit for any base and sides is equivalent to the parallel postulate, leading to Euclidean geometry. In hyperbolic geometry, arising from the negation of the parallel postulate, the summit angles are always acute. In elliptic or spherical geometry (which require a few modifications to Euclid's other postulates), the summit angles are always obtuse.
While the quadrilaterals are named for Saccheri, they were considered in the works of earlier mathematicians. Saccheri's first proposition states that if two equal lines
AC
BC
AB,
CD
Omar Khayyam (1048-1131) described them in the late 11th century in Book I of his Explanations of the Difficulties in the Postulates of Euclid.[1] Unlike many commentators on Euclid before and after him (including Saccheri), Khayyam was not trying to eliminate the parallel postulate but to replace with an equivalent postulate he formulated from "the principles of the Philosopher" (Aristotle):
Two convergent straight lines intersect and it is impossible for two convergent straight lines to diverge in the direction in which they converge.[4]
Khayyam then considered the three cases right, obtuse, and acute that the summit angles of a Saccheri quadrilateral can take and after proving a number of theorems about them, he (correctly) refuted the obtuse and acute cases based on his postulate and hence derived the classic postulate of Euclid.
The 17th century Italian mathematician Giordano Vitale used the quadrilateral in his Euclide restituo (1680, 1686) to prove that if three points are equidistant on the base
AB
CD,
AB
CD
Saccheri himself based the whole of his long and ultimately flawed proof of the parallel postulate around the quadrilateral and its three cases, proving many theorems about its properties along the way.
Let
ABCD
AB,
CD,
CA
DB.
C
D
-1
s
l
b
\begin{align} \coshs&=\coshb ⋅ \cosh2l-\sinh2l\\[5mu] \sinh\tfrac12s&=\coshl\sinh\tfrac12b \end{align}
A proof is in Web site: Wilson Stothers' Cabri Pages.
Tilings of the Poincaré disk model of the Hyperbolic plane exist having Saccheri quadrilaterals as fundamental domains. Besides the two right angles, these quadrilaterals have acute summit angles. The tilings exhibit a symmetry (orbifold notation), and include:
. Marvin Greenberg. Greenberg. Marvin Jay. Euclidean and non-Euclidean geometries : development and history. 2003. Freeman. New York. 9780716724469. 411. 3rd .