# Erdős-Straus-Vermutung

Die zahlentheoretische Erdős-Straus-Vermutung (nach den Mathematikern Paul Erdős und Ernst Gabor Straus) besagt, dass ${\tfrac {4}{n}}$ stets einer Summe von drei positiven Stammbrüchen entspricht. Sie wurde im Jahr 1948 aufgestellt und ist eine von vielen Vermutungen von Paul Erdős.

## Die Vermutung

Die Gleichung ${\tfrac {4}{n}}={\tfrac {1}{a}}+{\tfrac {1}{b}}+{\tfrac {1}{c}}$ besitzt für jedes natürliche $n\geq 2$ eine Lösung, wobei $a$, $b$ und $c$ ebenfalls natürliche Zahlen sind. Es ist unmittelbar klar, dass vier Stammbrüche immer reichen (man wähle für die Summanden viermal ${\tfrac {1}{n}}$). Die Vermutung entspricht der nächstkleineren Anzahl von Stammbruch-Summanden.
Es gibt zwei Auffassungen, wie man eine solche Darstellung als Summe von drei Stammbrüchen verstehen kann. Man kann der Meinung sein, dass es egal ist, ob gewisse Nenner der einzelnen Stammbrüche gleich sind, man kann aber auch der Meinung sein, dass es nicht egal ist, ob gewisse Nenner der Stammbrüche gleich sind. Es macht aber für die Erdős-Straus-Vermutung für $n\geq 3$ keinen Unterschied, ob gleiche Nenner erlaubt sind oder nicht:
    Wenn es irgendeine Darstellung von ${\tfrac {4}{n}}$ mit drei Stammbrüchen gibt, egal, ob gewisse Nenner gleich sind oder nicht, dann gibt es auf jeden Fall auch eine Darstellung mit verschiedenen Nennern. Man kann zwei Stammbrüche mit gleichen Nennern immer in zwei Stammbrüche mit unterschiedlichen Nennern umformen:
       ${\frac {1}{2r}}+{\frac {1}{2r}}\qquad \quad \ \ ={\frac {1}{r+1}}+{\frac {1}{r(r+1)}}\qquad \qquad \quad$ wenn der Nenner eine gerade Zahl ist
       ${\frac {1}{2r+1}}+{\frac {1}{2r+1}}={\frac {1}{r+1}}+{\frac {1}{(r+1)(2r+1)}}\qquad$ wenn der Nenner eine ungerade Zahl ist
    Man kann also zwei Stammbrüche mit gleichem Nenner in zwei Stammbrüche mit zwei verschiedenen Nennern umformen. Sollte man dadurch abermals zwei gleiche Nenner (gemeinsam mit dem Nenner des dritten Stammbruchs) erhalten, wiederholt man diese Umformung so lange, bis man drei Stammbrüche mit drei verschiedenen Nennern hat.

## Geometrische Interpretation

Die geometrische Interpretation der Erdős-Straus-Vermutung liefert für jedes natürliche $n>1$ einen Quader mit den Kantenlängen $a$, $b$ und $c$ ($a$, $b$ und $c$ natürliche Zahlen), so dass dessen 8-faches Volumen geteilt durch dessen Oberfläche den Wert von $n$ Längeneinheiten ergibt.

## Beispiele

* Falls eine Darstellung von ${\frac {4}{n}}$ mit $n\geq 3$ durch drei Stammbrüche existiert, gibt es auf jeden Fall mindestens eine Darstellung von ${\frac {4}{n}}$ als Summe von 3 Stammbrüchen mit verschiedenen Nennern. Für den Fall $n=2$ gibt es allerdings nur eine einzige Lösung, nämlich
       ${\frac {4}{2}}={\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{2}}$
    In diesem Fall gibt es keine Möglichkeit, verschiedene Nenner zu erhalten. In allen anderen Fällen ordnet man üblicherweise die Stammbrüche nach der Größe ihres Nenners, sodass $0<a<b<c$ gilt.
* Für die beiden Fälle $n=3$ bzw. $n=4$ gibt es jeweils nur eine einzige Lösung, nämlich
       ${\frac {4}{3}}={\frac {1}{1}}+{\frac {1}{4}}+{\frac {1}{12}}\qquad$ und $\qquad {\frac {4}{4}}={\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{6}}$
* Es gibt mitunter auch mehrere Lösungen dieses Problems, wie zum Beispiel für $n=5$, für welches es zwei Lösungen gibt:
       ${\frac {4}{5}}={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{20}}={\frac {1}{2}}+{\frac {1}{5}}+{\frac {1}{10}}$
* Die nächste Zahlenfolge gibt an, wie viele Darstellungsmöglichkeiten es für ${\frac {4}{n}}$ in der Form ${\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}$ mit $0<a<b<c$ gibt (mit aufsteigendem $n=1,2,3,\ldots$)
       0, 0, 1, 1, 2, 5, 5, 6, 4, 9, 7, 15, 4, 14, 33, 22, 4, 21, 9, 30, 25, 22, 19, 45, 10, 17, 25, 36, 7, 72, 17, 62, 27, 22, 59, 69, 9, 29, 67, 84, 7, … (Folge A073101 in OEIS)
    Beispiel 1:
       An der n = 8. Stelle dieser Liste steht 6. Das bedeutet, dass es 6 Möglichkeiten gibt, den Bruch ${\frac {4}{8}}$ mit drei Stammbrüchen darzustellen. Im Speziellen sind es die folgenden:
          ${\frac {4}{8}}\quad ={\frac {1}{3}}+{\frac {1}{7}}+{\frac {1}{42}}\quad ={\frac {1}{3}}+{\frac {1}{8}}+{\frac {1}{24}}\quad ={\frac {1}{3}}+{\frac {1}{9}}+{\frac {1}{18}}\quad ={\frac {1}{3}}+{\frac {1}{10}}+{\frac {1}{15}}\quad ={\frac {1}{4}}+{\frac {1}{5}}+{\frac {1}{20}}\quad ={\frac {1}{4}}+{\frac {1}{6}}+{\frac {1}{12}}$
       (Anmerkung: ein guter Online-Stammbruch-Rechner für kleine $n$ ist auf zu finden)
    Beispiel 2:
       Die Anzahl der verschiedenen Möglichkeiten, einen Bruch ${\frac {4}{n}}$ als Summe dreier Stammbrüche darzustellen, kann (im Verhältnis zu $n$) sehr hoch, aber auch recht niedrig werden. Zum Beispiel kann der Bruch ${\frac {4}{960}}$ (also für $n=960$) auf genau 4914 verschiedene Arten als Summe dreier Stammbrüche dargestellt werden. Hingegen kann der Bruch ${\frac {4}{937}}$ (also für $n=937$) auf nur 27 verschiedene Arten als Summe dreier Stammbrüche dargestellt werden.

## Bemerkungen

* Multipliziert man die Gleichung ${\frac {4}{n}}={\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}$ mit $nabc$ (bringt man also die Nenner weg), so erhält man die folgende diophantische Gleichung:
       $4abc=n\cdot (bc+ac+ab)$
    Aufgrund der Tatsache, dass man es somit mit einer diophantischen Gleichung zu tun hat, kann man das in der Zahlentheorie beliebte Lokal-Global-Prinzip anwenden: es kann aus der Lösbarkeit dieser diophantischen Gleichung modulo aller Primzahlen auf die Lösbarkeit der ursprünglichen Gleichung geschlossen werden.
* Für alle $n=4k$ mit natürlichem $k\in \mathbb {N}$ ist die Behauptung leicht mit $a=b=c=3k$ nachzuweisen:
       ${\frac {4}{n}}={\frac {4}{4k}}={\frac {1}{k}}={\frac {3}{3k}}={\frac {1}{3k}}+{\frac {1}{3k}}+{\frac {1}{3k}}$
* Auch der etwas allgemeinere Fall $n=2k$ mit natürlichem $k\in \mathbb {N}$ ist sehr einfach mit $a=k$ und $b=c=2k$ zu lösen:
       ${\frac {4}{n}}={\frac {4}{2k}}={\frac {2}{2k}}+{\frac {1}{2k}}+{\frac {1}{2k}}={\frac {1}{k}}+{\frac {1}{2k}}+{\frac {1}{2k}}$.
* Um die Erdős-Straus-Vermutung zu lösen, reicht es aus, wenn man statt ${\frac {4}{n}}$ nur Brüche der Form ${\frac {4}{p}}$ mit primen $p\in \mathbb {P}$ untersucht. Man kann die Erdős-Straus-Vermutung somit auf folgende Vermutung herunterbrechen:
       Die Gleichung ${\frac {4}{p}}={\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}$ besitzt für jede Primzahl $p\in \mathbb {P}$, $p>2$, eine Lösung, wobei $a$, $b$ und $c$ natürliche Zahlen sind.
* Wenn die Gleichung ${\frac {4}{n}}={\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}$ mit paarweise verschiedenen $a,b,c$ keine ganzzahlige Lösung besitzt, dann gilt für jeden Primteiler $p$ von $n$:
       $p\equiv 1{\pmod {24}}$
    und daher gilt weiters:
       $n\equiv 1{\pmod {24}}$
    Daraus folgt außerdem, dass es für alle $n\not \equiv 1{\pmod {24}}$ immer eine Lösung der Gleichung gibt. Für diesen Fall ist die Erdős-Straus-Vermutung somit gelöst.
* Sollte es tatsächlich ein Gegenbeispiel zur Erdős-Straus-Vermutung geben (wenn es also eine Bruchzahl ${\frac {4}{n}}$ gibt, die nicht durch drei verschiedene Stammbrüche darstellbar ist), so muss dieses $n$ eine der folgenden sechs Kongruenzen erfüllen:
       $n\equiv 1{\pmod {840}}$
       $n\equiv 11^{2}=121{\pmod {840}}$
       $n\equiv 13^{2}=169{\pmod {840}}$
       $n\equiv 17^{2}=289{\pmod {840}}$
       $n\equiv 19^{2}=361{\pmod {840}}$
       $n\equiv 23^{2}=529{\pmod {840}}$
    Die ersten beiden Primzahlen (und nur diese muss man abtesten, wie weiter oben schon erwähnt wurde), die eine der obigen sechs Kongruenzen erfüllen, sind $n=p_{1}=1009\equiv 169{\pmod {840}}$ und $n=p_{2}=1201\equiv 361{\pmod {840}}$. Man kann erkennen, dass man relativ schnell recht hohe Werte für $n$ erhält und man bei weitem nicht alle $n$ durchtesten muss.
    In sind noch weitere, genauere Kongruenzbedingungen für $n$ angegeben.
* Allan Swett zeigte im Jahr 1999, dass die Erdős-Straus-Vermutung bis $n=10^{14}$ gilt. Serge E. Salez erweiterte diese Obergrenze im Jahr 2014 auf $n=10^{17}$.

## Zerlegung in drei nicht notwendigerweise positive Stammbrüche

In der Einleitung wird erwähnt, dass es notwendig ist, dass die drei Stammbrüche, in die ${\frac {4}{n}}$ zerlegt werden soll, positiv sein müssen. Wenn auch negative Stammbrüche erlaubt sind, kann man jede Bruchzahl der Form ${\frac {4}{n}}$ in drei Stammbrüche zerlegen und die Vermutung wäre keine Vermutung mehr, sondern ein bewiesener mathematischer Satz. Sind negative Stammbrüche erlaubt, so gibt es zumindest zwei triviale Darstellungsmöglichkeiten für ungerade $n$ (für gerade $n$ wurde diese Vermutung schon im vorigen Abschnitt bewiesen):
    Fall 1: $n=4k+1$
       ${\frac {4}{4k+1}}={\frac {1}{k}}-{\frac {1}{k(4k+1)}}={\frac {1}{2k}}+{\frac {1}{2k}}-{\frac {1}{k(4k+1)}}$
    Fall 2: $n=4k-1$
       ${\frac {4}{4k-1}}={\frac {1}{k}}+{\frac {1}{k(4k-1)}}={\frac {1}{2k}}+{\frac {1}{2k}}+{\frac {1}{k(4k-1)}}.$
Als Variante für ungerade $n$ gibt es auch die folgende Darstellung in drei Stammbrüche, bei der allerdings immer eine negativ ist:
       ${\frac {4}{n}}={\frac {1}{(n-1)/2}}+{\frac {1}{(n+1)/2}}-{\frac {1}{n(n-1)(n+1)/4}}.$

## Mini-Erdős-Straus-Vermutung

* Eine Variante der Erdős-Straus-Vermutung ist die Mini-Erdős-Straus-Vermutung:
       Die Gleichung ${\frac {3}{n}}={\frac {1}{a}}+{\frac {1}{b}}$ besitzt für jedes natürliche $n\geq 2$ eine Lösung, wobei $a$ und $b$ natürliche Zahlen sind.
Diese Vermutung ist falsch, da für die Gleichung ${\frac {3}{n}}={\frac {1}{a}}+{\frac {1}{b}}$ genau dann keine Lösung für natürliche $a$ und $b$ existiert, wenn alle Primfaktoren von $n$ die Form $6k+1$ haben.

## Verallgemeinerungen

Es folgen zwei Vermutungen, welche die Erdős-Straus-Vermutung ergänzen bzw. verallgemeinern:
* Der polnische Mathematiker Wacław Sierpiński stellte im Jahr 1956 die folgende Ergänzung der Erdős-Straus-Vermutung auf:
       Es existiert eine Zahl $N$, sodass die Gleichung ${\frac {5}{n}}={\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}$ für alle natürlichen $n\geq N$ gelöst werden kann.
    Mit anderen Worten: Ab einem gewissen $n$ können alle Brüche der Form ${\frac {5}{n}}$ durch drei Stammbrüche dargestellt werden.
* Der polnische Mathematiker Andrzej Schinzel verallgemeinerte die Erdős-Straus-Vermutung wie folgt:
       Für jede gegebene natürliche Zahl $m\in \mathbb {N}$ gibt es ein $N$, sodass die Gleichung ${\frac {m}{n}}={\frac {1}{a}}+{\frac {1}{b}}+{\frac {1}{c}}$ für alle natürlichen $n\geq N$ gelöst werden kann.
    Mit anderen Worten: Ab einem gewissen $n$ können zu jedem $m$ alle Brüche der Form ${\frac {m}{n}}$ durch drei Stammbrüche dargestellt werden.