Erdös-Moser Vermutung

Die Erdős-Moser-Gleichung aus der Zahlentheorie ähnelt dem großen fermatschen Satz und lautet

$1^n + 2^n + \cdots + m^n = (m+1)^n$

mit $m\in\mathbb{N}_{>0}$ und $n\in\mathbb{N}_0$.

Für n = 0 ist die einzige Lösung m = 1 und für n = 1 ist die einzige Lösung m = 2. Weitere Lösungen sind nicht bekannt.

Die Vermutung

Der Mathematiker Paul Erdős vermutete, dass für die Gleichung keine weiteren Lösungen als die beiden oben angegebenen existieren.

Im Jahr 1932 zeigte Leo Moser, dass im Fall $n\geq 2$ für eine Lösung der Gleichung $m>10^{10^6}$ gelten muss. Er benutzte dazu Methoden der analytischen Zahlentheorie und kam ohne größere arithmetische Rechnungen aus. Durch massiven Rechnereinsatz konnten im Jahr 1999 bestimmte Zahlen genau berechnet werden, die Moser in seinem Beweis nur grob abgeschätzt hatte. Damit verbesserte sich die Schranke auf $m>1.485\cdot 10^{9321155}$.

Der Fall n = 1

Für n = 1 sieht die Gleichung folgendermaßen aus:

$1 + 2 + \cdots + m = m+1$

Die gaußsche Summenformel besagt $1 + 2 + \cdots + m = \frac{m(m+1)}{2}$. Damit ergibt sich:

$\frac{m(m+1)}{2} = m+1$

Die einzigen Lösungen dieser Gleichung sind m = − 1 und m = 2. Wegen $m\in\mathbb{N}_{>0}$ bleibt nur die zweite Lösung übrig.