Squaring of lunes: proofs on crescent-shaped figures
Geometric quadrature of falcate (lunes) by triangles and difference of squares
A dense mathematical sheet devoted entirely to the quadrature of lunes (falcate), the crescent-shaped figures bounded by two circular arcs. Leonardo works through several proofs: making a lune squarable by adding triangles, subtracting a smaller square from a larger one so the remainder equals the leftover crescent, equating a lune to a differently curved but equal figure, and bisecting a lune exactly by a curve into two equal parts. The margins are lined with more than a dozen small triangle-and-crescent diagrams; a small sketched head also appears in the left margin among them.
On this page
Squaring a lune by the difference of two squares
f, which is squarable, is set equal to the non-squarable n b. Leonardo adds t n to f and m to n b to make each squarable, squares b m (whose curvatures are equal), then forms a square of f t n and a smaller square of b m. Subtracting the smaller square from the greater, the remainder equals n, so the leftover crescent n is itself brought to a square.
Equating a lune to a figure of unlike curvature
The proposed surface d e is known because its squaring is the rectilinear triangle e f, and it lies between two curved sides and a straight base. He equates it to another known surface a b, whose squaring is b c, whose curved boundaries are equal in quantity but not in curvature, since the shorter arc belongs to a circle double the opposite, longer one.
Bisecting a lune with a curve into two equal parts
If the lune a b c d is cut by the curve e f, it is divided exactly in half, so a b equals c d. The proof compares sectors h e f and i e L K, one being an eighth of a circle double another whose sector is a quarter; removing g b and b d leaves equal remainders, so the great lune is split into two equal parts by e f.
