← proclus / In Primum Euclidis Elementorum Librum Commentarii

Commentary on the Definitions (I.Def.1–23) — Analytical Summary¶

Scope: Friedlein pp. 85–177 · Book II (Definitions I–XXXV)

Architectural Argument of the Definitions Commentary¶

Across ninety-three pages (Friedlein pp. 85–177; Taylor Book II, Definitions I–XXXV), Proclus expounds Euclid's twenty-three Book I Definitions (I.Def.1–I.Def.23) as a systematic descent from indivisible unity into planar figure:

Point, Line, and Straight Line (*Friedlein* 85–113): - Def. 1 (Point): Proclus contrasts Euclid’s negative definition (“that which has no part”) with the Pythagorean positive definition (“a monad having position”, Friedlein 95, 21), showing why negative characterization befits the first limit of magnitude. - Def. 2–3 (Line & Extremities): Alongside “breadthless length”, Proclus examines the dynamic generation of the line as the flux of a point (Friedlein 97, 6–13) and preserves Geminus's classification of curves—proving (Friedlein 105) that only three curves are homoeomeric (straight line, circle, cylindrical helix) and recording Perseus's spiric sections (Friedlein 111–112). - Def. 4 (Straight Line): Harmonizes Euclid’s enigmatic “lies evenly with the points on itself” with Plato's optical definition (Parmenides 137e) and Archimedes' shortest-distance axiom (Friedlein 109–110).
Surface, Plane, and the Ontology of Angles (*Friedlein* 113–136): - Defs. 5–7 (Surface & Plane): Traces planar flatness in parallel with rectilinear evenness. - Defs. 8–12 (Plane Angle, Right, Obtuse & Acute): Preserves the celebrated debate of Eudemus, Carpus of Antioch, Plutarch of Athens, and Syrianus over whether an angle belongs to Aristotle’s category of Relation, Quality, or Quantity. The decisive test-case is the horn angle (Friedlein 121–127): divisible yet non-Archimedean relative to rectilinear angles! In Defs. 10–12, the right angle embodies Limit and equality, whereas obtuse and acute embody the Unlimited.
Figure, Circle, Polygons, and Parallels (*Friedlein* 136–177): - Defs. 13–14 (Boundary & Figure): Refutes Protagoras's empiricist attack on circle-line tangency (Friedlein 139–140) and contrasts Euclid’s contained-space figure with Posidonius's enclosing-perimeter figure (Friedlein 143). - Defs. 15–18 (Circle & Diameter): Celebrates the circle as first and fairest of plane figures and records Thales's first proof that the diameter bisects the circle (Friedlein 157, 10). - Defs. 19–22 (Triangles & Quadrilaterals): Proves combinatorially why there are seven (not nine) side-angle species of triangles (Friedlein 165, 24) and organizes Posidonius’s sevenfold taxonomy of quadrilaterals (Friedlein 169–174). - Def. 23 (Parallel Lines): Contrasts Euclid’s coplanar non-intersection definition with Posidonius’s equidistance definition, preserving Geminus's profound warning on asymptotic curves (Friedlein 176–177).

Section Synopsis & Friedlein Map¶

Section	Friedlein Pages	Euclid Element	Greek Track
Def. 1: Point (Semeion) as Indivisible Limit with Position	pp. 85–96	[I.def.1]	Greek (p. 85)
Def. 2: Line (Gramme), Flux of a Point & Classification of Curves	pp. 96–103	[I.def.2]	Greek (p. 96)
Def. 3: Extremities of a Line & Homoeomeric Lines	pp. 103–109	[I.def.3]	Greek (p. 103)
Def. 4: Straight Line (Eutheia) & Spiric/Conic Classifications	pp. 109–113	[I.def.4]	Greek (p. 109)
Defs. 5–7: Surface (Epiphaneia), Boundaries & Plane Surface	pp. 113–121	[I.def.7]	Greek (p. 113)
Defs. 8–9: Plane Angle, Category of Angle & Horn Angles (Keratoeides)	pp. 121–131	[I.def.8]	Greek (p. 121)
Defs. 10–12: Right Angle, Perpendicular, Obtuse & Acute Angles	pp. 131–136	[I.def.10]	Greek (p. 131)
Defs. 13–14: Boundary (Horos), Figure (Schema) & Protagoras on Tangency	pp. 136–146	[I.def.14]	Greek (p. 136)
Defs. 15–18: Circle, Center, Diameter (Thales) & Semicircle	pp. 146–159	[I.def.15]	Greek (p. 146)
Defs. 19–21: Rectilinear Figures & Sevenfold Species of Triangles	pp. 159–168	[I.def.20]	Greek (p. 159)
Def. 22: Quadrilaterals (Square, Oblong, Rhombus, Rhomboid, Trapezia)	pp. 169–175	[I.def.22]	Greek (p. 169)
Def. 23: Parallel Straight Lines (Euclid, Posidonius & Geminus)	pp. 175–177	[I.def.23]	Greek (p. 175)