Quadrilateral with two equal sides perpendicular to the base
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 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 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 the legs and are equal in length and each perpendicular to the base The top is called the summit and the angles at and are called the summit angles.
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.[2]
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),[3] the summit angles are always obtuse.
^Boris Abramovich Rozenfelʹd (1988). A History of Non-Euclidean Geometry: Evolution of the Concept of a Geometric Space (Abe Shenitzer translation ed.). Springer. p. 65. ISBN 0-387-96458-4.
^Faber 1983, pg. 145
^Coxeter 1998, pg. 11
and 24 Related for: Saccheri quadrilateral information
A Saccheriquadrilateral is a quadrilateral with two equal sides perpendicular to the base. It is named after Giovanni Gerolamo Saccheri, who used it extensively...
aspects of hyperbolic geometry. One tool that Saccheri developed in his work (now called a Saccheriquadrilateral) has a precedent in the 11th-century Persian...
construction of a quadrilateralSaccheriquadrilateral Types of mesh § Quadrilateral Quadrangle (geography) Homography - Any quadrilateral can be transformed...
Lambert quadrilateral can be constructed from a Saccheriquadrilateral by joining the midpoints of the base and summit of the Saccheriquadrilateral. This...
the area of a triangle. (Wallis axiom) The summit angles of the Saccheriquadrilateral are 90°. If a line intersects one of two parallel lines, both of...
Khayyam and al-Tūsī on quadrilaterals, including the Ibn al-Haytham–Lambert quadrilateral and Khayyam–Saccheriquadrilateral, were the first theorems...
an Italian mathematician. He is best known for his theorem on Saccheriquadrilaterals. He may also be referred to as Vitale Giordani, Vitale Giordano...
angles of a Saccheriquadrilateral are called the summit angles and they have equal measure. The summit angles of a Saccheriquadrilateral are acute if...
Euclidean geometry led to the construction of the Lambert quadrilateral and the Saccheriquadrilateral. These structures introduced the field of non-Euclidean...
geometry Hilbert's axioms Saccheriquadrilateral (considered earlier than Saccheri by Omar Khayyám) Lambert quadrilateral Eric W. Weisstein (2003). CRC...
acute, obtuse, and right angle for the summit angles of a Khayyam-Saccheriquadrilateral.: 283 After proving a number of theorems about them, he showed...
Khayyam and Nasir al-Din al-Tusi on quadrilaterals, including the Lambert quadrilateral and Saccheriquadrilateral, were part of a line of research on...
perpendicular joins the midpoints of AC and BB' (by the symmetry of the Saccheriquadrilateral ACB'B). If not, we may suppose AB < CB' without loss of generality...
it may be argued that this proof makes use of some hidden assumptions. Saccheri gave a proof as well but using a more explicit assumption. In Hilbert's...
definition of parallel lines), proving that the summit angles of a Saccheriquadrilateral cannot be obtuse, and that spherical geometry is not an absolute...
Giovanni G. Saccheri resumed the concept of Khayyam–Saccheriquadrilateral in order to prove the fifth postulate, ultimately in vain. However, Saccheri became...
Hyperbolic law of cosines Hyperbolic law of sines Lambert quadrilateralSaccheriquadrilateral Stothers, Wilson (2000), Hyperbolic geometry, University...
actual shapes on the curved surface of Mars are more complicated Saccheriquadrilaterals. The sixteen equatorial quadrangles are the smallest, with surface...
(1633–1711), was a mathematician. He is best known for his theorem on Saccheriquadrilaterals. Ernesto Cesàro (1859–1906), was a prolific mathematician and professor...
first four, and what the pitfalls were in attempting to prove the fifth. Saccheri, Lambert, and Legendre each did excellent work on the problem in the 18th...
Johann Jacob Heber (1666–1727) – surveyor and geometer Giovanni Gerolamo Saccheri (1667–1733) – non-Euclidean geometry Leonhard Euler (1707–1783) Tobias...
James Stirling publishes The Differential Method. 1733 – Giovanni Gerolamo Saccheri studies what geometry would be like if Euclid's fifth postulate were false...
Pseudo-Tusi's Exposition of Euclid had stimulated both J. Wallis's and G. Saccheri's studies of the theory of parallel lines." Kriss, Timothy C.; Kriss, Vesna...