Imagina que te preparas un sándwich de jamón algo desordenado: el pan está un poco movido a la derecha, la loncha de jamón sobresale por un lado y el queso está en el centro. Si coges un cuchillo y quieres hacer un solo corte recto que divida exactamente a la mitad el volumen del pan, el del jamón y el del queso simultáneamente… ¿sería posible?
La matemática dice que sí. Siempre existe un plano que biseca tres objetos de volumen finito, sin importar su forma, su tamaño o lo lejos que estén el uno del otro.
Un poco de historia: De Polonia a la mesa
Aunque se conoce popularmente como el Teorema del Sándwich de Jamón, su nombre formal es el Teorema de bisección de Stone-Tukey.
Fue planteado originalmente por el matemático polaco Hugo Steinhaus en la famosa Escuela Escocesa de Matemáticas. Poco después, Stefan Banach encontró una demostración basada en el Teorema de Borsuk-Ulam, aunque no la publicó formalmente. La demostración rigurosa y generalizada llegó en 1942 de la mano de Arthur Stone y John Tukey, de ahí que el teorema lleve sus nombres en la literatura académica.
¿Cómo funciona matemáticamente?
El teorema establece que para n objetos en un espacio de n dimensiones, siempre existe un hiperplano que divide a todos ellos por la mitad.
En nuestro mundo tridimensional:
-
Tenemos 3 ingredientes (pan, jamón y queso).
-
Existe un plano que los corta a todos de forma equitativa.
Eso sí, los objetos deben tener volumen finito y ser «medibles» en el sentido matemático, algo que cualquier trozo de comida cumple. Lo más increíble es que no tienen por qué estar en contacto: podrías tener el pan en Madrid, el jamón en Tokio y el queso en la Luna, y seguiría existiendo un plano que los dividiera a todos exactamente al 50%.
La conexión con el Teorema de Borsuk-Ulam
La demostración se basa en el Teorema de Borsuk-Ulam, que afirma que para cualquier función continua que asigna a cada punto de una esfera un par de números reales, existen dos puntos antípodas (opuestos) con el mismo valor.
En nuestro caso, la función asigna a cada posible orientación del cuchillo la diferencia entre los volúmenes de cada ingrediente a un lado y otro. Los puntos antípodas representan cortes con la misma orientación pero en sentido opuesto, y su coincidencia garantiza que existe un plano que divide todos los ingredientes por la mitad.
Es el mismo principio que dicta que, en cualquier momento, existen dos puntos opuestos en la Tierra (antípodas) que tienen exactamente la misma temperatura y la misma presión atmosférica simultáneamente.
¿Y si el sándwich tiene más ingredientes?
Si tuvieras un sándwich con un cuarto ingrediente (digamos, tomate), un solo corte recto ya no podría garantizar la división equitativa de los cuatro a la vez. Para dividir 4 objetos con un solo corte, necesitarías un hiperplano tridimensional en un espacio de 4 dimensiones. En nuestro mundo 3D, estamos limitados a tres ingredientes.
Conclusión
El Teorema del Sándwich de Jamón es la prueba de que el orden matemático subyace incluso en el desorden cotidiano. No importa lo mal que hayas montado tu almuerzo; la geometría te garantiza que existe un corte perfecto. Eso sí, encontrar ese plano exacto con el cuchillo de cocina es un reto que las matemáticas te deja a ti.
