Baek Jin-eon resolve o Problema do sofá móvel com uma prova de 119 páginas

Desde a década de 1960 que a comunidade matemática se confronta com um problema que, em termos intuitivos, até uma criança percebe: como fazer passar um sofá por um corredor em forma de L sem o levantar nem o deformar? Agora, um 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 pura reflexão.

Como um «problema do sofá» se transformou num mito da matemática

Tudo começa em 1966, quando o matemático austro-canadiano Leo Moser coloca uma questão aparentemente banal: imagine-se um corredor em L, com ambos os troços exatamente com um metro de largura. Qual é a maior área possível de uma peça rígida e plana que ainda consiga contornar a esquina e atravessar o corredor, sem sair do chão e sem se dobrar?

O exemplo entra depressa em manuais e aulas e passa a ser conhecido como o «Problema do sofá móvel». O nome é leve, mas a dificuldade não é: por trás da formulação inocente esconde-se um problema severo de optimização geométrica.

Ainda no final dos anos 1960, nomes importantes tentam encontrar boas soluções. Em 1968, John Hammersley propõe uma forma que consegue passar com uma área de aproximadamente 2,2074 metros quadrados. Em 1992, Joseph Gerver vai mais longe: desenha uma figura extremamente intrincada, com várias secções curvas, chegando a cerca de 2,2195 metros quadrados.

A proposta de Gerver torna-se rapidamente a favorita informal. A intuição de muitos é simples: não dá para fazer maior. Só que faltava o essencial - uma demonstração. Sem prova, fica sempre uma dúvida residual: talvez exista, algures, uma forma um pouco melhor, perdida num oceano de possibilidades.

Durante décadas, simulações e aproximações engenhosas foram praticamente as únicas ferramentas - e, mesmo assim, a resposta final continuava fora de alcance.

Porque é que este enigma se manteve tão teimoso

No papel, o problema do sofá parece directo; na prática, o número de graus de liberdade dispara. A forma pode ser curva, assimétrica, recortada ou lisa. Além disso, pode rodar e transladar enquanto desliza pelo corredor. Cada posição possível impõe novas condições de contorno.

Por isso, muitos investigadores apostaram em computadores. Com métodos numéricos, testaram famílias enormes de formas, optimizando passo a passo, afinando constantes e obtendo novos limites superior e inferior. Os resultados soavam convincentes, mas nunca definitivos. Um algoritmo consegue afirmar: «Não encontrei nada melhor.» Não consegue assegurar: «Não existe nada melhor.»

É precisamente aqui que, durante décadas, ficou aberta a lacuna. Havia candidatos fortes, mas não um vencedor incontestável. E assim o sofá permaneceu um mito.

Serviço militar, um corredor e uma ideia fixa

A viragem surge 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 deparou, pela primeira vez, com o problema do sofá.

O que o prendeu não foi apenas a dificuldade técnica, mas a desordem conceptual à volta do tema. Existiam muitos resultados parciais, muitas imagens e muitas simulações - porém, faltava uma estrutura teórica limpa. O problema parecia um conjunto de intuições sem um alicerce comum.

Esse vazio tornou-se o motor de Baek. Começou a desmontar o puzzle 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 questão de saber se a forma de Gerver é mesmo o maior «sofá» possível - apenas com papel, caneta e lógica.

Uma demonstração de 119 páginas sem um único algoritmo

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

A conclusão é clara: a forma proposta por Joseph Gerver é, de facto, óptima. Não existe nenhuma figura rígida, bidimensional, com área maior, capaz de atravessar um corredor em L com um metro de largura. Qualquer forma que exceda essa área acabará por ficar presa em pelo menos um ponto.

Baek chega a esta afirmação ao reformular por completo o problema do sofá. Em vez de uma pergunta intuitiva, constrói um problema de optimização com variáveis bem definidas e restrições inequívocas. Um passatempo popular torna-se um sistema rigoroso de desigualdades e espaços funcionais.

Um elemento central da sua estratégia é não descrever apenas os sofás possíveis, mas também todas as trajectórias de movimento concebíveis através do corredor. Ao caracterizar o movimento, ele limita drasticamente a geometria das formas admissíveis e consegue, por fim, demonstrar que qualquer solução máxima permitida tem necessariamente de coincidir com a construção de Gerver.

Em que é que a abordagem de Baek difere das tentativas anteriores

• Trabalha integralmente sem aproximações numéricas.
• Enquadra o problema num modelo rigoroso e abstracto de teoria da optimização.
• Não se limita a mostrar que o sofá de Gerver é bom: prova que nenhum melhor pode existir.
• Explica como movimentos complexos podem ser traduzidos em estruturas matemáticas fixas.

O jornal singapurense Straits Times e os media coreanos destacaram o trabalho como uma ruptura face à linha dominante, apoiada em computação, das últimas décadas. A prestigiada revista Annals of Mathematics está a avaliar o manuscrito - um patamar a que muito poucos artigos chegam.

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

Para Baek, o resultado não é um monumento ao sofá, mas a um certo modo de fazer matemática. Em entrevistas, descreve o caminho como uma alternância permanente entre esperança e frustração: acredita-se ter encontrado a via certa, aparece uma contradição, deitam-se fora meses de trabalho e recomeça-se.

Fala em «sonhos e despertares» e em períodos em que o problema se fixa na cabeça. No fim, encara a sua contribuição mais como um ponto de partida do que como uma chegada: uma «semente plantada» que deverá gerar novas perguntas.

A solução do sofá mostra que o pensamento puro e abstracto consegue impor-se mesmo onde os computadores se tornaram norma.

Ao mesmo tempo, Baek simboliza uma geração de investigadores sul-coreanos com crescente presença na matemática internacional. Instituições como o Korea Institute for Advanced Study estão a afirmar-se como nós importantes em geometria altamente especializada e teoria da optimização.

O que os não-especialistas podem retirar do problema do sofá

Mesmo quem nunca tencione estudar matemática pode aprender algo com este caso. Muitas situações do quotidiano lembram, de forma surpreendente, o problema do sofá: transportar móveis em prédios antigos com escadas e corredores estreitos, robots a circular em armazéns ou empilhadores autónomos a manobrar em fábricas labirínticas.

Em todos estes exemplos, volta a surgir a mesma pergunta base: que forma e que movimento se ajustam melhor a um espaço dado? É aqui que trabalhos teóricos deste tipo podem lançar ideias que mais tarde inspiram 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, segundo regras fixas.
Geometria	Estudo de formas, distâncias, áreas e sólidos no espaço.
Prova rigorosa	Argumentação sem saltos lógicos, cobrindo todos os casos.
Método numérico	Técnica de cálculo baseada em aproximações, executada por computador.

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

A demonstração resolve a questão clássica do maior sofá num corredor em L. No entanto, também levanta um conjunto de novos problemas. O que muda se o corredor ficar mais largo ou mais estreito? Qual é a forma ideal se o percurso for uma curva em S, ou se a largura variar ao longo do caminho? E, se quisermos ser mais realistas, que papel terá o atrito?

A dimensão também pode ser alterada. Em três dimensões, o «sofá» deixa de ser uma área plana e passa a assemelhar-se a um corpo sólido. Nesse caso, interessa maximizar uma combinação de comprimento, largura e altura que ainda consiga atravessar um túnel com uma mudança de direção. Perguntas assim tocam áreas como robótica, logística e planeamento de construção.

Também são apelativos cenários com incerteza: um robot pode não conhecer o traçado exacto do corredor, tendo apenas um mapa aproximado. Aí, precisa de estratégias que funcionem razoavelmente para muitas formas possíveis de corredor. Isso liga-se directamente à optimização sob risco e a métodos de aprendizagem em inteligência artificial.

Como enigmas abstractos podem influenciar as nossas tecnologias

À primeira vista, o problema do sofá parece um luxo da teoria. No entanto, várias tecnologias beneficiam quando questões «inúteis» são exploradas até ao fim. Navegação de drones entre prédios, planeamento de robots cirúrgicos em regiões estreitas do corpo, robots de entregas em supermercados - em todo o lado é preciso fazer passar formas, com segurança e eficiência, por 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 arriscar bloqueios futuros? São precisamente estes tipos de raciocínio que, ainda que de forma indirecta, passam da investigação sobre o sofá para a prática.

O caso de Baek Jin-eon ilustra como a análise paciente e abstracta e o desenvolvimento 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 extremamente complexos até ao fim - sem uma única linha de código.

---