Por Que Solo 5
Tres demostraciones convergentes, la cuestion de existencia, y que sucede cuando relajamos las condiciones.
Tres Caminos a la Misma Respuesta
A lo largo de este curso hemos encontrado tres argumentos independientes que conducen a la misma conclusion: solo 5 combinaciones \(\{p, q\}\) son posibles. Recopilemos.
1. Argumento angular
Leccion 4, Modulo 1
La suma de angulos en cada vertice debe ser \(< 360°\):
\(q \cdot \alpha_p < 360°\)
Geometrico: condicion de convexidad local.
2. Argumento algebraico
Leccion 10
El denominador de \(E = \frac{2pq}{2p+2q-pq}\) debe ser positivo:
\(2p + 2q - pq > 0\)
Algebraico: consistencia de Euler + doble conteo.
3. Defecto angular
Leccion 8
La curvatura total es fija: \(\sum \delta_v = 4\pi\), con \(\delta > 0\):
\(q \cdot \alpha_p < 2\pi\)
Topologico: curvatura total de la esfera.
Todos conducen a \((p-2)(q-2) < 4\), con exactamente 5 soluciones enteras. Pero esta convergencia no es coincidencia: los tres argumentos expresan la misma restriccion fundamental. La curvatura gaussiana total de la esfera es \(4\pi\), y eso limita cuantos poligonos regulares pueden concurrir en cada vertice. Cada camino ilumina un aspecto: el primero es constructivo (puedes intentar pegar poligonos), el segundo es algebraico (una ecuacion resiste numeros negativos), el tercero es topologico (hay curvatura fija que repartir).
Necesario vs. Suficiente
Hasta ahora hemos demostrado que como maximo 5 combinaciones son posibles. Pero, existen realmente todas? El argumento angular descarta candidatos; no construye poliedros.
La condicion \((p-2)(q-2) < 4\) es necesaria: si un poliedro regular \(\{p,q\}\) existe, debe satisfacerla. Pero es tambien suficiente? Para demostrarlo, necesitamos exhibir cada uno de los 5 poliedros. Hay dos estrategias clasicas:
Estrategia 1: Construccion por coordenadas
Dar las coordenadas explicitas de los vertices y verificar que todas las aristas tienen la misma longitud y todas las caras son poligonos regulares congruentes. Por ejemplo, el cubo tiene vertices \((\pm 1, \pm 1, \pm 1)\); el icosaedro tiene vertices en las permutaciones ciclicas de \((0, \pm 1, \pm \varphi)\).
Estrategia 2: Construccion inductiva (Euclides, Libro XIII)
Euclides construyo cada solido inscribiendolo en una esfera. Para el tetraedro: partir de un triangulo equilatero y levantar un vertice. Para el cubo: construir sobre un cuadrado. Para el icosaedro: usar los rectangulos aureos. En cada caso, la prueba verifica que el resultado es un poliedro regular, completando la clasificacion.
La clasificacion queda asi: necesidad (argumento angular) + existencia (construccion explicita) = exactamente 5 poliedros regulares convexos en 3D. Este es el teorema del Libro XIII de los Elementos.
El Defecto Angular como Presupuesto
Hay una forma particularmente elegante de entender la restriccion. Cada vertice de un poliedro convexo tiene un defecto angular:
\(\delta = 2\pi - q \cdot \alpha_p\)
El "sobrante" angular en cada vertice que permite a la superficie curvarse
El teorema de Descartes (equivalente a Euler, como vimos en la Leccion 8) dice que el presupuesto total de defecto es fijo:
\(V \cdot \delta = 4\pi\)
para un poliedro regular (todos los vertices iguales)
Imagina que tienes un presupuesto de \(4\pi\) radianes de curvatura para "gastar". Cada vertice consume \(\delta\) de ese presupuesto. Cuantos vertices puedes crear?
| \(\{p,q\}\) | \(q \cdot \alpha_p\) | \(\delta\) | \(V = 4\pi / \delta\) |
|---|---|---|---|
| \(\{3,3\}\) | \(180°\) | \(180°\) | 4 |
| \(\{4,3\}\) | \(270°\) | \(90°\) | 8 |
| \(\{3,4\}\) | \(240°\) | \(120°\) | 6 |
| \(\{5,3\}\) | \(324°\) | \(36°\) | 20 |
| \(\{3,5\}\) | \(300°\) | \(60°\) | 12 |
El dodecaedro \(\{5,3\}\) apenas tiene defecto (\(36°\) por vertice), asi que necesita 20 vertices para gastar los \(720° = 4\pi\). El tetraedro tiene el defecto maximo (\(180°\)), asi que solo necesita 4. Esta perspectiva revela por que los solidos con mas caras por cara o mas caras por vertice son "mas grandes": cada vertice consume menos curvatura, asi que se necesitan mas para cubrir la esfera.
Mas Alla de la Regularidad
La restriccion a exactamente 5 depende crucialmente de las condiciones de regularidad. Si relajamos alguna, aparecen familias mas amplias:
Solidos de Arquimedes (13)
Condicion relajada: las caras siguen siendo poligonos regulares, pero no necesariamente todas iguales. La configuracion de caras en cada vertice si debe ser identica.
Ejemplos: el cuboctaedro (8 triangulos + 6 cuadrados), el icosidodecaedro (20 triangulos + 12 pentagonos), el balones de futbol = icosaedro truncado (12 pentagonos + 20 hexagonos).
Poliedros de Kepler-Poinsot (4)
Condicion relajada: se permite que las caras se crucen entre si (poligonos estrellados). Siguen siendo "regulares" en el sentido de que todas las caras son congruentes y todos los vertices son equivalentes.
Los 4 solidos estrellados regulares: gran dodecaedro, pequeno dodecaedro estrellado, gran icosaedro, gran dodecaedro estrellado. Tienen \(\chi \neq 2\) porque no son homeomorfos a la esfera.
Solidos de Johnson (92)
Condicion relajada: las caras son poligonos regulares, pero los vertices no necesitan ser equivalentes. Se exige convexidad.
Norman Johnson los enumero en 1966; Viktor Zalgaller demostro que la lista de 92 es completa en 1969. Incluye piramides, cupulas, rotondas y combinaciones exoticas.
Cada relajacion revela que la condicion que elimina es la que hace la clasificacion tan restrictiva. La regularidad (todas las caras iguales + todos los vertices iguales) es una condicion extraordinariamente fuerte: de los infinitos poliedros convexos posibles, solo 5 la satisfacen.
La Clasificacion Dimensional
Quizas lo mas sorprendente es que el numero de politopos regulares depende de la dimension, y 3D resulta ser especial:
| Dim. | Regulares | Descripcion |
|---|---|---|
| 2 | \(\infty\) | Poligonos regulares: triangulo, cuadrado, pentagono, ... |
| 3 | 5 | Los solidos platonicos |
| 4 | 6 | Incluye el 24-celda \(\{3,4,3\}\), sin analogo 3D |
| 5 | 3 | Simplejo, hipercubo, hiperoctaedro |
| \(n \geq 5\) | 3 | Siempre los mismos tres: \(\alpha_n, \beta_n, \gamma_n\) |
En 2D no hay restriccion angular (un poligono regular de \(n\) lados siempre existe). En 5D y superiores, la condicion es tan restrictiva que solo sobreviven las tres familias infinitas:
Simplejo \(\alpha_n\)
\(\{3, 3, \ldots, 3\}\)
Generaliza el tetraedro. \(n+1\) vertices, todos conectados.
Hipercubo \(\beta_n\)
\(\{4, 3, \ldots, 3\}\)
Generaliza el cubo. \(2^n\) vertices, caras cubicas.
Hiperoctaedro \(\gamma_n\)
\(\{3, \ldots, 3, 4\}\)
Dual del hipercubo. \(2n\) vertices, caras simpliciales.
Las dimensiones 3 y 4 son "excepcionales" — admiten politopos regulares que no pertenecen a estas tres familias. En 3D, son el dodecaedro e icosaedro. En 4D, aparece el 24-celda (un politopo autodual con 24 celdas octaedricas que no tiene analogo en ninguna otra dimension), ademas de los analogos del dodecaedro (120-celda) y el icosaedro (600-celda).
El Teorema Completo
Clasificacion de poliedros regulares convexos (3D)
Existen exactamente cinco poliedros regulares convexos:
Tetraedro \(\{3,3\}\), Cubo \(\{4,3\}\), Octaedro \(\{3,4\}\), Dodecaedro \(\{5,3\}\), Icosaedro \(\{3,5\}\)
Necesidad: \((p-2)(q-2) < 4\) solo admite 5 pares con \(p,q \geq 3\).
Existencia: Euclides, Elementos XIII, Proposiciones 13-17.
Ejercicios
- Calcula el defecto angular \(\delta\) para cada uno de los cinco solidos. Verifica que \(V \cdot \delta = 720°\) en cada caso.
- El cuboctaedro tiene 8 caras triangulares y 6 cuadradas, con 2 triangulos y 2 cuadrados en cada vertice. Calcula su defecto angular por vertice y verifica que \(\sum \delta_v = 4\pi\). (Pista: la suma angular en cada vertice es \(2 \times 60° + 2 \times 90°\).)
- En 4D, los politopos regulares se describen con \(\{p, q, r\}\), donde las celdas son \(\{p,q\}\) y \(r\) celdas rodean cada arista. La condicion de existencia requiere que las celdas \(\{p,q\}\) sean poliedros regulares validos y que la "figura de vertice" \(\{q,r\}\) tambien lo sea. Explica por que \(\{6,3,3\}\) no puede existir.
- Si relajamos la condicion de convexidad pero mantenemos la regularidad (caras regulares congruentes, vertices equivalentes), obtenemos los 4 solidos de Kepler-Poinsot. Uno de ellos es el "gran dodecaedro" \(\{5, 5/2\}\). Que significaria geometricamente que \(q = 5/2\)?
- Por que en dimension 2 hay infinitos poligonos regulares, pero a partir de dimension 5 solo hay 3 politopos regulares? Explica la diferencia en terminos de la "dificultad" de cerrar la superficie alrededor de cada vertice.
LAB: Figuras de Vertice
Selecciona \(p\) (lados por cara) y \(q\) (caras por vertice) para ver si los poligonos cierran, teselan, o se solapan.