Satz von Tijdeman

mathematischer Satz

In der Zahlentheorie, einem der Teilgebiete der Mathematik, ist der Satz von Tijdeman ein von dem Mathematiker Robert Tijdeman im Jahre 1976 vorgelegter Lehrsatz, der sich mit der Frage der Lösbarkeit der catalanschen Gleichung befasst.[1]

Formulierung des Tijdeman’schen Satzes

Bearbeiten

Der Satz lässt sich folgendermaßen formulieren:

In der Menge   der natürlichen Potenzzahlen gibt es nur endlich viele Paare  , welche die diophantische Gleichung   erfüllen.

Weitere Ergebnisse

Bearbeiten

Im Zusammenhang mit der Vermutung von Catalan ist der folgende klassische Lehrsatz erwähnenswert:[2]

In der Menge   der ganzen Zahlen gibt es kein Tripel   mit   und  , welches die diophantische Gleichung   erfüllt.

Für diesen Satz hat unter anderem der polnische Mathematiker Antoni Wakulicz im Jahre 1957 einen Beweis gegeben hat. Aus ihm lässt sich folgern, dass die diophantische Gleichung   innerhalb der natürlichen Zahlen, von   abgesehen, keine Lösung hat.[3]

Hinzuweisen ist hier weiter auf ein Resultat, das V. A. Lebesgue bereits im Jahre 1850 vorlegte:[4]

Wenn eine beliebige Hochzahl   mit   gegeben ist, so existiert dazu nie ein geordnetes Paar   von ganzen Zahlen mit   und  , welches die diophantische Gleichung   erfüllt.

In diesem Kontext ist ebenfalls ein Resultat von Ko Chao aus dem Jahre 1965 bedeutsam:[5]

Wenn eine beliebige Primzahl   mit   als Hochzahl gegeben ist, so existiert dazu nie ein geordnetes Paar   von ganzen Zahlen mit   und  , welches die diophantische Gleichung   erfüllt.

Im Jahre 2002 bewies Preda Mihăilescu schließlich den über das Tijdemansche Resultat hinausgehenden Satz von Mihăilescu, demzufolge die catalansche Vermutung richtig ist. Danach ist die oben angesprochene Lösungsmenge sogar einelementig:  . Der Satz von Tijdeman ist insofern als ein Vorläufer auf dem Weg zur Bestätigung der catalanschen Vermutung anzusehen.[6][7]

Hinzuweisen ist auch auf die Fermat-Catalan-Vermutung, die ähnlich wie der Tijdeman'sche Satz eine Endlichkeitsaussage in den Raum stellt. Hiernach sollen nur endlich viele natürliche Potenzzahlentripel   existieren, welche die Gleichung   erfüllen und dabei noch gewisse Nebenbedingungen erfüllen. Hier gibt es neben den bekannten nichttrivialen Lösungen vor allem den Satz, dass die abc-Vermutung die Fermat-Catalan-Vermutung impliziert.

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten
  1. René Schoof: Catalan’s Conjecture. 2008, S. 3.
  2. Wacław Sierpiński: Elementary Theory of Numbers. 1988, S. 78–79
  3. Sierpiński, op. cit., S. 79
  4. Schoof, op. cit., S. 9–11
  5. Schoof, op. cit., S. 16
  6. Schoof, op. cit., S. 1ff.
  7. Ian Stewart: Die letzten Rätsel der Mathematik. 2015, S. 185