Proof - The Summit Angles of a Saccheri Quadralateral are Congruent.
The Saccheri Quadralateral
The Saccheri Quadralateral was created by Girolamo Saccheri (1667-1733), a professor at the University of Pavia, in an attempt to prove Euclid's fifth postulate by contradiction. While it did not fulfill its original purpose, the Saccheri Quadralteral has become an important part of Hyperbolic Geometry.
The Saccheri Quadralateral is constructed by taking an arbitrary line (AB in the diagram), and constructing two lines of equal length (AD and BC) that are perpendicular to the original line (AB). The points D and C are then connected with a line.
To prove that the line FE is perpendicular to both BC and AD, we must first prove that the summit angles (angle ABC and angle DCF) are congruent.
Proof that the Summit Angles of a Saccheri Quadralateral are Congruent