Um jovem matemático coreano resolve um dos problemas mais difíceis do século.

Desde a década de 1960 que a comunidade matemática se confronta com uma pergunta que, em teoria, qualquer criança entende: como fazer passar um sofá por um corredor em L sem o levantar do chão nem o deformar? Agora, um matemático sul-coreano de 31 anos apresenta uma resposta que não só resolve o enigma como também reforça a confiança no poder da matemática feita apenas com raciocínio.

Como o Problema do Sofá (móvel) se tornou um mito da matemática

Tudo começa em 1966, com o matemático austro-canadiano Leo Moser. Moser formulou uma questão de aparência quase banal: imagine-se um corredor em forma de L, com ambos os ramos exactamente 1 metro de largura. Qual é a maior área possível de uma peça rígida e plana (uma forma bidimensional), que consiga contornar a esquina e atravessar o corredor sem sair do chão e sem se dobrar?

O cenário depressa passou a aparecer em manuais e aulas, sob um nome enganadoramente leve: Problema do sofá móvel. O título soa divertido; o conteúdo, porém, é implacável. Por trás da história do “sofá” esconde-se um problema extremamente difícil de optimização geométrica.

Ainda no fim dos anos 1960 começaram as primeiras tentativas de peso. Em 1968, John Hammersley propôs uma forma que consegue atravessar o corredor com uma área de aproximadamente 2,2074 m². Mais tarde, em 1992, Joseph Gerver foi mais longe: desenhou uma figura altamente intrincada, composta por vários segmentos curvos, alcançando cerca de 2,2195 m².

Rapidamente, a proposta de Gerver ganhou estatuto de favorita oficiosa. Muitos suspeitavam que não havia como ultrapassá-la. Só que suspeitar não chega: sem prova, fica sempre uma margem de incerteza - talvez exista, algures, uma forma ligeiramente melhor escondida num oceano de possibilidades.

Durante décadas, simulações e aproximações engenhosas foram praticamente as únicas ferramentas - e, apesar disso, a resposta definitiva parecia fora de alcance.

Porque é que este enigma resistiu tanto tempo

No papel, o Problema do sofá parece directo. Na prática, o número de “graus de liberdade” explode. A forma pode ser curva, assimétrica, dentada ou suave. Enquanto se move, pode rodar e transladar, e cada posição possível acrescenta novas restrições impostas pelas paredes do corredor em L.

Por isso, muitos investigadores recorreram ao computador. Com métodos numéricos, testaram grandes famílias de formas, fizeram optimização passo a passo, afinaram constantes e obtiveram melhores limites superiores e inferiores. Os resultados soavam convincentes - mas não eram finais. Um algoritmo pode afirmar: “não encontrei nada melhor”. Não consegue garantir: “não existe nada melhor”.

Foi aqui que, durante décadas, ficou a grande lacuna: havia bons candidatos, mas não um campeão incontestável com prova completa. O “sofá” permaneceu um mito matemático.

Serviço militar, um corredor em L e uma obsessão: Baek Jin-eon e o Problema do sofá

A viragem surgiu num contexto improvável: durante o serviço militar. Baek Jin-eon, então um jovem matemático na Coreia do Sul, trabalhava no National Institute for Mathematical Sciences quando se cruzou pela primeira vez com o Problema do sofá móvel.

O que o prendeu não foi apenas a dificuldade técnica, mas o desalinho conceptual: muitos resultados parciais, diagramas e simulações - e, ao mesmo tempo, a ausência de um enquadramento teórico único e limpo. O problema parecia uma colecção de ideias soltas sem um alicerce comum.

Esse vazio tornou-se o motor de Baek. Começou a desmontar o enigma de forma sistemática: primeiro durante o serviço militar, depois no doutoramento na University of Michigan, e mais tarde no June E. Huh Center for Mathematical Challenges, no Korea Institute for Advanced Study.

Durante sete anos, Baek trabalhou na pergunta essencial - se a forma de Gerver é mesmo o maior “sofá” possível - usando apenas papel, lápis e lógica.

Uma demonstração de 119 páginas sem uma única linha de código

No final de 2024, Baek colocou o seu trabalho na plataforma científica arXiv. O manuscrito tem 119 páginas. Não há código, nem simulações Monte Carlo, nem software de geometria - apenas provas, lemas e teoremas encadeados com rigor.

A conclusão é clara: a forma proposta por Joseph Gerver é, de facto, óptima. Não existe nenhuma superfície rígida bidimensional, com área maior, que consiga atravessar um corredor em L com 1 metro de largura. Qualquer forma com área superior acabaria por ficar presa em pelo menos um ponto do trajecto.

Baek chega a esta afirmação ao reformular completamente o problema. Em vez de uma pergunta intuitiva, transforma-o num problema de optimização com variáveis bem definidas e restrições inequívocas. O que era um quebra-cabeças popular passa a ser um sistema rigoroso de desigualdades e espaços funcionais.

Um elemento crucial da estratégia é que ele não descreve apenas “sofás possíveis”: descreve também o conjunto de trajectórias de movimento admissíveis dentro do corredor. Ao caracterizar matematicamente essas trajectórias, restringe fortemente a geometria das formas viáveis - e consegue, por fim, mostrar que qualquer solução máxima tem necessariamente de coincidir com a construção de Gerver.

Em que é que a abordagem de Baek Jin-eon ao Problema do sofá difere das tentativas anteriores

• Trabalha inteiramente sem aproximações numéricas.
• Coloca o problema num enquadramento estrito de teoria da optimização.
• Não prova 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 e manipuláveis.

O jornal singapurense The Straits Times e vários meios de comunicação coreanos destacaram o trabalho como uma ruptura com a linha dominante, fortemente apoiada em computador, das últimas décadas. A prestigiada revista Annals of Mathematics está actualmente a avaliar o manuscrito - uma etapa que muito poucos artigos atingem.

O que esta solução revela sobre a capacidade humana de pensar

Para Baek, isto não é um monumento a um sofá; é uma afirmação sobre uma forma de fazer matemática. Em entrevistas, descreve o processo como um vaivém constante entre esperança e frustração: acredita-se ter encontrado o caminho certo, surge uma contradição, deitam-se fora meses de trabalho e recomeça-se.

Fala em “sonhos e despertares”, em períodos em que o problema se cola à mente. No fim, encara o resultado mais como um começo do que como uma chegada: uma “semente plantada” destinada a gerar novas perguntas.

A solução do sofá mostra que o pensamento abstracto puro pode vencer mesmo em áreas onde o computador já é padrão.

Ao mesmo tempo, o percurso de Baek representa uma geração de investigadores sul-coreanos com presença crescente na matemática internacional. Instituições como o Korea Institute for Advanced Study estão a consolidar-se como pontos de referência em geometria altamente especializada e teoria da optimização.

Um efeito menos óbvio, mas relevante, é o valor cultural e pedagógico deste tipo de prova: ela obriga a clarificar definições, a separar intuição de argumento e a criar linguagem matemática capaz de capturar movimento e contacto com fronteiras. Mesmo quando a aplicação prática não é imediata, o método torna-se reutilizável noutros problemas.

O que qualquer pessoa pode aprender com o Problema do sofá móvel

Mesmo sem formação em matemática, é fácil reconhecer situações do quotidiano que lembram o Problema do sofá: transportar móveis em prédios antigos com corredores apertados, robots a deslocarem-se em armazéns, ou empilhadores autónomos em fábricas cheias de curvas e obstáculos.

Em todos estes cenários, a pergunta base é a mesma: que forma e que movimento são os mais adequados para um espaço dado? Trabalhos teóricos deste tipo podem inspirar soluções de engenharia - por exemplo, no desenho de plataformas de transporte ou na criação de algoritmos de prevenção de colisões.

Conceito	Explicação simples
Optimização	Procura da melhor solução entre muitas possibilidades, seguindo regras bem definidas.
Geometria	Estudo de formas, distâncias, áreas e objectos no espaço.
Prova rigorosa	Argumento sem saltos lógicos, que cobre todos os casos relevantes.
Método numérico	Técnica de cálculo baseada em aproximações, tipicamente executada em computador.

Porque é que um sofá antigo abre novas perguntas de investigação

Resolver a questão clássica - a área máxima que atravessa um corredor em L de 1 metro - não fecha o tema; pelo contrário, desbloqueia novas variações. O que muda se o corredor for mais largo ou mais estreito? Qual é a forma óptima se o trajecto for em S, ou se a largura variar ao longo do caminho? E, se quisermos ser mais realistas, que papel teria a fricção?

Também é possível alterar a dimensão do problema. Em três dimensões, o “sofá” deixa de ser uma superfície e passa a ser um corpo volumoso. Aí interessa a combinação máxima de comprimento, largura e altura que consegue atravessar um túnel com curvas. Estas perguntas tocam áreas como robótica, logística e planeamento de construção.

Há ainda cenários com incerteza: um robot pode não conhecer o planta exacta, tendo apenas um mapa aproximado. Nesse caso, precisa de estratégias que funcionem razoavelmente bem para muitas configurações possíveis do corredor - ligando o tema a optimização sob risco e a métodos de aprendizagem em inteligência artificial.

Uma extensão natural, com impacto em aplicações, é estudar não só “o maior objecto possível”, mas também a margem de segurança: quanto se deve reduzir o tamanho máximo para garantir passagem mesmo com erros de sensorização, pequenas irregularidades das paredes ou movimentos não ideais. Essa diferença entre o óptimo teórico e o robusto na prática é, frequentemente, onde nasce a engenharia.

Como enigmas abstractos podem influenciar tecnologia real

À primeira vista, o Problema do sofá móvel parece um luxo teórico. No entanto, muitas tecnologias beneficiam quando alguém leva perguntas “inúteis” até ao fim. Navegação de drones entre edifícios, planeamento de robots cirúrgicos em regiões estreitas do corpo, robots de entrega em supermercados - em todos estes casos, é preciso manobrar formas de modo seguro e eficiente em espaços limitados.

Quem projecta estes sistemas precisa de limites fiáveis: qual é o tamanho máximo aceitável do dispositivo? Quão estreitos podem ser os corredores sem risco de bloqueio? É este tipo de raciocínio - frequentemente de forma indirecta - que a investigação sobre o sofá fornece à prática.

O caso de Baek Jin-eon mostra como a análise abstracta paciente e o progresso tecnológico se alimentam mutuamente. Um enigma aparentemente excêntrico dos anos 1960 acaba, décadas depois, por oferecer um modelo de como pensar problemas de movimento altamente complexos até ao fim - sem uma única linha de código.