# Erdős-Moser-Gleichung

Die Erdős-Moser-Gleichung aus der Zahlentheorie ähnelt der Fermat-Gleichung und lautet
    $1^{n}+2^{n}+\cdots +(m-1)^{n}=m^{n}$
mit $m\in \mathbb {N}$, $m\geq 2$ und $n\in \mathbb {N} _{0}$.
Für $n=0$ ist die einzige Lösung $m=2$ und für $n=1$ ist die einzige Lösung $m=3$. 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.

## Der Fall n = 0

Für $n=0$ sieht die Gleichung folgendermaßen aus:
    $1^{0}+2^{0}+\cdots +(m-1)^{0}=m^{0}$
Wegen $a^{0}=1$ für alle reellen $a\in \mathbb {R}$ kann man die linke Seite dieser Gleichung wie folgt umformen:
    $1^{0}+2^{0}+\cdots +(m-1)^{0}=1+1+\cdots +1=m-1$
Die rechte Seite der Gleichung ergibt
    $m^{0}=1$ für alle reellen $m\in \mathbb {R}$
Setzt man nun die linke und die rechte Seite zusammen, erhält man die Gleichung $m-1=1$. Somit ist die einzige Lösung für diesen Fall $m=2$ und man erhält die folgende triviale Lösung der Erdős-Moser-Gleichung für $n=0$:
    $1^{0}=2^{0}$

## Der Fall n = 1

Für $n=1$ sieht die Gleichung folgendermaßen aus:
    $1^{1}+2^{1}+\cdots +(m-1)^{1}=m^{1}$
Die Gaußsche Summenformel besagt
    $1+2+\cdots +(m-1)={\frac {(m-1)\cdot m}{2}}={\frac {m^{2}-m}{2}}$.
Damit ergibt sich:
    ${\frac {m^{2}-m}{2}}=m$
Diese Gleichung führt auf die quadratische Gleichung $m^{2}-m=2m$ oder umgeformt:
    $m^{2}-3m=0$
Die einzigen Lösungen dieser Gleichung sind $m=0$ und $m=3$. Wegen $m\geq 2$ bleibt nur die zweite Lösung $m=3$ übrig und man erhält die folgende triviale Lösung der Erdős-Moser-Gleichung für $n=1$:
    $1^{1}+2^{1}=3^{1}$

## Lösungsbedingungen für n ≥ 2

Im Jahr 1953 zeigte der Mathematiker 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}$, dann im Jahr 2011 auf $m>10^{10^{9}}$. Ein paar Ergebnisse seien hier in mathematischer Form erwähnt:
    Sei $1^{n}+2^{n}+\cdots +(m-1)^{n}=m^{n}\quad$ mit $\quad m,n\in \mathbb {N} ,\ m\geq 2,\ n\geq 2$.
    Dann gilt:
   * $m>10^{1.000.000}$
             Diese Aussage konnte Leo Moser im Jahr 1953 beweisen.
   * $m>1{,}485\cdot 10^{9.321.155}$ (eine Verbesserung der vorherigen Aussage)
             Diese Aussage wurde im Jahr 1999 bewiesen.
   * $m>2{,}7139\cdot 10^{1.667.658.416}$ (eine weitere Verbesserung der vorherigen Aussage)
             Diese Aussage wurde im Jahr 2010 bewiesen.
   * 2 ist ein Teiler von $n$ (das heißt, $n$ ist eine gerade Zahl)
             Diese Aussage konnte Leo Moser im Jahr 1953 beweisen.
   * $m\equiv 0{\pmod {4}}\quad$ oder $\quad m\equiv 3{\pmod {4}}$
       Beweis: (nach)
          Die Potenz einer geraden Zahl ist immer eine gerade Zahl (es ist also immer $m^{n}\equiv 0{\pmod {2}}$ für gerade $m$ und $n\in \mathbb {N}$).
          Die Potenz einer ungeraden Zahl ist immer eine ungerade Zahl (es ist also immer $m^{n}\equiv 1{\pmod {2}}$ für ungerade $m$ und $n\in \mathbb {N}$).
          Man betrachte die linke bzw. die rechte Seite der Erdős-Moser-Gleichung modulo 2:
             $m$ 2 3 4 5 6 7 8 9 10 11 12 13 … $1^{n}+2^{n}+\cdots +(m-1)^{n}{\pmod {2}}$$1^{n}\equiv 1$$1^{n}+2^{n}\equiv 1+0\equiv 1$$1^{n}+2^{n}+3^{n}\equiv 1+0+1\equiv 0$$1^{n}+2^{n}+3^{n}+4^{n}\equiv 1+0+1+0\equiv 0$11001100… $m^{n}{\pmod {2}}$$2^{n}\equiv 0$$3^{n}\equiv 1$$4^{n}\equiv 0$$5^{n}\equiv 1$01010101…
          Man kann erkennen, dass die linke Seite und die rechte Seite modulo 2 immer gleich ist, wenn $m=4,8,12,16,\ldots$ oder $m=3,7,11,15,\ldots$ ist, wenn also $m$ bei Division durch $4$ immer den Rest $0$ oder $3$ ergibt.
          In Modulo-Schreibweise bedeutet das, dass $m\equiv 0{\pmod {4}}$ oder $m\equiv 3{\pmod {4}}$ sein muss, was zu beweisen war. $\Box$
   * Für jedes $n$ gibt es höchstens eine Lösung $m$. Diese Lösung liegt in einem von $n$ abhängigen Intervall, nämlich zwischen $C_{n}$ und $C_{n}+1$ mit $C_{n}={\frac {2^{\frac {1}{n}}}{2^{\frac {1}{n}}-1}}$. Mathematisch geschrieben bedeutet das:
          Für jedes $n$ gibt es höchstens ein $m\in \left[{\frac {2^{\frac {1}{n}}}{2^{\frac {1}{n}}-1}},\ {\frac {2^{\frac {1}{n}}}{2^{\frac {1}{n}}-1}}+1\right]$
       Diese Aussage konnte von J. van de Lune, M. R. Best und H. J. J. te Riele in den Jahren 1975 und 1976 nachgewiesen werden.
       Beispiel 1:
          Für $n=2$ muss somit $m\in [3,41;4,41]$ sein, es ist also $m=4$. Leider ist aber
             $1^{2}+2^{2}+3^{2}=14\not =16=4^{2}$
       Beispiel 2:
          Für $n=5$ muss somit $m\in [7,72;8,72]$ sein, es ist also $m=8$. Leider ist aber
             $1^{5}+2^{5}+3^{5}+4^{5}+5^{5}+6^{5}+7^{5}=29008\not =32768=8^{5}$
   * Alle Primzahlen, welche kleiner als 1000 sind, müssen Teiler von $n$ sein. Genauer: $M$ ist ein Teiler von $n$ mit
          $M=2^{3}\cdot \prod _{p=3}^{997}p\ \approx \ 7{,}8361\cdot 10^{415}$
       Diese Aussage konnte Bernd Christian Kellner in seiner Diplomarbeit im Jahr 2002 beweisen.
Es gibt noch viele weitere Eigenschaften, die für $m$ und $n$ gelten müssen. Laut Kellner erscheint es aufgrund der zahlreichen und verschiedenen Bedingungen an $m$ und $n$ sehr unwahrscheinlich, dass es eine nicht triviale Lösung der Erdős-Moser-Gleichung gibt. Gäbe es eine Lösung, so wäre es eine "Monsterlösung mit vielen merkwürdigen Eigenschaften".

## Verallgemeinerung

* Die verallgemeinerte Erdős-Moser-Gleichung, aufgestellt im Jahr 1966, lautet
       $1^{n}+2^{n}+\cdots +(m-1)^{n}=a\cdot m^{n}\qquad$ mit $a,n,m\in \mathbb {N}$, $a\geq 1$, $n\geq 2$ und $m\geq 2$
    Es wird vermutet, dass sie keine ganzzahligen Lösungen hat. Mit $a=1$ erhalten wir die Erdős-Moser-Gleichung.
    Diese Gleichung hat keine Lösungen für $n\geq 2$, wenn $m<max(10^{9\cdot 10^{6}},a\cdot 10^{28})$ ist. Es wird daran gearbeitet, die Grenze auf $10^{10^{7}}$ anzuheben.
* Die Kellner-Erdős-Moser-Gleichung, aufgestellt im Jahr 2011, lautet
       $a\cdot \left(1^{n}+2^{n}+\cdots +(m-1)^{n}\right)=m^{n}\qquad$ mit $a,n,m\in \mathbb {N}$, $a\geq 1$ und $m\geq 4$
    Es wird ebenfalls vermutet, dass sie keine ganzzahligen Lösungen hat. Mit $a=1$ erhalten wir die Erdős-Moser-Gleichung.
    Ist $m=2$ erlaubt, so gibt es genau eine triviale Lösung, nämlich für $a=2$, $n=1$, $m=2$:
       $2\cdot (1^{1})=2^{1}$
    Ist $m=3$ erlaubt, so gibt es genau zwei triviale Lösungen, nämlich für $a=1$, $n=1$, $m=3$:
       $1\cdot (1^{1}+2^{1})=3^{1}$
    und für $a=3$, $n=3$, $m=3$:
       $3\cdot (1^{3}+2^{3})=3^{3}$
    Um diese drei Triviallösungen auszuschließen, wird $m\geq 4$ verlangt.