# Ramanujan-Nagell-Gleichung

In der Zahlentheorie ist die Ramanujan-Nagell-Gleichung eine Gleichung der Form
    $x^{2}+7=2^{n}$ mit positiven ganzzahligen Lösungen $x\in \mathbb {N}$ und $n\in \mathbb {N}$
Mitunter wird diese Gleichung auch in der Form $2^{n}-7=x^{2}$ angegeben.
Diese Gleichung ist ein Beispiel für eine exponentielle diophantische Gleichung. Sie wurde nach dem indischen Mathematiker Srinivasa Ramanujan und dem norwegischen Mathematiker Trygve Nagell benannt.

## Lösungen der Gleichung

Die einzigen fünf ganzzahligen Lösungen der Gleichung $x^{2}+7=2^{n}$ lauten:
    $(x,n)=(1,3)$, also $1^{2}+7=2^{3}$
    $(x,n)=(3,4)$, also $3^{2}+7=2^{4}$
    $(x,n)=(5,5)$, also $5^{2}+7=2^{5}$
    $(x,n)=(11,7)$, also $11^{2}+7=2^{7}$
    $(x,n)=(181,15)$, also $181^{2}+7=2^{15}$
Diese fünf Lösungen wurden erstmals von Ramanujan im Jahr 1913 erwähnt. Er hat außerdem vermutet, dass diese fünf Lösungen die einzigen ganzzahligen Lösungen dieser Gleichung sind. Unabhängig davon kam auch der norwegische Mathematiker Wilhelm Ljunggren im Jahr 1943 auf diese Vermutung. Einen Beweis dieser Vermutung konnte aber erst Nagell im Jahr 1948 liefern.

## Ramanujan-Nagell-Zahlen

Eine Mersenne-Zahl, die gleichzeitig eine Dreieckszahl ist, nennt man Ramanujan-Nagell-Zahl. Eine Mersenne-Zahl ist eine Zahl der Form $2^{b}-1$, eine Dreieckszahl eine Zahl der Form ${\frac {y\cdot (y+1)}{2}}$. Wenn man alle Mersenne-Zahlen berechnen will, die auch gleichzeitig Dreieckszahlen sind (auf Englisch auch triangular Mersenne numbers), muss man folgende Gleichung lösen:
    $2^{b}-1={\frac {y\cdot (y+1)}{2}}$
Formt man diese Gleichung etwas um, so erhält man:
    ${\begin{aligned}2^{b}-1&=&{\frac {y\cdot (y+1)}{2}}\\8\cdot (2^{b}-1)&=&4\cdot y\cdot (y+1)\\2^{b+3}-8&=&4y^{2}+4y\\2^{b+3}-7&=&4y^{2}+4y+1\\2^{b+3}-7&=&(2y+1)^{2}\end{aligned}}$
Setzt man nun $n:=b+3$ und $x:=2y+1$, so erhält man die Ramanujan-Nagell-Gleichung $2^{n}-7=x^{2}$. Da man schon weiß, dass diese Gleichung nur fünf Lösungen $(n,x)\in \{(3,1),(4,3),(5,5),(7,11),(15,181)\}$ hat, kann man die dazugehörigen $b=n-3$ und $y={\frac {x-1}{2}}$ berechnen: $(b,y)\in \{(0,0),(1,1),(2,2),(4,5),(12,90)\}$ Die dazugehörigen Mersenne-Zahlen $2^{b}-1$ lauten also:
    $2^{0}-1=0,\quad$ $2^{1}-1=1,\quad$ $2^{2}-1=3,\quad$ $2^{4}-1=15\quad$ und $2^{12}-1=4095$
Die folgenden fünf Mersenne-Zahlen sind also gleichzeitig Dreieckszahlen und somit die einzigen Ramanujan-Nagell-Zahlen:
    0, 1, 3, 15, 4095 (Folge A076046 in OEIS)
Es gibt keine weiteren Mersenne-Zahlen, die gleichzeitig Dreieckszahlen sind.

## Verallgemeinerungen

Verallgemeinerungen der Ramanujan-Nagell-Gleichung haben die Form
    $x^{2}+D=A\cdot B^{n}\quad$ mit vorgegebenen ganzzahligen $D,A,B\in Z$ und Variablen $x,n$
Man nennt sie auch Gleichungen vom Ramanujan-Nagell-Typ.
Der Mathematiker Carl Ludwig Siegel konnte zeigen, dass die Anzahl der Lösungen $(x,n)$ in allen Fällen endlich ist.
Beispiel 1:
       Sei $A:=1$, $B:=2$ und $D:=7$. Dann lautet die Gleichung:
          $x^{2}+7=2^{n}$
       Diese Gleichung ergibt umgeformt $2^{n}-7=x^{2}$, was wieder die ursprüngliche Ramanujan-Nagell-Gleichung mit den schon erwähnten fünf Lösungen ist.
Beispiel 2:
       Sei $A:=4$, $B:=2$ und $D\not =7$. Dann hat man es mit der Gleichung $x^{2}+D=4\cdot 2^{n}$ zu tun. Mit anderen Worten: Die Gleichung lautet:
          $x^{2}+D=2^{n+2}$ mit $D\not =7$
       Dieser Gleichungstyp hat immer höchstens zwei Lösungen. Es gibt aber unendlich viele $D$, für welche diese Gleichung exakt zwei Lösungen hat. Zum Beispiel seien hier diese zwei Lösungen von bestimmen $D$ angegeben:
          $(x,n)\in \{(3,5),(45,11)\}$ für $D=23$
          $(x,n)\in \{(1,m),(2^{m}-1,2m-1)\}$ für $D=2^{m}-1$, $m\geq 4$
Beispiel 3:
       Sei $D:=119$, $A:=15$ und $B:=2$. Dann lautet die Gleichung:
          $x^{2}+119=15\cdot 2^{n}$
       Diese Gleichung hat die folgenden sechs Lösungen:
          $(x,n)\in \{(1,3),(11,4),(19,5),(29,6),(61,8),(701,15)\}$

## Gleichungen vom Lebesgue-Nagell-Typ

Eine Gleichung der Form
    $x^{2}+D=Ay^{n}\quad$ mit vorgegebenen ganzzahligen $D,A\in Z$ und Variablen $x,y,n$
nennt man Gleichung vom Lebesgue-Nagell-Typ. Sie wurde nach dem französischen Mathematiker Victor-Amédée Lebesgue benannt, der zeigen konnte, dass die Gleichung
    $x^{2}+1=y^{n}$
keine Lösung hat mit Ausnahme der folgenden trivialen Lösungen:
    $0^{2}+1=y^{0}$, $\quad 0^{2}+1=1^{n}$ und $x^{2}+1=(x^{2}+1)^{1}$
Zur letzteren trivialen Lösungsschar gehören zum Beispiel $1^{2}+1=2^{1}$ oder $7^{2}+1=50^{1}$.
Beispiel 1:
    Die beiden Mathematiker Robert Tijdeman und Tarlok Nath Shorey konnten im Jahr 1986 zeigen, dass die Anzahl der Lösungen der Gleichung $x^{2}+D=Ay^{n}$ in jedem Fall endlich ist.
Beispiel 2:
    Die drei Mathematiker Yann Bugeaud, Maurice Mignotte und Samir Siksek lösten im Jahr 2006 Gleichungen dieses Typs für $A=1$ und $1\leq D\leq 100$.
    Sie konnten im Speziellen zeigen, dass die Verallgemeinerung der Ramanujan-Nagell-Gleichung
       $x^{2}+7=y^{n}$ mit $n\geq 3$
    nur die fünf positiven ganzzahligen Lösungen $(x,y,n)\in \{(1,2,3),(3,2,4),(5,2,5),(11,2,7),(181,2,15)\}$ hat.
    Für $0\leq n\leq 2$ hat diese Gleichung noch die triviale Lösung $0^{2}+7=7^{1}$, also $(x,y,n)\in \{(0,7,1)\}$.
    Lösungen dieser Gleichung wie zum Beispiel $1^{2}+7=8^{1}$ oder $3^{2}+7=4^{2}$ kann man umformen auf $1^{2}+7=2^{3}$ bzw. $3^{2}+7=2^{4}$, was wiederum auf die schon bekannten Lösungen $(x,y,n)\in \{(1,2,3),(3,2,4)\}$ führt.