🔢 mathematics

The irrationality measure of {\pi} is at most 7.101862832357

Ao introduzir dois expoentes de numerador independentes na integral de Zeilberger–Zudilin e especializá-los para $A_1=A_2=\frac{1857}{2785}$ , o autor estabelece um novo limite superior de aproximadamente 7,10186 para a medida de irracionalidade de $\pi$ , melhorando o recorde anterior em mais de 0,00134.

Autores originais: Yufei Bai

Publicado 2026-09-11

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Yufei Bai

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Na vasta paisagem da matemática, existem números que não podem ser escritos como frações simples. Estes são chamados de números irracionais, e incluem constantes familiares como a raiz quadrada de dois e a razão entre a circunferência de um círculo e seu diâmetro, conhecida como pi. Embora possamos calcular esses números até trilhões de casas decimais, uma questão mais profunda permanece: quão bem podemos aproximá-los usando frações? Os matemáticos medem essa dificuldade com um conceito chamado medida de irracionalidade. Pense nesta medida como um medidor de quão obstinado um número é; uma pontuação mais baixa significa que o número é mais difícil de enganar com uma fração simples, enquanto uma pontuação mais alta sugere que ele é mais fácil de aproximar. Por séculos, matemáticos tentaram determinar a pontuação exata de pi. Sabemos que ela é pelo menos dois, mas o limite superior preciso tem sido um alvo móvel, com esforços anteriores posicionando-o pouco acima de sete.

Um estudo recente de Yufei Bai impulsionou esse limite, provando que a medida de irracionalidade de pi é estritamente menor que 7,101862832357. Isso pode parecer um ajuste minúsculo, mas no mundo da teoria dos números de alta precisão, é um salto significativo. A pesquisa baseia-se em um método sofisticado desenvolvido pelos matemáticos Doron Zeilberger e Wadim Zudilin, que utiliza integrais complexas — essencialmente áreas sob linhas curvas no plano complexo — para gerar expressões matemáticas especiais. Essas expressões atuam como um teste: se elas se comportarem de uma certa maneira, provam que pi não pode ser facilmente aproximado por frações. O melhor resultado anterior usando este método havia estabelecido o limite em aproximadamente 7,1032. O trabalho de Bai refina os ingredientes deste teste, ajustando as potências específicas usadas na fórmula da integral para extrair um resultado ligeiramente melhor.

O cerne da conquista reside em como o pesquisador ajustou os parâmetros da integral. Imagine a integral como uma máquina com dois seletores que controlam sua sensibilidade. O trabalho anterior havia definido esses seletores em uma posição específica e equilibrada. Bai descobriu que, ao girar ambos os seletores para uma nova configuração muito específica — onde os valores são aproximadamente 1857 dividido por 2785 — a máquina torna-se mais eficiente em detectar a verdadeira natureza de pi. Este ajuste não é apenas um palpite aleatório; o artigo demonstra que esta configuração específica é um mínimo local para a função de erro, o que significa que qualquer pequeno deslocamento em qualquer direção tornaria o resultado pior. É uma otimização precisa e calculada dentro de um vale matemático estreito.

Para provar isso, o artigo constrói uma sequência de expressões baseadas em inteiros que envolvem pi. O pesquisador então analisa duas forças concorrentes dentro dessas expressões. Uma força faz com que os números cresçam à medida que a sequência progride, enquanto a outra faz com que a expressão inteira encolha em direção a zero. O objetivo é encontrar um equilíbrio onde a expressão se torne infinitesimalmente pequena sem que os números dentro dela se tornem impossivelmente grandes. Ao rastrear cuidadosamente o crescimento dos denominadores e o decaimento da integral, o estudo estabelece uma desigualdade estrita. A matemática mostra que, para os parâmetros escolhidos, a expressão encolhe rápido o suficiente para provar que a medida de irracionalidade de pi não pode exceder o novo limite inferior.

O estudo é rigoroso e autossuficiente. Não depende de simulações computacionais para adivinhar a resposta, mas usa aritmética exata e dedução lógica para verificar cada etapa. O autor observa explicitamente que este resultado é uma melhoria local; prova que este ponto específico é melhor do que seus vizinhos imediatos, mas não afirma ser a melhor configuração possível para todos os tempos. Além disso, o artigo reconhece a assistência de ferramentas de inteligência artificial generativa na exploração de parâmetros e na verificação de provas, mantendo, contudo, que as reivindicações matemáticas e o texto final são de responsabilidade exclusiva do autor. O resultado permanece como um limite verificado e mais estreito sobre quão bem pi pode ser aproximado, baixando o teto conhecido em uma fração de porcentagem que exigiu imensa precisão para ser encontrada.

Resumo Técnico: A Medida de Irracionalidade de $\pi$ é de No Máximo 7,101862832357

1. Enunciado do Problema
O artigo aborda a determinação da medida de irracionalidade $\mu(\pi)$ , definida como o ínfimo dos números reais $\mu$ tais que a desigualdade $|\pi - p/q| > q^{-\mu-\varepsilon}$ se mantém para todos os inteiros $p$ e para todos os inteiros positivos $q$ suficientemente grandes. Embora o valor exato permaneça desconhecido, o objetivo é estabelecer o limite superior mais estreito possível. O estado da arte anterior a este trabalho foi estabelecido por Zeilberger e Zudilin [5], que provaram $\mu(\pi) \le 7,103205334137\dots$ utilizando uma construção específica de integral de contorno com parâmetros fixos.

2. Metodologia
O autor introduz um refinamento da integral de Zeilberger–Zudilin ao incorporar dois expoentes de numerador independentes, $A_1$ e $A_2$ , no integrando:
$I_{A_1, A_2}(N) = -i \int_{4-2i}^{4+2i} \frac{(x-5)^{A_1 N} Q_0(x)^{A_2 N}}{x^{N+1}(x-10)^{N+1}} dx$
onde $Q_0(x) = (x-4+2i)(x-4-2i)(x-6+2i)(x-6-2i)$ .

A metodologia procede através de quatro estágios principais:

Construção Aritmética: A integral é transformada via uma mudança de variável ( $t = x-5$ ) em uma função racional $R_n(t)$ integrada sobre um segmento vertical. O artigo deriva uma decomposição em frações parciais de $R_n(t)$ , identificando os coeficientes $c_{j,n}$ . Ao analisar as valuações $p$ -ádicas desses coeficientes (especificamente nos primos 2 e 5), o autor constrói formas lineares inteiras $M_n J_n = U_n + V_n \pi$ . Um componente crítico é a economia de "primo-removível", onde se demonstra que um produto $\Phi_n$ de primos específicos divide os denominadores dos coeficientes, reduzindo assim a taxa de crescimento do denominador de limpeza $M_n$ .
Estimativa Analítica: O artigo estima a taxa de crescimento assintótico dos coeficientes $V_n$ $V_{n}$ e o decaimento da integral $J_n$ $J_{n}$ .
- A taxa de crescimento dos coeficientes $r$ é determinada usando um método de ponto de sela de coeficientes positivos (Lema 4.1) aplicado à função geradora dos coeficientes.
- A taxa de decaimento da integral $s$ é determinada deformando o contorno de integração para um caminho que passa por um ponto de sela complexo $y_c$ , maximizando a função de fase $F(y)$ .
Otimização de Parâmetros: O autor define uma função de limite auxiliar explícita $B(\alpha, \beta)$ (onde $\alpha, \beta$ são expoentes normalizados) representando a estimativa resultante da medida de irracionalidade. O artigo demonstra que o ponto original de Zeilberger–Zudilin não é um minimizador local para esta função de dois parâmetros. Uma busca dentro da "família diagonal" ( $A_1 = A_2$ ) identifica um ponto racional específico $(A_1, A_2) = (1857/2785, 1857/2785)$ que produz um limite inferior.
Prova de Otimalidade Local: O artigo prova que este ponto racional específico é um minimizador local estrito bidimensional da função de limite $B(\alpha, \beta)$ dentro da câmara aritmética admissível. Isso é alcançado através da derivação de uma fórmula de variação logarítmica exata para o termo de economia de primos e pela análise das derivadas direcionais através de doze setores no espaço de parâmetros.

3. Contribuições Principais e Resultados

Novo Limite Superior: O resultado primário (Teorema 1.1) estabelece que:
$\mu(\pi) < 7,101862832357$
Isso melhora o limite de Zeilberger–Zudilin em mais de $0,001342501780$, uma redução de aproximadamente $0,0189\%$ .
Seleção de Parâmetros: Os parâmetros específicos utilizados são $(a, b, c) = (1857, 3714, 5570)$ , correspondendo aos expoentes normalizados $(\alpha^*, \beta^*) = (1857/5570, 1857/2785)$ .
Minimalidade Local: O Teorema 1.2 e o Teorema 6.3 provam que o ponto de parâmetro escolhido é um minimizador local estrito da função de limite auxiliar $B(\alpha, \beta)$ . A prova envolve uma análise rigorosa das derivadas direcionais do termo de economia de primos $\phi(\alpha, \beta)$ , mostrando que qualquer pequena perturbação nos parâmetros aumenta o limite.
Enclausuramento Numérico Rigoroso: O artigo fornece enclausuramentos racionais explícitos e rigorosos para todas as constantes intermediárias, incluindo a taxa de economia de primos $\omega$ , a taxa de crescimento de coeficientes $r$ e a taxa de decaimento da integral $s$ . Estes cálculos evitam suposições de ponto flutuante, utilizando aritmética racional exata e limites de intervalo para logaritmos e números de Bernoulli.

4. Significância e Escopo
O artigo reivindica significância em duas áreas específicas:

Melhoria Quantitativa: Fornece um novo limite superior para $\mu(\pi)$ que melhora o limite de Zeilberger–Zudilin, demonstrando que a construção de parâmetros fixos pode ser refinada pela introdução de um segundo expoente independente.
Insight Estrutural: Estabelece que o ponto diagonal anteriormente ótimo não é um ótimo local para a deformação de dois parâmetros. O trabalho fornece uma compreensão geométrica e analítica detalhada da "câmara aritmética" onde esses limites são definidos, provando que o novo ponto é um minimizador local em um sentido bidimensional.

Limitações e Alegações
O autor declara explicitamente o escopo modesto dos resultados:

O resultado é um limite superior, não o valor exato de $\mu(\pi)$ .
A minimalidade local (Teorema 1.2) é uma afirmação local sobre a função auxiliar específica $B(\alpha, \beta)$ dentro da câmara admissível. Ela não afirma otimalidade global sobre todas as construções possíveis, todos os possíveis economias de denominadores ou todos os parâmetros positivos.
A melhoria é específica para a família de integrais definidas pela deformação de dois expoentes; ela não implica que a verdadeira medida de irracionalidade de $\pi$ seja próxima deste limite, nem descarta limites melhores provenientes de construções inteiramente diferentes.

Divulgação
O artigo observa que a IA Generativa (OpenAI's GPT-5.6 Sol e GPT-6 Astra) auxiliou na exploração de parâmetros, desenvolvimento de provas, computação e redação do manuscrito. No entanto, o autor afirma total responsabilidade por todas as afirmações matemáticas e pelo texto final.

Mais como este