Satz von Erdős-Selfridge

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Der Satz von Erdős-Selfridge (nicht zu verwechseln mit einem gleichnamigen Satz aus der Spieltheorie) ist ein Lehrsatz der Zahlentheorie, eines Teilgebietes der Mathematik. Er geht auf die beiden Mathematiker Paul Erdős und John L. Selfridge zurück und behandelt ein klassisches Problem über diophantische Gleichungen.

Dieses Problem bezieht sich auf die Frage, ob ein Produkt mehrerer aufeinanderfolgender natürlicher Zahlen eine echte Potenz natürlicher Zahlen sein kann. Mit ihrem Satz liefern Erdős und Selfridge eine vollständige Lösung dieses Problems und geben auf die Frage eine verneinende Antwort.[1][2]

Formulierung[Bearbeiten | Quelltext bearbeiten]

Der Satz lautet:[3][1][2]

Werden zwei oder mehrere aufeinanderfolgende natürliche Zahlen miteinander multipliziert, so ist das Produkt keine echte Potenz mit natürlicher Grund- und Hochzahl.

Oder gleichwertig und etwas formaler:

Die diophantische Gleichung
ist für (ganzzahlig) unlösbar.

Verwandte Probleme[Bearbeiten | Quelltext bearbeiten]

Zwei verwandte Probleme, denen die gleiche Fragestellung wie beim obigen Satz zugrunde liegt, hat Paul Erdős ebenfalls gelöst, und zwar auch im verneinenden Sinne. Die beiden Resultate lauten wie folgt:[2]

  1. Das Produkt zweier oder mehrerer aufeinanderfolgender ungerader natürlicher Zahlen ist keine echte Potenz mit natürlicher Grund- und Hochzahl. (Erdős 1939).
  2. Der Binomialkoeffizient ist für natürliche Zahlen mit keine echte Potenz mit natürlicher Grund- und Hochzahl. (Erdős 1951).

Literatur[Bearbeiten | Quelltext bearbeiten]

Einzelnachweise und Anmerkungen[Bearbeiten | Quelltext bearbeiten]

  1. a b Erdős, Surányi: S. 226–227.
  2. a b c Wacław Sierpiński: Elementary Theory of Numbers (= North-Holland Mathematical Library. Band 31). 2. überarbeitete und erweiterte Auflage. North-Holland (u. a.), Amsterdam (u. a.) 1988, ISBN 0-444-86662-0, S. 86–87 (MR0930670).
  3. Erdős, Selfridge: The product of consecutive integers is never a power. In: Illinois J. Math. Band 19, S. 292 ff.