Do octaedro à stella octangula. Construção.

Pontos médios das arestas de um cubo (ou de um octaedro) são vértices de um cuboctaedro

octaedro regular de vértices sobre as arestas do tetraedro regular

Livro XIII: Construção de um octaedro inscrito numa esfera dada

---

Proposição 14:
Construir um octaedro inscrito numa esfera dada e mostrar que o quadrado do diâmetro da esfera é o dobro do quadrado da aresta do octadedro nela inscrito.
Passos da construção:

1. Tomámos um segmento $\;AB\;$ para eixo de um semicírculo gerador da esfera.
2. Determinámos um ponto $\;C \;$ de $\;AB\;$ tal que $\;AC=CB\;$
3. Assinalámos $\;D\;$ na interseção da perpendicular a $\;AB\;$ tirada por $\;C\;$ com o semicírculo de diâmetro $\;AB \;$. Traçámos o segmento de reta $\;DB\;$
4. Prolongámos $\;CD\;$ e tomámos sobre essa a reta, a partir de $\;C\;$ em sentido oposto ao de $\;D,\;$ um segmento de comprimento igual $\;AB\;$ e uma circunferência com esse segmento para diâmetro.
5. No caso da nossa construção, tomámos um ponto $\;E\;$ dessa circunferência e nela inscrevemos um polígono $\;EFGH\;$ tais que $\;EF = EG = FG=GH=DB\;$. Podíamos ter tomado um outro quadrado de lado igual a $\;DB\;$ em qualquer lugar do espaço. As opções tomadas só têm a ver com aspeto e tamanho da nossa construção.
6. Sendo $\;K\;$ o centro da circunferência, tirámos uma perpendicular ao plano da circunferência $\;(EFGH)\;$ e sobre ela tomámos $\;L\;$ e $\;M,\;$ um de cada lado do plano de $\;(EFGH)\;$, tais que $\;KL=KM=KE=KF=KG=KH\;$
7. Os 6 pontos $\;E,\;F,\;G,\;H,\;L,\;M\;$ serão vértices de um sólido de 8 faces triangulares $ \;LEF,\;LFG,\;LGH, \;LHE,\;MEF, \;MFG, \;MFH, \; MHE,\;$ que duas a duas se intersetam em alguma das 12 arestas $\;EF, \;FG, \;GH, \;HE, LE,\;LF,\;LG,\;LH,\;ME, \;MF,\;MG,\;MH.\;$ Traçamos tais arestas e faces.

Demonstraremos que o sólido construído é o octaedro requerido e que o quadrado do diâmetro da esfera é o dobro do quadrado da aresta do octaedro inscrito na esfera.

© geometrias. 1 de julho de 2015, Criado com GeoGebra

Nota: Pode utilizar as ferramentas (topo esquerdo - para deslocar a figura e vê-la de vários pontos de vista; topo direito - para desfazer ou refazer transformações da figura)

Demonstração:

1. Por construção, $\;EFGH\;$ é um quadrado de lado igual a $\;DB.\;$E $\;EK=FK=GK=HK=KL=KM\;$ sendo iguais os ângulos $\;L\hat{K}E = M\hat{K}E = L\hat{K}F =M\hat{k}F = … = \;$1 reto. Por isso, $\;EK^2=LK^2, \; \; EL^2= 2\times EK^2. \;$ Do mesmo modo, $\;EH^2=2 \times EK^2\;$ e, por isso, $\;EL=EH\;$. Pelas mesmas razões, $\;LH = HE.\;$. Assim, podemos concluir que o triângulo $\;LEH\;$ é equilátero.
   Podemos concluir que são equiláteros todos os restantes triângulos cujas bases são os lados do quadrado $\;EFGH\;$ e o terceiro vértice opostos de cada base é $\;L\;$ ou $\;M\;$. Isto quer dizer que construímos um sólido cujas faces são triângulos equiláteros iguais, ou seja, é um octaedro o que construímos.
2. Falta-nos provar que os vértices do octaedro construído são pontos da superfície esférica de diâmetro igual a $\;AB.\;$ Assim provamos a seguir:
   1. Por construção, $EF=FG=GH=HE=DB$ e, como vimos, os triângulos de bases $\;EFL, \;FGL, \;GHL, \;HEL, \: EFM, \;FGM, \;GHM, \;HEM, \: $ são equiláteros de lados iguais a $\;DB.\;$
   2. Como $\;LK, \;KM,\;KE\;$ são iguais, a semicircunferência desenhada de diâmetro $\;LM\;$ também passa por $\;E.\;$ E pela mesma razão, o semicírculo rodando em torno de $\;LM\;$ fixo também passa pelos pontos $ \;F, G, H\;$ e o octaedro terá os seus vértices numa esfera de diâmetro $\;LM.\;$
   3. E dado que $\;LK=KM\;$ e $\;KE\;$ comum nos triângulos $\;LKE\;$ e $\;MKE\;$ ambos retângulos em $\;\hat{K}\;$, $\;LE=EM\;$
   4. E como, por construção $\;L\hat{E}M\;$ é reto por estar inscrito num semicírculo de diâmetro $\;LM, \;$ então $\;LM^2= 2 \times LE^2\;$
   5. E como, por construção, o triângulo $\;ADB\;$ é retângulo em $\; \hat{D}\;$ (inscrito no semicírculo) e $\;AD=DB\;$ então $\;AB^2=AD^2+DB^2, \;$ de onde retiramos que $AB^2=2\times DB^2$
   6. Por ser, como vimos, $\;LE =DB\;$, podemos dizer que $\;AB^2=LM^2= 2 \times LE^2$, de onde se conclui:
      $\;AB=LM\;\;$ e $\;\;AB^2 = 2 \times LE^2$
   Fica assim provado que a semicircunferência de diâmetro $\;LM\;$ gera uma esfera (a passar pelos vértices do octaedro construído) congruente com esfera dada - gerada pela semicircunferência de diâmetro $\;AB.\;$
   e também ficou provado que o quadrado de lado igual ao diâmetro de uma esfera dada é igual ao quadrado de lado igual à aresta do octaedro nela inscrito.           □

---

1. EUCLID’S ELEMENTS OF GEOMETRY The Greek text of J.L. Heiberg (1883–1885) from Euclidis Elementa, edidit et Latine interpretatus est I.L. Heiberg, in aedibus B.G. Teubneri, 1883–1885 edited, and provided with a modern English translation, by Richard Fitzpatrick
   
2. David Joyce. Euclide's Elements