Embora a maioria das pessoas veja um sanduíche como uma refeição rápida, para um grupo de matemáticos de elite em meados do século 20, ele serviu como uma porta de entrada para a compreensão das complexidades do espaço tridimensional. Este experimento mental, agora conhecido como Teorema do Sanduíche de Presunto, explora uma questão aparentemente simples: é possível cortar um sanduíche de modo que o pão, a carne e a outra fatia de pão sejam todos cortados pela metade simultaneamente?
Das discussões no café às provas matemáticas
As origens deste problema residem na vibrante cultura intelectual de Lwów, Polónia (actual Lviv, Ucrânia), durante as décadas de 1930 e 1940. Um grupo de matemáticos brilhantes reunia-se frequentemente em cafés locais para debater problemas complexos. Em 1938, o matemático Hugo Steinhaus apresentou um desafio específico: é sempre possível dividir três sólidos distintos ao meio usando um único plano?
Para tornar esta questão geométrica abstrata mais compreensível, ele usou a imagem de um sanduíche de presunto. Embora cortar um objeto bidimensional – como uma pizza – seja relativamente simples usando uma única linha reta, passar para a terceira dimensão introduz obstáculos matemáticos significativos.
O Desafio Geométrico
Em um plano bidimensional, você pode facilmente dividir dois objetos ao meio com um corte. No entanto, no espaço 3D, a matemática torna-se muito mais difícil.
Ferramentas padrão como o Teorema do Valor Intermediário — que ajuda a encontrar raízes em equações mais simples — falham aqui porque o espaço 3D oferece muitos graus de liberdade. Ao girar um plano para encontrar um corte perfeito, não há apenas um único eixo de rotação a seguir; existem infinitos, tornando impossível simplesmente “girar” o caminho para uma solução usando métodos básicos.
A solução: o teorema de Borsuk-Ulam
A descoberta veio de Stefan Banach, um protegido de Steinhaus. Ele percebeu que resolver o problema do sanduíche exigia uma ferramenta mais poderosa: o teorema de Borsuk-Ulam.
Para entender como isso funciona, considere esta aplicação do teorema: na Terra, há sempre dois pontos diametralmente opostos (exatamente opostos um ao outro no globo) que compartilham exatamente a mesma temperatura e pressão atmosférica.
Banach aplicou esta lógica ao sanduíche usando uma esfera:
1. A configuração: Imagine que o sanduíche está dentro de uma esfera.
2. O primeiro corte: Para qualquer ponto dessa esfera, você pode definir um plano que passa pelo centro e divide a fatia de pão inferior.
3. A Função: Banach criou então uma função matemática para medir os volumes das duas partes restantes (o presunto e a fatia de pão de cima) acima desse plano.
4. A Simetria: Ao aplicar o teorema de Borsuk-Ulam, ele provou que deve haver um ponto na esfera onde os volumes de um lado do plano são idênticos aos volumes do lado oposto.
Quando esses volumes são iguais, o avião não corta apenas o pão de baixo; ele corta perfeitamente o presunto e também a fatia de pão de cima.
Além do Sanduíche: Dimensões Universais
As implicações desta descoberta vão muito além das carnes frias. Em 1942, os matemáticos Arthur Harold Stone e John Tukey provaram que este princípio é universal. O trabalho deles mostrou que em um espaço $n$-dimensional, você sempre pode dividir objetos $n$ ao meio com um único corte $(n-1)$-dimensional.
Conclusão: Este teorema prova que uma divisão perfeitamente justa é matematicamente garantida, independentemente de como os objetos estão distribuídos no espaço.
Conclusão
Embora o Teorema do Sanduíche de Ham forneça uma bela prova da existência em geometria de dimensões superiores, ele permanece um triunfo puramente teórico. Como o teorema prova que uma solução existe sem fornecer uma fórmula específica para localizá-la, os matemáticos ainda não podem usá-lo para resolver argumentos do mundo real sobre como dividir uma refeição.
