🟡 Geometric Truths in Classical Light

Congruent Diagonals in a Saccheri Quadrilateral

Let us wander through neutral geometry, where postulates pause and theorems bloom from symmetry. Consider a Saccheri quadrilateral \(ABCD\), with:

Base \( \overline{AB} \)
Summit \( \overline{CD} \)
Right angles at \( A \) and \( B \)
Legs \( \overline{AD} \cong \overline{BC} \)

Draw the diagonals \( \overline{AC} \) and \( \overline{BD} \).

Consider triangles \( \triangle ABC \) and \( \triangle BAD \):
Side: \( \overline{AB} \cong \overline{BA} \) (common side).
Angle: \( \angle ABC \cong \angle BAD \) (both are right angles by definition).
Side: \( \overline{BC} \cong \overline{AD} \) (given equal legs).
Thus, by SAS congruence, \( \triangle ABC \cong \triangle BAD \).

Therefore, \( \overline{AC} \cong \overline{BD} \) by CPCTC. The diagonals are equal—a harmony of lines sung across a balanced summit.

🟢 Question 11: Do Rectangles Exist in Euclidean Geometry?

A rectangle—four corners of perfect rightness. Let us construct one: Start with segment \( \overline{AB} \), erect perpendicular lines \( L_1 \) and \( L_2 \) through endpoints \( A \) and \( B \) respectively.

By the Euclidean Parallel Postulate, these perpendicular lines are parallel to each other. Choose an arbitrary point \( D \) on \( L_1 \) and construct a line parallel to base \( \overline{AB} \), meeting line \( L_2 \) at point \( C \).

In Euclidean space, because consecutive interior angles are supplementary, \( \angle A, \angle B, \angle C, \text{ and } \angle D \) are forced to all be right angles.

Therefore, rectangles are mathematically proven to exist within the Euclidean realm.

🔵 Question 12: Euclidean Propositions

(a) Supplementary Angles on Parallel Lines

Given: \( \overleftrightarrow{BA} \parallel \overleftrightarrow{CD} \), and points \( A \) and \( D \) lie on the same side of the transversal line \( \overleftrightarrow{BC} \).
By Euclid’s 5th Postulate (or the Parallel Postulate), the consecutive interior angles must sum up to two right angles: \[ m(\angle ABC) + m(\angle BCD) = 180^\circ \]

(b) Common Perpendicular for Parallel Lines

Given parallel lines \( L_1 \parallel L_2 \), construct a line \( L_3 \) that drops perpendicular from a point on \( L_1 \).
By geometry’s grace, the Alternate Interior Angles theorem dictates that \( L_3 \) must also intersect line \( L_2 \) at a right angle. A shared structural spine.

(c) Alternate Interior Angles Are Congruent

When parallel lines \( L_1 \parallel L_2 \) are cut by an intersecting transversal line \( T \), the alternate interior angles formed are congruent: \[ \angle 1 \cong \angle 2 \] Mirror images balancing each other across the diagonal dividing line.

(d) Triangle Angle Sum Theorem

In \( \triangle ABC \), draw a straight line through vertex \( A \) parallel to opposite base side \( \overline{BC} \). This construction extends angles along a flat horizon:
By alternate interior relationships, the outside angles match the base angles \( \angle B \) and \( \angle C \). Together with internal \( \angle A \), they lie flat across a single straight line: \[ m(\angle A) + m(\angle B) + m(\angle C) = 180^\circ \]

🔺 Question 13: The Exterior Angle Theorem with Justification

Any exterior angle of a triangle exceeds either of the two remote interior angles.

Let line segment \( \overline{BCD} \) extend out to create exterior angle \( \angle BCD \) for a given \( \triangle ABC \).
Construct the midpoint \( M \) of line segment \( \overline{BC} \), and reflect point \( A \) linearly across point \( M \) to obtain an extended coordinate point \( E \) such that \( \overline{MA} \cong \overline{ME} \).

Here, \( \triangle AMB \cong \triangle EMC \) by SAS criterion because:
\( \overline{BM} \cong \overline{MC} \) (definition of a midpoint), \( \angle AMB \cong \angle EMC \) (vertical angles), and \( \overline{MA} \cong \overline{ME} \) (by construction).
Consequently, \( \angle ABC \cong \angle ECB \). Because line segment \( \overline{CE} \) runs strictly inside the interior boundary of the full exterior angle \( \angle BCD \), the parts sum up: \( m(\angle BCD) = m(\angle ECB) + m(\angle ECD) \). This directly yields: \[ m(\angle BCD) > m(\angle ABC) \]

Q.E.D. The exterior angle casts a longer shadow than those resting within.

“Geometry is the art of reasoning well from poorly drawn figures.” — Anonymous