🔢 mathematics

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

Introducendo due esponenti indipendenti al numeratore nell'integrale di Zeilberger–Zudilin e specializzandoli in $A_1=A_2=\frac{1857}{2785}$ , l'autore stabilisce un nuovo limite superiore di circa 7,10186 per la misura di irrazionalità di $\pi$ , migliorando il record precedente di oltre 0,00134.

Autori originali: Yufei Bai

Pubblicato 2026-09-11

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Yufei Bai

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Nel vasto panorama della matematica, esistono numeri che non possono essere scritti come semplici frazioni. Questi sono chiamati numeri irrazionali, e includono costanti familiari come la radice quadrata di due e il rapporto tra la circonferenza di un cerchio e il suo diametro, noto come pi greco. Sebbene possiamo calcolare questi numeri fino a trilioni di cifre decimali, rimane una domanda più profonda: quanto bene possiamo approssimarli usando le frazioni? I matematici misurano questa difficoltà con un concetto chiamato misura di irrazionalità. Pensate a questa misura come a un indicatore di quanto sia testardo un numero; un punteggio più basso significa che il numero è più difficile da ingannare con una frazione semplice, mentre un punteggio più alto suggerisce che sia più facile da approssimare. Per secoli, i matematici hanno cercato di fissare il punteggio esatto per pi greco. Sappiamo che è almeno due, ma l'esatto limite superiore è stato un bersaglio mobile, con i migliori sforzi precedenti che lo collocavano appena sopra sette.

Uno studio recente di Yufei Bai ha spinto questo confine oltre, dimostrando che la misura di irrazionalità di pi greco è strettamente inferiore a 7,101862832357. Questo potrebbe sembrare un piccolo aggiustamento, ma nel mondo della teoria dei numeri ad alta precisione, è un salto significativo. La ricerca si basa su un metodo sofisticato sviluppato dai matematici Doron Zeilberger e Wadim Zudilin, che utilizza integrali complessi — essenzialmente aree sotto linee curve nel piano complesso — per generare particolari espressioni matematiche. Queste espressioni agiscono come un test: se si comportano in un certo modo, provano che pi greco non può essere troppo facilmente approssimato da frazioni. Il precedente miglior risultato utilizzando questo metodo aveva fissato il limite a circa 7,1032. Il lavoro di Bai perfeziona gli ingredienti di questo test, modificando le potenze specifiche utilizzate nella formula dell'integrale per ottenere un risultato leggermente migliore.

Il cuore del traguardo risiede nel modo in cui il ricercatore ha regolato i parametri dell'integrale. Immaginate l'integrale come una macchina con due manopole che ne controllano la sensibilità. Il lavoro precedente aveva impostato queste manopole su una posizione specifica e bilanciata. Bai ha scoperto che, girando entrambe le manopole verso una nuova, molto specifica impostazione — dove i valori sono approssimativamente 1857 divisi per 2785 — la macchina diventa più efficiente nel rilevare la vera natura di pi greco. Questo aggiustamento non è una semplice ipotesi casuale; l'articolo dimostra che questa specifica impostazione è un minimo locale per la funzione di errore, il che significa che qualsiasi piccola variazione in una delle due direzioni renderebbe il risultato peggiore. È un'ottimizzazione precisa e calcolata all'interno di una stretta valle matematica.

Per dimostrare ciò, l'articolo costruisce una sequenza di espressioni basate su interi che coinvolgono pi greco. Il ricercatore analizza poi due forze contrastanti all'interno di queste espressioni. Una forza fa sì che i numeri diventino più grandi man mano che la sequenza procede, mentre l'altra fa sì che l'intera espressione si rimpicciolisca verso lo zero. L'obiettivo è trovare un equilibrio in cui l'espressione diventi infinitamente piccola senza che i numeri all'interno diventino impossibilmente grandi. Tracciando attentamente la crescita dei denominatori e il decadimento dell'integrale, lo studio stabilisce una stretta disuguaglianza. La matematica mostra che, per i parametri scelti, l'espressione si rimpicciolisce abbastanza velocemente da dimostrare che la misura di irrazionalità di pi greco non può superare il nuovo, più basso limite.

Lo studio è rigoroso e autosufficiente. Non si affida a simulazioni informatiche per indovinare la risposta, ma utilizza l'aritmetica esatta e la deduzione logica per verificare ogni passaggio. L'autore nota esplicitamente che questo risultato è un miglioramento locale; dimostra che questo specifico punto è migliore dei suoi vicini immediati, ma non sostiene di essere l'impostazione assolutamente migliore possibile per sempre. Inoltre, l'articolo riconosce l'assistenza di strumenti di intelligenza artificiale generativa nell'esplorazione dei parametri e nel controllo delle dimostrazioni, pur mantenendo che le affermazioni matematiche e il testo finale siano la sola responsabilità dell'autore. Il risultato rappresenta un limite più stretto e verificato su quanto bene pi greco possa essere approssimato, abbassando il tetto noto di una frazione di percentuale che ha richiesto un'immensa precisione per essere trovata.

Sintesi Tecnica: La misura di irrazionalità di $\pi$ è al massimo 7,101862832357

1. Definizione del problema
Il documento affronta la determinazione della misura di irrazionalità $\mu(\pi)$ , definita come l'infimo dei numeri reali $\mu$ tali che la disuguaglianza $|\pi - p/q| > q^{-\mu-\varepsilon}$ sia soddisfatta per tutti gli interi $p$ e per tutti gli interi positivi $q$ sufficientemente grandi. Sebbene il valore esatto rimanga ignoto, l'obiettivo è stabilire il limite superiore più stretto possibile. Lo stato dell'arte precedente a questo lavoro è stato stabilito da Zeilberger e Zudilin [5], i quali hanno dimostrato che $\mu(\pi) \le 7,103205334137\dots$ utilizzando una specifica costruzione di integrali di contorno con parametri fissi.

2. Metodologia
L'autore introduce un raffinamento dell'integrale di Zeilberger–Zudilin incorporando due esponenti numeratori indipendenti, $A_1$ e $A_2$ , nell'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$
dove $Q_0(x) = (x-4+2i)(x-4-2i)(x-6+2i)(x-6-2i)$ .

La metodologia procede attraverso quattro fasi principali:

Costruzione aritmetica: L'integrale viene trasformato tramite un cambio di variabile ( $t = x-5$ ) in una funzione razionale $R_n(t)$ integrata su un segmento verticale. Il documento deriva una decomposizione in fratti parziali di $R_n(t)$ , identificando i coefficienti $c_{j,n}$ . Analizzando le valutazioni $p$ -adiche di questi coefficienti (specificamente per i primi 2 e 5), l'autore costruisce forme lineari intere $M_n J_n = U_n + V_n \pi$ . Una componente critica è il risparmio sui "primi rimovibili" (removable-prime saving), dove si dimostra che un prodotto $\Phi_n$ di specifici numeri primi divide i denominatori dei coefficienti, riducendo così il tasso di crescita del denominatore di eliminazione $M_n$ .
Stima analitica: Il documento stima il tasso di crescita asintotica dei coefficienti $V_n$ $V_{n}$ e il decadimento dell'integrale $J_n$ $J_{n}$ .
- Il tasso di crescita dei coefficienti $r$ è determinato tramite un metodo del punto di sella a coefficienti positivi (Lemma 4.1) applicato alla funzione generatrice dei coefficienti.
- Il tasso di decadimento dell'integrale $s$ è determinato deformando il contorno di integrazione in un percorso che passi attraverso un punto di sella complesso $y_c$ , massimizzando la funzione di fase $F(y)$ .
Ottimizzazione dei parametri: L'autore definisce una funzione di limite ausiliaria esplicita $B(\alpha, \beta)$ (dove $\alpha, \beta$ sono esponenti normalizzati) che rappresenta la risultante stima della misura di irrazionalità. Il documento dimostra che il punto di Zeilberger–Zudilin originale non è un minimizzatore locale per questa funzione a due parametri. Una ricerca all'interno della "famiglia diagonale" ( $A_1 = A_2$ ) identifica un punto razionale specifico $(A_1, A_2) = (1857/2785, 1857/2785)$ che produce un limite inferiore.
Dimostrazione di ottimalità locale: Il documento prova che questo specifico punto razionale è un minimizzatore locale stretto bidimensionale della funzione di limite $B(\alpha, \beta)$ all'interno della camera aritmetica ammissibile. Ciò viene ottenuto derivando una formula di variazione logaritmica esatta per il termine di risparmio sui primi e analizzando le derivate direzionali attraverso dodici settori nello spazio dei parametri.

3. Contributi chiave e risultati

Nuovo limite superiore: Il risultato primario (Teorema 1.1) stabilisce che:
$\mu(\pi) < 7,101862832357$
Questo migliora il limite di Zeilberger–Zudilin di oltre $0,001342501780$, una riduzione di circa lo $0,0189\%$ .
Selezione dei parametri: I parametri specifici utilizzati sono $(a, b, c) = (1857, 3714, 5570)$ , corrispondenti agli esponenti normalizzati $(\alpha^*, \beta^*) = (1857/5570, 1857/2785)$ .
Minimizzazione locale: Il Teorema 1.2 e il Teorema 6.3 provano che il punto parametrico scelto è un minimizzatore locale stretto della funzione di limite ausiliaria $B(\alpha, \beta)$ . La prova comporta un'analisi rigorosa delle derivate direzionali del termine di risparmio sui primi $\phi(\alpha, \beta)$ , dimostrando che qualsiasi piccola perturbazione nei parametri aumenta il limite.
Inclusione numerica rigorosa: Il documento fornisce inclusioni razionali esplicite e rigorose per tutte le costanti intermedie, inclusi il tasso di risparmio sui primi $\omega$ , il tasso di crescita dei coefficienti $r$ e il tasso di decadimento dell'integrale $s$ . Questi calcoli evitano assunzioni basate sulla virgola mobile, utilizzando aritmetica razionale esatta e intervalli di confidenza per logaritmi e numeri di Bernoulli.

4. Significato e ambito
L'autore rivendica importanza in due aree specifiche:

Miglioramento quantitativo: Fornisce un nuovo limite superiore per $\mu(\pi)$ che migliora il limite di Zeilberger–Zudilin, dimostrando che la costruzione a parametri fissi può essere raffinata introducendo un secondo esponente indipendente.
Approfondimento strutturale: Stabilisce che il precedente punto diagonale ottimale non è un ottimo locale per la deformazione a due parametri. Il lavoro fornisce una comprensione geometrica e analitica dettagliata della "camera aritmetica" in cui sono definiti questi limiti, provando che il nuovo punto è un minimizzatore locale in senso bidimensionale.

Limitazioni e rivendicazioni
L'autore dichiara esplicitamente l'ambito modesto dei risultati:

Il risultato è un limite superiore, non il valore esatto di $\mu(\pi)$ .
La minimizzazione locale (Teorema 1.2) è una dichiarazione locale riguardante la specifica funzione ausiliaria $B(\alpha, \beta)$ all'interno della camera ammissibile. Non afferma l'ottimalità globale su tutte le possibili costruzioni, su tutti i possibili risparmi di denominatore o su tutti i parametri positivi.
Il miglioramento è specifico per la famiglia di integrali definita dalla deformazione a due esponenti; ciò non implica che la vera misura di irrazionalità di $\pi$ sia vicina a questo limite, né esclude la possibilità di limiti migliori derivanti da costruzioni completamente diverse.

Dichiarazione di trasparenza
Il documento nota che l'IA Generativa (OpenAI's GPT-5.6 Sol e GPT-6 Astra) ha assistito nell'esplorazione dei parametri, nello sviluppo delle prove, nel calcolo e nella stesura del manoscritto. Tuttavia, l'autore afferma la piena responsabilità per tutte le affermazioni matematiche e per il testo finale.

Articoli simili