Lunes, Circles and Squares: Geometry of Equal Areas
Proofs on circles of double and quadruple proportion, superimposed figures, and the areas of lunes
A densely worked geometry sheet crowded with circles, semicircles, lunes (falcate) and inscribed and circumscribed squares. Leonardo reasons about equal figures partly superimposed on one another, showing that what they cover is equal and what remains uncovered is equal, and repeatedly invokes the theorem that in circles of double proportion half the greater equals the whole lesser. Numbered demonstrations (first, second, third) prove that lunes are equal to an included circle, and a marginal rule states that a circle touching a square's corners is double one touching its sides, extending to triple proportion and 'so on to infinity'.
On this page
Circles of double proportion: half the greater equals the whole lesser
If from equal things equal parts are removed, the remainder is equal; so removing the common contact b c leaves equal figures. Of circles in double proportion, half the greater equals the whole lesser, so they are equal. The semicircle a b c d superimposed on the equal circle b c e f projects outside it as much as the circle projects outside the semicircle, so the a d excesses equal the e f excesses.
Two lunes equal to the whole included circle
In the third figure, the lunes a c d b are worth the lune e c d; where two equal surfaces are partly superimposed, the covered parts are equal and the uncovered parts are equal. Hence a b, the uncovered part of the lunes, equals e, the uncovered part of the lune, and the two lunes d b are worth half the included circle.
Circle and square: corners double the sides
The circle that touches the corners of a square is double the circle that touches its sides. Likewise the square that touches a circle with its corners is double the square that touches the same circle with its sides.
Excess of the greater by proportion, to infinity
If two surfaces are in double proportion and the whole lesser is superimposed on the greater, the excess of the greater always equals the whole lesser. If the proportion is triple, the excess of the greater is double the lesser; and so it continues to infinity.
Marginal quadrature: transferring a portion to equalise the lunes
Along the lower margin Leonardo compares the voids of the first and second figures, showing the void b c exceeds the void a b by the value of the two lunes e f. He proposes to remove the portion e f and place it in the void b c, leaving double lunes as in the second figure. He concludes that the lunes c d equal the lunes a b, and that a c d b are worth the whole lesser circle h.
