Pythagoreisches Tripel - LinkFang.de





Pythagoreisches Tripel


In der Zahlentheorie wird ein pythagoreisches Tripel oder pythagoreisches Zahlentripel von drei natürlichen Zahlen gebildet, die als Längen der Seiten eines rechtwinkeligen Dreiecks vorkommen können.

Sie finden sich bereits auf babylonischen Tontafeln, die in die Zeit der Hammurabi-Dynastie datiert werden (1829 bis 1530 v. Chr). Die Keilschrifttafel Plimpton 322 enthält 15 verschiedene pythagoreische Tripel,[1] u. a. [math](56, 90, 106)[/math], [math](119, 120, 169)[/math] und [math](12709, 13500, 18541)[/math], was darauf schließen lässt, dass bereits vor mehr als 3500 Jahren ein Verfahren zur Berechnung solcher Tripel bekannt gewesen sein muss.

Das indische Baudhayana-Sulbasutra aus dem 6. Jahrhundert vor Christus enthält fünf pythagoreische Tripel.[2]

Pythagoreische Tripel wurden auch von Diophant behandelt. Wegen des pythagoreischen Lehrsatzes sind sie genau die positiven ganzzahligen Lösungen der diophantischen Gleichung

[math]x^2 + y^2 = z^2[/math].

Wenn [math]x[/math], [math]y[/math] und [math]z[/math] keinen gemeinsamen Teiler haben, spricht man von einem primitiven pythagoreischen Tripel. Bei jedem primitiven Tripel ist [math]z[/math] ungerade, und von den Zahlen [math]x[/math] und [math]y[/math] ist eine gerade und die andere ungerade.

Beispiele

  • Das kleinste pythagoreische Tripel ist (3, 4, 5). Es ist primitiv. Es wird in der Zwölfknotenschnur zur Herstellung eines rechten Winkels benutzt.
  • Weitere kleine primitive pythagoreische Tripel sind (5, 12, 13) und (8, 15, 17).
  • (15, 20, 25) = (5·3,4,5) und (15, 36, 39) = (3·5,12,13) sind nicht primitiv.

Erzeugung der pythagoreischen Tripel

Die Formeln

[math]x = u^2 - v^2[/math]
[math]y = 2uv[/math]
[math]z = u^2 + v^2[/math]

liefern für beliebige [math]u,v \in \N, u\gtv[/math] ein pythagoreisches Tripel. Es ist genau dann primitiv, wenn [math]u[/math] und [math]v[/math] teilerfremd und nicht beide ungerade sind.

Diese Formeln werden auch indische Formeln genannt, da sie explizit schon von dem indischen Mathematiker Brahmagupta (598–668) angegeben werden.[3]

Umgekehrt lässt sich jedes primitive Tripel mit Hilfe dieser Formeln aus teilerfremden [math]u,v \in \N[/math] erzeugen. Dieses Resultat taucht schon in Euklids Elementen auf.[4]

Jedes pythagoreische Tripel (X, Y, Z) kann aus einem primitiven Tripel (x, y, z) als (X = nx, Y = ny, Z = nz) mit einer positiven ganzen Zahl n berechnet werden. Die natürliche Zahl n ist der größte gemeinsame Teiler von X, Y, Z und damit eindeutig bestimmt.

Beispiele:

  • u = 2, v = 1 liefert das Tripel (3, 4, 5).
  • Multiplikation mit 2 liefert (6, 8, 10). Es ergibt sich nach den „indischen Formeln“ aus u = 3, v = 1. Weil 3 und 1 beide ungerade sind, ist es trotzdem nicht primitiv.
  • u = 3, v = 2 liefert das primitive Tripel (5, 12, 13).
  • Multiplikation mit 7 liefert (35, 84, 91); dies ist ein pythagoreisches Tripel, das sich nicht nach den „indischen Formeln“ erzeugen lässt. Diese erzeugen nämlich alle primitiven, aber nur einen Teil der nicht-primitiven Tripel.

Herleitung der Formel zur Bildung der pythagoreischen Tripel

Ist [math](X,Y,Z)[/math] ein pythagoreisches Tripel, so ergibt die Division der zugehörigen Gleichung [math]X^2+Y^2=Z^2[/math] durch [math]Z^2[/math]

[math]\left(\frac{X}{Z}\right)^2 + \left(\frac{Y}{Z}\right)^2 = 1.[/math]

Die Zahlen [math]x=\tfrac{X}{Z}[/math] und [math]y=\tfrac{Y}{Z}[/math] sind rational und positiv und erfüllen die Koordinatengleichung des Einheitskreises

[math]x^2+y^2=1.[/math]

Also ist [math](x,y)[/math] ein Punkt mit rationalen Koordinaten auf dem Einheitskreis. Die Gerade durch die Punkte [math](-1,0)[/math] und [math](x,y)[/math] schneidet die y-Achse in einem Punkt [math](0,t)[/math], wobei [math]t[/math] die Steigung dieser Geraden ist, für die gilt:

[math]t = \frac{y}{x+1}[/math]

Daher ist [math]t[/math] eine rationale Zahl.

Eliminiert man [math]y[/math] aus dieser Gleichung und der des Einheitskreises, erhält man mit

[math]\begin{align} x^2 + t^2 (x+1)^2 &= 1\\ (x^2-1) + t^2 (x+1)^2 &= 0\\ (x+1)[(x-1) + t^2 (x+1)] &= 0 \end{align}[/math]

eine Bestimmungsgleichung für [math]x[/math].

Wegen [math]x\gt0[/math] gilt [math]x+1 \ne 0[/math], sodass man beide Seiten durch [math](x+1)[/math] dividieren darf:

[math](x-1) + t^2 (x+1) = 0[/math]
[math]x = \frac{1-t^2}{1+t^2}[/math]
[math]y = t \cdot (x+1) = t \cdot \left(\frac{1-t^2}{1+t^2}+1 \right)=\frac{2t}{1+t^2}[/math]

Damit haben wir also

[math](x,y) = \left(\frac{1-t^2}{1+t^2},\frac{2t}{1+t^2} \right)[/math]

oder, weil man [math]t = \tfrac {v}{u}[/math] mit teilerfremden natürliche Zahlen [math]u,\ v[/math] setzen kann:

[math]\left(\frac{X}{Z},\ \frac{Y}{Z}\right) = \left(\frac{1-v^2/u^2}{1+v^2/u^2},\ \frac{2v/u}{1+v^2/u^2}\right) = \left(\frac{u^2-v^2}{u^2+v^2},\ \frac{2uv}{u^2+v^2}\right)[/math]

Dies ergibt das pythagoreische Tripel

[math](X,Y,Z) = (u^2-v^2,\ 2uv,\ u^2+v^2).[/math]

Es kann vorkommen, dass [math]u^2-v^2[/math], [math]2uv[/math] und [math]u^2+v^2[/math] einen gemeinsamen Teiler [math]D\gt1[/math] haben. Aus [math]u=3,\ v=1[/math] würde beispielsweise [math]x=8,\ y=6,\ z=10[/math] folgen.

Als einzige Möglichkeit hierfür kommt jedoch [math]D=2[/math] in Betracht. Denn angenommen, eine ungerade Primzahl [math]p[/math] teilte sowohl [math]u^2-v^2[/math] als auch [math]u^2+v^2[/math], so wäre

[math]v^2\equiv u^2\pmod p[/math] und [math]v^2\equiv-u^2\pmod p,[/math]

woraus man, weil [math]p[/math] prim und 2 teilerfremd zu [math]p[/math] ist, so weiter schließen kann:

[math]\begin{align} u^2 &\equiv -u^2 \pmod p\\ 2u^2 &\equiv 0 \pmod p\\ u^2 &\equiv 0 \pmod p\\ u &\equiv 0 \pmod p\\ \end{align}[/math]

Die ungerade Primzahl [math]p[/math] teilt also [math]u[/math] und wegen [math]v^2\equiv u^2\pmod p[/math] auch [math]v[/math]. Das steht jedoch in Widerspruch zur Teilerfremdheit von [math]u[/math] und [math]v[/math], sodass [math]p[/math] nicht ungerade sein kann. Also bleibt nur [math]D=2[/math], was mit [math]u\equiv v\equiv 1\pmod 2[/math] offenbar auch tatsächlich möglich ist.

Man kann solche [math]u,\ v[/math], die teilerfremd und beide ungerade sind, jedoch aussortieren, ohne primitive pythagoreische Tripel zu verlieren. Denn, wenn [math]u[/math] und [math]v[/math] das Tripel [math](2a,\ 2b,\ 2c)[/math] ergeben, so ergeben [math]u'=(u+v)/2[/math] und [math]v'=(u-v)/2[/math] das Tripel [math](b,\ a,\ c)[/math]. Dabei sind [math]u',\ v'[/math] teilerfremd und nicht beide ungerade.

Die ersten primitiven pythagoreischen Tripel

Nach diesen Regeln erhält man als primitive pythagoreische Tripel zum Beispiel (geordnet nach u+v):

u v x y z
2 1 3 4 5
4 1 15 8 17
3 2 5 12 13
6 1 35 12 37
5 2 21 20 29
4 3 7 24 25
8 1 63 16 65
7 2 45 28 53
5 4 9 40 41
10 1 99 20 101
9 2 77 36 85
8 3 55 48 73
7 4 33 56 65
6 5 11 60 61

Zwei Folgen von pythagoreischen Tripeln sind noch bemerkenswert:

  • für v = u − 1:
    (3, 4, 5), (5, 12, 13), (7, 24, 25), (9, 40, 41), (11, 60, 61), (13, 84, 85), …, (2n+1, 2n²+2n, 2n²+2n+1), …,[5]
    also für jede ungerade Zahl [math]2n+1[/math] (außer 1) ein Tripel, bei dem die Zahl [math]2n+1[/math] die kleinste Zahl ist und sich die beiden anderen Zahlen um genau 1 unterscheiden: x = 2n+1; y, z = x²/2 ± ½. Dies hängt damit zusammen, dass gemäß der ersten binomischen Formel (m+1)² = m²+2m+1 ist und deshalb jede ungerade Zahl 2m+1 die Differenz zweier Quadratzahlen ist. Da das Quadrat einer ungeraden Zahl 2n+1 auch ungerade ist, gibt es zu jeder ungeraden Zahl 2n+1 ein pythagoreisches Tripel (2m+1 = (2n+1)²).
  • für v = 1 (und gerades u):
    (3, 4, 5), (15, 8, 17), (35, 12, 37), (63, 16, 65), (99, 20, 101), (143, 24, 145), …, (4n²−1, 4n, 4n²+1), …,
    also für jede natürliche Zahl [math]n[/math] ein Tripel, das die Zahl [math]4n[/math] enthält, und bei dem sich die beiden anderen Zahlen um genau 2 unterscheiden: x = 4n; y, z = x²/4 ± 1. Auch dieses ergibt sich aus der ersten binomischen Formel: (m+2)² = m²+4m+4. Jede durch 16 teilbare Quadratzahl lässt sich als 4m+4 schreiben, sodass zu jeder Zahl 4n ein pythagoreisches Tripel existiert (4m+4 = (4n)²).

Auch für jede gerade Zahl x größer als 2, die kein Vielfaches von 4 ist, kann man mit der ersten Folge ein pythagoreisches Tripel bilden (2n+1 = x/2) und die Zahlen dann verdoppeln. Somit kann man zu jeder natürlichen Zahl x, die größer als 2 ist, ein Zahlenpaar (y, z) finden, bei ungeradem x mit der Differenz 1, bei geradem x mit Differenz 2:

x y z
3 4 5
4* 3 5
5 12 13
6* 8 10
7 24 25
8 15 17
9 40 41
10* 24 26
11 60 61
12 35 37
13 84 85
14* 48 50
15 112 113
16 63 65
17 144 145
18* 80 82
19 180 181
20 99 101

* nicht primitive Tripel. Die Fälle für [math]x=4n+2[/math] sind redundant, da sie eine Verdoppelung von [math]x=2n+1[/math] darstellen.

Zusammenhang mit den heronischen Dreiecken

Jedes zu einem pythagoreischen Tripel gehörige Dreieck ist ein heronisches Dreieck, das heißt, sowohl die Seitenlängen als auch der Flächeninhalt sind rationale Zahlen. Jedes heronische Dreieck lässt sich in zwei rechtwinklige Dreiecke zerlegen, die durch pythagoreische Tripel aus rationalen Zahlen gegeben sind.

Die Fermatsche Gleichung

Eine Verallgemeinerung der pythagoreischen Tripel erhält man, wenn man den Exponenten 2 durch eine natürliche Zahl [math]n[/math] ersetzt. Man untersucht also die diophantische Gleichung

[math]x^n + y^n = z^n \qquad (2 \lt n \in \mathbb{N})[/math]

und sucht nach Lösungen durch natürliche (oder ganze) Zahlen [math]x,\ y,\ z[/math] unter Ausschluss der trivialen Lösungen, bei denen eine der drei Zahlen gleich Null ist.

Pierre de Fermat stellte um das Jahr 1637 die Behauptung auf, dass es keine derartigen Tripel gibt. Obwohl er keinen Beweis angab, wird diese Vermutung als großer Fermatscher Satz bezeichnet. Jahrhundertelang konnte kein Beweis gefunden werden. Die Suche danach führte aber zu vielen interessanten Erkenntnissen, insbesondere in der Zahlentheorie. Erst 1995 konnte der Mathematiker Andrew Wiles den Satz von Fermat schließlich beweisen.

Algorithmus

Ein möglicher Algorithmus in der Programmiersprache Haskell könnte folgendermaßen aussehen:

pythTripels n = [(k*x, k*y, k*z) | (x,y,z) <- primitives, k <- [1..n`div`z]] where
   primitives = [(p^2-q^2, 2*p*q, p^2+q^2) | p <- takeWhile (\p -> p^2+1 <= n) [1..], q <- takeWhile (\q -> p^2+q^2 <= n) [1..p], odd (p+q) && gcd p q == 1]

Er erstellt für eine natürliche Zahl [math]n[/math] alle möglichen Tripel, deren Hypotenuse [math]n[/math] nicht überschreitet.

Weblinks

 Wikiversity: Ein einführender Vortrag zu pythagoreischen Tripeln – Kursmaterialien, Forschungsprojekte und wissenschaftlicher Austausch

Literatur

  • Peter Bundschuh: Einführung in die Zahlentheorie. 6., überarbeitete und aktualisierte Auflage. Springer-Verlag, Berlin u. a. 2008, ISBN 978-3-540-76490-8.
  • Helmuth Gericke: Mathematik in Antike, Orient und Abendland. Matrix-Verlag, Wiesbaden 2005, ISBN 3-937715-71-1.
  • Georges Ifrah: The Universal History of Computing. From Prehistory to the Invention of the Computer. Translated from the French by David Bellos, E. F. Harding, Sophie Wood, and Ian Monk. First published in France with the title Histoire universelle des chiffres by Editions Robert Laffont, Paris, in 1994. Harvill Press, London 1998, ISBN 1-86046-324-X.
  • Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1365-6.

Einzelnachweise

  1. Georges Ifrah: The Universal History of Computing. From Prehistory to the Invention of the Computer. S. 151.
  2. Helmuth Gericke: Mathematik in Antike, Orient und Abendland. Matrix-Verlag, Wiesbaden 2005, ISBN 3-937715-71-1, S. 68.
  3. Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1365-6, S. 225.
  4. Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1365-6, S. 226.
  5. Die letztgenannte Formel nennt schon Pythagoras (etwa 570–510 v. Chr.); vgl. Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1365-6, S. 225.
no:Pythagoras’ læresetning#Pytagoreiske tripler

Kategorien: Zahlentheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Pythagoreisches Tripel (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.