Diophantische Gleichung

In der algebraischen Zahlentheorie ist eine diophantische Gleichung eine Gleichung der Form

$f(x_{1},x_{2},x_{3},\dotsc ,x_{n})=0$,

wobei $f$ eine gegebene Polynomfunktion mit ganzzahligen Koeffizienten ist und nur ganzzahlige Lösungen für $(x_{1},x_{2},x_{3},\dotsc ,x_{n})$ gesucht werden. Diese Gleichungen sind nach dem griechischen Mathematiker Diophantos von Alexandria (um 250) benannt.

Gleichungen dieser Art ergeben sich, wenn Teilbarkeitsfragen beantwortet werden sollen, wenn es sich um Probleme der Kongruenzarithmetik handelt oder wenn bei Problemen in der Praxis nur ganzzahlige Lösungen sinnvoll sind, z. B. für die Stückzahlverteilung bei der Herstellung von mehreren Produkten.

Neben diophantischen Gleichungen gibt es noch diophantische Ungleichungen $f(x_{1},x_{2},x_{3},\dotsc ,x_{n})\leq 0$, die in der ganzzahligen linearen Optimierung Anwendung finden, und diophantische Approximationen Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle f(x_{1},x_{2},x_{3},\dotsc ,x_{n})\approx 0} , die in der Theorie der Kettenbrüche eine Rolle spielen bzw. mit dieser verbunden sind.

Diophantische Gleichungen

Hintergründe

Diophantische Gleichungen sind algebraische Gleichungen, für die nur ganzzahlige Lösungen gesucht werden. Meist (aber nicht immer) impliziert das, dass auch die Koeffizienten der Gleichung ganzzahlig sind. Meistens sind diophantische Gleichungen unterbestimmte Gleichungssysteme mit mehr Variablen als Gleichungen. Üblich ist eine Gleichung und mindestens zwei Variablen. Über den reellen oder komplexen Zahlen beschreiben sie algebraische Kurven (oder andere geometrische Formen), deren Geometrie mit der Frage der Existenz und Konstruktion von ganzzahligen Lösungen eng zusammenhängt. Das wird behandelt in der „arithmetischen Geometrie“, einer Überschneidung von algebraischer Geometrie und Zahlentheorie. Das wichtigste Beispiel sind elliptische Kurven, deren verborgene Gruppenstruktur (Torus-Geometrie der zugehörigen Riemannschen Fläche) sich auch auf die ganzzahligen Punkte überträgt.

Diophantische Gleichungen sind sehr beliebt als Knobelaufgaben oder als Aufgaben für Mathematikolympiaden, da es keinen generischen Lösungsweg gibt und die Lösung oft erhebliche Kreativität erfordert. Gleichzeitig sieht man aber diophantischen Gleichungen im Allgemeinen nicht an, ob sie mit „elementaren“ Methoden lösbar sind oder ob dahinter eine tiefliegende Theorie steckt, die – wie bei der Großen Fermatschen Vermutung – jahrhundertelang eine Lösung unmöglich machten.

Beispiele

• Die lineare Gleichung Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 6a+4b=40\ } mit Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \ a,b\in \mathbb {N} } .

Eine Möglichkeit, die Gleichung zu lösen, ist, mit $a=b=0\$ zu starten, was Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 6a+4b=0\ } ergibt.

Man kann nun $a$ bis auf 6 vergrößern und erhält $6\cdot 6+4\cdot 0=36$, was noch $4$ übrig lässt bis zur $40$.

Das erlaubt noch ein $b$ von 1. Das ergibt durch Pröbeln als eine Lösung $(a,\ b)$ das Paar $(6,\ 1)$.

Weiterhin gilt $\operatorname {kgV} (6,\ 4)=12$, d. h., man kann $a$ um $2$ verringern und kann das durch ein Erhöhen von $b$ um $3$ exakt kompensieren. Dadurch kommt man zu weiteren Lösungen wie $(4,\ 4)$ und $(2,\ 7)$.

• Die lineare Gleichung $25a+19b+12c=140\$ mit $\ a,b,c\in \mathbb {N}$.

Obwohl mit drei Variablen und nur einer Gleichung deutlich unterbestimmt, gibt es als sogar eindeutige Lösung $(a,b,c)$ das Tripel $(1,1,8)$.

Es stellt eine klassische kaufmännische Aufgabe dar:

Ein Grieche hat 140 Drachmen, ein lebendes Schwein kostet 25 Drachmen, ein lebendes Schaf 19 Drachmen und eine lebende Ziege 12 Drachmen. Das Geld muss aufgebraucht werden, was kann man unter dieser Maßgabe überhaupt kaufen?

Darf Geld übrigbleiben, handelt es sich um eine diophantische Ungleichung.

• Die quadratische Gleichung $a^{2}+b^{2}=17$ mit Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \ a,b\in \mathbb {Z} } .

Die 8 Lösungen sind Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (\pm 4,\pm 1)} und Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (\pm 1,\pm 4)} und sind die Punkte eines Kreises mit dem Radius $r={\sqrt {17}}$ und dem Mittelpunkt $(0,0)$, die gerade auf den ganzzahligen Gitterpunkten liegen. Die Lösungsmenge der algebraischen Gleichung ist der gesamte Kreisrand.

• Die quadratische Gleichung $a^{2}-b=0$ hat als Lösungen $(a,b)$ die unendlich vielen Zahlenpaare

$\ldots ,\ (-3,9),\ (-2,4),\ (-1,1),\ (0,0),\ (1,1),\ (2,4),\ (3,9),\ \ldots$;  allgemein: $(a,b)=\left(k,k^{2}\right)$ mit $k\in \mathbb {Z}$.

• Die Gleichung 6. Grades $a^{2}+b^{4}+c^{6}=n\in \mathbb {N} ^{+}$

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle n=149} hat als Lösung $(a,b,c)$ das Tripel $(2,3,2)$,

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle n=148} hat keine Lösung und

$n=146$ hat die vier Lösungen $(1,3,2),\ (8,3,1),\ (9,1,2),\ (12,1,1)$,  für $n=282281$ gibt es sogar 8 Lösungen.

• Die lineare Gleichung $3a-4=0$ besitzt keine Lösung, weil 4 nicht durch 3 teilbar ist und es daher keine ganze Zahl gibt, deren Dreifaches 4 ergibt.
• $2^{a}+2^{b}-n!=0\$ ist keine diophantische Gleichung, da die verwendeten Funktionen $2^{k}$ und Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle k!\ } keine Potenzfunktionen darstellen (sondern Exponential und Fakultät). In der Literatur bezeichnet man allerdings solche Gleichungen auch als diophantische Gleichungen.

Weiteres

• Man kann diophantische Gleichungen für die Gaußschen Zahlen verallgemeinern. Für lineare Gleichungen sind die gleichen Lösungsansätze wie für ganze Zahlen nutzbar, da der euklidische Algorithmus für Gaußsche Zahlen erweiterbar ist. Entsprechend kann man diophantische Gleichungen für andere algebraische Zahlkörper betrachten. Dort wird dann nach einer Lösung im Ring der ganzen Zahlen des Zahlkörpers gesucht.
• Eine diophantische Gleichung ist ein Spezialfall eines diophantischen Gleichungssystems.

Beispiel für ein diophantisches Gleichungssystem:

$a+b=3(c+d)$

$a+c=4(b+d)$

$a+d=5(b+c)$

mit $\ a,b,c,d\in \mathbb {N} ^{+}$. Lösungen $(a,\ b,\ c,\ d)$ haben die Form $(83n,\ 7n,\ 13n,\ 17n)$.

Lineare diophantische Gleichung

→ Hauptartikel: Lineare diophantische Gleichung

Diophantische Gleichungen, in denen keine höheren als erste Potenzen der Unbekannten vorkommen, nennt man linear. Für sie gibt es Algorithmen, mit deren Hilfe man stets nach endlich vielen Schritten alle Lösungen findet.

Berühmte diophantische Gleichungen

Pythagoreische Tripel  a² + b² = c²

→ Hauptartikel: Pythagoreisches Tripel

Die unendlich vielen ganzzahligen Lösungen von $a^{2}+b^{2}=c^{2}$ nennt man pythagoreische Tripel. Man findet sie durch den Ansatz

$a=m^{2}-n^{2}$

$b=2mn$

$c=m^{2}+n^{2}$

mit $m,\ n\neq 0\in \mathbb {Z}$. Neben $a^{2}+b^{2}=c^{2}$ sind auch $(Na)^{2}+(Nb)^{2}=(Nc)^{2}$ mit $N\in \mathbb {N} ^{+}$ immer Lösungen.

Pythagoreische Tripel stellen neben linearen diophantischen Gleichungen eines der ältesten Beispiele dar, zum Beispiel auf babylonischen Keilschrifttafeln aus dem 2. Jahrtausend v. Chr.

Fermats letzter Satz  aⁿ + bⁿ = cⁿ  mit  n > 2

→ Hauptartikel: Großer fermatscher Satz

Wenn man obige Gleichung zu $a^{n}+b^{n}=c^{n}$ verallgemeinert, erhält man eine diophantische Gleichung vom Grad $n$. Als Fermats letzten Satz bezeichnet man die von Pierre de Fermat vor 400 Jahren aufgestellte Behauptung, dass sie für $n>2$ keine ganzzahlige Lösung besitzt (außer den trivialen Lösungen, bei denen eine der Zahlen $0$ ist), was erst 1994 von Andrew Wiles bewiesen wurde. Dahinter steckt die Taniyama-Shimura-Vermutung, die heute vollständig bewiesen ist und nach der alle elliptischen Kurven über den rationalen Zahlen modular sind (eine ganzzahlige Lösung der Fermatgleichungen hätte auf eine Ausnahme geführt).

Den Fall $n=4\,$ löste schon Fermat mit der von ihm eingeführten Methode des unendlichen Abstiegs, die auch bei der Frage der Lösbarkeit anderer diophantischer Gleichungen Anwendung fand, aber, wie sich bald herausstellte, keine universell anwendbare Methode war.

Die unbewiesene abc-Vermutung macht allgemeine Aussagen über Lösungstripel diophantischer Gleichungen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a+b=c\ } (dabei seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a,b,c} positive ganze Zahlen und teilerfremd) und schränkt deren mögliche Lösungen ein, indem sie eine obere Schranke für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} in Abhängigkeit von der gemeinsamen multiplikativen Struktur (Primfaktorzusammensetzung) von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a,b,c} liefert. Die Vermutung nimmt eine zentrale Stellung in der Zahlentheorie und speziell der Theorie diophantischer Gleichungen ein, da viele bekannte Sätze, auch die Lösung der großen Fermatvermutung, daraus folgen.

Eulersche Vermutung für n = 4:  a⁴ + b⁴ + c⁴ = d⁴

→ Hauptartikel: Eulersche Vermutung

Leonhard Euler vermutete (obwohl er Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 158^4 + 59^4 = 133^4 + 134^4} fand), dass es für

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^4 + b^4 + c^4 = d^4}

keine ganzzahligen Lösung gibt. Euler irrte, es fanden sich aber erst 1987, 1988 und 1997 folgende Lösungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (a,b,c,d)} :

$(2682440,\ 15365639,\ 18796760,\ 20615673)$,

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (95800,\ 217519,\ 414560,\ 422481)}  und

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (630662624,\ 275156240,\ 219076465,\ 638523249)} .

Übrigens wurde schon 1966 für $n=5$, d. h. für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \,a^5 + b^5 + c^5 + d^5 = e^5} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (27,\ 84,\ 110,\ 133,\ 144)} eine Lösung gefunden.

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \ge 6} sind keine Lösungen bekannt.

Summe dreier Kubikzahlen  a³ + b³ + c³ = n

→ Hauptartikel: Summe von drei Kubikzahlen

Für ein gegebenes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \mathbb Z} sind gesucht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a, b, c \in \mathbb Z} , sodass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^3 + b^3 + c^3 = n} gilt.

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n = 9k \pm 4} existieren keine Lösungen, für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n = 9k \pm 0\ldots 3} existieren mutmaßlich Lösungen. Dies ist aber nicht sicher bekannt, genauso wie nicht bekannt ist, wie viele Lösungen es für ein gegebenes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} gibt.

Beispiele für jeweils kleinste Lösungen:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 42 = 12602123297335631^3 + 80435758145817515^3 + (-80538738812075974)^3}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 43 = 2^3 + 2^3 + 3^3}

Pellsche Gleichung  a² − n b² = 1

→ Hauptartikel: Pellsche Gleichung

Neben den linearen diophantischen Gleichungen ist die sogenannte Pellsche Gleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^2 - n \cdot b^2 = 1}

besonders wichtig, wobei für ein gegebenes natürliches Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} zunächst das kleinste Wertepaar Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (a,b)} zu suchen ist, aus dem sich dann alle anderen Paare leicht finden lassen. Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} eine Quadratzahl ist, hat diese Gleichung nur die trivialen Lösungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (a,b) = (\pm1,\ 0)} , ansonsten hat sie unendlich viele Lösungen. Die Auflösung der Pellschen Gleichung ist gleichbedeutend mit dem Aufsuchen der Einheiten im Ring der algebraisch ganzen Zahlen des quadratischen Zahlkörpers Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q(\sqrt{n})} , der aus dem rationalen Zahlkörper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q} durch Adjunktion einer Quadratwurzel aus $n$ entsteht.

Summe dreier Quotienten  ^a∕_b˖c + ^b∕_c˖a + ^c∕_a˖b = n

Für ein gegebenes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \mathbb N^+} sind gesucht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a,\ b,\ c \in \mathbb N^+} , sodass

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{a}{b+c} + \frac{b}{a+c} + \frac{c}{a+b} = n}

gilt.

Die Gleichung hat Lösungen für gerade Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n = 2k} , für ungerade Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n = 2k+1} existieren keine Lösungen.

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n = 2} ist die kleinste Lösung mit

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a = 1,\ b = 1,\ c = 3 \quad\longrightarrow\quad \frac{1}{1+3} + \frac{1}{1+3} + \frac{3}{1+1} = \frac{1}{4} + \frac{1}{4} + \frac{3}{2} = 2}

einfach zu finden. Was aber so harmlos daherkommt, entpuppt sich schon für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n = 4} als Zahlenmonster. Dafür lautet die kleinste Lösung:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a = 4373612677928697257861252602371390152816537558161613618621437993378423467772036}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b = 36875131794129999827197811565225474825492979968971970996283137471637224634055579}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c = 154476802108746166441951315019919837485664325669565431700026634898253202035277999}

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n = 178} hat die kleinste Lösung knapp 400 Millionen Dezimalstellen. Interessant ist, dass man im Gegensatz zu den Kubensummen die Werte ausrechnen kann.

Verallgemeinerte Catalansche Vermutung a^p − b^q = n

→ Hauptartikel: Catalansche Vermutung

Gesucht sind zwei beliebige ganzzahlige Potenzen, die sich um n voneinander unterscheiden. Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n=1} existiert genau eine Lösung (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 3^2 - 2^3 = 1} ), was 1844 von Eugène Charles Catalan explizit vermutet wurde und 2002 von Preda Mihăilescu bewiesen wurde.

Weitere

• Ramanujan-Nagell-Gleichung

Einige allgemeine Lösungsmethoden und Endlichkeitssätze für Klassen diophantischer Gleichungen

Axel Thue zeigte 1908, dass die Gleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x,y) = c}

mit einer irreduziblen Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x,y)} vom Grad größer oder gleich 3 in zwei Variablen und einer ganzen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} nur endlich viele Lösungen hat (solche Gleichungen werden Thue-Gleichungen genannt). Das baute auf seinen Abschätzungen algebraischer Zahlen durch rationale auf (solche Untersuchungen werden diophantische Approximationen genannt) und ist nicht effektiv (das heißt, man erhält daraus kein Lösungsverfahren). Für den Grad 2 gilt der Satz nicht, das zeigt schon die Pellsche Gleichung mit unendlich vielen Lösungen.

Alan Baker gab 1968 eine effektive obere Grenze für die Lösungen von Thue-Gleichungen mit seiner Methode der linearen Formen in Logarithmen algebraischer Zahlen, ein effizienter Algorithmus zu ihrer Lösung wurde 1989 durch De Weger und Tzanakis angegeben.

1929 bewies Carl Ludwig Siegel, dass für Gleichungen, die algebraische Kurven vom topologische Geschlecht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g > 0} beschreiben, nur endlich viele ganzzahlige Lösungen existieren. Auch dieser Beweis war nicht-effektiv und benutzte diophantische Approximationen. Betrachtet man statt der ganzen Zahlen den Körper der rationalen Zahlen, entspricht der Satz von Siegel der Vermutung von Mordell.

1938 fand Thoralf Skolem eine ziemlich allgemeine Lösungsmethode für diophantische Gleichungen der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P(x_1, \dotsc, x_n) = 0} mit einem irreduziblen Polynom Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} , das in einer Erweiterung des Körpers der rationalen Zahlen in $m>n$ Faktoren zerfällt und eine weitere Zusatzbedingung erfüllt. Darunter fällt auch Thues Gleichung für den Fall, dass nicht alle Wurzeln von $f(x,1)=0$ reell sind. Skolems Methode beruht auf p-adischer Analysis (lokale Methode) und nicht auf diophantischen Approximationen wie Thues Methode.

Bei manchen Klassen diophantischer Gleichungen kann auf die Lösbarkeit in rationalen Zahlen aus der Lösbarkeit aus deren Vervollständigungen, den reellen und p-adischen Zahlen, geschlossen werden. Allgemein vom lokalen Fall auf den globalen Fall, weshalb dies auch Lokal-Global-Prinzip genannt wird (Helmut Hasse). Das ist aber nicht bei allen diophantischen Gleichungen so.

Hilberts zehntes Problem

Im Jahr 1900 stellte David Hilbert das Problem der Entscheidbarkeit der Lösbarkeit einer diophantischen Gleichung als zehntes Problem seiner berühmten Liste von 23 mathematischen Problemen vor. 1970 bewies Juri Wladimirowitsch Matijassewitsch, dass die Lösbarkeit diophantischer Gleichungen unentscheidbar ist, es also keinen allgemeinen Algorithmus geben kann, der zu einer beliebigen diophantischen Gleichung feststellt, ob sie lösbar oder unlösbar ist. Wichtige Vorarbeiten dazu leisteten Martin Davis, Hilary Putnam und Julia Robinson. Von Davis (1953) stammt die Formulierung als Problem über diophantische Mengen und die Vermutung, dass diese identisch mit den rekursiv aufzählbaren Mengen sind, deren Beweis das 10. Hilbertproblem löste.

Eine diophantische Menge $M$ ist eine Menge von $n$-Tupeln positiver ganzer Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x = (x_1, \dotsc , x_n)} , die eine Polynomgleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P(x_1, \dotsc, x_n, a_1, \dotsc, a_m) = 0}

erfüllen mit den ebenfalls positiven ganzzahligen Parametern Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_1, \dotsc, a_m} :

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M = \{x \mid \exists a_1, \dotsc, a_m \colon P(x, a_1, \dotsc, a_m) = 0\}}

Zum Beispiel bilden die zusammengesetzten Zahlen eine diophantische Menge (das Polynom ist dann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x - (a+1) \, (b+1)} mit den Parametern Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a, b} ), ebenfalls die positiven geraden Zahlen (Polynom Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x - 2 \cdot a} ). Man kann zur Definition auch Systeme von Polynomgleichungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P_i = 0} verwenden, denn diese lassen sich über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_i P_i^2 = 0} auf den Fall einer einzigen Gleichung zurückführen. Entsprechend sind diophantische Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y = f(x_1, \dotsc, x_n)} durch die diophantischen Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M = \{y, x_1, \dotsc, x_n\} } gegeben. Putnam zeigte 1960, dass jede diophantische Menge natürlicher Zahlen sich als Wertemenge in den natürlichen Zahlen eines ganzzahligen Polynoms darstellen lässt.

Es ist manchmal schwierig zu zeigen, dass eine Menge diophantisch ist. Zum Beispiel bei der Menge der Primzahlen, im Gegensatz zu den zusammengesetzten Zahlen (denn das Komplement einer diophantischen Menge muss nach Martin Davis nicht diophantisch sein), bei den Potenzen von 2 und den Werten der Faktoriellen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n!} . Julia Robinson scheiterte zunächst daran zu zeigen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{(a, b, c) \mid a = b^c\}} diophantisch ist. Sie zeigte aber, dass dies folgen würde, wenn man eine diophantische Menge mit exponentiellem Wachstum finden könnte, das heißt solche Mengen, in deren definierender Gleichung eine der Variablen als Exponent auftaucht. Genauer bedeutet dies, dass gilt (Hypothese von Julia Robinson):

Es gibt eine diophantische Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} , sodass gilt:

• Aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u, v \in D} folgt Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle v\leq u^{u}} .
• Für beliebiges positives Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k} gibt es Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u, v \in D} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v > u^k} .

Diophantische Mengen sind per definitionem rekursiv aufzählbar (es gibt einen Algorithmus, der bei Input aus dieser Menge stoppt).

Zusammen mit Davis und Putnam zeigte Robinson, dass die rekursiv aufzählbaren Mengen genau die exponentiellen diophantischen Mengen sind und der Satz

„Jede rekursiv aufzählbare Menge ist diophantisch“

folgen würde, wenn man die Existenz einer exponentiell wachsenden diophantischen Menge beweisen könnte (für die die Hypothese von Julia Robinson zutrifft). Das gelang 1970 Matijassewitsch mit Hilfe von Fibonacci-Zahlen, einer exponentiell wachsenden Folge natürlicher Zahlen. Sein Beispiel bestand aus zehn polynomialen Gleichungen mit 15 Unbekannten.

Da es nach der Berechenbarkeitstheorie rekursiv aufzählbare Mengen gibt, die nicht entscheidbar sind (nach einem Argument basierend auf Cantor-Diagonalisierung wie beim Halteproblem), folgt, dass Hilberts zehntes Problem nicht lösbar ist.

Da die Primzahlen rekursiv aufzählbar sind, folgt außerdem, dass es eine diophantische Gleichung gibt, deren Lösung aus allen Primzahlen und nur aus diesen besteht.

Seit Thoralf Skolem war bekannt, dass sich alle diophantischen Gleichungen auf solche vierten oder kleineren Grades zurückführen lassen. Matyasevich gelang es außerdem zu zeigen, dass für die Darstellung diophantischer Mengen Polynome in neun und weniger Unbekannten ausreichen.

In Verbindung mit Gödels Unvollständigkeitsresultaten folgt auch, dass es in jedem Axiomensystem der Arithmetik diophantische Gleichungen gibt, die keine Lösung haben, was sich aber nicht innerhalb des Axiomensystems beweisen lässt.

Literatur

• Louis Mordell: Diophantine Equations. Academic Press, 1969.
• G. H. Hardy, E. M. Wright: An Introduction to the Theory of Numbers. 5th ed., Clarendon Press, Oxford, England 1979.
• André Weil: Zahlentheorie – ein Gang durch die Geschichte von Hammurabi zu Legendre, Birkhäuser 1992

Zu Hilberts zehntem Problem („Gibt es ein Verfahren festzustellen, ob eine diophantische Gleichung überhaupt Lösungen besitzt“):

• Yuri W. Matijassewitsch: Hilbert’s Tenth Problem. Foundations of Computing Series. MIT Press, Cambridge MA u. a. 1993, ISBN 0-262-13295-8.
• Martin Davis, Reuben Hersh: Hilbert’s tenth problem. Scientific American, Band 229, November 1973.
• Martin Davis: Hilbert’s tenth problem is unsolvable. American Mathematical Monthly, Band 80, 1973, S. 233–269.
• Martin Davis, Yuri Matiyasevich, Julia Robinson: Hilbert’s tenth problem, Diophantine equations, positive aspects of a negative solution. In: F. Browder: Mathematical developments arising from Hilbert’s problems. AMS, Teil 2, 1976, S. 323–378.
• Alexandra Shlapentokh: Hilbert’s tenth problem: Diophantine classes and extensions to global fields. Cambridge UP, 2006.

Weblinks

• Eric W. Weisstein: Diophantine Equation. In: MathWorld (englisch).
• Christian Spannagel: Diophantische Gleichung. Vorlesungsreihe, 2012.
• Jordan Ellenberg: Arithmetic Geometry.