🔢 mathematics

A proof of Spence's formula using the reciprocity law for Dedekind sums

Cet article présente une nouvelle preuve de la formule de 1963 de Spence pour la somme des produits d'entiers premiers entre eux inférieurs à $n$ et de leurs indices, en utilisant la loi de réciprocité pour les sommes de Dedekind comme alternative aux méthodes précédentes impliquant la fonction totient de Nagell ou l'analyse de Fourier.

Auteurs originaux : Steven Brown

Publié 2026-01-30

📖 3 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Steven Brown

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

La vue d'ensemble : Une nouvelle façon de compter

Imaginez que vous avez un grand nombre, appelons-le $n$ . Maintenant, imaginez un club de « nombres spéciaux » qui sont plus petits que $n$ et qui ont une relation très spécifique avec lui : ils n'ont aucun facteur commun avec $n$ (les mathématiciens appellent cela être « premiers entre eux »).

Si vous listez ces nombres spéciaux dans l'ordre, du plus petit au plus grand, vous obtenez une séquence : $a_1, a_2, a_3, \dots$ .

En 1963, un mathématicien nommé Edward Spence a découvert une formule magique. Cette formule vous permet de calculer la somme de ces nombres, mais avec une particularité : vous multipliez chaque nombre par sa position dans la file.

Prenez le premier nombre ( $a_1$ ) et multipliez-le par 1.
Prenez le deuxième nombre ( $a_2$ ) et multipliez-le par 2.
Faites cela pour toute la liste et additionnez le tout.

Spence a découvert que cette somme totale n'est pas aléatoire ; elle suit un modèle précis basé sur la taille de $n$ et sur le nombre de ses facteurs premiers.

Le Problème : Spence a prouvé cela en 1963, et un autre mathématicien (Lucien Van Hamme) l'a prouvé à nouveau en 1971 en utilisant une méthode différente (l'analyse de Fourier, qui revient à décomposer une onde sonore en ses notes).

L'Objectif de ce papier : Steven Brown veut prouver cette même formule une troisième fois, mais en utilisant un outil complètement différent : les sommes de Dedekind et leur « loi de réciprocité ».

Les outils du métier

Pour comprendre la preuve de Brown, nous devons comprendre les trois outils principaux qu'il utilise, qu'il traite comme les ingrédients d'une recette.

1. Le « Filtre » (Le club des nombres premiers entre eux)

Brown commence par examiner la liste des nombres spéciaux ( $a_1$ à $a_{\phi(n)}$ ). Au lieu d'essayer de les ordonner immédiatement, il utilise un « filtre » mathématique (appelé la fonction $\theta_n$ ).

Analogie : Imaginez que vous avez un seau de billes mélangées. Vous voulez ne compter que les billes rouges. Au lieu de les trier une par une, vous versez le contenu du seau à travers un tamis qui ne laisse passer que les billes rouges. Cette fonction $\theta_n$ agit comme ce tamis, comptant combien de nombres valides existent jusqu'à un certain point sans encore se soucier de leur ordre spécifique.

2. La « Partie fractionnaire » (Les miettes restantes)

En mathématiques, quand on divise un nombre, on obtient un nombre entier et une « partie fractionnaire » (les restes). Par exemple, $7 \div 3 = 2$ avec un reste de $1/3$ .
Brown se concentre intensément sur ces « restes ». Il utilise une notation spéciale, $((x))$ , qui mesure la distance d'un nombre par rapport au demi-entier le plus proche.

Analogie : Pensez à une horloge. La « partie fractionnaire » est l'endroit où l'aiguille se trouve entre les chiffres. Brown s'intéresse à la symétrie de ces positions. Il utilise une

Résumé technique de « A proof of Spence's formula using the reciprocity law for Dedekind sums »

Énoncé du problème
L'article traite de l'évaluation de la somme pondérée des entiers premiers avec un entier donné $n$ . Plus précisément, soit $n > 1$ un entier, et soient $0 < a_1 < a_2 < \dots < a_{\phi(n)} < n$ les entiers positifs inférieurs à $n$ qui sont premiers avec $n$ , ordonnés de manière croissante. L'objectif est de calculer la somme :
$\sum_{j=1}^{\phi(n)} j a_j$
Cette formule a été établie initialement par Edward Spence en 1963 et prouvée ultérieurement par Lucien Van Hamme en 1971 en utilisant l'analyse de Fourier. L'article vise à fournir une troisième preuve distincte en utilisant la théorie des sommes de Dedekind.

Méthodologie
L'auteur, Steven Brown, emploie une méthode ancrée dans la théorie analytique des nombres, exploitant spécifiquement les propriétés des sommes de Dedekind et la formule d'inversion de Möbius. La preuve procède à travers les étapes logiques suivantes :

Reformulation via les fonctions de comptage :
Au lieu de sommer sur les indices ordonnés $j$ , l'auteur réécrit la somme cible en utilisant la fonction $\theta_n(x)$ , qui compte le nombre d'entiers premiers avec $n$ inférieurs ou égaux à $x$ . Cela permet d'exprimer la somme sur l'ensemble $U(n)$ des entiers premiers avec $n$ sans référence explicite à leur ordre :
$\sum_{j=1}^{\phi(n)} j a_j = \sum_{a \in U(n)} \theta_n(a) a$
Décomposition via les parties fractionnaires :
En utilisant l'identité $\theta_n(x) + \nu_n(x) = x\phi(n)/n$ , où $\nu_n(x)$ implique des parties fractionnaires $\{x/d\}$ , le problème est décomposé. Le terme impliquant $\nu_n(a)$ est isolé. L'auteur exprime la partie fractionnaire $\{a/d\}$ en termes de la fonction en dents de scie $((x)) = \{x\} - 1/2$ (pour les non-entiers) et utilise la propriété que $\sum_{a \in U(n)} ((a/d)) = 0$ .
Introduction des sommes de Dedekind :
Le terme restant implique une double somme sur les diviseurs $d_1, d_2$ de $n$ contenant des produits de fonctions en dents de scie. Cette structure est identifiée comme une combinaison linéaire de sommes de Dedekind classiques, notées $s(b, a)$ . L'expression est transformée en :
$S(n) = n \sum_{d_1|n} \sum_{d_2|n} \mu(d_1)\mu(d_2) s\left(\frac{n}{d_1}, \frac{n}{d_2}\right)$
Application de la loi de réciprocité :
Le cœur de la preuve utilise la symétrie de la somme et la loi de réciprocité de Dedekind. En regroupant les termes $s(b, a)$ et $s(a, b)$ , l'auteur applique la formule de réciprocité :
$$ s

La vue d'ensemble : Une nouvelle façon de compter

Les outils du métier

1. Le « Filtre » (Le club des nombres premiers entre eux)

2. La « Partie fractionnaire » (Les miettes restantes)

Articles similaires