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

Num corredor em L, uma placa rígida avança centímetro a centímetro - sem levantar do chão, sem dobrar, sem “fazer batota” - como se obedecesse a uma ilusão silenciosa.

Durante quase 60 anos, esta manobra existiu sobretudo em quadros de ardósia e cadernos de apontamentos, a desafiar matemáticos de várias gerações. Hoje, um investigador sul-coreano de 31 anos, Baek Jin-eon, sustenta ter fechado definitivamente um dos enigmas mais famosos da geometria.

O enigma do sofá que precisa virar a esquina num corredor em L

À primeira vista, a questão parece saída de uma mudança de casa: qual é o maior “sofá” plano e rígido que consegue contornar uma esquina num corredor em L, com 1 metro de largura em cada braço, sem ser levantado nem deformado? Em 1966, o austro-canadiano Leo Moser transformou este cenário quotidiano no célebre problema do sofá móvel.

O encanto do desafio ajudou-o a entrar em manuais escolares nos EUA e noutros países. Tinha uma qualidade rara: enuncia-se num instante, visualiza-se com facilidade e fica na memória - mas resistia a uma solução exacta e incontroversa.

Uma pergunta simples, mas implacável: qual é a maior área de um objecto plano capaz de contornar uma esquina em L sem qualquer truque físico?

Com o passar das décadas, foram surgindo “candidatos” ao sofá ideal. Em 1968, John Hammersley propôs uma forma com área aproximada de 2,2074 m². Em 1992, o norte-americano Joseph Gerver apresentou uma figura ainda mais trabalhada, composta por curvas definidas com grande precisão, que atingia cerca de 2,2195 m².

A proposta de Gerver tornou-se a favorita. Muitos suspeitavam que era o máximo possível - mas faltava o que, em matemática, separa a convicção da certeza: uma prova completa. Persistia a interrogação inevitável: existirá, algures, uma forma ligeiramente melhor?

Baek Jin-eon e o “problema do sofá móvel” que não tinha dono

Muitos anos depois, o enredo muda de geografia. Durante o serviço militar obrigatório na Coreia do Sul, Baek Jin-eon toma contacto com o problema do sofá móvel através do Instituto Nacional de Ciências Matemáticas do país. O que o prende não é apenas a dureza técnica, mas uma espécie de vazio à volta do tema.

Não havia uma teoria unificadora nem um enquadramento geral capaz de organizar as tentativas e as ideias dispersas. O problema circulava quase como folclore matemático: enunciado famoso, soluções parciais elegantes, muitas experiências computacionais - e poucas garantias.

Baek encontra um clássico sem uma estrutura teórica robusta e decide, praticamente sozinho, construir esse alicerce.

A partir daí, o sofá móvel torna-se um projecto de longa duração. Baek prossegue a investigação durante o doutoramento na Universidade de Michigan (EUA) e, mais tarde, no centro June E. Huh de desafios matemáticos, associado ao Korea Institute for Advanced Study.

Sete anos de trabalho e quase nenhum recurso a simuladores

Num tempo em que software, inteligência artificial e simulações numéricas dominam boa parte da investigação aplicada, a estratégia de Baek sobressai por ser pouco comum: o computador quase não entra como motor principal. Em vez de testar milhões de formas à força, o objectivo passa por compreender a arquitectura interna do problema.

Ao longo de sete anos, o matemático constrói um formalismo para o sofá móvel. A questão informal - “que forma passa na esquina?” - é convertida num problema rigoroso de otimização geométrica, com restrições explicitadas, variáveis bem definidas e argumentos encadeados passo a passo.

O resultado é uma demonstração com 119 páginas, assente exclusivamente em raciocínio lógico, disponibilizada em 2024 no repositório científico arXiv.

No artigo, Baek conclui que a figura de Joseph Gerver (1992) é, de facto, óptima. Em termos práticos: não existe qualquer outra figura plana e rígida que atravesse o corredor em L (de largura unitária) com área superior à já obtida por Gerver.

Um pormenor importante é que, apesar de o trabalho ter sido tornado público no arXiv, a validação plena acontece quando a comunidade o escrutina: especialistas testam definições, procuram lacunas e confirmam que não há passos implícitos. É este processo - lento e exigente - que transforma um resultado forte num resultado incontestável.

Porque não “resolver no computador” e seguir em frente?

Esta dúvida surge com frequência quando se fala de geometria hoje. Uma simulação consegue explorar milhares de milhões de configurações e chegar a aproximações muito finas. O problema é que aproximação não equivale a garantia.

• A simulação sugere que uma solução é provavelmente excelente.
• A prova matemática demonstra que nenhuma solução melhor pode existir.
• Sem prova, sobra sempre uma abertura para alguém ultrapassar o resultado.

O salto de Baek está exactamente aqui: fecha-se a possibilidade de existir um sofá maior do que o de Gerver. O corredor em L de largura unitária deixa de ser um palpite muito convincente e passa a estar estabelecido como teorema.

O regresso da matemática “à mão” - e o que isso revela

O alcance do trabalho não se esgota no enigma do sofá. A abordagem reaviva a discussão sobre o papel da intuição, da escrita e da prova detalhada num panorama cada vez mais dominado por computação. Em entrevistas à imprensa sul-coreana, Baek descreveu o percurso como uma alternância de esperança e frustração: avançar, acreditar que o caminho está encontrado, detectar um erro, recomeçar e afinar argumentos.

Há uma componente quase artesanal no método. Várias secções da demonstração obrigam a decompor o movimento do sofá em fases, a transformar contactos com as paredes em desigualdades e a perceber como pequenas rotações e translações limitam a área possível. Não é “força bruta”; é clarificação conceptual.

A conquista devolve centralidade ao raciocínio humano num terreno onde parecia que as máquinas tinham assumido o protagonismo das grandes buscas.

Actualmente, com 31 anos, Baek continua a trabalhar em geometria combinatória e otimização, áreas que estudam, por exemplo, como organizar formas no espaço para alcançar extremos - maior área, menor volume, melhor encaixe. O artigo encontra-se em avaliação pela Annals of Mathematics, uma das revistas mais prestigiadas do mundo.

O que significa “otimização geométrica” neste caso?

No problema do sofá móvel, pretende-se maximizar uma quantidade - a área do sofá - sujeita a restrições físicas claras: o objecto tem de ser rígido, não pode ser levantado e não pode atravessar paredes. Este tipo de perguntas aparece, com variações, em situações muito concretas:

• Planeamento de mobiliário e cargas que têm de passar por portas, corredores e elevadores estreitos.
• Concepção de componentes industriais montados em espaços reduzidos.
• Robótica, em que braços mecânicos precisam de manobrar em ambientes confinados.

O sofá móvel funciona como um laboratório mental: não nasceu para resolver a logística de uma mudança real, mas para testar até onde vão as ferramentas matemáticas quando forma, movimento e espaço entram em conflito.

Termos que ajudam a perceber a façanha

Termo	Significado
Área	Medida da superfície do sofá plano, em metros quadrados (m²).
Óptimo	Resultado que não pode ser melhorado dentro das regras do problema.
Rígido	Objecto que não entorta, não dobra e não se deforma durante o movimento.
Corredor em L	Duas passagens perpendiculares, com a mesma largura, unidas por um ângulo recto.

Como visualizar este sofá em casa

Para tornar a ideia concreta, imagine um corredor com 1 metro de largura que faz uma curva de 90°. Agora, desenhe no chão (por exemplo, com fita adesiva) uma figura complexa, com secções curvas, cuja área ronda 2,22 m². A pergunta é: se essa figura fosse recortada numa placa de madeira rígida, conseguiria atravessar o corredor apenas a deslizar e a rodar no chão, sem encostar nas paredes?

É precisamente isso que a forma de Gerver, agora confirmada por Baek, consegue fazer de modo ideal. Qualquer tentativa de “ganhar” área - alargando ligeiramente uma ponta, acrescentando volume a uma curva - acabaria por colidir com a parede em alguma etapa da manobra.

O que este resultado sugere para outras áreas

O caso do sofá móvel é uma vitrina de um padrão recorrente: problemas clássicos, com aparência recreativa, acabam por gerar técnicas reutilizáveis noutros domínios. A formalização proposta por Baek pode inspirar abordagens em controlo de robôs, logística de armazéns automatizados e até no planeamento de procedimentos minimamente invasivos, onde instrumentos precisam de atravessar trajectos apertados dentro do corpo.

Há ainda uma mensagem conceptual: provas longas e minuciosas continuam a ter um valor próprio num mundo dominado por resultados numéricos e algoritmos. A tendência não é abandonar a máquina, mas integrá-la com critério - combinando criatividade humana na construção de demonstrações com verificação automática de detalhes técnicos quando isso fizer sentido.