🔢 mathematics

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

Dit artikel presenteert een nieuw bewijs van de formule van Spence uit 1963 voor de som van producten van onderling priem gehele getallen kleiner dan $n$ en hun indices, waarbij gebruik wordt gemaakt van de reciprociteitswet voor Dedekind-sommen als alternatief voor eerdere methoden die betrokken zijn bij de totientfunctie van Nagell of Fourieranalyse.

Oorspronkelijke auteurs: Steven Brown

Gepubliceerd 2026-01-30

📖 3 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Steven Brown

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Plaatje: Een Nieuwe Manier van Tellen

Stel je voor dat je een groot getal hebt, laten we het $n$ noemen. Stel je nu een club van "speciale getallen" voor die kleiner zijn dan $n$ en een zeer specifieke relatie met $n$ hebben: ze delen geen gemeenschappelijke factoren met $n$ (wiskundigen noemen dit "copriem").

Als je deze speciale getallen in volgorde van klein naar groot opschrijft, krijg je een reeks: $a_1, a_2, a_3, \dots$ .

In 1963 ontdekte een wiskundige genaamd Edward Spence een magische formule. Deze formule stelt je in staat om de som van deze getallen te berekenen, maar met een twist: je vermenigvuldigt elk getal met zijn positie in de rij.

Neem het eerste getal ( $a_1$ ) en vermenigvuldig het met 1.
Neem het tweede getal ( $a_2$ ) en vermenigvuldig het met 2.
Doe dit voor de hele lijst en tel ze allemaal bij elkaar op.

Spence ontdekte dat deze totale som niet willekeurig is; het volgt een precies patroon gebaseerd op de grootte van $n$ en hoeveel priemfactoren het heeft.

Het Probleem: Spence bewees dit in 1963, en een andere wiskundige (Lucien Van Hamme) bewees het opnieuw in 1971 met een andere methode (Fourieranalyse, wat vergelijkbaar is met het opbreken van een geluidsgolf in haar noten).

Het Doel van Deze Paper: Steven Brown wil deze formule voor de derde keer bewijzen, maar met een totaal ander hulpmiddel: Dedekind-sommen en hun "Reciprociteitswet".

De Gereedschappen van het Vak

Om Browns bewijs te begrijpen, moeten we de drie belangrijkste instrumenten begrijpen die hij gebruikt, die hij behandelt als ingrediënten in een recept.

1. De "Filter" (De Coprieme Club)

Brown begint door te kijken naar de lijst van speciale getallen ( $a_1$ tot $a_{\phi(n)}$ ). In plaats van te proberen ze direct in volgorde te dwingen, gebruikt hij een wiskundige "filter" (de functie $\theta_n$ genoemd).

Analogie: Stel je voor dat je een emmer met gemengde knikkers hebt. Je wilt alleen de rode tellen. In plaats van ze één voor één te sorteren, giet je de emmer door een zeef die alleen rode knikkers doorlaat. Deze functie $\theta_n$ werkt als die zeef; het telt hoeveel geldige getallen er tot een bepaald punt bestaan zonder zich nog zorgen te maken over hun specifieke volgorde.

2. Het "Breukdeel" (De Overgebleven Kruimels)

In de wiskunde, wanneer je een getal deelt, krijg je een heel getal en een "breukdeel" (de restjes). Bijvoorbeeld: $7 \div 3 = 2$ met een rest van $1/3$ .
Brown richt zich zwaar op deze "restjes". Hij gebruikt een speciale notatie, $((x))$ , die meet hoe ver een getal verwijderd is van het dichtstbijzijnde halve geheel getal.

Analogie: Denk aan een klok. Het "breukdeel" is waar de wijzer tussen de cijfers in staat. Brown is geïnteresseerd in de symmetrie van deze posities. Hij gebruikt een

Technische Samenvatting van "A proof of Spence's formula using the reciprocity law for Dedekind sums"

Probleemstelling
Het artikel behandelt de evaluatie van de gewogen som van gehele getallen die relatief priem zijn met een gegeven geheel getal $n$ . Specifiek, laat $n > 1$ een geheel getal zijn, en laat $0 < a_1 < a_2 < \dots < a_{\phi(n)} < n$ de positieve gehele getallen zijn die kleiner zijn dan $n$ en relatief priem zijn met $n$ , gerangschikt in oplopende volgorde. Het doel is om de volgende som te berekenen:
$\sum_{j=1}^{\phi(n)} j a_j$
Deze formule werd oorspronkelijk vastgesteld door Edward Spence in 1963 en later opnieuw bewezen door Lucien Van Hamme in 1971 met behulp van Fourieranalyse. Het artikel beoogt een derde, afzonderlijk bewijs te leveren met behulp van de theorie van Dedekind-sommen.

Methodologie
De auteur, Steven Brown, hanteert een methode die geworteld is in de analytische getaltheorie, specifiek door gebruik te maken van de eigenschappen van Dedekind-sommen en de Möbius-inversieformule. Het bewijs verloopt via de volgende logische stappen:

Herformulering via telfuncties:
In plaats van te sommeren over de geordende indices $j$ , herschrijft de auteur de doelsom met behulp van de functie $\theta_n(x)$ , die het aantal gehele getallen telt dat relatief priem is met $n$ en kleiner dan of gelijk aan $x$ . Dit maakt het mogelijk om de som uit te drukken over de verzameling $U(n)$ van relatief priem getallen zonder expliciete verwijzing naar hun ordening:
$\sum_{j=1}^{\phi(n)} j a_j = \sum_{a \in U(n)} \theta_n(a) a$
Decompositie met behulp van breuken:
Met behulp van de identiteit $\theta_n(x) + \nu_n(x) = x\phi(n)/n$ , waarbij $\nu_n(x)$ breuken $\{x/d\}$ bevat, wordt het probleem gedecomponeerd. De term die $\nu_n(a)$ bevat, wordt geïsoleerd. De auteur drukt het breukdeel $\{a/d\}$ uit in termen van de zaagtandfunctie $((x)) = \{x\} - 1/2$ (voor niet-gehele getallen) en maakt gebruik van de eigenschap dat $\sum_{a \in U(n)} ((a/d)) = 0$ .
Introductie van Dedekind-sommen:
De resterende term bevat een dubbele som over delers $d_1, d_2$ van $n$ die producten van zaagtandfuncties bevat. Deze structuur wordt geïdentificeerd als een lineaire combinatie van klassieke Dedekind-sommen, aangeduid als $s(b, a)$ . De uitdrukking wordt getransformeerd naar:
$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)$
Toepassing van de reciprociteitswet:
De kern van het bewijs maakt gebruik van de symmetrie van de som en de Dedekind reciprociteitswet. Door termen $s(b, a)$ en $s(a, b)$ te groeperen, past de auteur de reciprociteitsformule toe:
$$ s

Het Grote Plaatje: Een Nieuwe Manier van Tellen

De Gereedschappen van het Vak

1. De "Filter" (De Coprieme Club)

2. Het "Breukdeel" (De Overgebleven Kruimels)

Meer zoals dit