🔢 mathematics

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

Diese Arbeit präsentiert einen neuen Beweis für Spences Formel von 1963 für die Summe der Produkte teilerfremder ganzer Zahlen weniger als $n$ und ihrer Indizes unter Verwendung des Reziprozitätsgesetzes für Dedekind-Summen als Alternative zu bisherigen Methoden, die die Totientfunktion nach Nagell oder Fourieranalyse nutzen.

Ursprüngliche Autoren: Steven Brown

Veröffentlicht 2026-01-30

📖 3 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Steven Brown

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Ganze: Eine neue Art zu zählen

Stellen Sie sich vor, Sie haben eine große Zahl, nennen wir sie $n$ . Nun stellen Sie sich einen Club aus „besonderen Zahlen“ vor, die kleiner als $n$ sind und eine ganz bestimmte Beziehung zu ihr haben: Sie teilen keine gemeinsamen Teiler mit $n$ (Mathematiker nennen diese „teilerfremd“ oder „koprim“).

Wenn Sie diese besonderen Zahlen der Größe nach von klein nach groß auflisten, erhalten Sie eine Folge: $a_1, a_2, a_3, \dots$ .

Im Jahr 1963 entdeckte ein Mathematiker namens Edward Spence eine magische Formel. Diese Formel ermöglicht es Ihnen, die Summe dieser Zahlen zu berechnen, aber mit einem Kniff: Sie multiplizieren jede Zahl mit ihrer Position in der Schlange.

Nehmen Sie die erste Zahl ( $a_1$ ) und multiplizieren Sie sie mit 1.
Nehmen Sie die zweite Zahl ( $a_2$ ) und multiplizieren Sie sie mit 2.
Machen Sie dies für die gesamte Liste und addieren Sie alles auf.

Spence fand heraus, dass diese Gesamtsumme nicht zufällig ist; sie folgt einem präzisen Muster basierend auf der Größe von $n$ und der Anzahl seiner Primfaktoren.

Das Problem: Spence bewies dies im Jahr 1963, und ein weiterer Mathematiker (Lucien Van Hamme) bewies es 1971 erneut mit einer anderen Methode (Fourier-Analyse, was so etwas wie das Zerlegen einer Schallwelle in ihre einzelnen Töne ist).

Das Ziel dieser Arbeit: Steven Brown möchte diese dieselbe Formel ein drittes Mal beweisen, aber mit einem völlig anderen Werkzeug: Dedekind-Summen und deren „Reziprozitätsgesetz“.

Die Werkzeuge des Handwerks

Um Browns Beweis zu verstehen, müssen wir die drei Hauptwerkzeuge verstehen, die er wie Zutaten in einem Rezept behandelt.

1. Der „Filter“ (Der Club der Teilerfremden)

Brown beginnt damit, sich die Liste der besonderen Zahlen ( $a_1$ bis $a_{\phi(n)}$ ) anzusehen. Anstatt zu versuchen, sie sofort in eine Reihenfolge zu bringen, verwendet er einen mathematischen „Filter“ (die sogenannte Funktion $\theta_n$ ).

Analogie: Stellen Sie sich vor, Sie haben einen Eimer mit gemischten Murmeln. Sie wollen nur die roten zählen. Anstatt sie einzeln zu sortieren, gießen Sie den Eimer durch ein Sieb, das nur rote Murmeln durchlässt. Diese Funktion $\theta_n$ fungiert als dieses Sieb; sie zählt, wie viele gültige Zahlen bis zu einem bestimmten Punkt existieren, ohne sich vorerst um deren spezifische Reihenfolge zu kümmern.

2. Der „Bruchteil“ (Die übrig gebliebenen Krümel)

In der Mathematik erhält man beim Dividieren einer Zahl eine ganze Zahl und einen „Bruchteil“ (den Rest). Zum Beispiel: $7 \div 3 = 2$ mit einem Rest von $1/3$ .
Brown konzentriert sich stark auf diese „Reste“. Er verwendet eine spezielle Notation, $((x))$ , die misst, wie weit eine Zahl von der nächsten Halbzahl entfernt ist.

Analogie: Denken Sie an eine Uhr. Der „Bruchteil“ ist die Position, an der sich der Zeiger zwischen den Zahlen befindet. Brown interessiert sich für die Symmetrie dieser Positionen. Er verwendet eine

Technische Zusammenfassung von „A proof of Spence's formula using the reciprocity law for Dedekind sums“

Problemstellung
Die Arbeit befasst sich mit der Auswertung der gewichteten Summe von ganzen Zahlen, die teilerfremd zu einer gegebenen ganzen Zahl $n$ sind. Sei $n > 1$ eine ganze Zahl und $0 < a_1 < a_2 < \dots < a_{\phi(n)} < n$ die positiven ganzen Zahlen kleiner als $n$ , die teilerfremd zu $n$ sind, angeordnet in aufsteigender Reihenfolge. Das Ziel ist die Berechnung der Summe:
$\sum_{j=1}^{\phi(n)} j a_j$
Diese Formel wurde ursprünglich 1963 von Edward Spence etabliert und später 1971 von Lucien Van Hamme unter Verwendung der Fourier-Analyse erneut bewiesen. Die vorliegende Arbeit zielt darauf ab, einen dritten, eigenständigen Beweis unter Nutzung der Theorie der Dedekind-Summen zu liefern.

Methodik
Der Autor, Steven Brown, verwendet eine Methode, die in der analytischen Zahlentheorie verwurzelt ist, insbesondere unter Ausnutzung der Eigenschaften von Dedekind-Summen und der Möbius-Inversionsformel. Der Beweis erfolgt durch die folgenden logischen Schritte:

Umformulierung mittels Zählfunktionen:
Anstatt über die geordneten Indizes $j$ zu summieren, schreibt der Autor die Zielsumme unter Verwendung der Funktion $\theta_n(x)$ um, welche die Anzahl der teilerfremden zu $n$ liegenden ganzen Zahlen kleiner oder gleich $x$ zählt. Dies ermöglicht es, die Summe über die Menge $U(n)$ der teilerfremden Zahlen ohne expliziten Bezug auf deren Ordnung auszudrücken:
$\sum_{j=1}^{\phi(n)} j a_j = \sum_{a \in U(n)} \theta_n(a) a$
Zerlegung mittels Bruchteilen:
Unter Verwendung der Identität $\theta_n(x) + \nu_n(x) = x\phi(n)/n$ , wobei $\nu_n(x)$ Bruchteile $\{x/d\}$ beinhaltet, wird das Problem zerlegt. Der Term, der $\nu_n(a)$ beinhaltet, wird isoliert. Der Autor drückt den Bruchteil $\{a/d\}$ in Abhängigkeit von der Sägezahnfunktion $((x)) = \{x\} - 1/2$ (für Nicht-Ganze) aus und nutzt die Eigenschaft, dass $\sum_{a \in U(n)} ((a/d)) = 0$ gilt.
Einführung von Dedekind-Summen:
Der verbleibende Term beinhaltet eine Doppelsumme über Teiler $d_1, d_2$ von $n$ , die Produkte von Sägezahnfunktionen enthält. Diese Struktur wird als Linearkombination klassischer Dedekind-Summen, bezeichnet als $s(b, a)$ , identifiziert. Der Ausdruck wird transformiert in:
$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)$
Anwendung des Reziprozitätsgesetzes:
Der Kern des Beweises nutzt die Symmetrie der Summe und das Dedekind-Reziprozitätsgesetz. Durch Gruppierung der Terme $s(b, a)$ und $s(a, b)$ wendet der Autor das Reziprozitätsgesetz an:
$$ s

Das große Ganze: Eine neue Art zu zählen

Die Werkzeuge des Handwerks

1. Der „Filter“ (Der Club der Teilerfremden)

2. Der „Bruchteil“ (Die übrig gebliebenen Krümel)

Mehr davon