Quadrature of the circle: portions and lunes
Dividing circles into equal portions and comparing double, octuple and sixteen-fold circles, with calculations
This densely worked sheet is a laboratory for Leonardo's attempts at squaring the circle. Rows and columns of semicircles, sectors, lunes (falcate) and circles with inscribed squares explore how a portion of a circle may be divided into equal parts and how the portions of circles in double, octuple and sixteen-fold proportion relate to one another. He records the maxim that whoever squares the figure n squares the circle, and proves several equalities of triangles, portions and lunes using the axiom that equals taken from equals leave equals. A block of arithmetical operations occupies the lower right, and further untranscribed prose runs among the diagrams.
On this page
Dividing a portion of a circle into equal parts
A construction to divide a portion of a circle into many equal and similar parts, in an even number. Related figures count out the parts of a divided circle, for example 17 equal and known parts made of 9 portions and 8 lunes.
Whoever squares n squares the circle (2a - n)
Beside a figure labelled 2a - n - scempia stands the claim that whoever squares n squares the circle, reducing the quadrature of the whole circle to the squaring of a single lettered figure.
Eight triangles with one curved and two straight sides
A semicircle is cut into 8 triangles equal among themselves, each with one curved side and two straight ones. This takes away the value of 8 of the smaller portions while the other takes 4, that is half; so the remainder of the half-taking equals the remainder of the eight-taking.
Circles in octuple proportion
Of circles in octuple proportion, the eighth of the greater is worth the whole of the lesser; therefore half of the lesser is worth a sixteenth of the greater. A neighbouring note treats circles in double proportion, where the quarter of the greater's portion equals half the lesser's.
Proof by equals taken from equals (a b c)
a b is worth c, proved by the axiom that if from equal things equal things are taken away, the remainder is equal. The circle is divided into two equal semicircles, and equals removed from equals leave equal remainders.
Columns of calculations
The lower-right corner carries several columns of arithmetical operations, including repeated multiplications around the number 6516 and figures such as 1530, 13032 and 68192.
