Desde a década de 1960 que a comunidade matemática se debate com uma questão que, em teoria, qualquer criança compreende: como fazer passar um sofá por um corredor em L sem o levantar nem o dobrar? Agora, um sul-coreano de 31 anos apresenta uma resposta que, além de resolver o enigma, reforça a confiança no poder do raciocínio puramente teórico.
Como um «problema do sofá» se transformou num mito da matemática
A história remonta a 1966 e ao matemático austro-canadiano Leo Moser. A pergunta que colocou parece quase banal: imagine-se um corredor em L, cujos dois braços têm exactamente um metro de largura. Qual é a maior área que uma figura plana e rígida pode ter para conseguir contornar a esquina, sem sair do chão nem sofrer qualquer deformação?
O cenário depressa passou a integrar manuais e aulas universitárias, ficando conhecido como o «problema do sofá móvel». O nome é descontraído, mas o desafio não o é: por detrás da formulação simples esconde-se um problema de optimização geométrica extremamente complexo.
Ainda no final dos anos 1960, alguns dos primeiros grandes nomes da matemática tentaram resolvê-lo. Em 1968, John Hammersley propôs uma forma capaz de atravessar o corredor com uma área de aproximadamente 2,2074 metros quadrados. Em 1992, Joseph Gerver foi mais longe: concebeu uma figura muito intrincada, composta por várias secções curvas, que atinge cerca de 2,2195 metros quadrados.
A proposta de Gerver tornou-se rapidamente a favorita não oficial. Muitos matemáticos suspeitavam de que não seria possível fazer melhor. No entanto, ninguém conseguia demonstrá-lo e, sem uma prova, permanecia a dúvida: poderia existir uma forma ligeiramente superior, perdida num vasto universo de possibilidades.
Durante décadas, as simulações e as aproximações sofisticadas foram consideradas as únicas ferramentas disponíveis - e a resposta definitiva continuava fora de alcance.
Porque o problema do sofá permaneceu tão difícil
No papel, o problema do sofá parece directo. Na realidade, o número de graus de liberdade cresce de forma explosiva. A forma pode ser curva, assimétrica, recortada ou lisa; pode ainda rodar e deslocar-se enquanto desliza pelo corredor. Cada posição imaginável introduz novas restrições nos limites do espaço.
Por esse motivo, muitos investigadores recorreram aos computadores. Através de métodos numéricos, testaram grandes famílias de formas, optimizaram soluções passo a passo, melhoraram constantes e encontraram novos limites superiores e inferiores. Os resultados eram convincentes, mas não conclusivos. Um algoritmo pode afirmar: «Não encontrei nada melhor.» Não consegue assegurar: «Não existe nada melhor.»
Era precisamente aí que se mantinha, há décadas, a lacuna fundamental. A comunidade conhecia candidatos promissores, mas não tinha um vencedor definitivo. O sofá continuava envolto em mito.
Serviço militar, um corredor e uma ideia fixa
A mudança surgiu num contexto inesperado: durante o serviço militar. Baek Jin-eon, então um jovem matemático sul-coreano, trabalhava no Instituto Nacional de Ciências Matemáticas, onde teve o primeiro contacto com o problema do sofá.
O que o fascinou não foi tanto a dificuldade técnica, mas a desordem à volta da questão. Existiam muitos resultados parciais, imagens e simulações, porém faltava um enquadramento teórico coerente. O problema parecia um conjunto de ideias dispersas, sem uma base comum.
Foi exactamente essa ausência que motivou Baek. Começou a desmontar o enigma de forma metódica: primeiro no serviço militar, depois durante o doutoramento na Universidade de Michigan e, por fim, no Centro June E. Huh para Desafios Matemáticos, do Instituto Coreano de Estudos Avançados.
Durante sete anos, Baek dedicou-se a saber se a forma de Gerver era realmente o maior «sofá» possível - usando apenas papel, lápis e lógica.
A prova de 119 páginas de Baek Jin-eon sem algoritmos
No final de 2024, Baek publicou o seu trabalho na plataforma científica arXiv. O manuscrito tem 119 páginas e não inclui código, simulações de Monte Carlo nem programas de geometria. Contém apenas provas, lemas e teoremas organizados com rigor.
A conclusão é a seguinte: a forma proposta por Joseph Gerver é, de facto, óptima. Não há nenhuma figura rígida bidimensional, com uma área maior, que consiga atravessar um corredor em L com um metro de largura. Qualquer área superior ficaria bloqueada em pelo menos um ponto do percurso.
Baek chega a esta conclusão através de uma reformulação completa do problema do sofá. Converte a questão intuitiva num problema de optimização preciso, com variáveis claramente definidas e restrições inequívocas. O que era um enigma popular passa a ser um sistema rigoroso de desigualdades e espaços de funções.
Um dos elementos centrais da estratégia consiste em descrever não apenas os sofás possíveis, mas também todas as trajectórias concebíveis para os fazer passar pelo corredor. Isto reduz drasticamente a geometria das formas permitidas e permite-lhe demonstrar, no final, que qualquer solução máxima admissível tem necessariamente de coincidir com a construção de Gerver.
Em que difere o método de Baek das tentativas anteriores
- Trabalha inteiramente sem aproximações numéricas.
- Coloca o problema num enquadramento rigoroso e abstracto da teoria da optimização.
- Não demonstra apenas que o sofá de Gerver é bom: prova que não pode existir um melhor.
- Mostra como movimentos complexos podem ser convertidos em estruturas matemáticas fixas.
O The Straits Times de Singapura e os meios de comunicação sul-coreanos destacaram o trabalho como uma ruptura com a abordagem dominada por computadores nas últimas décadas. A prestigiada revista científica Annals of Mathematics está actualmente a avaliar o manuscrito, um passo a que chegam muito poucos trabalhos.
O que esta solução revela sobre a capacidade humana de pensar
Para Baek, a sua solução não é um monumento dedicado a um sofá, mas sim a uma determinada forma de fazer matemática. Em entrevistas, descreve o processo como uma alternância constante entre esperança e frustração: acredita-se ter encontrado o caminho certo, surge uma contradição, descartam-se meses de trabalho e recomeça-se.
Fala de «sonhos e despertares», de períodos em que o problema se fixa obstinadamente na mente. No fim, encara o seu estudo mais como um ponto de partida do que como uma conclusão: uma «semente plantada» destinada a gerar novas questões.
A solução do sofá mostra que o pensamento puro e abstracto pode prevalecer mesmo em áreas onde os computadores há muito se tornaram padrão.
Ao mesmo tempo, Baek representa uma geração de investigadores sul-coreanos cada vez mais presente na matemática internacional. Centros como o Instituto Coreano de Estudos Avançados estão a tornar-se polos de geometria altamente especializada e teoria da optimização.
O que os não especialistas podem retirar do problema do sofá
Mesmo quem nunca pretenda estudar matemática pode retirar ensinamentos deste caso. Muitas situações quotidianas assemelham-se, de forma surpreendente, ao problema do sofá: transportar mobiliário em prédios antigos com espaços apertados, robôs a circular em armazéns ou empilhadores autónomos em fábricas com corredores sinuosos.
Em todos estes casos, a questão essencial é a mesma: que forma e que movimento se adaptam melhor a um determinado espaço? É precisamente aqui que trabalhos teóricos deste tipo podem fornecer ideias capazes de inspirar futuras soluções de engenharia, por exemplo no desenho de plataformas de transporte ou em algoritmos de prevenção de colisões.
| Conceito | Explicação simples |
|---|---|
| Optimização | Procura da melhor solução entre muitas possibilidades, obedecendo a regras definidas. |
| Geometria | Estudo das formas, distâncias, áreas e corpos no espaço. |
| Prova rigorosa | Argumentação sem saltos lógicos e que abrange todos os casos. |
| Método numérico | Processo de cálculo que recorre a aproximações e é executado por computador. |
Porque um velho sofá abre novas questões de investigação
A solução responde à pergunta clássica sobre o maior sofá que pode passar num corredor em L, mas levanta uma série de novos problemas. O que acontece se o corredor for mais largo ou mais estreito? Qual será a forma óptima se o percurso descrever uma curva em S ou se a sua largura variar? E que importância ganha o atrito numa abordagem mais realista?
Também é possível alterar a dimensão do problema. Em três dimensões, o sofá deixa de ser uma área plana e aproxima-se de um corpo sólido. Nesse caso, interessa determinar a combinação máxima de comprimento, largura e altura que pode ser deslocada através de um túnel angular. Estas questões relacionam-se, entre outras áreas, com a robótica, a logística e o planeamento de construção.
São igualmente atractivos os cenários marcados pela incerteza. Um robô pode não conhecer a planta exacta de um edifício e dispor apenas de um mapa aproximado. Necessita, então, de estratégias que funcionem de forma razoável para muitas configurações possíveis de corredores. Isto liga-se directamente à optimização sob risco e a métodos de aprendizagem na inteligência artificial.
Como os enigmas abstractos podem influenciar as nossas tecnologias
À primeira vista, o problema do sofá parece um luxo da teoria. Contudo, muitas tecnologias beneficiam quando os investigadores analisam de forma persistente questões aparentemente «inúteis». Navegação de drones entre edifícios, planeamento de robôs cirúrgicos em regiões estreitas do corpo e robôs de entrega em supermercados: em todos estes contextos, é necessário movimentar formas com segurança e eficiência através de espaços limitados.
Quem desenvolve estes sistemas precisa de limites superiores fiáveis: qual pode ser o tamanho máximo do dispositivo? Quão estreitos podem ser os corredores planeados sem criar riscos de bloqueio mais tarde? Considerações exactamente deste género passam da investigação sobre o sofá para aplicações práticas, embora geralmente de forma indirecta.
O caso de Baek Jin-eon evidencia o quanto a análise abstracta, paciente, e o desenvolvimento tecnológico podem alimentar-se mutuamente. Um enigma aparentemente excêntrico dos anos 1960 oferece, décadas mais tarde, um modelo para pensar integralmente problemas de movimento muito complexos - sem escrever uma única linha de código.
Comentários
Ainda não há comentários. Seja o primeiro!
Deixar um comentário