A young Korean mathematician solves one of the most challenging problems of the century.

Num corredor em forma de L, uma figura rígida desliza milímetro a milímetro - sem levantar, sem torcer - como num truque de magia silencioso.

Durante quase seis décadas, esse truque existiu apenas em quadros de giz e cadernos de rascunho, desafiando gerações de matemáticos. Agora, um investigador sul-coreano de apenas 31 anos afirma ter dado a resposta definitiva a este enigma geométrico clássico.

O enigma do sofá que precisa virar a esquina

O problema parece coisa de mudança de casa: qual é o maior “sofá” plano e rígido que consegue fazer a curva num corredor em forma de L, com 1 metro de largura em cada braço, sem ser levantado nem dobrado? Em 1966, o austro-canadiano Leo Moser transformou esta situação do dia a dia num problema matemático célebre.

O desafio, conhecido como o “problema do sofá móvel”, ganhou destaque em manuais e livros de divulgação nos Estados Unidos e noutros países. Tinha uma vantagem rara: era fácil de enunciar, fácil de visualizar e difícil de esquecer - mas extremamente difícil de resolver com exactidão.

Uma pergunta simples: qual é a maior área de um objecto plano capaz de virar uma esquina em L sem nenhum truque físico?

Ao longo das décadas, a comunidade matemática foi propondo candidatos a este sofá ideal. Em 1968, John Hammersley sugeriu uma forma com área aproximada de 2,2074 m². Em 1992, o norte-americano Joseph Gerver apresentou uma figura ainda mais refinada, cheia de curvas calculadas com precisão, atingindo cerca de 2,2195 m².

O desenho de Gerver tornou-se o “queridinho” do problema. Muitos acreditavam que era, de facto, o melhor possível - mas ninguém conseguia prová-lo com total rigor. Ficava sempre a dúvida: será que existiria uma forma um pouco melhor, escondida algures na imaginação geométrica?

Um jovem no serviço militar e uma pergunta sem dono

Décadas depois, a história muda de continente. Durante o serviço militar obrigatório na Coreia do Sul, Baek Jin-eon, então um jovem matemático, ouve falar do problema do sofá móvel no Instituto Nacional de Ciências Matemáticas do país. O que lhe chama a atenção não é apenas a dificuldade técnica, mas o “vazio” conceptual em torno do tema.

Não havia uma teoria consolidada, nem um quadro geral que organizasse as tentativas. O problema circulava quase como folclore matemático: um enunciado famoso, soluções parciais elegantes, muitas simulações por computador e poucas certezas.

Baek encontra um problema clássico sem um arcabouço teórico sólido e decide construir, sozinho, esse alicerce.

A partir daí, o sofá móvel torna-se um projecto de longo prazo. Baek continua a investigar o tema durante o doutoramento na Universidade do Michigan, nos Estados Unidos, e depois no centro June E. Huh de desafios matemáticos, ligado ao Korea Institute for Advanced Study.

Sete anos de trabalho, quase sem simulações

Numa era dominada por software, inteligência artificial e simulações numéricas, o método de Baek chama a atenção por um motivo simples: ele praticamente ignora o computador. O foco não está em testar milhões de formas possíveis, mas em compreender a estrutura do problema em profundidade.

Ao longo de sete anos, o matemático desenvolve um arcabouço formal para o sofá móvel. Transforma a pergunta quase informal - “que forma passa na esquina?” - num problema rigoroso de optimização geométrica, com condições bem definidas, variáveis claras e argumentos encadeados.

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

Nesse trabalho, Baek mostra que a forma proposta por Joseph Gerver, em 1992, é de facto óptima. Ou seja, não existe nenhuma outra figura plana e rígida que consiga atravessar o corredor em L com área superior à já calculada por Gerver.

Por que não “desenhar no computador” e pronto?

Esta pergunta é frequente quando se fala de problemas geométricos hoje. Simulações numéricas conseguem testar milhares de milhões de configurações e aproximar soluções com alta precisão. Só que aproximação não é o mesmo que certeza.

• Uma simulação indica que uma solução é provavelmente muito boa.
• Uma prova matemática mostra que nenhuma solução melhor pode existir.
• Sem prova, há sempre uma pequena brecha para alguém melhorar o resultado.

O avanço de Baek está precisamente nessa passagem: ele fecha a porta a qualquer sofá maior do que o de Gerver. O corredor em L, com largura unitária, fica resolvido. O que antes era um palpite muito forte passa a ser um teorema.

O regresso da “velha” matemática feita à mão

O impacto do trabalho não se limita ao problema em si. A abordagem reacende um debate sobre o papel da intuição e da prova escrita num cenário cada vez mais dominado por cálculo automático. Em entrevistas à imprensa sul-coreana, Baek descreveu o processo como uma sequência de esperanças e frustrações: avança, acredita ter encontrado o caminho, depara-se com um erro, recomeça, ajusta argumentos.

Este ritmo lembra uma prática quase artesanal. Várias partes da demonstração exigem decompor o movimento do sofá em etapas, traduzir contactos com as paredes em desigualdades e compreender como pequenas rotações e translações afectam a área possível. Não é um trabalho de força bruta, mas de organização conceptual.

A conquista devolve protagonismo à razão humana num campo onde a máquina parecia dominar as grandes buscas.

Hoje, aos 31 anos, Baek continua a investigar em geometria combinatória e optimização - áreas que estudam, por exemplo, como organizar estruturas no espaço para atingir resultados extremos: máxima área, mínimo volume, melhor encaixe. O artigo está em avaliação pela revista Annals of Mathematics, uma das mais prestigiadas do mundo.

O que exactamente é “optimização geométrica” neste contexto?

No problema do sofá móvel, o objectivo é maximizar uma quantidade - a área do sofá - sob certas restrições físicas: o objecto não pode deformar, não pode levantar e não pode atravessar as paredes. Este tipo de questão aparece em várias situações práticas:

• Planeamento de móveis e cargas que precisam passar por portas e elevadores estreitos.
• Design de peças industriais que devem ser montadas em espaços limitados.
• Robótica, em que braços mecânicos precisam mover-se em ambientes confinados.

O sofá móvel é um laboratório mental para este tipo de raciocínio. Não foi criado para resolver um problema real de mudança, mas para testar os limites das nossas ferramentas matemáticas quando espaço, forma e movimento se encontram.

Termos que ajudam a entender 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, não se deforma durante o movimento.
Corredor em L	Duas passagens perpendiculares, cada uma com a mesma largura, unidas em ângulo recto.

Como imaginar este sofá em casa

Para ter uma ideia concreta, imagine um corredor com 1 metro de largura, fazendo uma curva de 90 graus. Agora imagine que desenha no chão, com fita adesiva, uma figura complicada, cheia de partes curvas, com cerca de 2,22 m². O desafio é: essa figura, se fosse recortada em madeira rígida, conseguiria atravessar o corredor apenas deslizando e girando no chão, sem bater nas paredes?

É isso que o modelo de Gerver, confirmado por Baek, faz de forma ideal. Qualquer tentativa de aumentar um pouco uma das “pontas” acabaria por esbarrar na parede em algum momento da manobra.

O que este resultado sinaliza para outras áreas

O caso do sofá móvel funciona como vitrina para uma tendência: problemas clássicos, aparentemente recreativos, acabam por gerar técnicas novas que podem ser reutilizadas em contextos muito diferentes. 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 cirurgias minimamente invasivas, em que instrumentos têm de atravessar trajectos apertados dentro do corpo.

Há também uma mensagem mais conceptual: provas longas e detalhadas continuam a ter valor num cenário dominado por resultados numéricos e algoritmos. O equilíbrio entre intuição humana e poder de cálculo torna-se um tema central. A tendência não é abandonar a máquina, mas integrá-la: problemas futuros podem combinar a criatividade de demonstrações como a de Baek com verificação automatizada de detalhes técnicos.