Trois essais sur les formules de type Machin

Informations fondamentales

• ID de l'article : 2302.00154
• Titre : Three essays on Machin's type formulas
• Auteurs : Armengol Gasull (Universitat Autònoma de Barcelona), Florian Luca (Wits University & UNAM), Juan L. Varona (Universidad de La Rioja)
• Classification : math.NT (Théorie des nombres)
• Journal de publication : Indagationes Mathematicae (à paraître)
• Lien de l'article : https://arxiv.org/abs/2302.00154

Résumé

Cet article étudie trois problèmes relatifs aux formules de type Machin. Premièrement, il fournit toutes les formules de Machin à deux termes où les fonctions arctangente sont évaluées aux 2-entiers (valeurs de la forme $b/2^a$), formules qui sont utiles en calcul car la multiplication ou la division par des puissances de 2 sont des opérations très rapides pour la plupart des ordinateurs. Deuxièmement, il propose une méthode pour trouver une infinité de formules possédant $N$ termes, particulièrement utile dans le cas $N=2$, capable de récupérer la plupart des formules connues, de fournir de nouvelles formules, et de prouver simplement l'existence de formules de Machin à deux termes avec une mesure de Lehmer arbitrairement petite. Enfin, il corrige une omission dans les résultats antérieurs et fournit toutes les formules de Machin à deux termes impliquant des puissances du nombre d'or.

Contexte et motivation de la recherche

Contexte historique

Les formules de Machin trouvent leur origine dans l'identité découverte par John Machin en 1706 : $4 \arctan\frac{1}{5} - \arctan\frac{1}{239} = \frac{\pi}{4}$

Combinée au développement en série arctangente découvert par Gregory en 1671 : $\arctan x = \sum_{m=0}^{\infty} \frac{(-1)^m}{2m+1} x^{2m+1}, |x| < 1$

Machin a utilisé cette formule pour calculer 100 décimales de π.

Motivation de la recherche

1. Problèmes d'efficacité computationnelle : Rechercher des formules de type Machin plus efficaces pour calculer π, en particulier celles impliquant des puissances de 2, car les ordinateurs exécutent ces opérations avec une efficacité extrême
2. Complétude théorique : Classer et construire systématiquement diverses formules de type Machin
3. Minimisation de la mesure de Lehmer : Rechercher des formules avec une mesure de Lehmer arbitrairement petite pour améliorer l'efficacité computationnelle
4. Correction des omissions historiques : Perfectionner la classification des formules de Machin impliquant le nombre d'or

Limitations des méthodes existantes

• Nombre limité de formules de type Machin connues
• Absence de méthode de construction systématique
• Recherche insuffisante sur les formes spéciales (comme celles impliquant des puissances de 2)
• Omissions dans les recherches antérieures concernant le nombre d'or

Contributions principales

1. Classification complète des formules de Machin à deux termes impliquant les 2-entiers : Fournit 10 solutions isolées et 2 familles paramétrées
2. Proposition de la méthode « machine à formules de Machin » : Capable de générer systématiquement des formules de type Machin à $N$ termes
3. Preuve de l'existence de formules de Machin à deux termes avec mesure de Lehmer arbitrairement petite : Fournit une preuve constructive
4. Correction et perfectionnement de la classification des formules de Machin impliquant des puissances du nombre d'or : Découverte de 16 identités essentiellement distinctes

Explication détaillée des méthodes

Premier problème : Formules de Machin avec 2-entiers

Définition de la tâche

Trouver toutes les solutions de la forme : $x_1 \arctan(z_1) + x_2 \arctan(z_2) = \frac{\pi}{4}$ où $x_1, x_2 \in \mathbb{Q}$, $z_k \in (0,1)$ et $z_k = 2^{a_k}/b_k$ ou $b_k/2^{a_k}$.

Technique fondamentale

Utilisant la représentation complexe, le problème est transformé en : $(1 + iz_1)^{12u_1}(1 + iz_2)^{12|u_2|} = (1 - iz_1)^{12u_1}(1 - iz_2)^{12|u_2|}$

Par l'analyse de la factorisation dans les entiers de Gauss, combinée aux solutions connues d'équations diophantiennes :

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

Deuxième problème : Machine à formules de Machin

Idée fondamentale

Définir des fonctions rationnelles $R_j(n,x)$ ($j = 0,1,2,3$) telles que : $\frac{d}{dx}\arctan(R_j(n,x)) = \frac{n}{1+x^2}$

Définition des fonctions

Basées sur la formule de De Moivre, définir : $R_j(n,x) = \tan(n\arctan(x) + j\pi/4)$

Expressions spécifiques :

• $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)}$

Théorème principal

Pour les entiers $r_k$ satisfaisant $\sum_{k=1}^N r_k = 0$, on a : $\sum_{k=1}^N \frac{r_k}{n_k} \arctan(R_{j_k}(n_k, x)) = \frac{r}{s}\pi$

Troisième problème : Formules du nombre d'or

Description du problème

Classer toutes les formules de la forme : $x_1 \arctan(\phi^{a_1}) + x_2 \arctan(\phi^{a_2}) = \frac{\pi}{4}$ où $\phi = \frac{1+\sqrt{5}}{2}$ est le nombre d'or.

Méthode technique

Par l'analyse de la norme et de la factorisation première des éléments dans $K = \mathbb{Q}(i,\sqrt{5})$, utilisant le théorème des diviseurs premiers essentiels des nombres de Fibonacci et Lucas.

Résultats expérimentaux

Résultats principaux

Théorème 1 : Formules de Machin avec 2-entiers

Découverte de 10 solutions isolées et 2 familles paramétrées :

Exemples de solutions isolées :

• $(-1, \frac{1}{239}, 4, \frac{1}{5})$ (formule classique de Machin)
• $(1, \frac{1}{41}, 2, \frac{2}{5})$

Familles paramétrées :

• $(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}})$

Théorème 3 : Formules avec petite mesure de Lehmer

Preuve que pour tout $\varepsilon > 0$, il existe une formule de Machin : $n \arctan\frac{1}{b_1} - \arctan\frac{a_2}{b_2} = \frac{\pi}{4}$ dont la mesure de Lehmer est inférieure à $\varepsilon$.

La preuve constructive est basée sur les convergents de la fraction continue de π, avec résultats détaillés aux tableaux 1 et 2.

Exemples numériques spécifiques

Le tableau 1 présente les formules basées sur les convergents de la fraction continue de π, avec une mesure de Lehmer décroissant de 0,901429 à 0,172125.

Le tableau 2 présente les formules basées sur $2^m$, avec une mesure de Lehmer minimale atteignant 0,199544.

Formules du nombre d'or

Découverte de 16 identités essentiellement distinctes, incluant :

• $\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)$

Travaux connexes

Développement historique

• Störmer (1895) : Preuve que les formules de la forme $x_1\arctan(1/m_1) + x_2\arctan(1/m_2) = \pi/4$ ne sont que 4
• Lehmer (1938) : Proposition de la mesure de Lehmer comme mesure d'efficacité computationnelle
• Développements modernes : Algorithme de Chudnovsky et autres méthodes plus rapides de calcul de π

Recherches connexes

La « machine à formules de Machin » de cet article étend les résultats de 4, qui utilisait les relations de récurrence des polynômes de Rédei pour obtenir des cas particuliers de la fonction $R_3(n,x)$.

Conclusions et discussion

Conclusions principales

1. Résolution complète du problème de classification des formules de Machin à deux termes impliquant les 2-entiers
2. Fourniture d'une méthode générale et systématique de construction des formules de Machin
3. Preuve que l'on peut construire des formules avec mesure de Lehmer arbitrairement petite
4. Correction et perfectionnement de la classification des formules relatives au nombre d'or

Limitations

1. Pour les cas $N > 2$, cette méthode peut ne pas couvrir toutes les formules connues
2. Bien que capable de construire des formules avec petite mesure de Lehmer, les numérateurs et dénominateurs des fractions sont très grands, l'efficacité computationnelle réelle nécessite un compromis
3. Le calcul moderne de π dispose d'algorithmes plus efficaces (comme l'algorithme de Chudnovsky), la valeur pratique des formules de type Machin est limitée

Directions futures

1. Extension aux formules de Machin à plus de termes
2. Étude d'autres formes spéciales de paramètres arctangente
3. Exploration des connexions avec les fonctions elliptiques et les fonctions modulaires

Évaluation approfondie

Avantages

1. Complétude théorique : Résolution systématique de plusieurs problèmes de classification importants
2. Innovation méthodologique : La « machine à formules de Machin » proposée possède une généralité et une praticité
3. Preuves constructives : Non seulement preuve d'existence, mais aussi fourniture de méthodes de construction concrètes
4. Correction historique : Traitement sérieux et correction des omissions dans les recherches antérieures

Points techniques saillants

1. Complexification ingénieuse : Transformation des problèmes réels en problèmes algébriques dans le domaine complexe
2. Application d'équations diophantiennes : Utilisation efficace des solutions d'équations diophantiennes connues
3. Application de la théorie des fractions continues : Utilisation des propriétés de la fraction continue de π pour construire des formules avec petite mesure de Lehmer

Insuffisances

1. Valeur pratique limitée : Dans le calcul moderne de π à haute précision, l'avantage de ces formules n'est pas évident
2. Problème de complexité : Les formules construites avec petite mesure de Lehmer impliquent des entiers avec un très grand nombre de chiffres
3. Généralisation : L'applicabilité de la méthode aux cas plus généraux présente des limitations

Impact

1. Contribution théorique : Fourniture d'un cadre systématique pour la théorie des formules de type Machin
2. Mathématiques computationnelles : Fourniture de nouveaux outils pour l'étude des identités de fonctions spéciales
3. Applications en théorie des nombres : Démonstration de la puissance des méthodes de théorie algébrique des nombres dans les problèmes concrets

Références bibliographiques

L'article cite 24 références importantes, couvrant les travaux classiques de Machin (1706) et Gregory (1671) jusqu'aux recherches modernes connexes, en particulier les travaux fondateurs de Störmer, Lehmer et autres dans ce domaine.