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

O que começou como uma brincadeira mental - imaginar como passar um sofá por uma esquina apertada - acabou por se tornar um dos problemas em aberto mais teimosos da geometria. Agora, um investigador sul‑coreano de 31 anos, Baek Jin‑eon, afirma tê‑lo encerrado com uma demonstração de 119 páginas, escrita quase toda à mão.

O “problema do sofá móvel” que não desaparecia

Em 1966, o matemático austro‑canadiano Leo Moser lançou uma pergunta com ar de truque de salão. Imagine um corredor em forma de “L”, com os dois ramos exatamente com 1 metro de largura. Qual é a maior forma rígida e plana - pense num sofá visto de cima, como uma peça sólida - que pode ser empurrada à volta da esquina sem levantar, dobrar ou deformar?

Este desafio ficou conhecido como problema do sofá móvel. As regras são simples de enunciar e difíceis de contornar:

• a largura do corredor é fixa (1 metro);
• a forma tem de permanecer sempre totalmente dentro do corredor;
• pode deslizar e rodar, mas não pode fletir;
• o objetivo é maximizar a área da forma.

A pergunta explica‑se a um adolescente em minutos, mas resistiu a alguns dos melhores matemáticos durante quase 60 anos.

Ainda no final da década de 1960, começaram a aparecer candidatos. Em 1968, o matemático britânico John Hammersley propôs uma figura engenhosa, “tipo sofá”, com área aproximada de 2,2074 m². A construção conseguia fazer a curva e tornou‑se a referência.

Em 1992, o matemático norte‑americano Joseph Gerver foi mais longe: desenhou uma forma extremamente sofisticada, composta por várias curvas suaves encaixadas. A área subiu para cerca de 2,2195 m². Durante décadas, a “forma de Gerver” foi tratada como favorita - mas faltava o passo decisivo: provar que nada maior poderia funcionar.

Ao longo dos anos, entraram em cena computadores. Testaram‑se variações, ajustaram‑se curvas, simularam‑se trajectórias e tentaram‑se ganhar frações mínimas de área. Mesmo assim, a dúvida persistia: a forma de Gerver é realmente ótima ou apenas uma aproximação excecional?

Baek Jin‑eon e o problema do sofá móvel: um encontro improvável durante a tropa

A viragem da história aconteceu longe dos centros tradicionais da matemática. Durante o serviço militar obrigatório na Coreia do Sul, Baek Jin‑eon foi colocado no Instituto Nacional de Ciências Matemáticas - uma atribuição rara que lhe permitiu continuar a investigar.

Foi aí que leu, pela primeira vez, sobre o problema do sofá móvel. O que o prendeu não foi apenas a dificuldade, mas o facto de o tema parecer viver de soluções pontuais: muitas construções engenhosas e experiências numéricas, mas pouca “arquitetura teórica” unificadora.

Baek decidiu primeiro construir a base em falta e só depois atacar o problema de raiz, evitando depender de pesquisas automatizadas por computador.

Essa obsessão acompanhou‑o no doutoramento na Universidade do Michigan e, mais tarde, no Centro June E. Huh para Desafios Matemáticos, no Instituto Coreano de Estudos Avançados. Durante sete anos, o problema do sofá móvel esteve no centro da sua rotina.

Quem o acompanhou descreve um método paciente e inflexível: rascunhar, formalizar, encontrar uma contradição, voltar atrás e recomeçar. O próprio Baek comparou este ciclo a uma alternância entre sonhos e despertares - momentos de entusiasmo seguidos da clareza dura de descobrir um erro, já numa página avançada do manuscrito.

Uma demonstração de 119 páginas, com quase nenhum recurso a computador

No final de 2024, Baek colocou um manuscrito de 119 páginas no repositório científico arXiv. A afirmação central é direta e definitiva: a forma de Gerver (1992) não é apenas muito boa - é matematicamente ótima.

Não existe nenhuma forma rígida e plana com área superior à de Gerver que consiga contornar uma esquina em “L” com 1 metro de largura sem colidir com as paredes.

A frase é simples; o mecanismo por trás dela não. O passo crucial de Baek foi transformar um enigma informal num problema de otimização formulado com precisão. Em vez de perguntar apenas “qual é a melhor forma?”, ele reformulou a questão em termos do conjunto de posições e orientações possíveis do objeto ao longo do movimento.

Em particular, passou a estudar:

• o espaço de todos os movimentos admissíveis no corredor;
• as restrições geométricas que esses movimentos impõem à fronteira da figura;
• as condições necessárias que qualquer “sofá ótimo” tem de satisfazer.

A partir daí, derivou condições rígidas e mostrou que elas conduzem, de forma essencialmente única, à configuração de Gerver.

Um detalhe que chamou a atenção: Baek praticamente não recorre a computação pesada. Não há uma busca automatizada por milhões de formas, nem grandes campanhas de simulação. O argumento assenta sobretudo em ferramentas clássicas: geometria cuidadosa, cadeias de desigualdades e uma análise exaustiva de casos.

O que antes se tentava validar com software

Para quem não é especialista, é útil perceber o tipo de tarefas que a abordagem computacional procurava cobrir. Em termos gerais, o software foi usado para:

• aproximar a melhor forma possível, ajustando curvas e vértices;
• simular o movimento no corredor e detetar pontos de colisão;
• estimar limites superiores para a área, excluindo famílias inteiras de formas.

O avanço de Baek é que deixa de ser necessário “estimar” desta maneira. A demonstração traça uma fronteira: acima da área de Gerver, qualquer candidato hipotético violaria inevitavelmente pelo menos uma das restrições geométricas - e, por isso, tal forma não pode existir.

Porque esta solução “à mão” é relevante hoje

O momento deste resultado também tem peso simbólico. A matemática contemporânea está cada vez mais ligada à computação: provas verificadas por máquina, experiências massivas e até conjecturas apoiadas por IA. Neste cenário, ver um grande problema de geometria ser resolvido com quase nenhum código funciona como lembrete do alcance do raciocínio humano tradicional.

É um caso de pensamento geométrico levado ao limite, numa altura em que muitos esperam que os algoritmos sejam os protagonistas.

Baek, hoje com 31 anos, continua a trabalhar em geometria combinatória e otimização num ecossistema de investigação sul‑coreano em forte crescimento. O artigo encontra‑se em avaliação numa revista de topo com critérios particularmente exigentes. Se for aceite, consolidará o fecho do problema do sofá móvel e colocará Baek num grupo restrito de investigadores que resolveram questões “folclóricas” de longa data.

Há ainda um lado institucional: a Coreia do Sul investiu intensamente em ciência fundamental nas últimas duas décadas, procurando complementar a força industrial em eletrónica e engenharia. Resultados de alto perfil como este sugerem que a comunidade matemática do país começa a colher ganhos dessa aposta prolongada.

Um ponto adicional, que tende a ser subestimado, é o processo de validação. Mesmo uma prova muito convincente pode demorar meses (ou anos) a ser escrutinada por revisores e especialistas independentes, sobretudo quando envolve muitos casos e detalhes finos. Esta fase de verificação - seminários, notas de leitura e revisões formais - faz parte do que transforma uma alegação forte num facto matemático aceite.

Porque é que alguém deve preocupar‑se com um “sofá” hipotético

À primeira vista, maximizar a área de um sofá imaginário parece um capricho. No entanto, a matemática por trás do problema encaixa numa família maior de questões com ecos práticos.

Sempre que se tenta fazer passar um objeto por um espaço com restrições, surgem problemas semelhantes: em robótica (mover um braço robótico entre obstáculos), em logística (transportar componentes volumosos dentro de fábricas), ou em computação gráfica (planear movimentos credíveis em ambientes virtuais). Em comum, estas áreas exigem compreender espaços de configurações: o conjunto de posições possíveis de um objeto sem colisões.

Conceito	Descrição simples	Onde aparece
Espaço de configurações	Todas as posições e ângulos permitidos de um objeto	Navegação robótica, animação, planeamento de movimento
Otimização geométrica	Encontrar a “melhor” forma sob regras estritas	Design, problemas de empacotamento, engenharia
Restrições de rigidez	O objeto pode mover‑se, mas não pode esticar nem dobrar	Fabrico, arquitetura, ciência dos materiais

O problema do sofá móvel funciona como campo de testes limpo: o corredor é simples, as regras são nítidas e o objetivo - área máxima - enuncia‑se sem ambiguidades. Essa clareza permite experimentar técnicas que, mais tarde, podem ser adaptadas a cenários reais, onde os ambientes são irregulares e os objetos não são conjuntos matemáticos ideais.

Há também uma consequência metodológica: ao formalizar o movimento com rigor, ganham‑se ferramentas para problemas em que o que interessa não é apenas a forma, mas a trajetória e as restrições ao longo do caminho - uma ideia central em otimização e controlo.

Noções‑chave por trás do enigma

O que significa “ótimo” neste contexto

Dizer que o sofá de Gerver é ótimo tem um sentido estrito: entre todas as formas planas e rígidas que conseguem fazer a curva, nenhuma tem área estritamente maior.

Existem muitas formas que passam a esquina; algumas até passam com mais folga. Mas, se o objetivo for obter a maior área possível, não se consegue ultrapassar o desenho de Gerver.

Esta distinção entre “bom o suficiente” e “o melhor possível” é crucial. Em engenharia, muitas vezes basta uma solução satisfatória. Em matemática pura, o alvo é mais duro: provar que não existe solução melhor em parte nenhuma do universo de possibilidades, e não apenas dentro de uma pesquisa limitada.

Experiências mentais que treinam a intuição

O problema do sofá móvel também ganhou vida em salas de aula, precisamente por mostrar como uma pergunta pode ser, ao mesmo tempo:

• fácil de compreender;
• difícil de formalizar com rigor;
• extremamente desafiante de fechar de forma definitiva.

Um exercício comum é pedir aos estudantes que desenhem “os seus melhores sofás” e depois os testem com software simples ou com recortes de cartão num corredor em forma de L feito em cartão. O instante em que uma forma cuidadosamente desenhada fica presa no canto interior torna evidente como as restrições geométricas mordem.

Para lá do sofá: o que pode vir a seguir

Se este problema estiver realmente resolvido, é natural que a atenção se desloque para variantes. Por exemplo: e se a largura do corredor variar ao longo do percurso? E se o objeto puder fletir dentro de limites? E se houver duas curvas em vez de uma, ou um corredor com bifurcações, como um labirinto?

Cada alteração introduz novos graus de liberdade e dificuldades inéditas. Ainda assim, o tipo de abordagem que Baek desenvolveu - formalizar o movimento, fixar condições necessárias e excluir famílias inteiras de candidatos - pode ser transferível. Para investigadores mais novos, fica um conjunto de ferramentas e um padrão do nível de persistência que estes puzzles exigem.

Para quem quiser experimentar em casa, há uma atividade simples: desenhe um corredor em L em papel quadriculado, recorte diferentes formas em cartão e teste quais conseguem “andar” à volta da curva sem levantar a peça. É uma versão rudimentar do mesmo confronto entre movimento e restrição que ocupou matemáticos profissionais ao longo de três gerações.

O problema do sofá móvel parece, assim, aproximar‑se do fim: o corredor continua com 1 metro de largura, a esquina mantém os 90 graus, mas a forma de área máxima já não se esconde na sombra das conjecturas - graças à paciência e ao rigor de Baek Jin‑eon.