🔢 mathematics

Exact Formulas for Coprime Representations of Even Integers Avoiding a Prime

Dieser Artikel leitet geschlossene Formeln für die Anzahl der teilerfremden Darstellungen gerader Zahlen als Summe zweier zu $6p$ teilerfremder positiver ganzer Zahlen her, die eine effiziente $O(1)$ -Berechnung ermöglichen und deren Verhalten durch Restklassen modulo $3$ und $p$ bestimmt wird.

Ursprüngliche Autoren: Andres M. Salazar

Veröffentlicht 2026-04-06

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Andres M. Salazar

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 Zahlen-Rätsel: Wie man Paare findet, die sich nicht „streiten"

Stellen Sie sich vor, Sie haben eine große, gerade Zahl (nennen wir sie 2n). Ihre Aufgabe ist es, diese Zahl in zwei kleinere, positive Zahlen (h und k) zu zerlegen, sodass:

h + k = 2n (sie ergeben zusammen die große Zahl).
h ≤ k (die erste Zahl ist nicht größer als die zweite).
Sie sich mit niemandem „streiten" (teilerfremd sind): Beide Zahlen dürfen keinen gemeinsamen Teiler mit den Primzahlen 2, 3 und einer speziellen Primzahl p haben.

Das ist wie ein riesiges Puzzle. Normalerweise müsste man alle möglichen Kombinationen durchprobieren, um zu zählen, wie viele Paare die Regeln erfüllen. Das ist wie das Suchen nach einer Nadel im Heuhaufen – je größer die Zahl, desto länger dauert es.

Was hat dieser Forscher (Andrés Salazar) entdeckt?
Er hat einen magischen Zauberstab (eine Formel) gebaut, mit dem man die Anzahl der passenden Paare sofort berechnen kann, ohne auch nur eine einzige Kombination auszuprobieren.

Die drei Hauptakteure der Geschichte

Die „Störrischen" Zahlen (Die Primzahlen 2, 3 und p):
Stellen Sie sich vor, die Zahlen 2, 3 und die spezielle Zahl p sind wie strenge Türsteher in einem Club. Wenn eine Zahl durch 2, 3 oder p teilbar ist, darf sie nicht rein.
- Da wir nur mit geraden Zahlen (2n) arbeiten, ist die Regel „nicht durch 2 teilbar" eigentlich schon erfüllt, wenn wir nur ungerade Zahlen nehmen.
- Die Regel „nicht durch 3 teilbar" schließt Zahlen aus, die auf 0, 3, 6, 9 enden (in der Summe).
- Die Regel „nicht durch p teilbar" ist der schwierigste Teil.
Der „Zauberstab" (Die Formel):
Früher musste man für eine große Zahl 2n alle Möglichkeiten von 1 bis n durchzählen. Das dauert lange (je größer die Zahl, desto länger).
Salazar hat eine Formel gefunden, die wie ein Wegweiser funktioniert. Sie schaut sich nur ein paar kleine Reste an (was bleibt übrig, wenn man durch 3 oder p teilt?) und sagt sofort: „Aha! In diesem Fall gibt es genau X Möglichkeiten."
- Der Clou: Sobald man die „Türsteher-Regeln" für eine bestimmte Primzahl p einmal berechnet hat (was sehr schnell geht), kann man die Antwort für jede beliebige große Zahl sofort geben. Es ist, als würde man einmal einen Schlüssel kopieren und damit jede Tür im ganzen Gebäude öffnen können.
Die „Schritt-für-Schritt"-Landkarte (Die Struktur):
Das Interessanteste an der Entdeckung ist, dass die Anzahl der Paare nicht zufällig hin und her springt. Sie folgt einem strengen Muster.
- Stellen Sie sich vor, die Zahlen sind auf einer Straße angeordnet.
- Die Formel sagt uns, dass die Anzahl der Paare in bestimmten Abschnitten der Straße immer linear ansteigt (wie eine Rampe).
- Diese „Rampen" wiederholen sich in einem Rhythmus, der von den Resten abhängt, die man bei der Teilung durch 3 und durch p erhält.
- Es ist wie ein Musikstück: Es gibt ein Grundmuster (die Rampe), das sich immer wiederholt, aber je nachdem, auf welchem Takt (Restklasse) man steht, beginnt das Muster leicht verschoben.

Wie funktioniert der Trick? (Die Analogie)

Stellen Sie sich vor, Sie wollen herausfinden, wie viele Paare von Schuhen in einem Lager sind, die nicht rot (2), nicht blau (3) und nicht grün (p) sind.

Der alte Weg (Brute-Force): Man geht durch das ganze Lager, nimmt jeden Schuh, schaut auf die Farbe und zählt. Bei 100.000 Schuhen dauert das ewig.
Der neue Weg (Salazars Formel): Man weiß, dass die Schuhe in Regalen stehen, die nach einem festen Muster angeordnet sind.
- Man berechnet einmal, in welchem Regal die grünen Schuhe stehen (das ist die „minimale Lösung" der Gleichung, die im Text steht).
- Dann schaut man nur auf die Position der großen Zahl (2n).
- Die Formel sagt sofort: „Da du bei Regal X stehst und die Farbe Y hast, gibt es genau Z Paare."
- Man muss nicht mehr zählen, man muss nur rechnen.

Warum ist das wichtig?

Geschwindigkeit: Für eine Zahl wie 100.000 braucht der alte Weg 100.000 Schritte. Der neue Weg braucht nur ein paar Rechenoperationen (so schnell wie ein Blitz).
Vorhersagbarkeit: Man sieht plötzlich die verborgene Ordnung in der Welt der Zahlen. Man erkennt, dass das Chaos der Primzahlen eigentlich einem sehr strengen, geometrischen Muster folgt.
Überprüfung: Der Autor hat seinen Zauberstab gegen den alten Weg getestet (für alle Zahlen bis 100.000 und verschiedene Primzahlen). Das Ergebnis war immer identisch: Perfekt. Der Zauberstab funktioniert wirklich.

Zusammenfassung in einem Satz

Andrés Salazar hat eine Art „Schnellrechner" für ein komplexes mathematisches Zählproblem erfunden, der statt mühsamem Durchzählen clever auf die Reste der Zahlen schaut und so die Lösung sofort liefert – wie ein Detektiv, der statt jeden Fußabdruck zu messen, einfach weiß, wo der Täter hingelaufen ist, weil er das Muster kennt.

Titel: Exakte Formeln für teilerfremde Darstellungen gerader Zahlen unter Vermeidung einer Primzahl

Autor: Andrés M. Salazar
Datum: 6. April 2026

1. Problemstellung

Das Paper adressiert ein klassisches Problem der additiven Zahlentheorie: Die exakte Zählung der Darstellungen einer geraden Zahl $2n$ als Summe zweier positiver ganzer Zahlen $h$ und $k$ ( $h \le k$ ), die bestimmte Teilerfremdheitsbedingungen erfüllen.

Spezifisch wird die Funktion $g(2n, p)$ untersucht, definiert als die Anzahl der Paare $(h, k) \in \mathbb{Z}_{>0}^2$ , sodass:

$h + k = 2n$
$h \le k$
$\gcd(h, 6p) = 1$ und $\gcd(k, 6p) = 1$

Dabei ist $p \ge 5$ eine feste Primzahl. Die Bedingung $\gcd(x, 6p) = 1$ bedeutet, dass weder $h$ noch $k$ durch die Primzahlen 2, 3 oder $p$ teilbar sein dürfen.

Während asymptotische Abschätzungen für solche Zählfunktionen durch Siebmethoden und Möbius-Inversion bekannt sind, fehlt es oft an vollständig expliziten, geschlossenen Formeln, die die genaue Struktur der Funktion offenbaren. Herkömmliche Ansätze mittels Inklusion-Exklusion führen zwar zu periodischen Ausdrücken, verbergen aber die affine Struktur der Funktion hinter alternierenden Summen über Teilermengen.

2. Methodik

Der Autor entwickelt einen neuen Ansatz, der auf der expliziten Lösung von linearen Restgleichungen basiert, anstatt auf der direkten Anwendung des Inklusion-Exklusions-Prinzips.

A. Mathematische Werkzeuge

Der kanonische Restoperator $\delta_k(x)$ : Definiert als $\delta_k(x) = x - k \lfloor x/k \rfloor$ . Dieser Operator liefert den Standardvertreter der Restklasse von $x$ modulo $k$ .
Minimale Lösungen linearer Restgleichungen: Ein zentraler Baustein ist die explizite Berechnung der minimalen Lösung $x_0 \in \{0, \dots, k-1\}$ für Gleichungen der Form $\delta_k(a_0 x) = b_0$ .
Euklidischer Algorithmus: Die Lösung wird nicht iterativ, sondern durch eine geschlossene Formel hergeleitet, die den erweiterten Euklidischen Algorithmus vollständig in Termen des Restoperators $\delta_k$ ausdrückt. Dies ermöglicht die direkte Bestimmung der auszuschließenden Restklassen.

B. Reduktion des Problems

Da $h$ und $k$ teilerfremd zu 6 sein müssen, können sie nur die Formen $6x+1$ oder $6x+5$ annehmen.

Der Fall $\delta_3(n) = 0$ (d.h. $n \equiv 0 \pmod 3$ ) erfordert eine Darstellung als Summe von $6x+1$ und $6y+5$ .
Die Fälle $\delta_3(n) = 1$ und $\delta_3(n) = 2$ erfordern Darstellungen als Summe von zwei Zahlen der Form $6x+1$ bzw. zwei Zahlen der Form $6x+5$ .

Die Bedingung, dass $p$ die Summanden nicht teilt, führt auf die Bestimmung der minimalen Lösungen der Kongruenzen:

$6x \equiv -1 \pmod p$ (Lösung: $a(p)$ )
$6x \equiv -5 \pmod p$ (Lösung: $b(p)$ )

Diese Parameter $a(p)$ und $b(p)$ bestimmen direkt, welche Restklassen modulo $p$ für die Hilfsvariablen $x$ und $y$ ausgeschlossen werden müssen.

C. Herleitung der Formeln

Die Zählung wird auf die Anzahl der Paare von Resten modulo $p$ reduziert, die eine bestimmte Summe bilden, unter Ausschluss der spezifischen Restklassen $a(p)$ und $b(p)$ .

Es werden Indikatoren für "strikte Ordnung" ( $h < k$ ) und "Diagonalfälle" ( $h = k$ ) eingeführt.
Die Gesamtzahl $g(2n, p)$ wird als Skalarprodukt aus Vektoren dargestellt, die die Anzahl der zulässigen Restpaare und die Anzahl der möglichen "Hebungen" (Lifts) in die ganzen Zahlen beschreiben.
Das Ergebnis ist eine stückweise affine Funktion, die von den Restklassen von $n$ modulo 3 und modulo $p$ abhängt.

3. Hauptergebnisse

Theorem 4.13 (Hauptsatz)

Der Autor leitet geschlossene Formeln für $g(2n, p)$ her, die explizit von $n$ und den Parametern $a(p), b(p)$ abhängen.

Struktur: Die Funktion ist entlang arithmetischer Progressionen von $n$ stückweise affin.
Berechnungskomplexität:
- Vorverarbeitung: Die Parameter $a(p)$ und $b(p)$ können in $O(\log p)$ Zeit mittels des Euklidischen Algorithmus berechnet werden.
- Auswertung: Für ein festes $p$ und gegebenes $2n$ erfordert die Berechnung von $g(2n, p)$ nur $O(1)$ arithmetische Operationen (ganzzahlige Divisionen, Restoperationen, Schritt-Funktionen).
- Dies stellt einen massiven Fortschritt gegenüber der direkten Enumeration dar, die $O(n)$ Operationen benötigt.

Validierung

Die Formeln wurden computergestützt für alle geraden Zahlen $2n \le 10^5$ und Primzahlen $p \in \{5, 7, 11, 13, 17, 19, 23\}$ gegen einen "Brute-Force-Oracle" (direkte Zählung) validiert. In allen 350.000 Testfällen wurde eine perfekte Übereinstimmung festgestellt.

4. Signifikanz und Bedeutung

Offenlegung der affinen Struktur: Im Gegensatz zu asymptotischen Abschätzungen oder Inklusion-Exklusions-Formeln, die die lokale Struktur verschleiern, macht dieser Ansatz die stückweise affine Natur der Zählfunktion explizit sichtbar. Die Funktion verhält sich wie eine lineare Funktion innerhalb bestimmter Restklassen.
Algorithmische Effizienz: Die Reduktion von $O(n)$ auf $O(1)$ für die Auswertung bei festem $p$ ist für Anwendungen in der computergestützten Zahlentheorie und Kryptographie (wo solche Zählungen benötigt werden können) von erheblicher praktischer Bedeutung.
Verallgemeinerbarkeit: Der Ansatz ist nicht auf die Menge $\{2, 3, p\}$ beschränkt. Das Paper skizziert, dass sich die Methode auf beliebige endliche Mengen von Primzahlen $\{2, 3, p_1, \dots, p_k\}$ verallgemeinern lässt, wobei die Komplexität in der Anzahl der zu untersuchenden Restklassen modulo $6 p_1 \dots p_k$ liegt.
Neue Perspektive auf Restklassen: Die Arbeit zeigt, wie der Euklidische Algorithmus genutzt werden kann, um explizite Formeln für die minimalen Lösungen von Restgleichungen zu finden, die dann direkt zur Bestimmung von Ausschlusskriterien in kombinatorischen Zählproblemen dienen.

Fazit

Andrés M. Salazar liefert einen bedeutenden Beitrag zur additiven Zahlentheorie, indem er ein klassisches Zählproblem durch die Einführung eines neuen, auf Restoperatoren basierenden Rahmens löst. Die resultierenden Formeln sind nicht nur mathematisch elegant, sondern auch algorithmisch extrem effizient und offenbaren eine tiefe strukturelle Eigenschaft der Verteilung teilerfremder Summanden.