Squaring circles by portions and curvilinear figures
Figures proved equal through quadruple and double proportions of circle-portions, lunes and curvilinear triangles.
Another crowded sheet from Leonardo's study of transforming circular figures into squares, filled with circles, inscribed squares, rosettes, hatched lunes and star-shaped patterns. The notes count 'portions' of circles and compare them: 24 small portions of one figure are shown worth 4 great portions of another because the circles stand in quadruple proportion. Repeated appeals to the rule that equal parts taken from equal wholes leave equal remainders, together with statements about double and sextuple proportions of circles, tie the diagrams into proportional arguments. A short calculation in another hand and columns of numbers appear at the lower right.
On this page
Portions of circles in quadruple proportion
The 24 portions of the first figure are worth the 4 greatest portions of the second, because the smaller portions are one quarter of the larger and alike in shape, each made from a fourth of its circumference. Since the circles stand in quadruple proportion, so do their portions, and removing them leaves the square remaining in each figure equal.
Curvilinear triangles equal to two bi-angles
The curvilinear triangles a b are worth the two curvilinear bi-angles d e. Leonardo proves it: the curvilinear triangle a c b is worth a quarter of its whole greatest circle, and the circle c d e is worth the same; removing the curvilinear triangle c from each leaves a b equal to the two bi-angles d e.
Circles in double and sextuple proportion
Two brief rules govern nested circles: of circles in sextuple proportion, half of the smaller is worth a sixth of the larger; of circles in double proportion, a quarter of the larger is worth half of the smaller. They convert the concentric-circle diagrams into simple fractional statements.
Squaring by removing equal portions
At the lower right stands the common notion in bare form: if from equal things you take away equal parts, the remainders are equal. This is the principle that licenses every claim on the sheet that a hatched or 'squarable' region equals a given square once matching portions are struck out.
