Si bien la mayoría de la gente considera un sándwich como una comida rápida, para un grupo de matemáticos de élite de mediados del siglo XX sirvió como puerta de entrada a la comprensión de las complejidades del espacio tridimensional. Este experimento mental, ahora conocido como el Teorema del sándwich de jamón, explora una pregunta engañosamente simple: ¿Es posible cortar un sándwich de modo que el pan, la carne y la otra rebanada de pan se partan por la mitad simultáneamente?
De las discusiones en los cafés a las demostraciones matemáticas
Los orígenes de este problema se encuentran en la vibrante cultura intelectual de Lwów, Polonia (ahora Lviv, Ucrania), durante las décadas de 1930 y 1940. Un grupo de brillantes matemáticos se reunía con frecuencia en los cafés locales para debatir problemas complejos. En 1938, el matemático Hugo Steinhaus planteó un desafío específico: ¿es siempre posible dividir tres sólidos distintos utilizando un solo plano?
Para hacer más identificable esta cuestión geométrica abstracta, utilizó la imagen de un sándwich de jamón. Si bien cortar un objeto bidimensional (como una pizza) es relativamente sencillo utilizando una sola línea recta, pasar a la tercera dimensión introduce importantes obstáculos matemáticos.
El desafío geométrico
En un plano bidimensional, puedes dividir fácilmente dos objetos con un solo corte. Sin embargo, en el espacio 3D, las matemáticas se vuelven mucho más difíciles.
Herramientas estándar como el Teorema del valor intermedio, que ayuda a encontrar raíces en ecuaciones más simples, fallan aquí porque el espacio 3D ofrece demasiados grados de libertad. Al girar un plano para encontrar un corte perfecto, no hay que seguir un solo eje de rotación; hay infinitos, lo que hace imposible simplemente “rotar” el camino hacia una solución utilizando métodos básicos.
La solución: el teorema de Borsuk-Ulam
El gran avance vino de la mano de Stefan Banach, un protegido de Steinhaus. Se dio cuenta de que resolver el problema del sándwich requería una herramienta más poderosa: el teorema de Borsuk-Ulam.
Para entender cómo funciona esto, considere esta aplicación del teorema: en la Tierra, siempre hay dos puntos diametralmente opuestos (exactamente opuestos entre sí en el globo) que comparten exactamente la misma temperatura y presión del aire.
Banach aplicó esta lógica al sándwich usando una esfera:
1. La configuración: Imagina que el sándwich está encerrado dentro de una esfera.
2. El primer corte: Para cualquier punto de esa esfera, puedes definir un plano que pase por el centro y divida la rebanada inferior de pan.
3. La función: Banach luego creó una función matemática para medir los volúmenes de las dos partes restantes (el jamón y la rebanada superior de pan) sobre ese plano.
4. La simetría: Al aplicar el teorema de Borsuk-Ulam, demostró que debe haber un punto en la esfera donde los volúmenes de un lado del plano son idénticos a los volúmenes del lado opuesto.
Cuando estos volúmenes son iguales, el avión no solo divide el pan de abajo; divide perfectamente el jamón y también la rebanada superior de pan.
Más allá del sándwich: dimensiones universales
Las implicaciones de este descubrimiento se extienden mucho más allá de las carnes frías. En 1942, los matemáticos Arthur Harold Stone y John Tukey demostraron que este principio es universal. Su trabajo demostró que en un espacio $n$-dimensional, siempre se pueden dividir $n$ objetos con un solo corte $(n-1)$-dimensional.
Conclusión: Este teorema demuestra que una división perfectamente justa está matemáticamente garantizada, independientemente de cómo se distribuyan los objetos en el espacio.
Conclusión
Si bien el teorema del sándwich de jamón proporciona una hermosa prueba de la existencia en geometría de dimensiones superiores, sigue siendo un triunfo puramente teórico. Debido a que el teorema demuestra que una solución existe sin proporcionar una fórmula específica para ubicarla, los matemáticos todavía no pueden usarlo para resolver discusiones del mundo real sobre cómo dividir una comida.
