Greek geometers naturally took an interest in the surface areas and volumes of solids, and Eudoxus of Cnidus produced the first results—and, above all, a method. Using ingenious dissections (see the feature "Ingenious calculations of perimeters, areas and volumes",
Tangente 154, 2013), he estimated the quantity sought and then proved geometrically that the result could be neither greater nor smaller; it therefore had to equal that estimate. In this way, he calculated the surface areas and volumes of cylinders and cones, as recorded in Euclid's
Éléments (The Elements). This two-pronged proof by contradiction, also known as
apagogic reasoning, is called the
method of exhaustion. But for even moderately complicated volumes, this ingenious method requires genuine geometric talent and is difficult to generalize.