UMA MESA DE BILHAR EM FORMA DE LIMÃO ONDE A BOLA VAI A TODA PARTE

Os matemáticos têm um brinquedo favorito para estudar o caos: o bilhar. Um ponto se move em linha reta dentro de uma forma fechada e ricocheteia na borda “como um fóton faz num espelho”, saindo com o mesmo ângulo com que chegou. Sem atrito, sem efeito, sem fim. A pergunta é o que essa bola faz a longo prazo.

Para algumas mesas, a resposta é a mais desvairada possível. O movimento é ergódico: quase toda trajetória acaba visitando toda a gama de posições e direções possíveis, passando em cada região uma fração do tempo proporcional ao seu tamanho. Wentao Fan e Boris Hasselblatt provam algo ainda mais forte para sua mesa, a propriedade de Bernoulli: estatisticamente, a bola que ricocheteia se comporta como uma sequência de sorteios aleatórios independentes.

O problema das bordas redondas

As mesas conhecidas há muito tempo como caóticas têm uma pegadinha. Um conjunto de critérios do matemático Maciej Wojtkowski explica como paredes curvas e focalizadoras podem criar caos — mas exige que o círculo inteiro do qual cada parede é apenas um arco caiba por completo dentro da mesa — o que obriga a borda a afundar em algum ponto. Isso exclui as mesas estritamente convexas, ou seja, aquelas cuja borda é abaulada para fora em todos os pontos, sem nenhuma parte reta ou voltada para dentro.

Assim, uma pergunta natural continuava em aberto: um bilhar estritamente convexo pode ser ergódico?

O limão

Em 2013, Jingyu Chen, Luke Mohr, Hong-Kun Zhang e Pengfei Zhang apresentaram uma família de candidatos: os bilhares limão. Pegue dois discos, um de raio r e outro muito maior de raio R, posicionados de modo que o disco grande contenha os dois centros. A sobreposição deles é a mesa — na prática, um disco pequeno com um lado aparado pelo arco suave de um círculo enorme, que encontra o resto em dois cantos. Os quatro pesquisadores conjecturaram que esses limões são ergódicos quando os dois raios são muito diferentes.

A mesa de bilhar limão L(r, R, ζ): a sobreposição de um círculo pequeno de raio r e de um círculo grande de raio R, que se encontram nos cantos A e B. — Figura 1, Fan e Hasselblatt (2026), arXiv:2610.28247.

A prova

Fan, da Universidade Normal de Hebei, na China, e Hasselblatt, da Universidade Tufts, nos Estados Unidos, provam a conjectura para limões suficientemente desiguais. Seu teorema principal vale quando o ângulo ζ que define o tamanho do corte está entre 0 e arctan(1/3), cerca de 18 graus, e quando o raio grande ultrapassa r · 30.000 / sin²ζ — na melhor das hipóteses 300.000 vezes r, para o corte mais largo permitido, e mais para um corte mais estreito. “Até onde sabemos”, escrevem, “este é o primeiro caso de um bilhar estritamente convexo para o qual a ergodicidade foi provada.”

O trabalho se apoia num artigo complementar dos mesmos autores, que mostrou que os retornos da bola a um conjunto bem escolhido de quiques afastam trajetórias vizinhas a uma taxa constante. Restava a parte mais difícil: controlar as curvas de singularidade, as trajetórias que vêm de um dos dois cantos ou vão de encontro a eles. Essas curvas não são traçadas na mesa, mas num mapa dos quiques, onde cada quique é situado por sua posição ao longo da borda e por seu ângulo de saída; nos bilhares limão, algumas delas ficam quase verticais nesse mapa e invertem o sinal de sua inclinação — uma característica “considerada por muito tempo profundamente problemática para as técnicas padrão de bilhar”. Os autores mostram que, depois de um único quique, essas curvas se alinham direitinho. É exatamente por isso que escolheram observar a bola não em todos os quiques, mas no fim de cada série de quiques consecutivos no círculo pequeno — o penúltimo da série, ou o único quando a série tem apenas um.

O resto é uma verificação cuidadosa de quatro condições técnicas exigidas por um teorema de “ergodicidade local” de 2013, adaptado ao limão. Ela ocupa quase todo o artigo de 58 páginas.

O que vem a seguir

O resultado se aplica a limões muito assimétricos: com o limiar acima, o círculo grande é centenas de milhares de vezes maior que o pequeno (pelo menos 300.000). Limões menos desiguais continuam sem prova.

Os autores listam seus próximos alvos — a velocidade com que o movimento se mistura e as leis estatísticas que decorrem disso — e terminam com uma pergunta mais ambiciosa. Seu limão ainda tem dois cantos. Existe um bilhar estritamente convexo e ergódico cuja borda seja perfeitamente lisa, sem nenhum canto? Eles apontam para velhos candidatos estudados “durante meio século”: mesas feitas de um retângulo arrematado por arcos de círculo que se juntam a ele suavemente. Uma linha de seus agradecimentos também chama a atenção: “Nenhuma IA foi usada em nenhum aspecto da preparação deste artigo.”