A symmetry approach to number tricks

1. Problématique

L'article s'intéresse au mécanisme mathématique sous-jacent aux « tours de nombres » classiques, dont le plus célèbre est le « tour du 1089 ». Ce tour consiste à prendre un nombre à trois chiffres $abc$ (avec $a > c$), à soustraire son inverse $cba$, puis à ajouter l'inverse du résultat, aboutissant systématiquement à 1089.

Bien que des généralisations de ce tour à $n$ chiffres aient été étudiées (notamment par Behrends et Webster, reliant les résultats aux nombres de Fibonacci), il manquait un cadre formel unifié expliquant pourquoi ces opérations annulent les chiffres d'entrée pour produire une constante, et comment générer systématiquement de nouveaux tours. Le problème central est de comprendre comment les permutations des chiffres, combinées à des opérations d'addition et de soustraction, peuvent être modélisées de manière algébrique pour garantir un résultat constant, indépendamment des chiffres spécifiques de l'entrée (à l'exception des conditions de report/« carry »).

2. Méthodologie

L'auteur propose une approche algébrique basée sur la théorie des groupes et les anneaux de groupes.

• Cadre Algébrique : Le travail se déroule dans l'anneau de groupe entier $\mathbb{Z}[\Sigma_n]$, où $\Sigma_n$ est le groupe symétrique sur $n$ lettres (les permutations des chiffres). Les opérations de permutation des chiffres d'un nombre sont vues comme l'action de $\Sigma_n$ sur l'ensemble des vecteurs de chiffres.
• Zéro Diviseurs : L'idée centrale est que les tours de nombres correspondent à des relations de type « zéro diviseur » dans cet anneau. Si l'on considère deux éléments $f, g \in \mathbb{Z}[\Sigma_n]$ tels que leur produit est nul ($f \circ g = 0$), alors l'action combinée de ces permutations sur un nombre devrait, en théorie, annuler les termes.
• Gestion des Reports (Carrying) : Le défi majeur est que l'arithmétique décimale standard n'est pas linéaire en raison des reports (carries). Pour formaliser cela, l'auteur définit :
  • Une application d'évaluation $\Phi : \mathbb{Z}^n \to \mathbb{Z}$ qui convertit un vecteur de chiffres en nombre entier.
  • Une application de normalisation $N : \mathbb{Z}^n \to V_n$ (où $V_n$ est l'ensemble des vecteurs de chiffres valides $0-9$) qui simule l'algorithme de report de droite à gauche.
  • Un vecteur de report $c(u) = N(u) - u$, qui capture l'effet non-linéaire des reports.
• Décomposition de l'Espace d'Entrée : L'article démontre que l'ensemble des nombres à $n$ chiffres peut être partitionné en cellules définies par des inégalités linéaires. Sur chaque cellule, le vecteur de report produit par l'application $g$ est constant.

3. Contributions Clés

La contribution principale de l'article est la généralisation des tours de nombres à travers la théorie des anneaux de groupes :

1. Généralisation Universelle : Tout couple de zéro diviseurs $f, g \in \mathbb{Z}[\Sigma_n]$ (tel que $f \circ g = 0$) génère un « tour de nombre formel ». L'opération consiste à appliquer $g$ à un vecteur de chiffres, normaliser le résultat (gérer les reports), puis appliquer $f$.
2. Théorème de Constante Locale (Théorème 3.6) : L'auteur prouve que pour un $g$ donné, l'ensemble des entrées $V_n$ se partitionne en un nombre fini de cellules $U_e$. Sur chaque cellule $U_e$, le vecteur de report $c(g \cdot v)$ est constant (égal à un vecteur $e$). Par conséquent, le résultat final $\Phi(f \cdot N(g \cdot v))$ est constant sur chaque cellule et vaut $\Phi(f \cdot e)$.
3. Distinction « Spectateur Friendly » : L'article introduit une distinction cruciale entre les tours « formels » (qui peuvent impliquer des nombres négatifs ou sortir du domaine des nombres à $n$ chiffres) et les tours « amicaux pour le spectateur » (spectator friendly). Un tour est amical si, pour une cellule donnée, le résultat intermédiaire reste un nombre à $n$ chiffres valide et le résultat final est non nul.
4. Classification des Exemples : L'article fournit une liste systématique de nouvelles familles de tours basés sur différentes structures de groupes (transpositions, rotations, sous-groupes, caractères).

4. Résultats Principaux

• Le Tour du 1089 : Il est réinterprété comme l'action de $(1 + \tau) \circ (1 - \tau)$ sur $\Sigma_3$, où $\tau = (13)$ est la transposition. La partition de l'espace d'entrée révèle trois cellules :
  • $a > c$ : Résultat 1089 (tour amical).
  • $a = c$ : Résultat 0.
  • $a < c$ : Résultat 1010 (tour formel, non amical car le résultat intermédiaire n'est pas un nombre à 3 chiffres standard sans ajustement).
• Le Tour de Rotation : En utilisant la rotation $\rho = (123)$ et la relation $(1 + \rho + \rho^2) \circ (1 - \rho) = 0$, l'auteur démontre un nouveau tour : soustraire le nombre rotatif $cab$ de $abc$, puis additionner toutes les rotations du résultat. Pour la cellule $a \ge b > c$, le résultat est toujours 1998.
• Généralisations à $n$ chiffres :
  • L'utilisation de la permutation inverse $\sigma$ généralise le tour du 1089 à $n$ chiffres.
  • L'utilisation de sous-groupes $H$ de $\Sigma_n$ et de caractères $\chi$ permet de construire des tours basés sur des relations de type $\sum \chi(h)h \circ (h - \chi(h)) = 0$.
  • Un exemple avec le sous-groupe de Klein dans $\Sigma_4$ produit un tour avec un résultat constant de 1782 sur certaines cellules.
• Multiples de Repunits : Pour les rotations cycliques sur $n$ chiffres, le résultat est toujours un multiple du repunit $R_n = \frac{10^n - 1}{9}$ (ex: 111, 1111).

5. Signification et Impact

• Unification Théorique : L'article fournit un cadre mathématique rigoureux qui unifie des tours de nombres disparates sous une seule bannière algébrique (les zéro diviseurs dans les anneaux de groupes).
• Outil de Découverte : Il offre une méthode systématique pour que les mathématiciens (et même les étudiants) puissent découvrir de nouveaux tours de nombres en cherchant simplement des relations de zéro diviseur dans $\mathbb{Z}[\Sigma_n]$.
• Compréhension des Reports : En modélisant explicitement les reports via la normalisation $N$ et les vecteurs de carry, l'article résout le problème de la non-linéarité de l'arithmétique décimale dans ce contexte, montrant que la « magie » des chiffres qui s'annulent est en réalité une conséquence de la structure du groupe et de la constance locale des reports.
• Pédagogie : La dernière section suggère que ces concepts peuvent être utilisés pour enseigner la théorie des groupes et les symétries de manière ludique et concrète.

En résumé, Kolderup transforme un phénomène arithmétique curieux en un résultat structurel profond, reliant la combinatoire des chiffres, l'arithmétique modulaire et la théorie des représentations des groupes symétriques.