Tre saggi sulle formule di tipo Machin

Informazioni Fondamentali

• ID articolo: 2302.00154
• Titolo: Three essays on Machin's type formulas
• Autori: Armengol Gasull (Universitat Autònoma de Barcelona), Florian Luca (Wits University & UNAM), Juan L. Varona (Universidad de La Rioja)
• Classificazione: math.NT (Teoria dei Numeri)
• Rivista di pubblicazione: Indagationes Mathematicae (in corso di pubblicazione)
• Link articolo: https://arxiv.org/abs/2302.00154

Riassunto

Il presente articolo affronta tre problemi correlati alle formule di tipo Machin. In primo luogo, vengono fornite tutte le formule di Machin a due termini in cui le funzioni arcotangente sono valutate in 2-interi (valori della forma $b/2^a$), formule che risultano utili dal punto di vista computazionale poiché la moltiplicazione o divisione per potenze di 2 rappresentano operazioni estremamente veloci per la maggior parte dei calcolatori. In secondo luogo, viene proposto un metodo per trovare infinite formule con $N$ termini, particolarmente utile nel caso $N=2$, che consente di recuperare la maggior parte delle formule note, fornire alcune nuove formule e provare semplicemente l'esistenza di formule di Machin a due termini con misura di Lehmer arbitrariamente piccola. Infine, viene corretta un'omissione nei risultati precedenti, fornendo tutte le formule di tipo Machin a due termini che coinvolgono potenze della sezione aurea negli arcotangenti.

Contesto di Ricerca e Motivazione

Contesto Storico

Le formule di Machin hanno origine dall'identità scoperta da John Machin nel 1706: $4 \arctan\frac{1}{5} - \arctan\frac{1}{239} = \frac{\pi}{4}$

Combinata con lo sviluppo in serie dell'arcotangente scoperto da Gregory nel 1671: $\arctan x = \sum_{m=0}^{\infty} \frac{(-1)^m}{2m+1} x^{2m+1}, |x| < 1$

Machin utilizzò questa formula per calcolare 100 cifre decimali di π.

Motivazione della Ricerca

1. Problematiche di efficienza computazionale: ricerca di formule di tipo Machin più efficienti per il calcolo di π, in particolare forme che coinvolgono potenze di 2, poiché i calcolatori eseguono operazioni con potenze di 2 in modo estremamente efficiente
2. Completezza teorica: classificazione e costruzione sistematica di varie formule di tipo Machin
3. Minimizzazione della misura di Lehmer: ricerca di formule con misura di Lehmer arbitrariamente piccola per migliorare l'efficienza computazionale
4. Correzione di omissioni storiche: perfezionamento della classificazione delle formule di Machin che coinvolgono la sezione aurea

Limitazioni dei Metodi Esistenti

• Numero limitato di formule di tipo Machin note
• Mancanza di metodi sistematici di costruzione
• Ricerca insufficiente su forme speciali (come formule che coinvolgono potenze di 2)
• Omissioni nella ricerca precedente riguardante la sezione aurea

Contributi Fondamentali

1. Classificazione completa delle formule di Machin a due termini che coinvolgono 2-interi: fornisce 10 soluzioni isolate e 2 famiglie parametriche
2. Proposta del metodo "macchina delle formule di Machin": consente la generazione sistematica di formule di tipo Machin con $N$ termini
3. Dimostrazione dell'esistenza di formule di Machin a due termini con misura di Lehmer arbitrariamente piccola: fornisce una dimostrazione costruttiva
4. Correzione e perfezionamento della classificazione delle formule di Machin con potenze della sezione aurea: scoperta di 16 identità essenzialmente diverse

Dettagli Metodologici

Primo Problema: Formule di Machin con 2-interi

Definizione del Compito

Ricerca di tutte le soluzioni della forma: $x_1 \arctan(z_1) + x_2 \arctan(z_2) = \frac{\pi}{4}$ dove $x_1, x_2 \in \mathbb{Q}$, $z_k \in (0,1)$ e $z_k = 2^{a_k}/b_k$ oppure $b_k/2^{a_k}$.

Tecnica Fondamentale

Utilizzando la rappresentazione complessa, il problema viene trasformato in: $(1 + iz_1)^{12u_1}(1 + iz_2)^{12|u_2|} = (1 - iz_1)^{12u_1}(1 - iz_2)^{12|u_2|}$

Attraverso l'analisi della fattorizzazione negli interi gaussiani, combinata con le soluzioni note di equazioni diofantee:

• $x^2 + 1 = 2y^n$
• $x^2 + 2^a = y^n$

Secondo Problema: Macchina delle Formule di Machin

Idea Fondamentale

Definizione di funzioni razionali $R_j(n,x)$ ($j = 0,1,2,3$), tali che: $\frac{d}{dx}\arctan(R_j(n,x)) = \frac{n}{1+x^2}$

Definizione delle Funzioni

Basate sulla formula di De Moivre, si definisce: $R_j(n,x) = \tan(n\arctan(x) + j\pi/4)$

Espressioni specifiche:

• $R_0(n,x) = \frac{\text{numer}_n(x)}{\text{denom}_n(x)}$
• $R_1(n,x) = \frac{\text{denom}_n(x) + \text{numer}_n(x)}{\text{denom}_n(x) - \text{numer}_n(x)}$
• $R_2(n,x) = -\frac{1}{R_0(n,x)}$
• $R_3(n,x) = -\frac{1}{R_1(n,x)}$

Teorema Principale

Per interi $r_k$ che soddisfano $\sum_{k=1}^N r_k = 0$, si ha: $\sum_{k=1}^N \frac{r_k}{n_k} \arctan(R_{j_k}(n_k, x)) = \frac{r}{s}\pi$

Terzo Problema: Formule della Sezione Aurea

Descrizione del Problema

Classificazione di tutte le formule della forma: $x_1 \arctan(\phi^{a_1}) + x_2 \arctan(\phi^{a_2}) = \frac{\pi}{4}$ dove $\phi = \frac{1+\sqrt{5}}{2}$ è la sezione aurea.

Metodo Tecnico

Attraverso l'analisi della norma e della fattorizzazione in primi di elementi in $K = \mathbb{Q}(i,\sqrt{5})$, utilizzando il teorema dei fattori primi essenziali per numeri di Fibonacci e Lucas.

Risultati Sperimentali

Risultati Principali

Teorema 1: Formule di Machin con 2-interi

Scoperta di 10 soluzioni isolate e 2 famiglie parametriche:

Esempi di soluzioni isolate:

• $(-1, \frac{1}{239}, 4, \frac{1}{5})$ (formula classica di Machin)
• $(1, \frac{1}{41}, 2, \frac{2}{5})$

Famiglie parametriche:

• $(1, \frac{1}{2^{a^2}+1}, 1, \frac{2^{a^2}}{2^{a^2}+1})$
• $(1, \frac{1}{2^{a^2}-1}, 1, \frac{2^{a^2}-1}{2^{a^2}})$

Teorema 3: Formule con Misura di Lehmer Piccola

Dimostrazione che per ogni $\varepsilon > 0$, esiste una formula di Machin: $n \arctan\frac{1}{b_1} - \arctan\frac{a_2}{b_2} = \frac{\pi}{4}$ la cui misura di Lehmer è minore di $\varepsilon$.

La dimostrazione costruttiva si basa sui convergenti della frazione continua di π, con risultati specifici nelle Tabelle 1 e 2.

Esempi Numerici Specifici

La Tabella 1 presenta formule basate sui convergenti della frazione continua di π, con misura di Lehmer che decresce da 0,901429 a 0,172125.

La Tabella 2 presenta formule basate su $2^m$, con misura di Lehmer minima pari a 0,199544.

Formule della Sezione Aurea

Scoperta di 16 identità essenzialmente diverse, incluse:

• $\frac{\pi}{4} = \frac{1}{3}\arctan(\phi^3) + \frac{1}{3}\arctan(\phi)$
• $\frac{\pi}{4} = -\frac{1}{2}\arctan(\phi^5) + \frac{3}{2}\arctan(\phi)$

Lavori Correlati

Sviluppo Storico

• Störmer (1895): dimostrazione che formule della forma $x_1\arctan(1/m_1) + x_2\arctan(1/m_2) = \pi/4$ sono solo 4
• Lehmer (1938): introduzione della misura di Lehmer come misura dell'efficienza computazionale
• Sviluppi moderni: algoritmo di Chudnovsky e altri metodi più veloci per il calcolo di π

Ricerca Correlata

La "macchina delle formule di Machin" presentata in questo articolo estende i risultati di 4, che utilizzava relazioni ricorsive di polinomi di Rédei per ottenere casi speciali della funzione $R_3(n,x)$.

Conclusioni e Discussione

Conclusioni Principali

1. Risoluzione completa del problema di classificazione delle formule di Machin a due termini che coinvolgono 2-interi
2. Fornitura di un metodo sistematico e universale per la costruzione di formule di Machin
3. Dimostrazione della possibilità di costruire formule con misura di Lehmer arbitrariamente piccola
4. Correzione e perfezionamento della classificazione delle formule correlate alla sezione aurea

Limitazioni

1. Per il caso $N > 2$, il metodo potrebbe non coprire tutte le formule note
2. Sebbene sia possibile costruire formule con misura di Lehmer piccola, il numeratore e il denominatore delle frazioni risultano molto grandi, richiedendo un compromesso nell'efficienza computazionale pratica
3. I moderni calcoli di π dispongono di algoritmi più efficienti (come l'algoritmo di Chudnovsky), limitando il valore pratico delle formule di tipo Machin

Direzioni Future

1. Estensione a formule di Machin con più termini
2. Ricerca di altre forme speciali di parametri arcotangente
3. Esplorazione delle connessioni con funzioni ellittiche e funzioni modulari

Valutazione Approfondita

Punti di Forza

1. Completezza teorica: risoluzione sistematica di diversi importanti problemi di classificazione
2. Innovazione metodologica: la "macchina delle formule di Machin" proposta possiede generalità e praticità
3. Dimostrazioni costruttive: non solo prova l'esistenza, ma fornisce metodi di costruzione concreti
4. Correzione storica: affrontamento serio e correzione delle omissioni nella ricerca precedente

Punti Tecnici Salienti

1. Trasformazione complessa ingegnosa: conversione di problemi nel dominio reale in problemi algebrici nel dominio complesso
2. Applicazione di equazioni diofantee: utilizzo efficace di soluzioni note di equazioni diofantee
3. Applicazione della teoria delle frazioni continue: utilizzo delle proprietà della frazione continua di π per costruire formule con misura di Lehmer piccola

Insufficienze

1. Valore pratico limitato: in calcoli moderni di π ad alta precisione, il vantaggio di queste formule non è evidente
2. Problematiche di complessità: le formule costruite con misura di Lehmer piccola coinvolgono numeri interi con molte cifre
3. Limitazioni di generalizzabilità: l'applicabilità del metodo a casi più generali presenta restrizioni

Impatto

1. Contributo teorico: fornisce un quadro sistematico per la teoria delle formule di tipo Machin
2. Matematica computazionale: fornisce nuovi strumenti per la ricerca di identità di funzioni speciali
3. Applicazioni nella teoria dei numeri: dimostra l'efficacia dei metodi della teoria algebrica dei numeri in problemi concreti

Bibliografia

L'articolo cita 24 importanti riferimenti bibliografici, che spaziano dai lavori classici di Machin (1706) e Gregory (1671) alle ricerche moderne correlate, in particolare i lavori fondamentali di Störmer, Lehmer e altri ricercatori in questo campo.