Pythagoreisches Tripel

Geometrie > Ebene Geometrie > Dreiecke > Dreieckseigenschaften >
Zahlentheorie > DiophantischeGleichungen >
MathWorld Mitwirkende > Knott >
MathWorld Mitwirkende > Noe >

Weniger…

DOWNLOAD Mathematica NotebookBeitrag zu diesem Eintrag

Ein pythagoreisches Tripel ist ein Tripel aus den positiven ganzen Zahlen a, b und c, so dass ein rechtwinkliges Dreieck mit den Schenkeln a,b und der Hypotenuse c existiert. Nach dem Satz des Pythagoras ist dies äquivalent dazu, positive ganze Zahlen a, b und c zu finden, die

 a^2+b^2=c^2 erfüllen.
(1)

Das kleinste und bekannteste pythagoreische Tripel ist (a,b,c)=(3,4,5). Das rechtwinklige Dreieck mit diesen Seitenlängen wird manchmal als 3,4,5-Dreieck bezeichnet.

PythagoreanTriples

Darstellungen von Punkten in der (a,b)-Ebene, für die (a,b,sqrt(a^2+b^2)) ein pythagoräisches Tripel ist, sind oben für sukzessive größere Schranken dargestellt. Diese Diagramme schließen negative Werte von a und b ein und sind daher symmetrisch um die x- und y-Achse.

PythagoreanTriplesAC

In ähnlicher Weise sind Diagramme von Punkten in der (a,c)-Ebene, so dass (a,sqrt(c^2-a^2),c) ein pythagoräisches Tripel ist, oben für sukzessive größere Schranken dargestellt.

PrimitivePythagoreanTriple

Es ist üblich, nur primitive pythagoräische Tripel (auch „reduzierte“ Tripel genannt) zu betrachten, in denen a und b relativ prim sind, da andere Lösungen trivial aus den primitiven erzeugt werden können. Die primitiven Dreiergruppen sind oben abgebildet, und es ist sofort zu erkennen, dass die radialen Linien, die in der ursprünglichen Darstellung den imprimitiven Dreiergruppen entsprechen, in dieser Abbildung fehlen. Bei primitiven Lösungen muss eine von a oder b gerade und die andere ungerade sein (Shanks 1993, S. 141), wobei c immer ungerade ist.

Außerdem ist eine Seite jedes pythagoreischen Tripels durch 3, eine andere durch 4 und eine andere durch 5 teilbar. Eine Seite kann zwei dieser Teiler haben, wie in (8, 15, 17), (7, 24, 25) und (20, 21, 29), oder sogar alle drei, wie in (11, 60, 61).

Gegeben ein primitives Tripel (a_0,b_0,c_0), erhält man drei neue primitive Tripel aus

(a_1,b_1,c_1) = (a_0,b_0,c_0)U
(2)
(a_2,b_2,c_2) = (a_0,b_0,c_0)A
(3)
(a_3,b_3,c_3) = (a_0,b_0,c_0)D,
(4)

wo

U =
(5)
A =
(6)
D =.
(7)

Hall (1970) und Roberts (1977) beweisen, dass (a,b,c) ein primitives pythagoreisches Tripel ist, wennf

 (a,b,c)=(3,4,5)M,
(8)

wobei M ein endliches Produkt der Matrizen U, A, D ist. Daraus folgt, dass jedes primitive pythagoräische Tripel ein Mitglied der unendlichen Matrix

 ( 7, 24, 25) sein muss; ( 5, 12, 13) ( 55, 48, 73); ( 45, 28, 53); ( 39, 80, 89); (3, 4, 5) ( 21, 20, 29) ( 119, 120, 169); ( 77, 36, 85); ( 33, 56, 65); ( 15, 8, 17) ( 65, 72, 97); ( 35, 12, 37).
(9)

Pythagoras und die Babylonier gaben eine Formel für die Erzeugung von (nicht notwendigerweise primitiven) Tripeln als

 (2m,m^2-1,m^2+1),
(10)

für m1, was eine Menge von eindeutigen Tripeln erzeugt, die weder alle primitiven noch alle imprimitiven Tripel enthält (und wo im Sonderfall m=2, m^2-12m).

Die frühen Griechen gaben

 (v^2-u^2,2uv,u^2+v^2),
(11)

wobei u und vu relativ prim und von entgegengesetzter Parität sind (Shanks 1993, p. 141), was eine Menge eindeutiger Tripel erzeugt, die genau die primitiven Tripel enthält (nach geeigneter Sortierung von v^2-u^2 und 2uv).

Lass F_n eine Fibonacci-Zahl sein. Dann

 (F_nF_(n+3),2F_(n+1)F_(n+2),F_(n+1)^2+F_(n+2)^2)
(12)

generiert eindeutige pythagoreische Tripel (Dujella 1995), wenn auch nicht erschöpfend für primitive oder imprimitive Tripel. Allgemeiner gesagt, ausgehend von den positiven ganzen Zahlen a, b und der Konstruktion der Fibonacci-ähnlichen Folge {F_n^'} mit den Termen a, b, a+b, a+2b, 2a+3b, … erzeugt verschiedene pythagoreische Tripel

 (F_n^'F_(n+3)^',2F_(n+1)^'F_(n+2)^',F_(n+1)^'^2+F_(n+2)^'^2)
(13)

(Horadam 1961), wobei

 F_n^'=1/2 für a_0=0; 1/2 für a_0=1
(24)

(Beiler 1966, p. 116). Man beachte, dass L(s)=1 ist, wenn s eine Primzahl oder eine doppelte Primzahl ist. Die ersten Zahlen für s=1, 2, … sind 0, 0, 1, 1, 1, 1, 1, 2, 2, 1, 1, 4, 1, … (OEIS A046079).

Um die Anzahl der Möglichkeiten H_p(s) zu finden, auf die eine Zahl s die Hypotenuse eines primitiven rechtwinkligen Dreiecks sein kann, schreibe ihre Faktorisierung als

 s=2^(a_0)(p_1^(a_1)...p_n^(a_n))(q_1^(b_1)...q_r^(b_r)),
(25)

wobei die ps von der Form 4x-1 und die qs von der Form 4x+1 sind. Die Anzahl der möglichen primitiven rechtwinkligen Dreiecke ist dann

 H_p(s)={2^(r-1) für n=0 und a_0=0; 0 sonst,.
(26)

Zum Beispiel, H_p(65)=2 da

65^2 = 16^2+63^2
(27)
= 33^2+56^2.
(28)

Die Werte von H_p(n) für n=1, 2, … sind 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, … (OEIS A024362). Die ersten paar Primzahlen der Form 4x+1 sind 5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97, 101, 109, 113, 137, … (OEIS A002144), also sind die kleinsten Seitenlängen, die die Hypotenusen von 1, 2, 4, 8, 16, … primitiven rechtwinkligen Dreiecken sind 5, 65, 1105, 32045, 1185665, 48612265, … (OEIS A006278).

Die Anzahl der möglichen primitiven oder nichtprimitiven rechtwinkligen Dreiecke mit s als Hypotenuse ist

H(s) = 1/2
(29)
= 1/8
(30)

(korrigiert den Tippfehler von Beiler 1966, p. 117, der besagt, dass diese Formel nur die Anzahl der nicht-primitiven Lösungen angibt), wobei r_k(n) die Funktion der Summe der Quadrate ist. Zum Beispiel gibt es vier verschiedene ganzzahlige Dreiecke mit Hypotenuse 65, da

 65^2=16^2+63^2=25^2+60^2=33^2+56^2=39^2+52^2.
(31)

Die ersten Zahlen für s=1, 2, … sind 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, … (OEIS A046080). Die kleinsten Hypotenusen mit n verschiedenen Tripeln sind 1, 5, 25, 125, 65, 3125, … (OEIS A006339). Die folgende Tabelle enthält die Hypotenusen, für die es genau n verschiedene rechtwinklige Dreiecke für n=0, 1, …, 5 gibt.

n OEIS Hypotenusen, für die es n verschiedene ganzzahlige Dreiecke gibt
0 A004144 1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 14, 16, 18, …
1 A084645 5, 10, 13, 15, 17, 20, 26, 29, 30, 34, 35, …
2 A084646 25, 50, 75, 100, 150, 169, 175, 200, 225, …
3 A084647 125, 250, 375, 500, 750, 875, 1000, 1125, 1375, …
4 A084648 65, 85, 130, 145, 170, 185, 195, 205, 221, 255, …
5 A084649 3125, 6250, 9375, 12500, 18750, 21875, 25000, …

Daher ist die Gesamtzahl der Möglichkeiten, auf die s entweder ein Schenkel oder eine Hypotenuse eines rechtwinkligen Dreiecks sein kann, gegeben durch

 T(s)=L(s)+H(s).
(32)

Die Werte für s=1, 2, … sind 0, 0, 1, 1, 2, 1, 1, 2, 2, 2, 1, 4, 2, 1, 5, 3, … (OEIS A046081). Die kleinsten Zahlen s, die die Seiten von T allgemeinen rechtwinkligen Dreiecken für T=1, 2, … sein können, sind 3, 5, 16, 12, 15, 125, 24, 40, … (OEIS A006593; Beiler 1966, S. 114).

Es gibt 50 pythagoreische Tripel mit einer Hypotenuse kleiner als 100, von denen die ersten, sortiert nach aufsteigender c, (3, 4, 5), (6, 8,10), (5, 12, 13), (9, 12, 15), (8, 15, 17), (12, 16, 20), (15, 20, 25), (7, 24, 25), (10, 24, 26), (20, 21, 29), (18, 24, 30), (16, 30, 34), (21, 28, 35), … (OEIS A046083, A046084, und A009000).

Von diesen sind nur 16 primitive Tripel mit einer Hypotenuse kleiner als 100: (3, 4,5), (5, 12, 13), (8, 15, 17), (7, 24, 25), (20, 21, 29), (12, 35, 37), (9, 40, 41), (28, 45, 53), (11, 60, 61), (33, 56, 65), (16, 63, 65), (48, 55, 73), (36, 77, 85), (13, 84, 85), (39, 80, 89), und (65, 72, 97) (OEIS A046086, A046087, und A020882).

Lassen Sie die Anzahl der Tripel mit Hypotenuse N als Delta(N), die Anzahl der Tripel mit Hypotenuse =N als Delta^'(N) und die Anzahl der primitiven Tripel kleiner als N als Delta_p(N) bezeichnen. Die folgende Tabelle fasst dann die Werte für Potenzen von 10 zusammen.

Delta OEIS Delta(10), Delta(10^2), …
Delta(N) A101929 1, 50, 878, 12467, …
Delta^'(N) A101930 2, 52, 881, 12471, …
Delta_p(N) A101931 1, 16, 158, 1593, …

Lehmer (1900) bewies, dass die Anzahl der primitiven Lösungen mit Hypotenuse kleiner als N erfüllt

 lim_(N-infty)(Delta_p(N))/N=1/(2pi)=0.1591549...
(33)

(OEIS A086201).

PythagoreanIncircles

Die Inradien der ersten paar primitiven pythagoreischen Dreiecke, geordnet nach aufsteigenden c, sind gegeben durch 1, 2, 3, 3, 3, 6, 5, 4, 10, 5, … (OEIS A014498).

Es gibt eine allgemeine Methode, um Dreiergruppen von pythagoräischen Dreiecken mit gleichen Flächen zu erhalten. Man nehme die drei Sätze der Generatoren als

m_1 = r^2+rs+s^2
(34)
n_1 = r^2-s^2
(35)
m_2 = r^2+rs+s^2
(36)
n_2 = 2rs+s^2
(37)
m_3 = r^2+2rs
(38)
n_3 = r^2+rs+s^2.
(39)

Dann wird das rechte Dreieck, das durch jedes Tripel (m_i^2-n_i^2,2m_in_i,m_i^2+n_i^2) einen gemeinsamen Flächeninhalt

 A=rs(2r+s)(r+2s)(r+s)(r-s)(r^2+rs+s^2)
(40)

(Beiler 1966, pp. 126-127). Das einzige Extremum dieser Funktion tritt bei (r,s)=(0,0) auf. Da A(r,s)=0 für r=s, ist die kleinste Fläche, die sich drei nicht-primitive rechtwinklige Dreiecke teilen, gegeben durch (r,s)=(1,2), was eine Fläche von 840 ergibt und den Tripletts (24, 70, 74), (40, 42, 58) und (15, 112, 113) entspricht (Beiler 1966, S. 126).

Zu den rechtwinkligen Dreiecken, deren Flächeninhalt aus einer einzigen Ziffer besteht, gehören (3,4,5) (Flächeninhalt von 6) und (693,1924,2045) (Flächeninhalt von 666666; Wells 1986, S. 89).

Im Jahr 1643 forderte Fermat Mersenne auf, ein pythagoreisches Triplett zu finden, dessen Hypotenuse und Summe der Schenkel Quadrate sind. Fermat fand die kleinste derartige Lösung:

X = 4565486027761
(41)
Y = 1061652293520
(42)
Z = 4687298610289,
(43)

mit

Z = 2165017^2
(44)
X+Y = 2372159^2.
(45)

Ein verwandtes Problem ist es, zu bestimmen, ob eine bestimmte ganze Zahl N der Flächeninhalt eines rechtwinkligen Dreiecks mit rationalen Seiten sein kann. 1, 2, 3 und 4 sind keine Flächen von rechtwinkligen Dreiecken mit rationalen Seiten, aber 5 ist (3/2, 20/3, 41/6), ebenso wie 6 (3, 4, 5). Die Lösung des Problems beinhaltet die elliptische Kurve

 y^2=x^3-N^2x.
(46)

Eine Lösung (a, b, c) existiert, wenn (46) eine rationale Lösung hat, in diesem Fall

x = 1/4c^2
(47)
y = 1/8(a^2-b^2)c
(48)

(Koblitz 1993). Es ist keine allgemeine Methode bekannt, um festzustellen, ob es eine Lösung für beliebige N gibt, aber eine von J. Tunnell 1983 entwickelte Technik erlaubt es, bestimmte Werte auszuschließen (Cipra 1996).