Commentary on Propositions I.1–I.15: Triangles, Congruence & Perpendiculars — Analytical Summary

Scope: Friedlein pp. 208–305 · Book III (Propositions I–XV & Porisms)

Architectural Argument of Propositions I.1–I.15

In the first fifteen propositions of Book I (Friedlein pp. 208–305), Euclid establishes the elementary constructive toolkit, fundamental triangle congruence laws, bisections, perpendiculars, and linear angle relations—all without ever invoking parallel lines:

1. Constructive Foundations & Zeno’s Critique (:just:`I.1`–:just:`I.3`, *Friedlein* 208–232): - Prop. I.1 opens the Elements by constructing the equilateral triangle, the most symmetric rectilinear archetype, and serves as Proclus’s live laboratory for the Six Canonical Parts, lemma, case, porism, objection, and reduction (Friedlein 208–213). Proclus also preserves Zeno of Sidon's incisive Epicurean objection—that two straight lines might share a common segment—together with Posidonius's reply (Friedlein 214–218). - Props. I.2–I.3 emancipate the compass from collapsing by transferring and subtracting segments across arbitrary positions; Proclus enumerates the positional cases omitted by Euclid.

2. First Congruence, Isosceles Symmetry & Conversion Theory (:just:`I.4`–:just:`I.8`, *Friedlein* 233–269): - Prop. I.4 (SAS) is the first theorem in Euclid, proved via superposition; Proclus appends the debate between Carpus of Antioch and Geminus on whether problems precede theorems (Friedlein 241–243). - Prop. I.5 (pons asinorum) records Thales's discovery alongside Pappus's astonishing zero-construction proof (Friedlein 249–250), comparing $\triangle ABC$ directly with its mirror orientation $\triangle ACB$! - Prop. I.6 occasions Proclus’s master-analysis of geometric conversion (Menaechmus and Amphinomus) and reductio ad absurdum (Friedlein 252–256). - Props. I.7–I.8 establish SSS congruence, enriched with Philo of Byzantium's elegant three-case proof bypassing Lemma I.7 (Friedlein 266–268).

3. Bisections, Perpendiculars, Vertical Angles & Porisms (:just:`I.9`–:just:`I.15`, *Friedlein* 270–305): - Props. I.9–I.10 bisect any rectilinear angle and finite segment—explaining why angle trisection requires higher curves (conchoids of Nicomedes, quadratrices of Hippias, spirals of Archimedes, Friedlein 272) and why universal bisectability refutes Xenocrates' indivisible lines (Friedlein 277–279). - Props. I.11–I.12 erect and drop perpendiculars, recording Apollonius's constructions and Oenopides of Chios's astronomical term kata gnomona (Friedlein 283). - Props. I.13–I.15 establish supplementary and vertical angles (discovered by Thales, proved scientifically by Euclid, Friedlein 299) and conclude with Proclus’s famous Excursus on Porisms (Friedlein 301–305).

Section Synopsis & Friedlein Map

Section	Friedlein Pages	Euclid Element	Greek Track
Prop. I.1: Equilateral Triangle, Cases & Zeno of Sidon’s Objection	pp. 208–219	[I.1]	Greek (p. 208)
Props. I.2–I.3: Transferring & Subtracting Segments	pp. 220–232	[I.2]	Greek (p. 220)
Prop. I.4: First Congruence Theorem (SAS), Superposition & Carpus	pp. 233–243	[I.4]	Greek (p. 233)
Prop. I.5: Isosceles Base Angles (Thales & Pappus’s Symmetry Proof)	pp. 244–251	[I.5]	Greek (p. 244)
Prop. I.6: Converse of I.5, Conversion Theory & Reductio ad Absurdum	pp. 251–258	[I.6]	Greek (p. 251)
Props. I.7–I.8: Rigidity Lemma & SSS Congruence (Philo’s Proof)	pp. 258–269	[I.8]	Greek (p. 258)
Props. I.9–I.10: Angle & Line Bisection, Trisection & Indivisible Lines	pp. 270–280	[I.9]	Greek (p. 270)
Props. I.11–I.12: Perpendiculars, Apollonius & Oenopides’ Gnomon	pp. 280–289	[I.12]	Greek (p. 280)
Props. I.13–I.15: Adjacent & Vertical Angles (Thales) & Porisms	pp. 290–305	[I.15]	Greek (p. 290)