Wichtiger Hinweis zum Inhalt des Online-LexikonsBei den auf dieser Seite aufgeführten Texten/Artikeln/Inhalten handelt es sich ausschließlich um fremde Inhalte, die sich die Aschendorff Verlag GmbH & Co. KG ausdrücklich nicht zu Eigen macht. Diese fremden Inhalte, die keiner regelmäßigen Überprüfung unterliegen, sind ausnahmslos solche der freien Enzyklopädie Wikipedia, für die keinerlei Verantwortung übernommen wird.

---

Lizenzbestimmungen Der Text/Artikel/Inhalt auf dieser Seite innerhalb der Rubrik "Online Lexikon" basiert, soweit nicht anders angegeben, auf dem Artikel Bachet-Gleichung aus der freien Enzyklopädie Wikipedia. Die Inhalte stehen unter der GNU Lizenz für freie Dokumentation. Eine Liste der Autoren ist dort abrufbar.

Bachet-Gleichung

Die Bachet-Gleichung (engl. Bachet's equation, nach Claude_Gaspar_Bachet_de_Meziriac (1581-1638), oder Mordell's equation, nach Louis Mordell) ist eine Gleichung in der Zahlentheorie, welche von 1650 Pierre de Fermat aufgestellt wurde und mit dem letzten_fermatschen_Satz zusammenhängt.

Sie lautet:
$y^2-x^3=c$

Interessant ist, wie viele Lösungen (ganzzahlige oder rationale) für $x$ und $y$ in Abhängigkeit von $c$ möglich sind. Ist beispielsweise $c=-2$, so gibt es nur zwei ganzzahlige Lösungen: $y=5$ und $x=3$, oder $y=-5$ und $x=3$. Dies ist auch der Grund, weshalb 26 die einzige Zahl ist, die sich zwischen einer Quadratzahl und einer Kubikzahl befindet.

Zunächst stellt Fermat 1650 die Aufgabe, zu beweisen, dass $y^2-x^3=-2$ nur diese beiden Lösungen besitzt. Keiner von Femats Zeitgenossen konnte dies jedoch bewältigen. Leonhard Euler versuchte sich 1730 ebenfalls an diesem Problem. Seine Lösung war jedoch fehlerhaft. Erst 1908 konnte Axel Thue nachweisen, dass $y^2-x^3=c$ für jede nicht-negative Ganzzahl $c$
es nur eine endliche Anzahl von Lösungen für $x$ und $y$ geben kann.

Für $c=17$ gibt es genau 8 verschiedene Lösungen mit $y>0$.

Interessiert man sich hingegen für rationale Lösungen, so kann man nachweisen, dass wenn die Gleichung eine einzige mögliche Lösung besitzt, sie automatisch unendlich viele Lösungen besitzt. Dies wurde von Bachet herausgefunden.

Angenommen, $(x,y)$ ist eine Lösung der Gleichung, so ist $(\backslash frac\{x^4-8cx\}\{4y^2\},\backslash frac\{8c^2-20cx^3-x^6\}\{8y^3\})$ ebenfalls eine Lösung der Gleichung. Dies wird auch als Bachet's Duplication Formula bezeichnet, die Bachet 1621 entdeckte.

Literatur

*Einleitungstext von "Rational Points on Elliptic Curves" von Joseph H. Silverman und John Tate (Springer-Verlag 1992)
*U. Felgner: On Bachet's Diophantine equation x3 = y2 + k. Monatsh. Math. 98 (3) (1984), 185-191.

       VIDEO-NEWS UND ANGEBOTE