You are here: BP HOME > BPG > Euclid: Elementa > fulltext
Euclid: Elementa

Choose languages

Choose images, etc.

Choose languages
Choose display
  • Enable images
  • Enable footnotes
    • Show all footnotes
    • Minimize footnotes
Search-help
Choose specific texts..
    Click to Expand/Collapse Option Complete text
Click to Expand/Collapse OptionTitle
Click to Expand/Collapse OptionPreface
Click to Expand/Collapse OptionBook I
Click to Expand/Collapse OptionBook ΙI
Click to Expand/Collapse OptionBook IΙΙ
Click to Expand/Collapse OptionBook IV
Click to Expand/Collapse OptionBook V
Click to Expand/Collapse OptionBook VI
Click to Expand/Collapse OptionBook VII
Click to Expand/Collapse OptionBook VIII
Click to Expand/Collapse OptionBook ΙΧ
Click to Expand/Collapse OptionBook Χ
Click to Expand/Collapse OptionBook ΧI
Click to Expand/Collapse OptionBook ΧIΙ
Click to Expand/Collapse OptionBook ΧIΙΙ
PROPOSITION 16. 
 
 
To construct an icosahedron and comprehend it in a sphere, like the aforesaid figures; and to prove that the side of the icosahedron is the irrational straight line called minor. 
 
 
Let the diameter AB of the given sphere be set out, and let it be cut at C so that AC is quadruple of CB,  let the semicircle ADB be described on AB,  let the straight line CD be drawn from C at right angles to AB, and let DB be joined;  let the circle EFGHK be set out and let its radius be equal to DB,  let the equilateral and equiangular pentagon EFGHK be inscribed in the circle EFGHK,  let the circumferences EF, FG, GH, HK, KE be bisected at the points L, M, N, O, P, and let LM, MN, NO, OP, PL, EP be joined.  Therefore the pentagon LMNOP is also equilateral, and the straight line EP belongs to a decagon.  Now from the points E, F, G, H, K let the straight lines EQ, FR, GS, HT, KU be set up at right angles to the plane of the circle, and let them be equal to the radius of the circle EFGHK, let QR, RS, ST, TU, UQ, QL, LR, RM, MS, SN, NT, TO, OU, UP, PQ be joined. 
               
               
Now, since each of the straight lines EQ, KU is at right angles to the same plane, therefore EQ is parallel to KU. [XI. 6]  But it is also equal to it;  and the straight lines joining those extremities of equal and parallel straight lines which are in the same direction are equal and parallel. [I. 33]  Therefore QU is equal and parallel to EK.  But EK belongs to an equilateral pentagon;  therefore QU also belongs to the equilateral pentagon inscribed in the circle EFGHK.  For the same reason each of the straight lines QR, RS, ST, TU also belongs to the equilateral pentagon inscribed in the circle EFGHK;  therefore the pentagon QRSTU is equilateral.  And, since QE belongs to a hexagon, and EP to a decagon, and the angle QEP is right,  therefore QP belongs to a pentagon;  for the square on the side of the pentagon is equal to the square on the side of the hexagon and the square on the side of the decagon inscribed in the same circle. [XIII. 10]  For the same reason PU is also a side of a pentagon.  But QU also belongs to a pentagon;  therefore the triangle QPU is equilateral.  For the same reason each of the triangles QLR, RMS, SNT, TOU is also equilateral.  And, since each of the straight lines QL, QP was proved to belong to a pentagon, and LP also belongs to a pentagon,  therefore the triangle QLP is equilateral.  For the same reason each of the triangles LRM, MSN, NTO, OUP is also equilateral. 
                                   
                                   
Let the centre of the circle EFGHK the point V, be taken;  from V let VZ be set up at right angles to the plane of the circle, let it be produced in the other direction, as VX, let there be cut off VW, the side of a hexagon, and each of the straight lines VX, WZ, being sides of a decagon, and let QZ, QW, UZ, EV, LV, LX, XM be joined. 
   
   
Now, since each of the straight lines VW, QE is at right angles to the plane of the circle, therefore VW is parallel to QE. [XI. 6]  But they are also equal; therefore EV, QW are also equal and parallel. [I. 33]  But EV belongs to a hexagon; therefore QW also belongs to a hexagon.  And, since QW belongs to a hexagon, and WZ to a decagon, and the angle QWZ is right, therefore QZ belongs to a pentagon. [XIII. 10]  For the same reason UZ also belongs to a pentagon,  inasmuch as, if we join VK, WU, they will be equal and opposite, and VK, being a radius, belongs to a hexagon; [IV. 15, Por.]  therefore WU also belongs to a hexagon.  But WZ belongs to a decagon, and the angle UWZ is right;  therefore UZ belongs to a pentagon. [XIII. 10]  But QU also belongs to a pentagon;  therefore the triangle QUZ is equilateral.  For the same reason each of the remaining triangles  of which the straight lines QR, RS, ST, TU are the bases, and the point Z the vertex, is also equilateral.  Again, since VL belongs to a hexagon, and VX to a decagon, and the angle LVX is right,  therefore LX belongs to a pentagon. [XIII. 10]  For the same reason, if we join MV, which belongs to a hexagon, MX is also inferred to belong to a pentagon.  But LM also belongs to a pentagon;  therefore the triangle LMX is equilateral.  Similarly it can be proved that each of the remaining triangles of which MN, NO, OP, PL are the bases, and the point X the vertex, is also equilateral.  Therefore an icosahedron has been constructed which is contained by twenty equilateral triangles. 
                                       
                                       
It is next required to comprehend it in the given sphere, and to prove that the side of the icosahedron is the irrational straight line called minor. 
 
 
For, since VW belongs to a hexagon, and WZ to a decagon,  therefore VZ has been cut in extreme and mean ratio at W, and VW is its greater segment; [XIII. 9]  therefore, as ZV is to VW, so is VW to WZ.  But VW is equal to VE, and WZ to VX;  therefore, as ZV is to VE, so is EV to VX.  And the angles ZVE, EVX are right;  therefore, if we join the straight line EZ, the angle XEZ will be right because of the similarity of the triangles XEZ, VEZ.  For the same reason, since, as ZV is to VW, so is VW to WZ, and ZV is equal to XW, and VW to WQ,  therefore, as XW is to WQ, so is QW to WZ.  And for this reason again, if we join QX, the angle at Q will be right; [VI. 8]  therefore the semicircle described on XZ will also pass through Q. [III. 31]  And if, XZ remaining fixed, the semicircle be carried round and restored to the same position from which it began to be moved,  it will also pass through Q and the remaining angular points of the icosahedron, and the icosahedron will have been comprehended in a sphere.  I say next that it is also comprehended in the given sphere. 
                           
                           
For let VW be bisected at A'.  Then, since the straight line VZ has been cut in extreme and mean ratio at W, and ZW is its lesser segment,  therefore the square on ZW added to the half of the greater segment, that is WA', is five times the square on the half of the greater segment; [XIII. 3]  therefore the square on ZA' is five times the square on .  And ZX is double of ZA', and VW double of ;  therefore the square on ZX is five times the square on WV.  And, since AC is quadruple of CB, therefore AB is five times BC.  But, as AB is to BC, so is the square on AB to the square on BD; [VI. 8, V. Def. 9]  therefore the square on AB is five times the square on BD.  But the square on ZX was also proved to be five times the square on VW.  And DB is equal to VW,  for each of them is equal to the radius of the circle EFGHK;  therefore AB is also equal to XZ.  And AB is the diameter of the given sphere;  therefore XZ is also equal to the diameter of the given sphere.  Therefore the icosahedron has been comprehended in the given sphere. 
                               
                               
I say next that the side of the icosahedron is the irrational straight line called minor.  For, since the diameter of the sphere is rational, and the square on it is five times the square on the radius of the circle EFGHK,  therefore the radius of the circle EFGHK is also rational;  hence its diameter is also rational.  But, if an equilateral pentagon be inscribed in a circle which has its diameter rational, the side of the pentagon is the irrational straight line called minor. [XIII. 11]  And the side of the pentagon EFGHK is the side of the icosahedron.  Therefore the side of the icosahedron is the irrational straight line called minor. 
             
             
PORISM.
From this it is manifest that the square on the diameter of the sphere is five times the square on the radius of the circle from which the icosahedron has been described, and that the diameter of the sphere is composed of the side of the hexagon and two of the sides of the decagon inscribed in the same circle. 
Q. E. D. 
   
   
PROPOSITION 17. 
 
 
To construct a dodecahedron and comprehend it in a sphere, like the aforesaid figures, and to prove that the side of the dodecahedron is the irrational straight line called apotome. 
 
 
Let ABCD, CBEF, two planes of the aforesaid cube at right angles to one another, be set out, let the sides AB, BC, CD, DA, EF, EB, FC be bisected at G, H, K, L, M, N, O respectively, let GK, HL, MH, NO be joined, let the straight lines NP, PO, HQ be cut in extreme and mean ratio at the points R, S, T respectively, and let RP, PS, TQ be their greater segments; from the points R, S, T let RU, SV, TW be set up at right angles to the planes of the cube towards the outside of the cube, let them be made equal to RP, PS, TQ, and let UB, BW, WC, CV, VU be joined.  I say that the pentagon UBWCV is equilateral, and in one plane, and is further equiangular. 
   
   
For let RB, SB, VB be joined.  Then, since the straight line NP has been cut in extreme and mean ratio at R, and RP is the greater segment,  therefore the squares on PN, NR are triple of the square on RP. [XIII. 4]  But PN is equal to NB, and PR to RU;  therefore the squares on BN, NR are triple of the square on RU.  But the square on BR is equal to the squares on BN, NR; [I. 47]  therefore the square on BR is triple of the square on RU;  hence the squares on BR, RU are quadruple of the square on RU.  But the square on BU is equal to the squares on BR, RU;  therefore the square on BU is quadruple of the square on RU;  therefore BU is double of RU.  But VU is also double of UR, inasmuch as SR is also double of PR, that is, of RU;  therefore BU is equal to UV.  Similarly it can be proved that each of the straight lines BW, WC, CV is also equal to each of the straight lines BU, UV.  Therefore the pentagon BUVCW is equilateral. 
                             
                             
I say next that it is also in one plane. 
 
 
For let PX be drawn from P parallel to each of the straight lines RU, SV and towards the outside of the cube, and let XH, HW be joined;  I say that XHW is a straight line. 
   
   
For, since HQ has been cut in extreme and mean ratio at T, and QT is its greater segment,  therefore, as HQ is to QT, so is QT to TH.  But HQ is equal to HP, and QT to each of the straight lines TW, PX;  therefore, as HP is to PX, so is WT to TH.  And HP is parallel to TW,  for each of them is at right angles to the plane BD; [XI. 6]  and TH is parallel to PX,  for each of them is at right angles to the plane BF. [id.]  But if two triangles, as XPH, HTW, which have two sides proportional to two sides be placed together at one angle so that their corresponding sides are also parallel,  the remaining straight lines will be in a straight line; [VI. 32]  therefore XH is in a straight line with HW.  But every straight line is in one plane; [XI. 1]  therefore the pentagon UBWCV is in one plane. 
                         
                         
I say next that it is also equiangular. 
 
 
For, since the straight line NP has been cut in extreme and mean ratio at R, and PR is the greater segment, while PR is equal to PS,  therefore NS has also been cut in extreme and mean ratio at P, and NP is the greater segment; [XIII. 5]  therefore the squares on NS, SP are triple of the square on NP. [XIII. 4]  But NP is equal to NB, and PS to SV;  therefore the squares on NS, SV are triple of the square on NB;  hence the squares on VS, SN, NB are quadruple of the square on NB.  But the square on SB is equal to the squares on SN, NB;  therefore the squares on BS, SV, that is, the square on BV — for the angle VSB is right — is quadruple of the square on NB;  therefore VB is double of BN.  But BC is also double of BN;  therefore BV is equal to BC.  And, since the two sides BU, UV are equal to the two sides BW, WC, and the base BV is equal to the base BC,  therefore the angle BUV is equal to the angle BWC. [I. 8]  Similarly we can prove that the angle UVC is also equal to the angle BWC;  therefore the three angles BWC, BUV, UVC are equal to one another.  But if in an equilateral pentagon three angles are equal to one another, the pentagon will be equiangular, [XIII. 7]  therefore the pentagon BUVCW is equiangular.  And it was also proved equilateral;  therefore the pentagon BUVCW is equilateral and equiangular, and it is on one side BC of the cube.  Therefore, if we make the same construction in the case of each of the twelve sides of the cube,  a solid figure will have been constructed which is contained by twelve equilateral and equiangular pentagons, and which is called a dodecahedron. 
                                         
                                         
It is then required to comprehend it in the given sphere, and to prove that the side of the dodecahedron is the irrational straight line called apotome. 
 
 
For let XP be produced, and let the produced straight line be XZ;  therefore PZ meets the diameter of the cube, and they bisect one another,  for this has been proved in the last theorem but one of the eleventh book. [XI. 38]  Let them cut at Z;  therefore Z is the centre of the sphere which comprehends the cube, and ZP is half of the side of the cube.  Let UZ be joined.  Now, since the straight line NS has been cut in extreme and mean ratio at P, and NP is its greater segment,  therefore the squares on NS, SP are triple of the square on NP. [XIII. 4]  But NS is equal to XZ, inasmuch as NP is also equal to PZ, and XP to PS.  But further PS is also equal to XU, since it is also equal to RP;  therefore the squares on ZX, XU are triple of the square on NP.  But the square on UZ is equal to the squares on ZX, XU;  therefore the square on UZ is triple of the square on NP.  But the square on the radius of the sphere which comprehends the cube is also triple of the square on the half of the side of the cube,  for it has previously been shown how to construct a cube and comprehend it in a sphere, and to prove that the square on the diameter of the sphere is triple of the square on the side of the cube. [XIII. 15]  But, if whole is so related to whole, so is half to half also;  and NP is half of the side of the cube;  therefore UZ is equal to the radius of the sphere which comprehends the cube.  And Z is the centre of the sphere which comprehends the cube;  therefore the point U is on the surface of the sphere.  Similarly we can prove that each of the remaining angles of the dodecahedron is also on the surface of the sphere;  therefore the dodecahedron has been comprehended in the given sphere. 
                                           
                                           
I say next that the side of the dodecahedron is the irrational straight line called apotome. 
 
 
For since, when NP has been cut in extreme and mean ratio, RP is the greater segment,  and, when PO has been cut in extreme and mean ratio, PS is the greater segment,  therefore, when the whole NO is cut in extreme and mean ratio, RS is the greater segment.  [Thus, since, as NP is to PR, so is PR to RN, the same is true of the doubles also,  for parts have the same ratio as their equimultiples; [V. 15]  therefore as NO is to RS, so is RS to the sum of NR, SO.  But NO is greater than RS;  therefore RS is also greater than the sum of NR, SO;  therefore NO has been cut in extreme and mean ratio, and RS is its greater segment.]  But RS is equal to UV;  therefore, when NO is cut in extreme and mean ratio, UV is the greater segment.  And, since the diameter of the sphere is rational, and the square on it is triple of the square on the side of the cube,  therefore NO, being a side of the cube, is rational.  [But if a rational line be cut in extreme and mean ratio, each of the segments is an irrational apotome.] 
                           
                           
Therefore UV, being a side of the dodecahedron, is an irrational apotome. [XIII. 6] 
 
 
PORISM.
From this it is manifest that, when the side of the cube is cut in extreme and mean ratio, the greater segment is the side of the dodecahedron. 
Q. E. D. 
   
   
 
Go to Wiki Documentation
Enhet: Det humanistiske fakultet   Utviklet av: IT-seksjonen ved HF
Login