Catalansche Vermutung - LinkFang.de





Catalansche Vermutung


Die catalansche Vermutung ist ein Satz aus dem mathematischen Teilgebiet der Zahlentheorie. Sie geht von der Beobachtung aus, dass man außer den Potenzen [math]2^3 = 8[/math] und [math]3^2 = 9[/math] keine weiteren echten Potenzen kennt, die sich um genau 1 unterscheiden. Eugène Charles Catalan stellte 1844 die nach ihm benannte catalansche Vermutung auf, wonach es keine weiteren echten Potenzen mit dieser Eigenschaft gibt:

Die einzige ganzzahlige Lösung der Gleichung [math]x^p - y^q = 1[/math] mit [math]x,p,y,q \gt 1[/math] lautet [math]x=3[/math], [math]p=2[/math], [math]y=2[/math] und [math]q=3[/math].

Erst nach über 150 Jahren wurde diese Vermutung 2002 von Preda Mihăilescu bewiesen.

Geschichte

Schon vor Catalan beschäftigte man sich mit verwandten Problemen. Ca. 1320 bewies Levi ben Gershon: Wenn Potenzen von 2 und 3 sich um 1 unterscheiden, dann sind 8 und 9 die einzigen Lösungen.

Leonhard Euler (1707–1783) zeigte, dass es für [math]a^2 - b^3 = 1[/math] nur die Lösung [math]a=3[/math] und [math]b=2[/math] gibt.

Catalans Vermutung verallgemeinert Eulers Gleichung auf allgemeine Potenzen. Seine Vermutung wurde 1844 im „Journal für die reine und angewandte Mathematik“ als Leserbrief veröffentlicht.[1]

Später fand man einige interessante Teilergebnisse für den Fall, dass Catalans Behauptung nicht zutrifft, d. h. dass es weitere nichttriviale Lösungen der Gleichung gibt.

So zeigte 1976 Robert Tijdeman, dass höchstens endlich viele Zahlen die Gleichung erfüllen.

1998 zeigte Ray Steiner folgende Eigenschaft für eine mögliche Lösung: Entweder [math]p[/math] und [math]q[/math] erfüllen gewisse Teilbarkeitsbedingungen (class number condition) oder [math]p[/math] und [math]q[/math] sind doppelte Wieferich-Primzahlen, d. h., sie genügen der Bedingung

[math] p^{q-1} \equiv 1 \ {\rm mod} \ q^2 [/math] und [math] q^{p-1} \equiv 1 \ {\rm mod} \ p^2[/math]

Maurice Mignotte gab im Jahr 2000 eine obere Grenze für Lösungen [math]q[/math] und [math]p[/math] an: q < 7,15 * 1011, p < 7,78 * 1016.

Im April 2002 gelang dem damals an der Universität Paderborn beschäftigten Preda Mihăilescu schließlich der Beweis der catalanschen Vermutung, womit diese den Status eines mathematischen Satzes erhielt.

Literatur

  • Preda Mihailescu: Primary cyclotomic units and a proof of Catalan's conjecture. J. Reine Angew. Math. 572 (2004), 167--195
  • Christoph Pöppe: Der Beweis der Catalan'schen Vermutung. In: Omega. Das Magazin für Mathematik, Logik und Computer. (Spektrum der Wissenschaft Spezial 4/2003) Spektrumverlag, Heidelberg 2003, S. 64–67
  • Yuri Bilu: Catalan´s Conjecture (after Mihailescu). Seminaire Bourbaki, Nr.909, 2002, (PDF ).
  • Jeanine Daems: A Cyclotomic Proof of Catalan´s Conjecture. Diplomarbeit, Universität Leiden 2003, (PDF ).
  • Maurice Mischler, Jacques Boéchat zur Catalan Vermutung, französisch (Arxiv ).
  • Henri Cohen zum Beweis der Catalan Vermutung, französisch (Online ).

Weblinks

Einzelnachweis

  1. Eugène Charles Catalan: Note. Journal für die reine und angewandte Mathematik 27, 192. 1844 (Scan des Originals online)

Kategorien: Zahlentheorie | Satz (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Catalansche Vermutung (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.