Commentary on Propositions I.33–I.48: Areas, Application & Pythagoras — Analytical Summary

Scope: Friedlein pp. 384–436 · Book IV (Propositions XXXIII–XLVIII)

Architectural Argument of Propositions I.33–I.48

In the grand finale of Book I (Friedlein pp. 384–432), Euclid ascends from congruence to equivalence of area, culminating in the Pythagorean Application of Areas and the Theorem of Pythagoras:

1. Parallelograms & The Birth of Locus Theorems (:just:`I.33`–:just:`I.41`, *Friedlein* 384–415): - Props. I.33–I.34 bridge parallel lines and quadrilateral figures, generating the parallelogrammic area (παραλληλόγραμμον χωρίον) and proving its bisection by the diameter. - Prop. I.35 (parallelograms on the same base and in the same parallels are equal) inaugurates a new level of geometric equality—equality of area without congruence of form—and is hailed by Proclus as the first locus theorem (τοπικὸν θεώρημα, Friedlein 394–396), since the upper side may slide infinitely along the parallel locus while preserving constant area even as perimeter grows without bound! - Props. I.36–I.41 extend area invariance to parallelograms and triangles on equal bases, examine partial converses ([I.39]–[I.40]), and establish that a parallelogram is double a triangle sharing its base and parallels ([I.41]), to which Proclus adds an original exercise on the area of trapezia (Friedlein 414–415).

2. Complements & The Pythagorean Application of Areas (:just:`I.42`–:just:`I.45`, *Friedlein* 415–423): - Prop. I.43 proves the equality of the complements (παραπληρώματα) about the diameter of any parallelogram—the algebraic engine of Greek geometric transformation. - On Prop. I.44, Proclus preserves one of the jewels of the history of mathematics (Friedlein 419–420): Eudemus's testimony that application of areas (παραβολή), exceeding (ὑπερβολή), and falling-short (ἔλλειψις) are “ancient discoveries of the Muse of the Pythagoreans”, providing the foundation for Book II geometric algebra, Book VI quadratic equations, and Apollonius's naming of the three conic sections!

3. The Square & The Theorem of Pythagoras (:just:`I.46`–:just:`I.48`, *Friedlein* 423–432): - Prop. I.46 constructs the square on any segment. - On Prop. I.47, Proclus treats the anecdote of Pythagoras's ox-sacrifice with scholarly circumspection (Friedlein 426, 6–9), expressing supreme admiration for Euclid himself both for the luminous Book I area-shearing demonstration (via the famous “windmill” configuration of [I.4], [I.41], and [I.46]) and for generalizing the theorem in Book VI ([VI.31]) to arbitrary similar figures! He also records the two classical integer right-triangle generators (Friedlein 428–429): the Pythagorean odd-number rule and the Platonic even-number rule. - Prop. I.48 proves the converse of I.47 and closes the Commentary (Friedlein 432) with a tribute to Syrianus and an invitation to future philosophical commentators on the remaining books of Euclid.

Section Synopsis & Friedlein Map

Section	Friedlein Pages	Euclid Element	Greek Track
Props. I.33–I.34: Parallelogrammic Areas & Diameter Bisection	pp. 384–393	[I.34]	Greek (p. 384)
Prop. I.35: Equal Parallelograms & Birth of Locus Theorems	pp. 394–400	[I.35]	Greek (p. 394)
Props. I.36–I.41: Equal Parallelograms & Triangles Between Parallels	pp. 400–415	[I.41]	Greek (p. 400)
Props. I.42–I.43: Area Construction & Complements About the Diameter	pp. 415–418	[I.43]	Greek (p. 415)
Props. I.44–I.45: Pythagorean Application of Areas (Parabole, Hyperbole, Elleipsis)	pp. 419–423	[I.44]	Greek (p. 419)
Prop. I.46: Constructing the Square & Posidonius’s Definition	pp. 423–425	[I.46]	Greek (p. 423)
Prop. I.47: The Theorem of Pythagoras, Euclid’s Generalization & Triples	pp. 426–429	[I.47]	Greek (p. 426)
Prop. I.48: Converse of Pythagoras, Peroration & Manuscript Scholium	pp. 430–436	[I.48]	Greek (p. 430)