🔢 mathematics

Anomalous Partial Quotients in the Continued Fraction of $\sqrt{ζ(3)-S_N}$

Cet article démontre que pour des indices spécifiques $N_k$ dérivés des nombres de Pell compagnons, la fraction continue de $\sqrt{\zeta(3)-S_{N_k}}$ présente des quotients partiels anormaux, incluant un terme de croissance cubique, en combinant les développements d'Euler--Maclaurin avec des identités de Pell et en vérifiant les résultats à l'aide de l'assistant de preuve LEAN.

Auteurs originaux : David Victor Feldman

Publié 2026-07-07

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : David Victor Feldman

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez de mesurer la longueur d'une corde invisible et très étrange. Cette corde représente un minuscule écart entre une constante mathématique célèbre (appelée $\zeta(3)$ ) et une somme spécifique de nombres. Habituellement, quand des mathématiciens tentent de mesurer cet écart à l'aide d'un outil spécial appelé « fraction continue », les nombres qu'ils obtiennent sont prévisibles et croissent de manière régulière et monotone — comme un escalier où chaque marche est à peu près de la même taille.

Cependant, ce papier découvre un raccourci secret. À des endroits très spécifiques et rares le long de la droite numérique (appelés « indices de Pell »), le comportement de cette corde change radicalement. C'est comme si vous montiez un escalier normal et que, soudain, chaque troisième marche devenait un bond géant, tandis que les marches entre les deux devenaient de minuscules sauts presque invisibles.

Voici une décomposition de ce que ce papier a réellement découvert, en utilisant des analogies simples :

1. Le « Comportement Normal » vs « L'Anomalie »

Considérez la fraction continue comme une recette pour décomposer un nombre en une séquence de nombres entiers (quotients partiels).

La Règle Générique : Pour la plupart des nombres, ces étapes de recette croissent lentement et linéairement. Si vous passez de l'étape 1 à l'étape 100, les nombres deviennent un peu plus grands, mais pas énormément.
L'Anomalie : L'auteur, David Feldman, a découvert qu'aux « nombres magiques » spécifiques (dérivés d'une séquence appelée nombres de Pell), la recette devient folle.
- Le premier nombre de la séquence est énorme (croissance linéaire).
- Le deuxième nombre est juste « 1 » (minuscule).
- Le troisième explose ! Il croît de manière cubique. Si le premier nombre est 10, le troisième pourrait être 1 000 ou 10 000. C'est comme un escalier où une marche est un gratte-ciel.
- Le quatrième nombre est « 1 » à nouveau.
- Le cinquième et le sixième suivent un motif complexe et répétitif basé sur des restes.

2. Les « Nombres Magiques » (La Connexion Pell)

Pourquoi cela n'arrive-t-il qu'à des endroits spécifiques ? Le papier lie cela à une famille spéciale de nombres appelés nombres de Pell (0, 1, 2, 5, 12, 29...).

Imaginez que ces nombres sont les clés d'une porte cachée. Lorsque vous injectez un nombre de Pell dans la formule de notre « corde invisible », les mathématiques s'alignent parfaitement.
Le papier prouve qu'à ces clés spécifiques, les parties irrationnelles des mathématiques (les racines carrées confuses) s'annulent de manière très précise, laissant derrière elles un motif propre et prévisible qui révèle le « bond géant » (la croissance cubique).

3. Comment ils l'ont prouvé (La Danse en deux temps)

L'auteur n'a pas seulement deviné ce motif ; il l'a prouvé en utilisant deux méthodes différentes, comme si l'on vérifiait une carte avec deux boussoles différentes :

Méthode A : Le Télescope à Haute Précision (Développement Euler-Maclaurin)
L'auteur a utilisé un puissant télescope mathématique pour zoomer sur « l'écart » avec une précision extrême. Il a développé la formule en une longue série de termes. En calculant les premiers termes avec une précision extrême, il a pu voir exactement où le « plancher » (la partie entière) des nombres se poserait. Cela a confirmé le saut cubique géant.
Méthode B : L'astuce de la « Rationalisation »
La partie la plus difficile était de prouver le tout premier nombre de la séquence. Pour ce faire, l'auteur a utilisé une astuce ingénieuse appelée « rationalisation ».
- Analogie : Imaginez que vous avez un nombre irrationnel bancal (comme $\sqrt{2}$ ) multiplié par une fraction. Il est difficile à mesurer. Mais si vous multipliez le haut et le bas par un « conjugué » spécifique (un nombre partenaire), la racine carrée confuse disparaît, et vous vous retrouvez avec un nombre rationnel propre.
- En faisant cela, l'auteur a montré que la valeur se situe strictement entre deux entiers (spécifiquement, entre $M-1$ et $M$ ), prouvant exactement quel doit être le premier nombre de la séquence.

4. La Vérification par Ordinateur

Le papier mentionne que toutes ces affirmations ont été vérifiées par un programme informatique appelé Lean (avec l'aide d'un outil nommé Aristotle).

Analogie : Voyez cela comme un arbitre extrêmement strict. L'auteur a écrit sa preuve, et l'ordinateur a lu chaque étape logique pour s'assurer qu'il n'y avait aucune erreur, aucun saut d'étape, et aucun « vague de main ». L'ordinateur a donné le « feu vert » à l'ensemble de l'argument.

5. Et pour le reste ? (Questions Ouvertes)

Ce papier ne prétend pas pas tout résoudre. Il laisse quelques mystères sur la table :

La Conjecture « Heuristique » : L'auteur a une forte intuition (une heuristique) sur ce à quoi ressemblent les nombres avant que les indices de Pell magiques n'interviennent, mais il n'a pas encore rigoureusement prouvé les toutes premières étapes de cette supposition. C'est comme voir un motif dans les nuages, mais ne pas avoir encore la physique pour le prouver.
Au-delà de la Sixième Étape : Le papier calcule parfaitement les six premiers nombres de la séquence. Que se passe-t-il à la septième, huitième ou centième étape ? Le motif devient compliqué, et l'auteur admet que décrire le comportement complet à long terme est encore un problème ouvert.
Pourquoi $\zeta(3)$ ? L'auteur explique que ce « l'explosion cubique » particulière n'arrive qu'à cause de la puissance spécifique des nombres impliqués (liée au nombre 3). Si vous changiez légèrement les mathématiques, le bond géant ne se produirait pas.

Résumé

En bref, ce papier est la découverte d'un bug mathématique (ou d'une fonctionnalité, selon la façon dont on voit les choses). Il montre que pour un nombre spécifique et difficile à calculer, les règles habituelles de « quelle taille sera le nombre suivant » se brisent à des intervalles précis, créant une séquence avec un bond massif de taille cubique. L'auteur a prouvé cela en utilisant des mathématiques de haute précision, des astuces algébriques ingénieuses et une vérification informatique, révélant une structure cachée dans les nombres qui était auparavant invisible.

Résumé Technique : Quotients Partiels Anormaux dans la Fraction Continue de $\sqrt{\zeta(3) - S_N}$

Énoncé du Problème
L'article étudie le comportement de l'expansion en fraction continue simple de la quantité $\sqrt{R_N}$ , où $R_N = \zeta(3) - S_N$ et $S_N = \sum_{j=1}^N j^{-3}$ . Bien que les quotients partiels de $\sqrt{R_N}$ soient génériquement de taille $O(N)$ , l'auteur identifie une séquence spécifique d'indices $N_k$ où l'expansion présente un comportement « anomal ». Plus précisément, à ces indices, le troisième quotient partiel croît de manière cubique par rapport aux nombres de Pell associés, s'écartant significativement de la croissance linéaire observée dans les cas génériques.

Méthodologie
La preuve est auto-contenue et procède en deux étapes distinctes, combinant la théorie analytique des nombres et la vérification formelle :

Expansion d'Euler–Maclaurin et Rationalisation (Étapes 1 & 2) :
- L'auteur utilise l'expansion d'Euler–Maclaurin pour approximer $1/\sqrt{R_{N_k}}$ avec une haute précision. Une caractéristique algébrique critique des indices choisis $N_k$ est qu'ils permettent l'annulation des termes irrationnels (spécifiquement $\sqrt{2}$ ) lorsque l'expansion est exprimée en termes de nombres de Pell $M_k = P_{2k+1}$ et de nombres de Pell compagnons $Q_{2k+1}$ .
- Cela conduit à une expansion en polynôme de Laurent en $M_k$ avec des coefficients rationnels.
- Pour établir rigoureusement le premier quotient partiel ( $PQ_0$ ), l'article emploie un argument de « rationalisation ». En multipliant le terme irrationnel $\sqrt{R_N}$ par une approximation rationnelle dérivée de l'identité de Pell $Q^2 - 2M^2 = -1$ , l'auteur borne la valeur à l'intérieur de l'intervalle $(M_k - 1, M_k)$ , prouvant que $PQ_0 = M_k - 1$ .
Chaîne de Fractions Continues et Dérivation Heuristique :
- En utilisant l'expansion de haute précision, l'auteur effectue des étapes successives de « partie entière et inversion » pour dériver les six premiers quotients partiels.
- Une dérivation heuristique est fournie en utilisant l'algorithme de fraction continue bihomographique de Gosper. Cet algorithme traite le problème comme la fraction continue d'un produit de deux nombres ( $1/\sqrt{R_N} = 1/(\sqrt{R_N/2} \cdot \sqrt{2})$ ), offrant un aperçu de la raison pour laquelle les indices de Pell créent une résonance qui produit le terme cubique anomal.

Résultats Clés
L'article établit le Théorème 1.1, qui détermine explicitement les six premiers quotients partiels de la fraction continue pour $\sqrt{R_{N_k}}$ pour tout $k \geq 3$ . Soient $M_k = P_{2k+1}$ et $r_k = (10M_k) \pmod{261}$ . L'expansion commence par :
$\sqrt{R_{N_k}} = [0; M_k - 1, 1, 6M_k^3 + 12M_k - 2, 1, \lfloor \frac{10M_k - 261}{261} \rfloor, \lfloor \frac{261}{r_k} \rfloor + \epsilon_k, \dots]$
où $\epsilon_k = -1$ si $r_k$ divise 261 (survenant à des indices périodiques spécifiques) et $0$ autrement.

Taux de Croissance : Les quotients partiels présentent des comportements de croissance distincts :
- $PQ_0 \sim M_k$ (Linéaire)
- $PQ_1 = 1$
- $PQ_2 \sim 6M_k^3$ (Cubique, l'anomalie principale)
- $PQ_3 = 1$
- $PQ_4 \sim \frac{10}{261}M_k$ (Linéaire)
- $PQ_5$ est borné (au plus 261) et dépend de la récurrence modulaire de $r_k$ .
Formalisation : Tous les résultats revendiqués ont été formalisés dans l'assistant de preuve LEAN avec l'aide de la bibliothèque Aristotle. La formalisation inclut les bornes d'Euler–Maclaurin et la preuve de rationalisation pour le premier quotient partiel.

Signification et Problèmes Ouverts
L'article souligne la nature « délicate » de la première étape ( $PQ_0 = M_k - 1$ ), qui repose sur l'annulation précise des termes en $\sqrt{2}$ inhérents aux indices de Pell. La croissance cubique de $PQ_2$ est identifiée comme le mécanisme qui rend ces indices exceptionnels.

L'auteur note plusieurs limitations et problèmes ouverts :

Heuristique vs Rigoureux : Bien que les six premiers quotients soient prouvés, une dérivation heuristique pour la fraction continue de la fonction intermédiaire $g(N) = \sqrt{R_N/2}$ (Conjecture 4.1) reste non prouvée pour les plus petits indices ( $k=1$ ) en raison des bornes de reste. C'est la seule revendication non prouvée dans la formalisation Lean accompagnante.
Généralisation : L'anomalie cubique spécifique est liée à $\zeta(3)$ (où $s=3$ ). Pour d'autres valeurs impaires de $s$ , le taux de croissance principal change, et le mécanisme de résonance s'effondre.
Directions Futures : L'article pose des questions concernant la structure quasi-périodique complète des quotients partiels au-delà de $PQ_5$ , les connexions potentielles avec les preuves d'irrationalité d'Apéry pour $\zeta(3)$ , et si ces approximations spécifiques produisent de nouveaux résultats d'irrationalité ou de transcendance.