Baek Jin-eon resolve o Problema do Sofá com uma prova de 119 páginas

Desde os anos 1960, a comunidade de matemática se vê presa a um desafio que, em essência, qualquer criança reconhece: como fazer um sofá passar por um corredor em L sem levantar do chão nem entortar? Agora, um sul-coreano de 31 anos apresenta uma resposta que não apenas encerra o enigma, como também reforça a confiança na força da teoria pura.

Como o “Problema do Sofá” virou um mito na matemática

Tudo começa em 1966, quando o matemático austro-canadense Leo Moser coloca no papel uma pergunta de aparência quase boba: imagine um corredor em forma de L, com os dois trechos exatamente com 1 metro de largura. Qual é a maior área possível de uma peça rígida e plana (um “sofá”, no modelo idealizado) que ainda consiga contornar a quina, sem sair do piso e sem se deformar?

A ideia logo se espalha por livros e aulas, ganhando o nome de “Problema do Sofá Móvel”. O rótulo parece leve, mas a realidade é implacável: por trás da cena cotidiana existe um problema de otimização geométrica de altíssima complexidade.

Ainda no fim dos anos 1960, nomes importantes tentam atacar a questão. Em 1968, John Hammersley propõe uma forma capaz de atravessar o corredor com área de aproximadamente 2,2074 metros quadrados. Depois, em 1992, Joseph Gerver avança com uma figura extremamente intrincada, composta por vários trechos curvos, alcançando cerca de 2,2195 metros quadrados.

A construção de Gerver rapidamente passa a ser tratada como a favorita “não oficial”. Para muita gente, aquilo já parecia o limite. O problema é que plausibilidade não é prova - e, sem uma demonstração definitiva, sempre sobra uma dúvida: talvez exista uma forma ligeiramente melhor escondida em um oceano de possibilidades.

“Por décadas, simulações e aproximações engenhosas são as únicas ferramentas - a resposta final, apesar disso, continua fora de alcance.”

Por que esse quebra-cabeça resistiu por tanto tempo

No papel, o Problema do Sofá parece direto. Só que, quando se tenta formalizá-lo, a quantidade de graus de liberdade explode. A forma pode ser curva, assimétrica, serrilhada ou lisa. E, enquanto desliza pelo corredor, ela ainda pode girar e transladar. Cada orientação e cada posição criam novas restrições de contorno.

Por isso, muitos pesquisadores recorreram a computadores. Com métodos numéricos, testam grandes famílias de formas, refinam soluções aos poucos, ajustam constantes e estabelecem novos limites superiores e inferiores. Os resultados até soam convincentes, mas não fecham a questão. Um algoritmo pode afirmar: “não encontrei nada melhor”. O que ele não consegue assegurar é: “não existe nada melhor”.

É justamente aí que, por décadas, permaneceu o buraco no conhecimento: havia bons candidatos, mas nenhum vencedor oficial. O “sofá” continuava no território do mito.

Serviço militar, um corredor e uma obsessão

A virada começa em um cenário 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 depara pela primeira vez com o Problema do Sofá.

O que o fisga não é apenas a dificuldade técnica, e sim a desordem ao redor: muitos resultados parciais, muitas figuras, muitas simulações - mas nenhum arcabouço teórico realmente limpo e unificador. O desafio parecia um amontoado de intuições sem uma base comum.

Esse vazio vira combustível. Baek passa a dissecar o enigma de modo sistemático: primeiro no período do serviço militar, depois durante o doutorado 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 sobre se a forma de Gerver é mesmo o maior ‘sofá’ possível - apenas com papel, lápis e lógica.”

Uma demonstração de 119 páginas sem uma única linha de algoritmo

No fim de 2024, Baek publica seu trabalho na plataforma científica arXiv. O manuscrito tem 119 páginas. Não há código, nem simulação de Monte Carlo, nem software de geometria. O texto é composto exclusivamente por provas, lemas e teoremas encadeados com cuidado.

A conclusão é forte: a forma proposta por Joseph Gerver é, de fato, ótima. Não existe nenhuma região rígida bidimensional com área maior que consiga atravessar um corredor em L com 1 metro de largura. Qualquer área superior inevitavelmente travaria em algum ponto do percurso.

Para chegar a isso, Baek reescreve o Problema do Sofá do zero. A pergunta intuitiva vira um problema de otimização formulado com variáveis bem definidas e restrições explícitas. O que era um desafio “de sala de aula” se transforma em um sistema rigoroso de desigualdades e espaços de funções.

Um ponto central da estratégia é que ele não descreve apenas os sofás possíveis, mas também todas as trajetórias de movimento admissíveis no corredor. Ao caracterizar o conjunto de caminhos, ele limita drasticamente quais geometrias podem funcionar e, por fim, demonstra que qualquer solução máxima válida precisa coincidir com a construção de Gerver.

Em que o método de Baek difere das tentativas anteriores

• Ele trabalha integralmente sem aproximações numéricas.
• Ele coloca o problema dentro de um enquadramento estrito e abstrato de teoria da otimização.
• Ele não se limita a mostrar que o sofá de Gerver funciona: ele prova que nenhum superior existe.
• Ele explica como traduzir movimentos complexos em estruturas matemáticas fixas.

O jornal singapurense Straits Times e veículos sul-coreanos destacaram o trabalho como uma ruptura com a linha dominante, apoiada em computação, que marcou as últimas décadas. A revista de alto prestígio Annals of Mathematics está avaliando o manuscrito no momento - um patamar alcançado por pouquíssimos trabalhos.

O que essa solução revela sobre a potência do pensamento humano

Para Baek, o feito não é um “monumento ao sofá”, e sim a uma maneira específica de fazer matemática. Em entrevistas, ele descreve um ciclo contínuo de esperança e frustração: quando parece que o caminho certo apareceu, surge uma contradição; meses de esforço são descartados; e o trabalho recomeça.

Ele fala em “sonhos e despertar”, em períodos em que o problema fica preso na cabeça e não solta. No fim, ele enxerga o resultado mais como ponto de partida do que como destino: uma “semente plantada” destinada a gerar novas perguntas.

“A solução do sofá mostra que o pensamento puro e abstrato pode se sustentar mesmo onde os computadores já viraram padrão.”

Ao mesmo tempo, Baek também representa uma geração de pesquisadores da Coreia do Sul que vem ganhando espaço na matemática internacional. Instituições como o Korea Institute for Advanced Study estão se consolidando como polos de geometria avançada e teoria da otimização.

O que pessoas fora da área podem aprender com o Problema do Sofá

Mesmo quem não pretende estudar matemática pode tirar lições concretas daqui. Muitas situações comuns lembram o Problema do Sofá de um jeito surpreendente: levar móveis por corredores estreitos em prédios antigos, robôs circulando por galpões, ou empilhadeiras autônomas em fábricas com passagens cheias de curvas.

Em todos esses casos, a pergunta essencial é a mesma: qual formato e qual movimento se encaixam melhor em um espaço dado? É justamente nesse ponto que trabalhos teóricos desse tipo podem inspirar soluções de engenharia no futuro - por exemplo, no desenho de plataformas de transporte ou em algoritmos de desvio de colisão.

Termo	Explicação simples
Otimização	Busca pela melhor solução entre muitas possibilidades, seguindo regras fixas.
Geometria	Estudo de formas, distâncias, áreas e corpos no espaço.
Prova rigorosa	Argumento sem saltos lógicos, cobrindo todos os casos relevantes.
Método numérico	Procedimento de cálculo com aproximações, executado no computador.

Por que um sofá antigo abre novas linhas de pesquisa

A demonstração resolve a pergunta clássica sobre o maior sofá em um corredor em L. Mas, junto com a resposta, aparecem várias questões novas. O que muda se o corredor ficar mais largo ou mais estreito? Qual seria a forma ideal se o caminho fizer uma curva em S, ou se a largura variar ao longo do trajeto? E, se a gente buscar mais realismo, como a fricção entra na história?

A dimensão também pode mudar. Em três dimensões, o “sofá” deixa de ser uma área plana e passa a ser um corpo sólido. Aí, o interesse recai sobre a maior combinação de comprimento, largura e altura que consegue atravessar um túnel com curva. Esse tipo de pergunta encosta em temas como robótica, logística e planejamento de obras.

Também são atraentes os cenários com incerteza: um robô pode não conhecer a planta exata, apenas um mapa aproximado. Nesse caso, ele precisa de estratégias que funcionem bem para muitas configurações possíveis de corredor. Isso conecta diretamente a otimização sob risco e a métodos de aprendizado em inteligência artificial.

Como enigmas abstratos podem influenciar tecnologias

À primeira vista, o Problema do Sofá parece um luxo da teoria. Só que muita tecnologia se beneficia quando pesquisadores levam perguntas “inúteis” até as últimas consequências. Navegação de drones entre prédios, planejamento de robôs cirúrgicos em regiões estreitas do corpo, robôs de entrega circulando em supermercados - em todos esses casos, formas precisam passar de modo seguro e eficiente por espaços limitados.

Quem projeta esses sistemas precisa de limites confiáveis: qual é o tamanho máximo aceitável do equipamento? Quão estreito um corredor pode ser sem risco de bloqueios futuros? É esse tipo de raciocínio que, ainda que de forma indireta, migra da pesquisa sobre sofás para a prática.

O caso de Baek Jin-eon ilustra como análise abstrata paciente e desenvolvimento técnico podem se alimentar mutuamente. Um enigma aparentemente excêntrico dos anos 1960 acabou virando, décadas depois, um modelo de como pensar problemas de movimento altamente complexos até o fim - sem escrever uma única linha de código.