:400px Let $AB$ be the diameter of the given sphere. Let $AB$ be bisected at $C$. Let $AB$ be cut at $D$ where $AD = 2 \cdot DB$. Let $AEB$ be a semicircle on the diameter $AB$. Let $CE$ be drawn from $C$ perpendicular to $AB$. Let $DF$ be drawn from $D$ perpendicular to $AB$. Let $AF, FB, EB$ be joined. We have that: :$AD = 2 \cdot DB$ Therefore: :$AB = 3 \cdot DB$ and so: :$AB = \dfrac 3 2 \cdot AD$ We have that $\triangle AFB$ is equiangular with $\triangle AFD$. So from: :{{EuclidPropLink|book = VI|prop = 8|title = Perpendicular in Right-Angled Triangle makes two Similar Triangles}} and: :{{EuclidDefLink|V|9|Duplicate Ratio}} it follows that: :$BA : AD = BA^2 : AF^2$ Therefore: :$BA^2 = \dfrac 3 2 \cdot AF^2$ But from {{EuclidPropLink|book = XIII|prop = 13|title = Construction of Regular Tetrahedron within Given Sphere}}: :the square on the diameter of the given sphere is $1 \frac 1 2$ times the square on the side of the regular tetrahedron inscribed within it. But $AB$ is the diameter of the given sphere. Therefore $AF$ is equal to the side of the regular tetrahedron inscribed within. {{qed|lemma}} We have that: :$AD = 2 \cdot DB$ Therefore: :$AB = 3 \cdot DB$ So from: :{{EuclidPropLink|book = VI|prop = 8|title = Perpendicular in Right-Angled Triangle makes two Similar Triangles}} and: :{{EuclidDefLink|V|9|Duplicate Ratio}} it follows that: :$AB : BD = AB^2 : BF^2$ Therefore: :$AB^2 = 3 \cdot BF^2$ But from {{EuclidPropLink|book = XIII|prop = 15|title = Construction of Cube within Given Sphere}}: :the square on the diameter of the given sphere is $3$ times the square on the side of the cube inscribed within it. But $AB$ is the diameter of the given sphere. Therefore $BF$ is equal to the side of the cube inscribed within. {{qed|lemma}} We have that: :$AC = CB$ Therefore: :$AB = 2 \cdot BC$ But: :$AB : BC = AB^2 : BE^2$ But from {{EuclidPropLink|book = XIII|prop = 14|title = Construction of Regular Octahedron within Given Sphere}}: :the square on the diameter of the given sphere is $2$ times the square on the side of the regular octahedron inscribed within it. But $AB$ is the diameter of the given sphere. Therefore $BE$ is equal to the side of the regular octahedron inscribed within. {{qed|lemma}} Let $AG$ be drawn from $A$ perpendicular to $AB$. Let $AG = AB$. Let $GC$ be joined. Let $H$ be the point where $GC$ cuts the semicircle $AEB$. Let $HK$ be drawn perpendicular to $AB$ from $H$. We have that: :$GA = 2 \cdot AC$ We also have that: :$GA : AC = HK : KC$ Therefore: :$HK = 2 \cdot KC$ Therefore: :$HK^2 = 4 \cdot KC^2$ Therefore: :$HK^2 + KC^2 = 5 \cdot KC^2$ But by {{EuclidPropLink|book = I|prop = 47|title = Pythagoras's Theorem}}: :$HK^2 + KC^2 = HC^2$ We also have that: :$HC = CB$ So: :$CB^2 = 5 CK^2$ We have that: :$AB = 2 \cdot BC$ and: :$AD = 2 \cdot DB$ Therefore: :$BD = 2 \cdot DC$ Therefore: :$BC = 3 \cdot CD$ and so: :$BC^2 = 9 \cdot CD^2$ But: :$BC^2 = 5 CK^2$ Therefore: :$CK^2 > CD^2$ and so: :$CK > CD$ Let $CL = CK$. Let $LM$ be drawn from $L$ perpendicular to $AB$. Let $MB$ be joined. We have that: :$BC^2 = 5 CK^2$ and: :$AB = 2 \cdot BC$ and: :$KL = 2 \cdot CK$ Therefore: :$AB^2 = 5 KL^2$ But from {{EuclidPropLink|book = XIII|prop = 16|qual=Porism|title = Construction of Regular Icosahedron within Given Sphere}}: :the square on the diameter of the given sphere is $5$ times the square of the radius of the circle from which the regular icosahedron has been described. We have that $AB$ is the diameter of the given sphere. Therefore $KL$ is the radius of the circle from which the regular icosahedron has been described. Therefore from {{EuclidPropLink|book = IV|prop = 15|qual=Porism|title = Inscribing Regular Hexagon in Circle}}: :$KL$ is equal to the side of a regular hexagon in that circle. From {{EuclidPropLink|book = XIII|prop = 16|qual=Porism|title = Construction of Regular Icosahedron within Given Sphere}}: :the diameter of the given sphere is composed of the side of the regular hexagon and two of the sides of the regular decagon inscribed in that circle. We have that $AB$ is the diameter of the given sphere. Also we have that $KL$ is equal to the side of a regular hexagon in that circle. Also: :$AK = LB$ Therefore each of $AK$ and $LB$ is the side of the regular decagon inscribed in that circle. We have that: : $LB$ is the side of such a regular decagon : $ML$ is the side of such a regular hexagon Then: :$HK$ and $HK$ are the same distance from $C$, the midpoint of $AB$ Also, each of $HK$ and $KL$ is twice $KC$. So: :$ML = KL = HK$ Therefore from {{EuclidPropLink|book = XIII|prop = 10|title = Square on Side of Regular Pentagon inscribed in Circle equals Squares on Sides of Hexagon and Decagon inscribed in same Circle}}: :$MB$ is the side of the regular pentagon inscribed in that circle. But from {{EuclidPropLink|book = XIII|prop = 16|title = Construction of Regular Icosahedron within Given Sphere}}: :the side of the regular pentagon inscribed in that circle equals the side of the regular icosahedron inscribed within the given sphere. Therefore $MB$ is equal to the side of the regular icosahedron inscribed within. {{qed|lemma}} We have that $FB$ is equal to the side of the cube inscribed within the given sphere. Let $FB$ be cut in extreme and mean ratio at $N$ such that the greater segment is $NB$. From the {{EuclidPropLink|book = XIII|prop = 17|qual=Porism|title = Construction of Regular Dodecahedron within Given Sphere}}: :$NB$ equals the side of the regular dodecahedron inscribed within the given sphere. We have that the square on the diameter of the sphere is: :$1 \frac 1 2$ times the square on the side $AF$ of the regular tetrahedron :$2$ times the square on the side $BE$ of the regular octahedron :$3$ times the square on the side $FB$ of the cube inscribed within it. Therefore the square on: :the side $AF$ of the regular tetrahedron is $\dfrac 4 6$  :the side $BE$ of the regular octahedron is $\dfrac 3 6$ :the side $FB$ of the cube is $\dfrac 2 6$ times the square on the diameter of the sphere. Therefore: :the square on the side $AF$ of the regular tetrahedron is $\dfrac 4 3$ times the square on the side $BE$ of the regular octahedron :the square on the side $AF$ of the regular tetrahedron is $2$ times the square on the side $FB$ of the cube :the square on the side $BE$ of the regular octahedron is $\dfrac 3 2$ times the square on the side $FB$ of the cube. That is, the sides of the regular tetrahedron, the regular octahedron and the cube are to one another in rational ratios. From {{EuclidPropLink|book = XIII|prop = 16|title = Construction of Regular Icosahedron within Given Sphere}}: :the side of the regular icosahedron is a minor. From {{EuclidPropLink|book = XIII|prop = 17|title = Construction of Regular Dodecahedron within Given Sphere}}: :the side of the regular dodecahedron is an apotome. Thus the remaining two, that is the sides of the regular icosahedron and the regular dodecahedron, are not in rational ratios either to one another or the sides of the first three: From {{EuclidPropLink|book = VI|prop = 8|title = Perpendicular in Right-Angled Triangle makes two Similar Triangles}}: :$\triangle FDB$ is equiangular with $\triangle FAB$. So from {{EuclidPropLink|book = VI|prop = 4|title = Equiangular Triangles are Similar}}: :$DB : BF = BF : BA$ Thus $DB, BF, BA$ are proportional. So from: :{{EuclidDefLink|V|9|Duplicate Ratio}} and: :{{EuclidPropLink|book = VI|prop = 20|qual=Porism|title = Similar Polygons are composed of Similar Triangles}} it follows that: :$DB : BA = DB^2 : BF^2$ That is: :$AB : BD = FB^2 = BD^2$ But: :$AB = 3 \cdot BD$ Therefore: :$FB^2 = 3 \cdot BD^2$ But we have that: :$AD = 2 \cdot DB$ and so: :$AD^2 = 4 \cdot DB^2$ Therefore: :$AD > FB$ and so: :$AL > FB$ From {{EuclidPropLink|book = XIII|prop = 9|title = Sides Appended of Hexagon and Decagon inscribed in same Circle are cut in Extreme and Mean Ratio}}: :$LK$ is the side of the regular hexagon and $KA$ the side of the regular decagon inscribed in that circle. So: :when $AL$ is cut in extreme and mean ratio, the greater segment is $KL$ and: :when $FB$ is cut in extreme and mean ratio, the greater segment is $NB$. Therefore: :$KL > NB$ But: :$KL = LM$ Therefore: :$LM > NB$ Therefore $MB$, which is the side of the regular icosahedron, is greater than $NB$, the side of the regular dodecahedron. {{qed}}