Die Zahl, die aus der Kälte kam: Wenn Mathematik zum Abenteuer wird (German Edition)

Denn wäre x ungerade, bliebe auch x 2 , also x mit sich selbst multipliziert, ungerade. Die Zahl 2  ⋅  x 2 wäre zwar durch 2, nicht aber durch 4 teilbar. Dies müsste sie sein, wenn bei einer geraden Zahl y die Formel y 2 = 2  ⋅  x 2 stimmte.
    Aristoteles folgerte aus diesen Überlegungen: Gäbe es Zahlen x und y , für die y 2  = 2  ⋅  x 2 zutrifft, dürfte keine von ihnen ungerade sein. Beide Zahlen x und y müssten gerade Zahlen sein.
    Die Seite des Quadrats, von dem wir ausgegangen waren, müsste folglich eine gerade Zahl von Längeneinheiten und auch ihre Diagonale eine gerade Zahl von Längeneinheiten messen. Dann aber, so Aristoteles, könnten wir genauso gut vom Quadrat ausgehen, dessen Seite und Diagonale halb so lang wären. Doch auch bei ihm müssten Seite und Diagonale jeweils gerade Zahlen von Längeneinheiten lang sein. Wieder könnten wir das Quadrat im Maßstab 1 : 2 verkleinern. Aber auch bei diesem noch kleineren Quadrat müssten Seite und Diagonale jeweils gerade Zahlen von Längeneinheiten lang sein.
    Und diese Längenhalbierungen ließen sich endlos fortsetzen. Bei jedem noch so kleinen Quadrat wären Seite und Diagonale jeweils gerade Zahlen von Längeneinheiten lang, und das Quadrat ließe sich weiter halbieren.
    Was endgültig absurd ist, weil Seite und Diagonale des Quadrats ganzzahlige Vielfache der Längeneinheit sind und nicht beliebig klein werden dürfen.
    Darum, so Aristoteles, gibt es überhaupt keine Zahlen x und y , für die y 2  = 2  ⋅  x 2 zutrifft. (Heute würde man vielleicht dagegen protestieren, weil bei x = 0 und bei y  = 0 die Formel stimmt. Aber die alten Griechen rechneten, klug wie sie waren, Null nicht zu den Zahlen, sondern kannten nur die positiven ganzen Zahlen 1, 2, 3, 4, 5, ….) Und darum ist das Verhältnis der Diagonalenlänge zur Seitenlänge eines Quadrats mit Sicherheit keine Bruchzahl.
    Von Mathematik Faszinierte geben sich nie mit bislang erhaltenen Resultaten zufrieden. Immer fragen sie weiter, versuchen noch umfassendere Erkenntnisse zu gewinnen.
    So auch hier. Wenn schon keine Zahlen x und y aufzufinden sind, für die y 2 = 2  ⋅  x 2 zutrifft, so gibt es vielleicht Zahlen x und y , die in die Formel y 2 = 2  ⋅  x 2 + 1 eingesetzt werden können. Mit dem kleinen Zusatz „+ 1“ ändert sich scheinbar nur unerheblich wenig, aber die von Aristoteles geführte Argumentation bricht völlig in sich zusammen. Und wirklich zeigt sich, das zuvor genannte Beispiel x = 12 und y  = 17 belegt es, dass es bei dieser nur winzigen Änderung tatsächlich Lösungen der neuen Gleichung gibt. Wie man beweisen kann: sogar unendlich viele.
    Es war Pierre de Fermat, jener französische Privatgelehrte, den wir als Miterfinder des „Kalküls“ bereits kennenlernten, der dies in einer seiner Aufzeichnungen wie beiläufig anmerkte. Er behauptete auch, dass der Faktor 2 vor dem x 2 in der Formel y 2 = 2  ⋅  x 2 + 1 durch irgendeine andere Zahl ersetzt werden darf, solange diese nur keine Quadratzahl ist. So gibt es unendlich viele Zahlen x und y , für die y 2  = 3  ⋅  x 2 + 1 zutrifft, unendlich viele Zahlen x und y , für die y 2 = 5  ⋅  x 2 + 1 zutrifft, und so weiter. Zuweilen muss man sehr lange suchen, bis man sie findet. Zum Beispiel sind bei y 2 = 991  ⋅  x 2 + 1 die kleinsten Zahlen x und y , welche dieser Gleichung gehorchen, die Zahlengiganten
    x =12 055 735 790 331 359 447 442 538 767
    und
    y = 379 516 400 906 811 930 638 014 896 080.
    Woher Fermat seine Überzeugung nahm, wissen wir nicht. Erst ungefähr hundert Jahre später hat der überaus emsige Schweizer Mathematiker Leonhard Euler bewiesen, dass er damit recht hatte.
    Doch Archimedes wusste bereits Jahrhunderte zuvor, woran Pierre de Fermat glaubte und was Leonhard Euler bewies. Denn der zweite Teil des Rätsels über die Rinder des Sonnengottes mündet darin, zwei Zahlen x und y zu finden, die der Gleichung
    y 2 = 410 286 423 278 424  ⋅  x 2 + 1
    gehorchen. Wie man sieht, handelt es sich um den gleichen Typ von Gleichung wie y 2 = 2  ⋅  x 2 + 1, y 2 = 3  ⋅  x 2 + 1, y 2 = 5  ⋅  x 2 + 1 oder y 2 = 991  ⋅  x 2 + 1. Nur hier eben mit einem riesigen Faktor vor dem x 2 .
       9 Für Kenner: Der Wert 70 rührt daher, weil 70 Hundertstel, also 0,7, ziemlich genau dem natürlichen Logarithmus von 2 entsprechen.
    10 Aber das ist erst der Anfang dessen, was die Mathematik an großen Zahlen zu liefern imstande ist.
    Ein Beispiel einer wirklich