Estrategia de la Demostración

Queremos demostrar que para todo poliedro convexo, \(V - E + F = 2\). La estrategia es transformar el poliedro en un objeto más simple — un único triángulo — mediante operaciones que no cambian el valor de \(V - E + F\). Si al final obtenemos un triángulo con \(V - E + F = 1\) (más la cara que removimos al inicio), el resultado es 2.

La demostración que presentamos se atribuye a Cauchy (1813), aunque sus ideas centrales se remontan a Euler y Legendre. Es una prueba constructiva: no solo demuestra que la fórmula es cierta, sino que exhibe un algoritmo para reducir cualquier poliedro a un triángulo.

Paso 1: Del Poliedro al Plano

Tomamos un poliedro convexo y removemos una cara. La superficie restante es topológicamente un disco: tiene un borde (el contorno de la cara removida) y puede "aplanarse" sobre un plano sin romper ni pegar nada.

El resultado de este aplanamiento se llama diagrama de Schlegel: un grafo plano donde la cara removida se convierte en la región exterior, y las demás caras ocupan el interior.

Paso 2: Triangulación

Si alguna cara del diagrama no es un triángulo (tiene más de 3 lados), la dividimos en triángulos añadiendo diagonales interiores. Cada diagonal añade exactamente 1 arista y 1 cara:

Tras triangular, todas las caras interiores son triángulos. Un polígono de \(n\) lados se triangula con \(n - 3\) diagonales, produciendo \(n - 2\) triángulos.

Paso 3: Eliminación de Triángulos

Ahora eliminamos triángulos del borde, uno por uno. Un triángulo de borde es aquel que tiene al menos una arista en el contorno exterior del diagrama. Hay dos tipos posibles:

En ambos casos, \(V - E + F\) no cambia. Un triángulo no puede tener 3 aristas en el borde (eso significaría que es el último triángulo y no tiene vecinos interiores). Además, siempre existe al menos un triángulo de borde (el grafo triangulado tiene borde finito), así que el proceso no se atasca.

Paso 4: Conclusión

Repitiendo la eliminación, eventualmente nos queda un único triángulo:

Como \(V - E + F\) no cambió en ningún paso, el diagrama de Schlegel original (sin la cara exterior) también tenía \(V - E + F = 1\). Restaurando la cara removida en el Paso 1:

Generalidad de la Demostración

Hemos ilustrado la demostración con un cubo, pero funciona para cualquier poliedro convexo. Los ingredientes clave son:

1. Convexidad: garantiza que al remover una cara y aplanar, obtenemos un grafo plano sin cruces.
2. Triangulación: cualquier polígono puede triangularse (un resultado clásico de geometría computacional).
3. Existencia de triángulos de borde: un grafo plano triangulado con más de un triángulo siempre tiene al menos un triángulo con una arista en el borde exterior.

De hecho, la demostración funciona para cualquier poliedro homeomorfo a la esfera — no necesita ser convexo, solo que su superficie sea topológicamente una esfera (sin agujeros).

Demostración Alternativa: Geometría Esférica

Legendre (1794) dio una prueba completamente distinta usando áreas esféricas. La idea: proyectar el poliedro sobre su esfera circunscrita. Las caras se convierten en polígonos esféricos, y por el teorema de Girard, el área de un triángulo esférico con ángulos \(\alpha, \beta, \gamma\) es:

Sumando las áreas de todos los triángulos (después de triangular las caras) y usando que la suma total es \(4\pi R^2\) (área de la esfera) y que los ángulos se reparten entre vértices, se obtiene \(V - E + F = 2\). Esta prueba conecta la fórmula de Euler con la curvatura de la esfera, un tema que retomaremos en la Lección 12.

Ejercicios