prove that the line joining the midpoints of the base and summit of a saccheri quadrilateral is the perpendicular bisector of both the base and the summit .
Proof. Let E and F be the midpoints of the base and of a saccheri quadrilateral respectively. Note DEF CEB by SAS. Thus , AED= CED and ADE= BCE. Invoking SSS, it follows that DEF CEF. Hence DFE= CFE, and since these angles are supplementary, each must be 90. Also, DEF= CEF, and so AED+ DEF = CED+ DEF=90, again since these angles are supplementary. Thus ⊥ and ⊥ , and it follows from Proposition 27 that with common perpendicular .