Euclid's Elements Book XIII - Proposition 14

Proposition 14

To construct an octahedron and comprehend it in a sphere, as in the preceding case; and to prove that the square on the diameter of the sphere is double the square on the side of the octahedron.

I.11

Set out the diameter AB of the given sphere, bisect it at C, describe the semicircle ADB on AB, draw CD from C at right angles to AB, and join DB.

I.46

XI.12

Set out the square EFGH, having each of its sides equal to DB, join HF and EG, set up the straight line KL from the point K at right angles to the plane of the square EFGH, and carry it through to the other side of the plane KM.

I.3

Cut off KL and KM from the straight lines KL and KM respectively equal to one of the straight lines EK, FK, GK, or HK, and join LE, LF, LG, LH, ME, MF, MG, and MH.

I.47

Then, since KE equals KH, and the angle EKH is right, therefore the square on HE is double the square on EK. Again, since LK equals KE, and the angle LKE is right, therefore the square on EL is double the square on EK.

But the square on HE was also proved double the square on EK, therefore the square on LE equals the square on EH. Therefore LE equals EH. For the same reason LH also equals HE.

Therefore the triangle LEH is equilateral.

XI.Def.26

Similarly we can prove that each of the remaining triangles of which the sides of the square EFGH are the bases and the points L and M are the vertices, is equilateral, therefore an octahedron has been constructed which is contained by eight equilateral triangles.

It is next required to comprehend it in the given sphere, and to prove that the square on the diameter of the sphere is double the square on the side of the octahedron.

Since the three straight lines LK, KM, and KE equal one another, therefore the semicircle described on LM passes through E. And for the same reason, if, LM remaining fixed, the semicircle be carried round and restored to the same position from which it began to be moved, then it also passes through the points F, G, and H, and the octahedron will be comprehended in a sphere.

I say next that it is also comprehended in the given sphere.

I.4

For, since LK equals KM, while KE is common, and they contain right angles, therefore the base LE equals the base EM.

III.31, I.47

And, since the angle LEM is right, for it is in a semicircle, therefore the square on LM is double the square on LE.

Again, since AC equals CB, therefore AB is double BC. But AB is to BC as the square on AB is to the square on BD, therefore the square on AB is double the square on BD.

But the square on LM was also proved double the square on LE. And the square on DB equals the square on LE, for EH was made equal to DB. Therefore the square on AB equals the square on LM. Therefore AB equals LM.

And AB is the diameter of the given sphere, therefore LM equals the diameter of the given sphere.

Therefore the octahedron has been comprehended in the given sphere, and it has been demonstrated at the same time that the square on the diameter of the sphere is double the square on the side of the octahedron.

Q.E.F.