Unit IV · Historical & Mathematical Commentary¶
1. Ceva’s Cylindrical Ungula (1678) and Archimedes’ Lost Method (1906)¶
In Appendix Geometrica, Proposition VII, Giovanni Ceva proves that a cylindrical hoof (ungula cylindrica) cut by a plane through a diameter of the base has volume $\frac{2}{3} R^2 H$—remarkably free of $\pi$ and equal to $\frac{2}{3}$ of its circumscribed triangular prism. Neither Ceva nor his contemporaries knew that Archimedes had proved this very theorem by mechanical lever slices and triangular cross-sections in Propositions 12–15 of The Method of Mechanical Theorems—a treatise lost until Johan Ludvig Heiberg deciphered the Archimedes Palimpsest in Constantinople in 1906! That Ceva combined mechanical lever equilibrium (Libri I–II) with triangular ungula cubature (Appendix Prop. VII) in the same 1678 volume stands as one of the uncanny resonances in the history of mathematics.
2. Epistemological Significance of Ceva’s Indivisibles Paradox¶
Why did Ceva’s closing critique of Bonaventura Cavalieri's indivisibles resonate so strongly across late-seventeenth-century Italy?
For volumes ($\int A(z)\,dz$) and planar areas ($\int \ell(y)\,dy$), slicing parallel to a fixed direction preserves Lebesgue/Riemann measure up to a constant shear factor (Cavalieri’s Principle).
For arc lengths and curved surface areas, however, Hausdorff measure depends on the metric tangent slope ($ds = \sqrt{1 + r'(z)^2}\,dz$). Approximating a smooth curve by a staircase of horizontal and vertical steps—or approximating a sphere by stacked cylindrical ribbons of height $dz$ instead of inscribed conical frusta of slant height $ds$—fails to converge in arc/area norm (the classic staircase / Schwarz lantern phenomenon).
By diagnosing this exact failure in 1678—just as Leibniz and Newton were forging the differential $ds = \sqrt{dx^2 + dy^2}$—Ceva honored both Cavalieri’s heuristic power and the unassailable rigor of Archimedes and Luca Valerio.