Let the diameter AB of the given sphere be set out, and let it be cut at the point C so that AC is double of CB;
let the semicircle ADB be described on AB, let CD be drawn from the point C at right angles to AB, and let DA be joined;
let the circle EFG which has its radius equal to DC be set out, let the equilateral triangle EFG be inscribed in the circle EFG, [IV. 2]
let the centre of the circle, the point H, be taken, [III. 1]
let EH, HF, HG be joined;
from the point H let HK be set up at right angles to the plane of the circle EFG, [XI. 12]
let HK equal to the straight line AC be cut off from HK,
and let KE, KF, KG be joined.
Now, since KH is at right angles to the plane of the circle EFG,
therefore it will also make right angles with all the straight lines which meet it and are in the plane of the circle EFG. [XI. Def. 3]
But each of the straight lines HE, HF, HG meets it:
therefore HK is at right angles to each of the straight lines HE, HF, HG.
And, since AC is equal to HK, and CD to HE, and they contain right angles,
therefore the base DA is equal to the base KE. [I. 4]
For the same reason each of the straight lines KF, KG is also equal to DA;
therefore the three straight lines KE, KF, KG are equal to one another.
And, since AC is double of CB, therefore AB is triple of BC.
But, as AB is to BC, so is the square on AD to the square on DC, as will be proved afterwards.
Therefore the square on AD is triple of the square on DC.
But the square on FE is also triple of the square on EH, [XIII. 12]
and DC is equal to EH;
therefore DA is also equal to EF.
But DA was proved equal to each of the straight lines KE, KF, KG;
therefore each of the straight lines EF, FG, GE is also equal to each of the straight lines KE, KF, KG;
therefore the four triangles EFG, KEF, KFG, KEG are equilateral.
Therefore a pyramid has been constructed out of four equilateral triangles, the triangle EFG being its base and the point K its vertex.