Theorem 5.4.1.
If two lines are sensed parallels to a third line, they are also sensed parallels to each other.
Section 5.4 Parallels in Hyperbolic
Theorem 5.4.2.
If two lines are sensed parallels to a third line, the line farthest away has the smallest angle of parallelism.
Definition 5.4.3. Saccheri Quadrilateral.
A quadrilateral is a Saccheri quadrilateral if and only if it has two consecutive right angles adjacent to two congruent sides. The side orthogonal to two sides is the base. The opposite side is the summit.
Theorem 5.4.4.
The non-right angles in a Saccheri quadrilateral are congruent.
Theorem 5.4.5.
The line segment joining the midpoint of the base to the midpoint of the summit is orthogonal to both.
Lemma 5.4.6.
Let \(ABCD\) be a Saccheri quadrilateral with right angles at \(A\) and \(B.\) Prove that \(\angle AD\Omega \cong \angle BC\Omega.\)
Theorem 5.4.7.
The non-right angles in a Saccheri quadrilateral are acute.
Theorem 5.4.8.
Parallel lines are not everywhere equidistant.
Theorem 5.4.9.
A transversal perpendicular to two parallel lines is unique.
