Theorem. The volume of a triangular pyramid is equal to one third of the product of its base by its altitude, and this is also true of any pyramid.

This is stated as two theorems in all textbooks, and properly so. It is explained to children who are studying arithmetic by means of a hollow pyramid and a hollow prism of equal base and equal altitude. The pyramid is filled with sand or grain, and the contents is poured into the prism. This is repeated, and again repeated, showing that the volume of the prism is three times the volume of the pyramid. It sometimes varies the work to show this to a class in geometry.

This proposition was first proved, so Archimedes asserts, by Eudoxus of Cnidus, famous as an astronomer, geometer, physician, and lawgiver, born in humble circumstances about 407 B.C. He studied at Athens and in Egypt, and founded a famous school of geometry at Cyzicus. His discovery also extended to the volume of the cone, and it was his work that gave the beginning to the science of stereometry, the mensuration part of solid geometry.

Theorem. The volume of the frustum of any pyramid is equal to the sum of the volumes of three pyramids whose common altitude is the altitude of the frustum, and whose bases are the lower base, the upper base, and the mean proportional between the bases of the frustum.

Attention should be called to the fact that this formula v = 1/3 a(b + b' + √(bb')) applies to the pyramid by letting b' = 0, to the prism by letting b = b', and also to the parallelepiped and cube, these being special forms of the prism. This formula is, therefore, a very general one, relating to all the polyhedrons that are commonly met in mensuration.

Theorem. There cannot be more than five regular convex polyhedrons.

Eudemus of Rhodes, one of the principal pupils of Aristotle, in his history of geometry of which Proclus preserves some fragments, tells us that Pythagoras discovered the construction of the "mundane figures," meaning the five regular polyhedrons. Iamblichus speaks of the discovery of the dodecahedron in these words:

As to Hippasus, who was a Pythagorean, they say that he perished in the sea on account of his impiety, inasmuch as he boasted that he first divulged the knowledge of the sphere with the twelve pentagons. Hippasus assumed the glory of the discovery to himself, whereas everything belongs to Him, for thus they designate Pythagoras, and do not call Him by name.

Iamblichus here refers to the dodecahedron inscribed in the sphere. The Pythagoreans looked upon these five solids as fundamental forms in the structure of the universe. In particular Plato tells us that they asserted that the four elements of the real world were the tetrahedron, octahedron, icosahedron, and cube, and Plutarch ascribes this doctrine to Pythagoras himself. Philolaus, who lived in the fifth century B.C., held that the elementary nature of bodies depended on their form. The tetrahedron was assigned to fire, the octahedron to air, the icosahedron to water, and the cube to earth, it being asserted that the smallest constituent part of each of these substances had the form here assigned to it. Although Eudemus attributes all five to Pythagoras, it is certain that the tetrahedron, cube, and octahedron were known to the Egyptians, since they appear in their architectural decorations. These solids were studied so extensively in the school of Plato that Proclus also speaks of them as the Platonic bodies, saying that Euclid "proposed to himself the construction of the so-called Platonic bodies as the final aim of his arrangement of the 'Elements.'" Aristæus, probably a little older than Euclid, wrote a book upon these solids.

As an interesting amplification of this proposition, the centers of the faces (squares) of a cube may be connected, an inscribed octahedron being thereby formed. Furthermore, if the vertices of the cube are A, B, C, D, A', B', C', D', then by drawing AC, CD', D'A, D'B', B'A, and B'C, a regular tetrahedron will be formed. Since the construction of the cube is a simple matter, this shows how three of the five regular solids may be constructed. The actual construction of the solids is not suited to elementary geometry.[89]