Definitions on circles in double proportion and squaring the circle
Lunes and curvilinear triangles, with equal parts moved to preserve area
A sheet crowded with small circle figures, sectors, lunes and curvilinear triangles set out as numbered definitions. Leonardo states that of circles in double proportion the quarter of the lesser equals the eighth of the greater, and the half of the greater equals the whole of the lesser, invoking the axiom that equal parts taken from equal things leave equal remainders. He shifts portions of curvilinear triangles from place to place to show the quantity is preserved, and closes with a construction toward squaring the circle by subtracting equal squares from a greater square.
On this page
Circles in double proportion: quarter of the lesser equals eighth of the greater
First definition: of circles in double proportion, the quarter of the smaller equals the eighth of the greater, so the marked parts a and b are equal (two circles divided into four and eight parts).
Equal parts removed leave equal remainders
Second definition: if from equal things equal parts are taken away, the remainders are equal; removing part o from o n and o m leaves n and m equal. And of circles in double proportion, half the greater equals the whole of the smaller.
Moving a portion preserves the quantity
Taking the half-portion d from part c a and giving it to b leaves a c equal to d b; the half-portion d equals the whole portion c, being half of a portion double to c (curvilinear triangles d c - b a).
A construction toward squaring the circle
If a is made squarable and b is itself a square, the whole a b is a square; since it equals c, and c is the fourth part of the square from which the circle is removed, subtracting that square from the greater square leaves a remainder equal to the circle.
Ratios of circles in double proportion
The definitions rest on numerical ratios between concentric or paired circles standing in double proportion, matching quarters to eighths and halves to wholes across the figures.
