Diophantische Gleichung

Diophantische Gleichung

In der algebraischen Zahlentheorie ist eine diophantische Gleichung (benannt nach dem griechischen Mathematiker Diophant von Alexandrien / Diophantos, um 250) eine Gleichung der Form f(x1,x2,x3,...,xn) = 0 (f Polynomfunktion) mit ganzzahligen Koeffizienten, bei der man sich nur für ganzzahlige Lösungen interessiert. Diese Einschränkung der Lösungsmenge ergibt einen Sinn, 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. die Stückzahlverteilung bei der Herstellung von mehreren Produkten.

Inhaltsverzeichnis

Beispiele

  • X2 − Y = 0 besitzt als Lösung die Zahlenpaare (1,1), (2,4), (-2,4), (3,9), (-3,9), ... allgemein: (±n,n2).
  • X4 + Y2 + Z20 = − 7 besitzt keine Lösung, da die linke Seite der Gleichung immer größergleich Null ist.
  • 3X = 4 besitzt keine Lösung, da bei diophantischen Gleichungen nur ganzzahlige Lösungen gesucht sind.

Lineare Diophantische Gleichung

Diophantische Gleichungen, in denen keine Potenzen auftauchen, nennt man linear. Für sie gibt es Algorithmen, die immer (nach endlich vielen Schritten) alle Lösungen finden. Siehe Lineare Diophantische Gleichung.

Berühmte Diophantische Gleichungen

Pythagoreische Tripel

Die ganzzahligen Lösungen von X2 + Y2 = Z2 bilden die sogenannten Pythagoreischen Tripel. Man findet sie im Wesentlichen durch den Ansatz X = u2 − v2, Y = 2uv, Z = u2 + v2.

Fermats letzter Satz

Wenn man obige Gleichung zu Xn + Yn = Zn erweitert, erhält man eine diophantische Gleichung. 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 null ist), was erst 1994 von Andrew Wiles bewiesen wurde.

Pellsche Gleichung

Neben den linearen diophantischen Gleichungen ist die so genannte Pellsche Gleichung

x2 − Dy2 = 1

besonders wichtig, wobei für ein gegebenes D das kleinste Wertepaar x, y zu suchen ist, aus dem sich alle anderen Paare leicht finden lassen. Wenn D eine Quadratzahl ist, ist diese Gleichung mit Ausnahme der trivialen Lösung y = 0 und x = 1 niemals ganzzahlig lösbar. Die Auflösung der Pellschen Gleichung ist gleichbedeutend mit dem Aufsuchen der Einheiten in dem Ring der ganzen algebraischen Zahlen des Körpers, der aus dem rationalen Zahlenkörper durch Adjunktion der Quadratwurzel aus D entsteht.

Hilberts Zehntes Problem

Im Jahr 1900 stellte David Hilbert das Problem 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 einer Diophantischen Gleichung unentscheidbar ist.

Literatur

  • Yuri V. Matiyasevich: Hilbert's Tenth Problem. Erschienen in der Reihe Foundations of Computing bei MIT Press. Cambridge, Massachusetts and London, England, 1993. ISBN 0-262-13295-8.

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • diophantische Gleichung — diophạntische Gleichung   [nach Diophantos von Alexandria], Bezeichnung für eine Gleichung der Form f (x1, x2,. .., xn) = 0, wobei alle ganzzahligen Lösungen (x1, x2 …   Universal-Lexikon

  • Lineare Diophantische Gleichung — Eine lineare diophantische Gleichung (benannt nach dem griechischen Mathematiker Diophant von Alexandrien, um 250 v. Chr.) ist eine Gleichung der Form a1x1 + a2x2 + a3 x3 + . . . + anxn + c = 0 mit ganzzahligen Koeffizienten ai, bei der man sich… …   Deutsch Wikipedia

  • Diophantische Gleichungen — Diophantische Gleichungen, nach dem griech. Mathematiker Diophantos (s. d.) benannte Aufgaben, bei denen nur ganzzahlige Werte der Unbekannten als Lösungen zugelassen werden. Die Anzahl der Unbekannten muß dabei mindestens um Eins größer sein als …   Meyers Großes Konversations-Lexikon

  • Diophantische Gleichungen — Diophantische Gleichungen, solche Gleichungen, bei denen die Anzahl der Unbekannten größer ist als die Zahl der Gleichungen, wobei aber für die Unbekannten nur ganze Zahlen als Lösungen zugelassen werden. Die Zahl der Lösungen ist unendlich groß …   Lexikon der gesamten Technik

  • Gleichung — In der Mathematik ist eine Gleichung eine Aussage, in der die Gleichheit zweier Terme durch mathematische Symbole ausgedrückt wird. Dies wird durch das Gleichheitszeichen („=“) symbolisiert. Formal hat eine Gleichung die Gestalt T1 = T2 mit zwei… …   Deutsch Wikipedia

  • Gleichung — Gleichung, in der Mathematik jede durch das dazwischengesetzte Gleichheitszeichen (=) ausgedrückte Zusammenstellung zweier Größenausdrücke (Seiten der G.), welche entweder schon ersichtlich gleich sind (z.B. 10 = 3 + 7, identische G.), oder von… …   Kleines Konversations-Lexikon

  • Nichtlineare Gleichung — Dieser Artikel befasst sich mit mathematischen Gleichungen; Zu chemischen Reaktionsgleichungen siehe ebenda; Zu Gleichungen aus der Volkswirtschaft siehe Gleichung (Volkswirtschaft). In der Mathematik ist eine Gleichung eine Aussage, in der die… …   Deutsch Wikipedia

  • Lineare Gleichung — Eine lineare Gleichung ist eine mathematische Bestimmungsgleichung, in der ausschließlich Linearkombinationen der Unbekannten vorkommen. Typischerweise sind die Unbekannten einer linearen Gleichung Skalare, meist reelle Zahlen. Im einfachsten… …   Deutsch Wikipedia

  • Pellsche Gleichung — Als Pellsche Gleichung (nach John Pell, 1611−1685) bezeichnet man eine diophantische Gleichung der Form mit positiv ganzzahligem d. Ist d eine Quadratzahl, so besitzt die Gleichung offenbar nur die trivialen Lösungen (±1, 0). Andernfalls gibt es… …   Deutsch Wikipedia

  • Unbestimmte Gleichung — Unbestimmte Gleichung, eine Gleichung, welche unzählig verschiedene Auflösungen zuläßt. Hat man nämlich k einfache zusammengehörige Gleichungen, in denen (k+k ) Hauptgrößen vorkommen, so kommt man durch fortgesetzte Elimination zuletzt auf eine… …   Pierer's Universal-Lexikon

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”