Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Saccheri quadrilateral
Summary
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).
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.
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 and form equal angles with the line the angles at will equal each other; a version of this statement appears in the works of the ninth century scholar Thabit ibn Qurra.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related lectures (9)
Elementary Operations in Geometry
Explores elementary operations in geometry, focusing on angles and the power of a point with respect to a circle.
Angle at the Center & Power of a Point
Explores angles at the center of a circle and the power of a point relative to a circle, emphasizing their importance in geometry and CAD software.
Elementary Operations in Geometry
Covers elementary operations in geometry, including combinatorial cases, Thales' theorem, and the power of a point relative to a circle.
Related publications (3)
Related concepts (6)
Geometry
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician who works in the field of geometry is called a geometer. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts.
Parallel postulate
In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's Elements, is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry: If a line segment intersects two straight lines forming two interior angles on the same side that are less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.
Spherical geometry
Spherical geometry is the geometry of the two-dimensional surface of a sphere. Long studied for its practical applications – spherical trigonometry – to navigation, spherical geometry bears many similarities and relationships to, and important differences from, Euclidean plane geometry. The sphere has for the most part been studied as a part of 3-dimensional Euclidean geometry (often called solid geometry), the surface thought of as placed inside an ambient 3-d space.