Squaring the cylinder: transforming solids into equal squares
A second rule for reducing a parallelepiped to any thickness, proved from Euclid's Elements
Leonardo continues a study of solid geometry, having reduced the cylinder ab cg to sixteen cubes to obtain its 'squaring'. He now sets out a second rule for reducing the square face n m e f of a parallelepiped to any chosen lowness, lengthening the solid to preserve its volume, and shows the construction with gridded figures and a diagonal. A geometric proof, citing propositions of the Elements, demonstrates that adding or removing equal parts leaves equal remainders, so that the transformed figures e f a b and b d h i are equal. He notes the method holds for irrational as well as rational quantities.
On this page
First rule: the cylinder resolved into cubes
Having given the true squaring of the cylinder ab cg resolved into 16 cubes — n m e f being its breadth and length with the thickness e f c d — the first rule is complete. A second rule then reduces the square n m e f to any lesser thickness placed at the front e f c d, dividing that front (to a quarter, a b c d) and lengthening the parallel a c h i to compensate.
Second rule: thinning a parallelepiped by the diagonal
To lower the square e f a b to the thickness a b c d, the sides are continued and the parallel e c g i drawn; the diagonal e b (continued as c b) meets the line e f g at g, giving the new length. The construction is proved by dividing the breadth into four equal parallels and matching them against a c h i, then showing the triangles b f g and g h b (and a c b, b d c) equal.
Valid for rational and irrational quantities
Leonardo remarks that this method of reducing the parallel e f c d to the length of the parallel a c h i, by means of the given lowness a b c d, serves for irrational quantities just as for rational ones.
