El Tetraedro Autodual
El unico solido platonico que es su propio dual: una simetria perfecta entre vertices y caras.
Autodualidad Algebraica
Un poliedro \(\{p,q\}\) es autodual cuando su dual es congruente a si mismo. Recordemos de la Leccion 13 que el dual de \(\{p,q\}\) es \(\{q,p\}\). La condicion de autodualidad es:
$$ \{p,q\} = \{q,p\} \quad \Longleftrightarrow \quad p = q $$Entre los solidos platonicos, la unica solucion es \(p = q = 3\): el tetraedro \(\{3,3\}\). Verificamos que la dualidad no cambia nada en las cuentas combinatorias:
| \(\{p,q\}\) | V | E | F | |
|---|---|---|---|---|
| Tetraedro | {3,3} | 4 | 6 | 4 |
| Dual | {3,3} | 4 | 6 | 4 |
\(V = F = 4\), \(E = 6\). La dualidad intercambia vertices y caras, pero como ambos son 4, el resultado es identico. Las aristas se conservan: \(E^* = E = 6\).
Coordenadas Explicitas
Los 4 vertices del tetraedro pueden colocarse en vertices alternos de un cubo \([-1,1]^3\):
$$ T = \bigl\{(1,1,1),\;(1,-1,-1),\;(-1,1,-1),\;(-1,-1,1)\bigr\} $$Observa el patron: cada vertice tiene una cantidad par de signos negativos (0 o 2). Verifiquemos que todos estan equidistantes. La distancia entre los dos primeros:
$$ d\bigl((1,1,1),(1,-1,-1)\bigr) = \sqrt{0 + 4 + 4} = 2\sqrt{2} $$Para cualquier otro par \((i,j)\), las coordenadas difieren en exactamente dos componentes por \(\pm 2\), asi que \(d = \sqrt{4+4} = 2\sqrt{2}\) en todos los casos. Las 6 aristas tienen la misma longitud: es un tetraedro regular con arista \(a = 2\sqrt{2}\).
El radio circunscrito es la distancia de cualquier vertice al origen:
$$ R = \sqrt{1^2 + 1^2 + 1^2} = \sqrt{3} $$El Dual como Copia Negada
Las 4 caras del tetraedro \(T\) son los triangulos formados por trios de vertices. Calculemos el centroide de cada cara:
| Cara | Vertices | Centroide |
|---|---|---|
| F1 | (1,1,1), (1,-1,-1), (-1,1,-1) | (1/3, 1/3, -1/3) |
| F2 | (1,1,1), (1,-1,-1), (-1,-1,1) | (1/3, -1/3, 1/3) |
| F3 | (1,1,1), (-1,1,-1), (-1,-1,1) | (-1/3, 1/3, 1/3) |
| F4 | (1,-1,-1), (-1,1,-1), (-1,-1,1) | (-1/3, -1/3, -1/3) |
Los centroides son:
$$ T^* = \left\{\frac{1}{3}(1,1,-1),\;\frac{1}{3}(1,-1,1),\;\frac{1}{3}(-1,1,1),\;\frac{1}{3}(-1,-1,-1)\right\} $$Compara con \(-T/3\): negar los vertices originales y escalar por \(1/3\):
$$ -\frac{1}{3}\,T = \left\{\frac{1}{3}(-1,-1,-1),\;\frac{1}{3}(-1,1,1),\;\frac{1}{3}(1,-1,1),\;\frac{1}{3}(1,1,-1)\right\} $$Son exactamente los mismos 4 puntos, en diferente orden. El tetraedro dual es el tetraedro original, negado y escalado por \(1/3\). Geometricamente: invertido respecto al centro y reducido.
Resultado clave: el dual del tetraedro con vertices \(T\) tiene vertices \(T^* = -T/3\). El radio circunscrito del dual es \(R^* = R/3 = \sqrt{3}/3\), confirmando que \(R/r = 3\) (ya que \(r = R^* = R/3\) para el tetraedro, donde el insphere toca las caras exactamente en los centroides).
Esta relacion \(R = 3r\) es exclusiva del tetraedro entre los solidos platonicos. Para el cubo, \(R/r = \sqrt{3} \approx 1.73\); para el icosaedro, \(R/r \approx 1.26\). El tetraedro es el mas "puntiagudo".
La Stella Octangula
Si escalamos el dual para que tenga el mismo tamano que el original, obtenemos \(-T\): el tetraedro negado (sin reduccion). La union \(T \cup (-T)\) produce un compuesto llamado stella octangula (estrella de ocho puntas), descrita por Kepler en 1619.
Los 8 vertices del compuesto son:
$$ T \cup (-T) = \bigl\{(\pm 1, \pm 1, \pm 1)\bigr\} $$Estos son exactamente los 8 vertices del cubo \([-1,1]^3\). De los 8 vertices del cubo, 4 (con un numero par de signos negativos) forman un tetraedro, y los otros 4 (numero impar) forman el opuesto.
Tres objetos anidados:
- El cubo contiene dos tetraedros complementarios
- Los dos tetraedros se intersecan en un octaedro (el solido central de la stella)
- La stella octangula es a la vez un compuesto de 2 tetraedros y un octaedro estrellado
El octaedro inscrito tiene vertices en los puntos medios de las aristas del cubo. Sus coordenadas son \((\pm 1, 0, 0)\), \((0, \pm 1, 0)\), \((0, 0, \pm 1)\) — los vertices del octaedro estandar.
Esta cadena de inclusiones — tetraedro \(\subset\) cubo \(\supset\) tetraedro opuesto, con octaedro en la interseccion — es una manifestacion geometrica de que los tres grupos de simetria \(T_d \subset O_h \supset T_d\) estan relacionados por la misma estructura combinatoria.
El Simplex: Autodualidad en Toda Dimension
El tetraedro es el 3-simplex \(\Delta_3\): la generalizacion del triangulo a 3 dimensiones. En general, el \(n\)-simplex \(\Delta_n\) tiene \(n+1\) vertices, todos mutuamente equidistantes:
| Dimension | Simplex | Vertices | Aristas | Caras (\(n{-}1\)) |
|---|---|---|---|---|
| 1 | Segmento | 2 | 1 | 2 |
| 2 | Triangulo | 3 | 3 | 3 |
| 3 | Tetraedro | 4 | 6 | 4 |
| 4 | 5-celda | 5 | 10 | 5 |
En cada fila, el numero de vertices es igual al numero de facetas (\(n{-}1\)-caras). Esto no es coincidencia: el \(n\)-simplex tiene \(\binom{n+1}{1} = n+1\) vertices y \(\binom{n+1}{n} = n+1\) facetas. En general, el numero de \(k\)-caras es:
$$ f_k(\Delta_n) = \binom{n+1}{k+1} $$El dual intercambia \(k\)-caras con \((n{-}1{-}k)\)-caras, lo que corresponde a:
$$ \binom{n+1}{k+1} \longleftrightarrow \binom{n+1}{n-k} = \binom{n+1}{k+1} $$La igualdad se cumple por la simetria del coeficiente binomial. El simplex es autodual en toda dimension. En 4D, la 5-celda \(\{3,3,3\}\) es autodual; en el modo 4D de PlatonicLab puedes verificarlo.
El Grafo Completo \(K_4\)
El 1-esqueleto del tetraedro (vertices y aristas, ignorando las caras) es el grafo completo \(K_4\): cada par de vertices esta conectado por una arista.
Con \(n = 4\) vertices, el numero de aristas es \(\binom{4}{2} = 6\). Esto coincide con \(E = 6\) del tetraedro. El grafo \(K_4\) tiene propiedades notables:
- Planar: \(K_4\) puede dibujarse en el plano sin cruces de aristas (es el diagrama de Schlegel del tetraedro)
- 4-cromatico: necesita exactamente 4 colores para colorear los vertices (ningun par adyacente del mismo color)
- Hamiltoniano: admite un ciclo que visita cada vertice exactamente una vez
- Autodual como grafo: el grafo dual planar de \(K_4\) es \(K_4\), consistente con la autodualidad del tetraedro
En contraste, \(K_5\) no es planar (teorema de Kuratowski). Esto se relaciona con el hecho de que no existe un poliedro regular con 5 vertices donde todos esten conectados entre si — la cuarta dimension es necesaria para lograr equidistancia mutua entre 5 puntos.
Simetrias del Tetraedro
Las simetrias rotacionales del tetraedro forman el grupo \(T\) con 12 elementos. Como el tetraedro es \(K_4\), cada simetria permuta los 4 vertices, y toda simetria rotacional corresponde a una permutacion par:
$$ T \cong A_4 $$donde \(A_4\) es el grupo alternante de permutaciones pares de 4 elementos. Los 12 elementos se clasifican asi:
| Tipo | Cantidad | Angulo | Descripcion |
|---|---|---|---|
| Identidad | 1 | 0 | No mover nada |
| Eje vertice-cara | 8 | 120, 240 | 4 ejes x 2 rotaciones |
| Eje arista-arista | 3 | 180 | 3 pares de aristas opuestas |
Total: \(1 + 8 + 3 = 12 = |A_4|\). El grupo completo de simetrias (incluyendo reflexiones) es \(T_d \cong S_4\) con 24 elementos — el grupo simetrico de 4 objetos. Las reflexiones corresponden a permutaciones impares.
La autodualidad se manifiesta en las simetrias: cada eje vertice-cara es simultaneamente un eje cara-vertice del dual, y cada eje arista-arista permanece igual. El grupo \(T_d\) es el mismo para \(T\) y \(T^*\), como predice el teorema \(\text{Sym}(P) = \text{Sym}(P^*)\) de la Leccion 13.
Ejercicios
1. Verifica que las 6 distancias entre pares de vertices de \(T = \{(1,1,1),(1,-1,-1),(-1,1,-1),(-1,-1,1)\}\) son todas iguales a \(2\sqrt{2}\).
2. Calcula el centroide de la cara formada por \((1,1,1)\), \((1,-1,-1)\) y \((-1,-1,1)\). Verifica que coincide con \(-\frac{1}{3}\) del vertice omitido \((-1,1,-1)\).
3. Los 8 vertices de la stella octangula son \((\pm 1, \pm 1, \pm 1)\). Muestra que la interseccion de los dos tetraedros (los puntos interiores a ambos) es un octaedro. (Pista: usa las desigualdades que definen cada tetraedro como interseccion de semiespacios.)
4. El 4-simplex (5-celda) tiene 5 vertices en \(\mathbb{R}^4\). Calcula su numero de aristas, triangulos (2-caras) y tetraedros (3-caras) usando \(f_k = \binom{5}{k+1}\). Verifica que vertices = facetas.
5. El grafo \(K_4\) necesita 4 colores. Demuestra que 3 colores no bastan. (Pista: si dos vertices comparten color, estan conectados — contradiccion.)
LAB: Tetraedro y su Dual
Observa el tetraedro y su dual. Usa el slider para interpolar. Activa la stella octangula para ver los dos tetraedros inscritos en el cubo.