Overview Findings Dependencies Minimal Elements What Euclid assumes Shortest constructions Book X Text and figures

Everything Pythagoras needs

Minimal Elements

The calculation is not special to I.47 — any proposition can be tree-shaken the same way.

executedcited

euclid minimal III.35
euclid minimal X.115

The diagrams record constructions that ran, so they do not resemble Euclid's composed figures. A cross-reference is either a call that was recorded as it happened or a name written beside the step by hand. Which is which →

Every proposition statement here is Thomas L. Heath, The Thirteen Books of Euclid's Elements (Cambridge University Press, 1908). Public domain. Where the text comes from →