A matemática muitas vezes encontra beleza na banalidade. Imagine um sanduíche: duas fatias de pão e uma de presunto, dispostas de qualquer maneira sobre a mesa. A questão que intriga geômetras há quase um século é se existe um único corte reto capaz de dividir exatamente ao meio o volume de cada um desses três componentes simultaneamente. A resposta, por mais contraintuitiva que pareça, é um "sim" categórico.
Batizado formalmente como o Teorema de Stone-Tukey, mas popularizado como o "Teorema do Sanduíche de Presunto", o conceito teve sua primeira evidência registrada em 1938 pelo matemático polonês Hugo Steinhaus. Na época, a analogia era um pouco mais rústica: ele propôs a bisseção simultânea de carne, osso e gordura de uma peça de presunto. Embora Steinhaus tenha formulado a conjectura, coube a Stefan Banach a tarefa de prová-la, consolidando um dos pilares da topologia moderna.
O fundamento por trás dessa façanha reside no Teorema de Borsuk-Ulam, que lida com funções contínuas em esferas. Em termos práticos, o teorema demonstra que para qualquer conjunto de *n* objetos em um espaço de *n* dimensões, sempre haverá um hiperplano de dimensão *n-1* que os bissecciona. No nosso mundo tridimensional, isso significa que três massas sólidas — o pão de cima, o pão de baixo e o recheio — podem ser cortadas perfeitamente por um único plano bidimensional: a lâmina da faca.
Além de ser uma curiosidade para entusiastas da gastronomia geométrica, o teorema possui implicações profundas em áreas que vão da divisão justa de recursos à computação teórica. Ele nos lembra que, sob o caos aparente de ingredientes desalinhados, existe uma ordem matemática subjacente que garante o equilíbrio, desde que saibamos exatamente onde aplicar o corte.
Com informações de Xataka.
Source · Xataka
