Squaring the circle: lunes and circle-square proportions
Dozens of figures reducing lunes and circles to equivalent squares, using Euclidean rules of equal remainders.
A densely packed sheet of Leonardo's geometrical game of transformation, arranged in columns of small diagrams: squares, circles, double circles and crescent-shaped lunes, each annotated with what it is 'worth' when equal parts are subtracted. The reasoning rests on the Euclidean common notion that equals taken from equals leave equals, applied to prove figures equal to a square. A recurring unit is 'the greatest square of the greatest circle', with figures repeatedly declared double (duplo) or half (subduplo) of it.
On this page
Squaring a figure by removing two lunes
The square nmop is known, and the quadratures of the two lunes are known as well. Removing those two lunes from the square leaves a square equal to the square below it, that is, a square equal to half the square above. It is a single step in the game of reducing lune-and-circle figures to equivalent squares.
Common notion: equals taken from equals
If from equal quantities you take away equal quantities, the remainders stay equal; if from a known quantity you take a known quantity, the remainder stays known. This axiom, written at the head of the sheet, is the engine of every proof below it, where figures are shown equal by subtracting matching parts.
Circle-squares in double and half ratio
Many notes value a figure as double or 'subduple' (half) of the greatest square of a circle. Here ab is squarable into a square half the greatest square of the greatest circle. Leonardo tracks each figure purely through its proportional value rather than by measurement.
The greatest square of the greatest circle
A recurring standard on the sheet is the largest square inscribed in the largest circle: the marked areas a, ab and abc are each declared worth this greatest square. In one figure, taking away four rectangles from it leaves the value of the greatest square of the smallest circle.
