← proclus / In Primum Euclidis Elementorum Librum Commentarii

Commentary on Propositions I.16–I.32: Inequalities, Parallels & Angle-Sum — Analytical Summary¶

Scope: Friedlein pp. 305–384 · Book III (Props. XVI–XXVI) & Book IV (Props. XXVII–XXXII)

Architectural Argument of Propositions I.16–I.32¶

Spanning the second half of Proclus’s Book III and the dramatic opening of Book IV (Friedlein pp. 305–384), Propositions I.16–I.32 carry Euclidean geometry from absolute (neutral) triangle inequalities across the watershed of the Parallel Postulate to the universal interior angle-sum of the triangle:

Neutral Geometry of Inequalities & Triangle Determination (:just:`I.16`–:just:`I.26`, *Friedlein* 305–353): - Props. I.16–I.17 prove without Postulate 5 that an exterior angle exceeds either remote interior angle and that any two angles of a triangle are less than two right angles. - Props. I.18–I.21 pair greater sides with greater angles and prove the Triangle Inequality (I.20). When Epicureans mock I.20 as “evident even to an ass walking straight to its hay” (Friedlein 322), Proclus replies that sense perceives only that (τὸ ὅτι), whereas science demands why (τὸ διότι), and preserves Heron's and Porphyry's alternative proofs (Friedlein 323–326). - Props. I.22–I.23 construct triangles from three given segments—vindicating the necessity of the diorismos—and copy any rectilinear angle (attributed by Eudemus to Oenopides, Friedlein 333). - Props. I.24–I.25 establish the Hinge Theorems (enriched with Menelaus's direct proof, Friedlein 345–347). - Prop. I.26 completes triangle congruence (ASA and AAS), featuring Porphyry’s exhaustive combinatorial proof of why SSA and AAA fail (Friedlein 351) and Eudemus’s report that Thales used I.26 to determine the distance of ships at sea (Friedlein 352, 14–18).
Theory of Parallels & The Attempted Proofs of Postulate 5 (:just:`I.27`–:just:`I.31`, *Friedlein* 354–376): - Props. I.27–I.28 establish sufficient conditions for parallel lines without Postulate 5. - At Prop. I.29—the exact moment Euclid first invokes Postulate 5—Proclus inserts his monumental nine-page critical excursion (Friedlein 365–373): (a) summarizing Claudius Ptolemy's lost treatise attempting to prove I.29 and Postulate 5; (b) exposing the hidden symmetry fallacy in Ptolemy’s argument; (c) refuting a Zeno-like infinite-bisection sophism; and (d) presenting Proclus’s own attempted proof, explicitly assuming Aristotle's lemma that diverging rays separate beyond any finite bound—thereby isolating bounded equidistance as an exact logical equivalent of the Parallel Postulate!
The Triangle Angle-Sum & Pythagorean Demonstration (:just:`I.32`, *Friedlein* 376–384): - Prop. I.32 proves that the exterior angle equals the two remote interiors and the three interior angles equal two right angles. Proclus preserves the ancient Pythagorean proof via Eudemus (Friedlein 379, 2–15), analyzes Aristotle's doctrine of commensurately universal (καθόλου πρῶτον) demonstration, and generalizes the interior angle-sum to any convex $n$-gon as $(2n - 4)$ right angles (Friedlein 383).

Section Synopsis & Friedlein Map¶

Section	Friedlein Pages	Euclid Element	Greek Track
Props. I.16–I.17: Exterior Angle & Sum of Two Interior Angles	pp. 305–312	[I.16]	Greek (p. 305)
Props. I.18–I.19: Greater Side & Greater Angle (Division Proof)	pp. 313–321	[I.18]	Greek (p. 313)
Props. I.20–I.21: Triangle Inequality (Epicurean Critique, Heron, Porphyry)	pp. 322–329	[I.20]	Greek (p. 322)
Props. I.22–I.23: Triangle Diorismos & Copying an Angle (Oenopides)	pp. 330–335	[I.23]	Greek (p. 330)
Props. I.24–I.25: Hinge Theorems (Heron, Porphyry & Menelaus)	pp. 336–347	[I.24]	Greek (p. 336)
Prop. I.26: ASA/AAS Congruence & Thales’ Ship-Distance Theorem	pp. 347–353	[I.26]	Greek (p. 347)
Props. I.27–I.28: Book IV Opening & Sufficient Conditions for Parallels	pp. 354–364	[I.27]	Greek (p. 354)
Prop. I.29: Ptolemy’s Treatise & Proclus’s Attempted Proof of Postulate 5	pp. 364–373	[I.29]	Greek (p. 364)
Props. I.30–I.31: Transitivity & Construction of Parallels	pp. 373–376	[I.30]	Greek (p. 373)
Prop. I.32: Triangle Angle-Sum, Pythagorean Proof & Polygon Formula	pp. 376–384	[I.32]	Greek (p. 376)