Book 13
13
And the rectangle BA, AC is equal to the square on AD, and the rectangle AC, CB to the square on DC, for the perpendicular DC is a mean proportional between the segments AC, CB of the base, because the angle ADB is right. [VI. 8, Por.]
13
Therefore, as AB is to BC, so is the square on AD to the square on DC. Q. E. D.
PROPOSITION 14.
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 of the square on the side of the octahedron.
14
Let the diameter AB of the given sphere be set out, and let it be bisected at C; let the semicircle ADB be described on AB, let CD be drawn from C at right angles to AB, let DB be joined; let the square EFGH, having each of its sides equal to DB, be set out, let HF, EG be joined, from the point K let the straight line KL be set up at right angles to the plane of the square EFGH [XI. 12], and let it be carried through to the other side of the plane, as KM; from the straight lines KL, KM let KL, KM be respectively cut off equal to one of the straight lines EK, FK, GK, HK, and let LE, LF, LG, LH, ME, MF, MG, MH be joined.
14
Then, since KE is equal to KH, and the angle EKH is right, therefore the square on HE is double of the square on EK. [I. 47]
14
Again, since LK is equal to KE, and the angle LKE is right, therefore the square on EL is double of the square on EK. [id.]
