Commentary on Propositions I.16–I.32: Inequalities, Parallels & Angle-Sum — GEOMETOR Commentary & Concordance Notes

GEOMETOR Philosophical & Mathematical Commentary

  1. Neutral vs. Euclidean Geometry (`I.16`–`I.28` vs. `I.29`–`I.32`): Proclus’s commentary makes visible the exact deductive fault line of Book I: every proposition through Prop. I.28 belongs to neutral (absolute) geometry, independent of Postulate 5 (provided straight lines are unbounded, as assumed in Prop. I.16). Note Taylor’s two 1792 typographic heading misprints in this span—PROPOSITION XXIV for XXI and PROPOSITION XV for XXVI—silently corrected in our English section headings.

  2. Ptolemy’s Fallacy & Proclus’s Equivalent Axiom (`Friedlein 365–373`): Examined in detail by both Heath (Vol. I, pp. 204–207) and Hoenen (Caput I, §5, p. 15), Friedlein 365–373 is the foundational document of the history of non-Euclidean geometry: - Ptolemy argued (365, 14–367, 27) that interior angles on one side of a transversal are no more “interior” than those on the other side; Proclus (368–370) rightly exposes that symmetry applies to either-side pairs, not asymmetrically when one side sums to $< 2R$ and the other to $> 2R$. - Proclus’s own proof (371–373) assumes that if two straight lines do not meet, the perpendicular distance between them remains bounded, whereas two rays diverging from a point exceed every finite distance (Aristotle, De Caelo I.5). In hyperbolic geometry, two non-intersecting (ultraparallel/divergent) straight lines also diverge beyond every finite bound—proving that Proclus’s bounded-distance premise is strictly equivalent to Euclid’s Fifth Postulate!

  3. The Pythagorean Angle-Sum Proof (`Friedlein 379, 2–15`): Preserved from Eudemus, the Pythagorean proof of Prop. I.32 draws a single line $DE \parallel BC$ through vertex $A$, immediately exhibiting the three angles of $\triangle ABC$ assembled into a straight angle ($2R$) around $A$ via alternate interior angles (I.29) and Prop. I.13.

Friedlein Loci Cited in GEOMETOR (26 Loci in pp. 305–384)

  • Friedlein 305, 24 (text) — Opening of Prop. I.16 commentary: why omitting the construction misleads critics like Philippus into questioning the exterior-angle enunciation. - euclid (proclus:in-euclid:305.24): Heath Vol. I, p. 20 [folio 0034]

  • Friedlein 315, 11–316, 13 (text) — Commentary on Prop. I.18: alternative construction cutting off the equal segment from the other extremity (attributed to Porphyry/Heron). - euclid (proclus:in-euclid:315.11-316.13): Heath Vol. I, p. 283 [folio 0297]

  • Friedlein 318, 16–23 (text) — Commentary on Prop. I.19: proof by exhaustive trichotomy / division (ek diaireseos) eliminating equality and inferiority. - euclid (proclus:in-euclid:318.16-23): Heath Vol. I, p. 285 [folio 0299]

  • Friedlein 322 (text) — Commentary on Prop. I.20: Epicurean mockery of the triangle inequality as ‘known even to an ass walking straight to its fodder’, and Proclus’s defense of scientific cause (aitia). - euclid (proclus:in-euclid:322): Heath Vol. I, p. 287 [folio 0301]

  • Friedlein 323–326 (text) — Heron’s and Porphyry’s elegant alternative demonstrations of the triangle inequality (Prop. I.20) without producing a side of the triangle. - euclid (proclus:in-euclid:323-6): Heath Vol. I, p. 287 [folio 0301]

  • Friedlein 327, 12 (text) — Commentary on Prop. I.21: why the two interior lines must rise specifically from the extremities of the base (counterexample when drawn from interior points). - euclid (proclus:in-euclid:327.12): Heath Vol. I, p. 290 [folio 0304]

  • Friedlein 328, 15 (text) — Resolution of the geometric paradox in Prop. I.21 (shorter segments containing a greater angle) and connection to Pappus’s generalizes chevrons. - euclid (proclus:in-euclid:328.15): Heath Vol. I, p. 27 [folio 0041]

  • Friedlein 330, 19 (text) — Commentary on Prop. I.22: necessity of the triangle-inequality diorismos when constructing a triangle out of three given straight lines. - euclid (proclus:in-euclid:330.19): Heath Vol. I, p. 34 [folio 0048]

  • Friedlein 331, 8 (text) — Proof (against Zeno-style objections) that the two circles in Prop. I.22 must intersect whenever the triangle-inequality diorismos holds. - euclid (proclus:in-euclid:331.8): Heath Vol. I, p. 293 [folio 0307]

  • Friedlein 333, 5 (text) — Commentary on Prop. I.23: Eudemus records that constructing an angle equal to a given rectilinear angle was ‘rather the discovery of Oenopides’. - euclid (proclus:in-euclid:333.5): Heath Vol. I, p. 295 [folio 0309]

  • Friedlein 335, 19 (text) — Apollonius’s streamlined compass-arc construction for copying a rectilinear angle (Prop. I.23). - euclid (proclus:in-euclid:335.19): Heath Vol. I, p. 296 [folio 0310]

  • Friedlein 339, 11 (text) — Commentary on Prop. I.24 (Hinge Theorem): proving the missing cases where the transferred side falls on or within the base (Heron/Porphyry). - euclid (proclus:in-euclid:339.11): Heath Vol. I, p. 298 [folio 0312]

  • Friedlein 345–347 (text) — Commentary on Prop. I.25: direct (non-reductio) alternative demonstrations of the converse Hinge Theorem by Menelaus of Alexandria and Heron. - euclid (proclus:in-euclid:345-7): Heath Vol. I, p. 300 [folio 0314]

  • Friedlein 351 (text) — Commentary on Prop. I.26: Porphyry’s and Eudemus’s exhaustive combinatorial audit of the six possible three-part triangle congruence hypotheses (why SSA and AAA fail). - euclid (proclus:in-euclid:351): Heath Vol. I, p. 306 [folio 0320]

  • Friedlein 352, 14–18 (text) — Eudemus’s famous report in his History of Geometry attributing Prop. I.26 to Thales, who must have used it in his method of finding the distance of ships at sea. - euclid (proclus:in-euclid:352.14-18): Heath Vol. I, p. 36 [folio 0050]

  • Friedlein 355, 20–356, 16 (text) — Opening of Book IV of the Commentary (before Prop. I.27): systematic review of the three defining symptoms of parallel straight lines in a plane. - euclid (proclus:in-euclid:355.20-356.16): Heath Vol. I, p. 42 [folio 0056]

  • Friedlein 356, 11 (text) — Mention of Hippias’s quadratrix (tetragonizousa) and higher curves in connection with geometric properties. - euclid (proclus:in-euclid:356.11): Heath Vol. I, p. 266 [folio 0280]

  • Friedlein 357, 9 (text) — Commentary on Prop. I.27: definition and directional analysis of alternate angles (enallax goniai) formed by a transversal. - euclid (proclus:in-euclid:357.9): Heath Vol. I, p. 308 [folio 0322]

  • Friedlein 361, 21 (text) — Commentary on Prop. I.28: comparison of Euclid’s two criteria with Ptolemy’s symmetric formulation of interior angles on both sides of the transversal. - euclid (proclus:in-euclid:361.21): Heath Vol. I, p. 28 [folio 0042]

  • Friedlein 365–373 (text) — Grand excursion under Prop. I.29: Claudius Ptolemy’s attempted proof of Postulate 5, Proclus’s refutation of its hidden assumption, and Proclus’s own bounded-divergence proof. - hoenen (prose): De Noetica Geometriae Caput I, §5, p. 15

  • Friedlein 365, 7–11 (text) — Citation of Claudius Ptolemy’s treatise ‘That straight lines produced from angles less than two right angles meet’ and summary of his preliminary lemmas. - euclid (proclus:in-euclid:365.7-11): Heath Vol. I, p. 204 [folio 0218]

  • Friedlein 365, 14–367, 27 (text) — Full reproduction of Ptolemy’s attempted symmetry proof of Prop. I.29 and deduction of Euclid’s Fifth Postulate. - euclid (proclus:in-euclid:365.14-367.27): Heath Vol. I, p. 205 [folio 0219]

  • Friedlein 368, 26 (text) — Proclus’s critique of Ptolemy’s parallel proof and refutation of a Zeno/Achilles-style infinite-bisection sophism claiming converging lines never meet. - euclid (proclus:in-euclid:368.26): Heath Vol. I, p. 206 [folio 0220]

  • Friedlein 371, 10 (text) — Proclus’s own attempted proof of Postulate 5, explicitly invoking Aristotle’s De Caelo I.5 lemma that diverging rays separate beyond any given finite distance. - euclid (proclus:in-euclid:371.10): Heath Vol. I, p. 45 [folio 0059]

  • Friedlein 379, 2–5 (text) — Commentary on Prop. I.32: Eudemus’s testimony on the ancient Pythagorean discovery of the universal angle-sum theorem for all triangles. - euclid (proclus:in-euclid:379.2-5): Heath Vol. I, p. 317 [folio 0331]

  • Friedlein 379, 2–15 (text) — Preservation of the elegant Pythagorean proof of Prop. I.32 drawing a single parallel to the base through the triangle’s apex. - euclid (proclus:in-euclid:379.2-15): Heath Vol. I, p. 320 [folio 0334]