form their bases; for these also preserve equality between themselves throughout their diminution and in the end vanish, the one into the circumference of a circle, the other into a single point. Shall we not then call them equal seeing that they are the last traces and remnants of equal magnitudes? Note also that, even if these vessels were large enough to contain immense celestial hemispheres, both their upper edges and the apexes of the cones therein contained would always remain equal and would vanish, the former into circles having the dimensions of the largest celestial orbits, the latter into single points. Hence in conformity with the preceding we may say that all circumferences of circles, however different, are equal to each other, and are each equal to a single point.
Sagr. This presentation strikes me as so clever and novel that, even if I were able, I would not be willing to oppose it; for to deface so beautiful a structure by a blunt pedantic attack would be nothing short of sinful. But for our complete satisfaction
[76]
pray give us this geometrical proof that there is always equality between these solids and between their bases; for it cannot, I think, fail to be very ingenious, seeing how subtle is the philosophical argument based upon this result.
Salv. The demonstration is both short and easy. Referring to the preceding figure, since IPC is a right angle the square of the radius IC is equal to the sum of the squares on the two sides IP, PC; but the radius IC is equal to AC and also to GP, while CP is equal to PH. Hence the square of the line GP is equal to the sum of the squares of IP and PH, or multiplying through by 4, we have the square of the diameter GN equal to the sum of the squares on IO and HL. And, since the areas of circles are to each other as the squares of their diameters, it follows that the area of the circle whose diameter is GN is equal to the sum of the areas of circles having diameters IO and HL, so that if we remove the common area of the circle having IO for diameter the remaining area of the circle GN will be equal to the area of the circle whose diameter is HL. So much for the first part. As for the other part, we leave its demonstration for the present, partly
