Squaring the circle: lunes, portions and the inscribed square
A geometric game equating circular parts to squares through doubling axioms
This densely worked sheet pursues the squaring of the circle by cutting circular areas into 'portions', bi-angles and sickle-shaped lunes and showing them equal to inscribed and circumscribed squares. Leonardo repeatedly invokes the axiom that taking double parts from double figures leaves a double remainder, and applies it to circles that stand in a 2:1 ratio. The page is filled with rings, inscribed squares, rosettes and a nine-pointed star divided into eight sectors, each annotated with letter-labelled equalities. A running numerical table (16, 8, 4, 2, 1) records the proportional bookkeeping.
On this page
Taking four greatest portions leaves an inscribed square
Removing the 4 greatest portions from the circle leaves a square whose four corners touch the surrounding circle. The square drawn outside the same circle, tangent along its sides, is double that inner square, so any figure made in the circle equals the smaller square and is half the greater.
The ring, the field m and the sixteen squares
In the large circular ring the field m equals the field of the four squares a b c d, and the solid a b c d equals the solid e f g h. The space enclosed by the smaller circumference equals its circumscribing parallelogram, which holds 16 squares plus four portions like m.
The doubling axiom on two circles in a 2:1 ratio
The two lower circles are double one to the other; taking double parts leaves a double remainder, as when 4 and 2 taken from 16 and 8 leave 12 and 6. Removing 8 bi-angles from one circle and 16 from the other keeps the remainder double and reduces it to squares.
The nine-pointed star and eight sectors
A greatest portion is divided into 8 sectors, together worth the 4 greatest portions. Taking 16 bi-angles from the double circle and 8 from the half circle leaves a double remainder, tallied in the column 16, 8, 4, 2, 1.
