Pythagoreisches Tripel

In der Zahlentheorie besteht ein Pythagoreisches Tripel oder Pythagoreisches Zahlentripel aus drei verschiedenen natürlichen Zahlen ^[1] , bei denen die Summe der Quadrate der beiden kleineren Zahlen gleich dem Quadrat der größten Zahl ist. Nach dem Satz des Pythagoras können die drei Zahlen eines Pythagoreischen Tripels auch als die Seitenlängen eines ebenen rechtwinkligen Dreiecks in der Euklidischen Geometrie aufgefasst werden. Wenn ${\displaystyle a}${\displaystyle a}, ${\displaystyle b}${\displaystyle b} und ${\displaystyle c}${\displaystyle c} außer 1 keinen Teiler gemeinsam haben, spricht man von einem primitiven pythagoreischen Tripel.

Pythagoreische Tripel 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,^[2] u. a. ${\displaystyle (56,90,106)}${\displaystyle (56,90,106)}, ${\displaystyle (119,120,169)}${\displaystyle (119,120,169)} und ${\displaystyle (12709,13500,18541)}${\displaystyle (12709,13500,18541)}, was darauf schließen lässt, dass bereits vor mehr als 3500 Jahren ein Verfahren zur Berechnung solcher Tripel bekannt war. Für Ägypten ist die explizite Erwähnung von pythagoreischen Tripeln nur aus einem demotischen Papyrus des 3. Jahrhunderts v. Chr. bekannt,^[3] doch wurde auch die Verwendung insbesondere der Tripel ${\displaystyle (3,\ 4,\ 5)}${\displaystyle (3,\ 4,\ 5)} und ${\displaystyle (20,\ 21,\ 29)}${\displaystyle (20,\ 21,\ 29)} für Böschungswinkel bei einigen Pyramiden aus einer Zeit rund zweitausend Jahre vor dem erwähnten Papyrus diskutiert.^[4]

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

Pythagoreische Tripel wurden bei den Griechen von Euklid, nach dem Kommentar von Proklos zu Euklids Elementen von Pythagoras und Platon behandelt und später von Diophant.

• ${\displaystyle (3,\ 4,\ 5)}${\displaystyle (3,\ 4,\ 5)} ist das kleinste und bekannteste pythagoreische Tripel. Es ist primitiv, denn die drei natürlichen Zahlen haben nur 1 als Teiler gemeinsam.
• ${\displaystyle (5,\ 12,\ 13)}${\displaystyle (5,\ 12,\ 13)} und ${\displaystyle (8,\ 15,\ 17)}${\displaystyle (8,\ 15,\ 17)} sind Beispiele für weitere kleine primitive pythagoreische Tripel.
• Beispiele für nicht primitive pythagoreische Tripel sind ${\displaystyle (15,\ 20,\ 25)}${\displaystyle (15,\ 20,\ 25)} mit ${\displaystyle 5}${\displaystyle 5} als einem gemeinsamen Teiler oder ${\displaystyle (15,\ 36,\ 39)}${\displaystyle (15,\ 36,\ 39)} mit dem gemeinsamen Teiler ${\displaystyle 3}${\displaystyle 3}.

Die Mitglieder dieser Familien können durch die Anwendung der Euklidischen Formel ${\displaystyle {\frac {n}{d}}\rightarrow [a,b,c]=[(n^{2}-d^{2}),2.n.d,(n^{2}+d^{2})]}${\displaystyle {\frac {n}{d}}\rightarrow [a,b,c]=[(n^{2}-d^{2}),2.n.d,(n^{2}+d^{2})]} auf den Zähler ${\displaystyle n}${\displaystyle n} und den Nenner ${\displaystyle d}${\displaystyle d} in Folgen von Brüchen identifiziert werden, insbesondere in Folgen von Brüchen, die aus den periodischen Kettenbrüchen quadratischer Irrationalitäten stammen.^[6]

Die drei Formeln

${\displaystyle a=m^{2}-n^{2}}${\displaystyle a=m^{2}-n^{2}}

${\displaystyle b=2\;\!mn}${\displaystyle b=2\;\!mn}

${\displaystyle c=m^{2}+n^{2}}${\displaystyle c=m^{2}+n^{2}}

liefern für beliebige ${\displaystyle m,n\in \mathbb {N} ,m>n>0}${\displaystyle m,n\in \mathbb {N} ,m>n>0}^[1] ein pythagoreisches Tripel ${\displaystyle (a,\ b,\ c)}${\displaystyle (a,\ b,\ c)}. Es ist genau dann primitiv, wenn ${\displaystyle m}${\displaystyle m} und ${\displaystyle n}${\displaystyle n} teilerfremd und nicht beide ungerade sind.

Diese Formeln wurden von Euklid angegeben (Elemente, Buch 10, Proposition 29, Lemma 1).^[7] Sie werden manchmal indische Formeln genannt, da sie explizit auch vom indischen Mathematiker Brahmagupta (598–668) knapp 900 Jahre später angegeben wurden.^{[8] [9]} Möglicherweise waren sie auch den Babyloniern bekannt bei ihrer Erstellung pythagoreischer Tripel,^[10] denn die Formeln ergeben sich unmittelbar aus der babylonischen Multiplikationsformel

${\displaystyle k\cdot l={\left({\frac {k+l}{2}}\right)\!}^{2}-{\left({\frac {k-l}{2}}\right)\!}^{2},}${\displaystyle k\cdot l={\left({\frac {k+l}{2}}\right)\!}^{2}-{\left({\frac {k-l}{2}}\right)\!}^{2},}

wenn man ${\displaystyle k=m^{2}}${\displaystyle k=m^{2}} und ${\displaystyle l=n^{2}}${\displaystyle l=n^{2}} setzt und mit ${\displaystyle 2^{2}}${\displaystyle 2^{2}} multipliziert: ${\displaystyle \quad (2\;\!mn)^{2}=\left(m^{2}+n^{2}\right)^{2}-\left(m^{2}-n^{2}\right)^{2}}${\displaystyle \quad (2\;\!mn)^{2}=\left(m^{2}+n^{2}\right)^{2}-\left(m^{2}-n^{2}\right)^{2}}.

Umgekehrt lässt sich jedes primitive pythagoreische Tripel ${\displaystyle (a,\ b,\ c)}${\displaystyle (a,\ b,\ c)} mit Hilfe dieser Formeln aus teilerfremden ${\displaystyle m,n\in \mathbb {N} }${\displaystyle m,n\in \mathbb {N} } erzeugen.

Jedes nicht-primitive pythagoreische Tripel ${\displaystyle (A,B,C)}${\displaystyle (A,B,C)} kann aus einem primitiven pythagoreischen Tripel ${\displaystyle (a,b,c)}${\displaystyle (a,b,c)} durch ${\displaystyle (A,B,C)=(Na,Nb,Nc)}${\displaystyle (A,B,C)=(Na,Nb,Nc)} berechnet werden. Die natürliche Zahl ${\displaystyle N}${\displaystyle N} ist der größte gemeinsame Teiler von ${\displaystyle A,\ B,\ C}${\displaystyle A,\ B,\ C} und damit eindeutig bestimmt.

Beispiele:

• ${\displaystyle m=2,\ n=1}${\displaystyle m=2,\ n=1} liefert das Tripel ${\displaystyle (3,\ 4,\ 5)}${\displaystyle (3,\ 4,\ 5)}.
  • Multiplikation mit ${\displaystyle N=2}${\displaystyle N=2} liefert ${\displaystyle (6,\ 8,\ 10)}${\displaystyle (6,\ 8,\ 10)}. Es ergibt sich auch nach der babylonischen Multiplikationsformel aus ${\displaystyle k=3,\ l=1.}${\displaystyle k=3,\ l=1.} Weil ${\displaystyle 3}${\displaystyle 3} und ${\displaystyle 1}${\displaystyle 1} beide ungerade sind, ist es nicht primitiv.
• ${\displaystyle m=3,\ n=2}${\displaystyle m=3,\ n=2} liefert das primitive Tripel ${\displaystyle (5,\ 12,\ 13)}${\displaystyle (5,\ 12,\ 13)}.
  • Multiplikation mit ${\displaystyle N=7}${\displaystyle N=7} liefert ${\displaystyle (35,\ 84,\ 91)}${\displaystyle (35,\ 84,\ 91)}; dies ist ein pythagoreisches Tripel, das sich nicht mit den Formeln nach Euklid erzeugen lässt. Diese erzeugen zwar alle primitiven, aber nur einen Teil der nicht-primitiven Tripel.

Die Verbindung der von B. Berggren (1934)^[11] und von A. Hall (1970)^[12] bekannten Baumstruktur der primitiven pythagoreischen Tripel mit der modularen Gruppe untersuchte R. C. Alperin (2005)^[13] . Sämtliche primitiven pythagoreischen Tripel lassen sich über sieben verschiedene Lineartransformationen, jeweils ausgehend von ${\displaystyle (3,4,5)}${\displaystyle (3,4,5)}, in (bis auf die Anordnung) genau drei verschiedenen ternären Wurzelbäumen erzeugen, wie Firstov allgemein bewies.^[14] Genau ein Wurzelbaum hat mit einem anderen jeweils eine Lineartransformation gemeinsam, eine davon erzeugt bspw. alle (primitiven) pythagoreischen Tripel ${\displaystyle (x,\ y,\ y+1)}${\displaystyle (x,\ y,\ y+1)}, auch alle mit einer beliebigen ungeraden Primzahl ${\displaystyle x}${\displaystyle x}, und der von Price^[15] entdeckte andere Wurzelbaum die beiden (gemischten) Darstellungen ${\displaystyle (p'q',\ 2pq,\ pq'+qp')}${\displaystyle (p'q',\ 2pq,\ pq'+qp')} und ${\displaystyle (p'q',\ 2pq,\ pq'-qp')}${\displaystyle (p'q',\ 2pq,\ pq'-qp')} der primitiven Tripel mit ungeradem ${\displaystyle q}${\displaystyle q}, einem dazu teilerfremden ${\displaystyle q'}${\displaystyle q'} und ${\displaystyle p=q'+q,\ p'=q+p}${\displaystyle p=q'+q,\ p'=q+p}.^[16]

Ist ${\displaystyle (a,b,c)}${\displaystyle (a,b,c)} ein pythagoreisches Tripel, so ergibt die Division der zugehörigen Gleichung ${\displaystyle a^{2}+b^{2}=c^{2}}${\displaystyle a^{2}+b^{2}=c^{2}} durch ${\displaystyle c^{2}}${\displaystyle c^{2}}

Die Zahlen ${\displaystyle x:={\tfrac {a}{c}}}${\displaystyle x:={\tfrac {a}{c}}} und ${\displaystyle y:={\tfrac {b}{c}}}${\displaystyle y:={\tfrac {b}{c}}} sind rational und positiv und erfüllen die Koordinatengleichung des Einheitskreises

${\displaystyle x^{2}+y^{2}=1}${\displaystyle x^{2}+y^{2}=1}.

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

${\displaystyle t={\frac {y}{x+1}}}${\displaystyle t={\frac {y}{x+1}}}

Daher ist ${\displaystyle t}${\displaystyle t} eine rationale Zahl.

Eliminiert man ${\displaystyle y}${\displaystyle y} aus dieser Gleichung und der des Einheitskreises, erhält man mit

${\displaystyle {\begin{aligned}x^{2}+t^{2}(x+1)^{2}&=1\\(x^{2}-1)+t^{2}(x+1)^{2}&=0\\(x+1)\left[(x-1)+t^{2}(x+1)\right]&=0\end{aligned}}}${\displaystyle {\begin{aligned}x^{2}+t^{2}(x+1)^{2}&=1\\(x^{2}-1)+t^{2}(x+1)^{2}&=0\\(x+1)\left[(x-1)+t^{2}(x+1)\right]&=0\end{aligned}}}

eine Bestimmungsgleichung für ${\displaystyle x}${\displaystyle x}.

Wegen ${\displaystyle x>0}${\displaystyle x>0} gilt ${\displaystyle x+1\neq 0}${\displaystyle x+1\neq 0}, sodass man beide Seiten durch ${\displaystyle (x+1)}${\displaystyle (x+1)} dividieren darf:

${\displaystyle {\begin{aligned}(x-1)+t^{2}(x+1)&=0\\x&={\frac {1-t^{2}}{1+t^{2}}}\\y&=t\cdot (x+1)=t\cdot \left({\frac {1-t^{2}}{1+t^{2}}}+1\right)={\frac {2t}{1+t^{2}}}\end{aligned}}}${\displaystyle {\begin{aligned}(x-1)+t^{2}(x+1)&=0\\x&={\frac {1-t^{2}}{1+t^{2}}}\\y&=t\cdot (x+1)=t\cdot \left({\frac {1-t^{2}}{1+t^{2}}}+1\right)={\frac {2t}{1+t^{2}}}\end{aligned}}}

Damit haben wir also

${\displaystyle (x,y)=\left({\frac {1-t^{2}}{1+t^{2}}},{\frac {2t}{1+t^{2}}}\right)}${\displaystyle (x,y)=\left({\frac {1-t^{2}}{1+t^{2}}},{\frac {2t}{1+t^{2}}}\right)}

oder, weil man ${\displaystyle t={\tfrac {v}{u}}}${\displaystyle t={\tfrac {v}{u}}} mit teilerfremden natürlichen Zahlen ${\displaystyle u,v}${\displaystyle u,v} setzen kann:

${\displaystyle \left({\frac {a}{c}},{\frac {b}{c}}\right)=\left({\frac {1-{\frac {v^{2}}{u^{2}}}}{1+{\frac {v^{2}}{u^{2}}}}},{\frac {\frac {2v}{u}}{1+{\frac {v^{2}}{u^{2}}}}}\right)=\left({\frac {u^{2}-v^{2}}{u^{2}+v^{2}}},{\frac {2uv}{u^{2}+v^{2}}}\right)}${\displaystyle \left({\frac {a}{c}},{\frac {b}{c}}\right)=\left({\frac {1-{\frac {v^{2}}{u^{2}}}}{1+{\frac {v^{2}}{u^{2}}}}},{\frac {\frac {2v}{u}}{1+{\frac {v^{2}}{u^{2}}}}}\right)=\left({\frac {u^{2}-v^{2}}{u^{2}+v^{2}}},{\frac {2uv}{u^{2}+v^{2}}}\right)}

Dies ergibt das pythagoreische Tripel

${\displaystyle (a,b,c)=(u^{2}-v^{2},2uv,u^{2}+v^{2}).}${\displaystyle (a,b,c)=(u^{2}-v^{2},2uv,u^{2}+v^{2}).}

Es kann vorkommen, dass ${\displaystyle u^{2}-v^{2}}${\displaystyle u^{2}-v^{2}}, ${\displaystyle 2uv}${\displaystyle 2uv} und ${\displaystyle u^{2}+v^{2}}${\displaystyle u^{2}+v^{2}} einen gemeinsamen Teiler ${\displaystyle N>1}${\displaystyle N>1} haben. Aus ${\displaystyle u=3,\ v=1}${\displaystyle u=3,\ v=1} würde beispielsweise ${\displaystyle a=8,\ b=6,\ c=10}${\displaystyle a=8,\ b=6,\ c=10} folgen.

Als einzige Möglichkeit hierfür kommt jedoch ${\displaystyle N=2}${\displaystyle N=2} in Betracht. Denn angenommen, eine ungerade Primzahl ${\displaystyle p}${\displaystyle p} teilte sowohl ${\displaystyle u^{2}-v^{2}}${\displaystyle u^{2}-v^{2}} als auch ${\displaystyle u^{2}+v^{2}}${\displaystyle u^{2}+v^{2}}, so wäre

${\displaystyle v^{2}\equiv u^{2}{\pmod {p}}}${\displaystyle v^{2}\equiv u^{2}{\pmod {p}}} und ${\displaystyle v^{2}\equiv -u^{2}{\pmod {p}},}${\displaystyle v^{2}\equiv -u^{2}{\pmod {p}},}

woraus man, weil ${\displaystyle p}${\displaystyle p} prim und ${\displaystyle 2}${\displaystyle 2} teilerfremd zu ${\displaystyle p}${\displaystyle p} ist, so weiter schließen kann:

${\displaystyle {\begin{aligned}u^{2}&\equiv -u^{2}{\pmod {p}}\2円u^{2}&\equiv 0\quad \ {\pmod {p}}\\u^{2}&\equiv 0\quad \ {\pmod {p}}\\u&\equiv 0\quad \ {\pmod {p}}\\\end{aligned}}}${\displaystyle {\begin{aligned}u^{2}&\equiv -u^{2}{\pmod {p}}\2円u^{2}&\equiv 0\quad \ {\pmod {p}}\\u^{2}&\equiv 0\quad \ {\pmod {p}}\\u&\equiv 0\quad \ {\pmod {p}}\\\end{aligned}}}

Die ungerade Primzahl ${\displaystyle p}${\displaystyle p} teilt also ${\displaystyle u}${\displaystyle u} und wegen ${\displaystyle v^{2}\equiv u^{2}{\pmod {p}}}${\displaystyle v^{2}\equiv u^{2}{\pmod {p}}} auch ${\displaystyle v}${\displaystyle v}. Das steht jedoch in Widerspruch zur Teilerfremdheit von ${\displaystyle u}${\displaystyle u} und ${\displaystyle v}${\displaystyle v}, sodass ${\displaystyle p}${\displaystyle p} nicht ungerade sein kann. Also bleibt nur ${\displaystyle N=2}${\displaystyle N=2}, was mit ${\displaystyle u\equiv v\equiv 1{\pmod {2}}}${\displaystyle u\equiv v\equiv 1{\pmod {2}}} offenbar auch tatsächlich möglich und immer der Fall ist.

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

Dass diese Parametrisierung pythagoreischer Tripel mit Hilberts Satz 90 für den Fall ${\displaystyle \mathbb {Q} [\mathrm {i} ]/\mathbb {Q} }${\displaystyle \mathbb {Q} [\mathrm {i} ]/\mathbb {Q} } geradeswegs äquivalent ist, hat wohl Noam D. Elkies erkannt.^[17]

Denn das Bestehen der Gleichung (Nrm1) ist äquivalent damit, dass ${\displaystyle N_{\mathbb {Q} [\mathrm {i} ]/\mathbb {Q} }\underbrace {\left({\frac {a+\mathrm {i} b}{c}}\right)} _{:=y}=1}${\displaystyle N_{\mathbb {Q} [\mathrm {i} ]/\mathbb {Q} }\underbrace {\left({\frac {a+\mathrm {i} b}{c}}\right)} _{:=y}=1}. Hilberts Satz 90 liefert ein Element ${\displaystyle x\in \mathbb {Q} [\mathrm {i} ]}${\displaystyle x\in \mathbb {Q} [\mathrm {i} ]} mit ${\displaystyle y={\frac {x}{\overline {x}}}}${\displaystyle y={\frac {x}{\overline {x}}}}, welches sogar ohne Einschränkung aus dem Ganzheitsring ${\displaystyle \mathbb {Z} [\mathrm {i} ]}${\displaystyle \mathbb {Z} [\mathrm {i} ]} der Gaußschen Zahlen gewählt werden kann, so dass mit ${\displaystyle x=m+n\mathrm {i} }${\displaystyle x=m+n\mathrm {i} } insgesamt ${\displaystyle {\frac {a+\mathrm {i} b}{c}}=y={\frac {x^{2}}{|x|}}={\frac {m^{2}-n^{2}+2mn,円\mathrm {i} }{m^{2}+n^{2}}}}${\displaystyle {\frac {a+\mathrm {i} b}{c}}=y={\frac {x^{2}}{|x|}}={\frac {m^{2}-n^{2}+2mn,円\mathrm {i} }{m^{2}+n^{2}}}} gilt, woraus die Behauptung folgt, denn diese ist eine Aussage über die homogenen Koordinaten ${\displaystyle (a:b:c)}${\displaystyle (a:b:c)} und ihre homogene Parametrisierung durch die in den Variablen ${\displaystyle m,n}${\displaystyle m,n} homogenen Polynomfunktionen vom Grad ${\displaystyle 2}${\displaystyle 2}. Dass sich alle primitiven pythagoreischen Tripel durch ${\displaystyle (m^{2}-n^{2},2mn,m^{2}+n^{2})}${\displaystyle (m^{2}-n^{2},2mn,m^{2}+n^{2})} darstellen lassen, folgt mit derselben elementaren Überlegung wie oben.

Aus der Antike stammen nach Proklos die Formeln von Pythagoras und Plato.

Pythagoras gibt die Seitenlängen

${\displaystyle a=k,\ b={\frac {k^{2}-1}{2}},\ c={\frac {k^{2}+1}{2}}}${\displaystyle a=k,\ b={\frac {k^{2}-1}{2}},\ c={\frac {k^{2}+1}{2}}}

für ungerades ${\displaystyle k\geq 3}${\displaystyle k\geq 3} an. Plato gibt die Seitenlängen

${\displaystyle a=l,\ b={\left({\frac {l}{2}}\right)}^{\!2}\!\!-1,\ c={\left({\frac {l}{2}}\right)}^{\!2}\!\!+1}${\displaystyle a=l,\ b={\left({\frac {l}{2}}\right)}^{\!2}\!\!-1,\ c={\left({\frac {l}{2}}\right)}^{\!2}\!\!+1}

für gerade ${\displaystyle l\geq 4}${\displaystyle l\geq 4} an.

Setzt man ${\displaystyle k=2n+1}${\displaystyle k=2n+1} mit ${\displaystyle 1\leq n\in \mathbb {N} }${\displaystyle 1\leq n\in \mathbb {N} }, ergibt die Formel von Pythagoras

${\displaystyle (2n+1,\ 2n^{2}+2n,\ 2n^{2}+2n+1)}${\displaystyle (2n+1,\ 2n^{2}+2n,\ 2n^{2}+2n+1)}.

Die Formel für Plato ergibt für ${\displaystyle l=2n}${\displaystyle l=2n} mit ${\displaystyle 2\leq n\in \mathbb {N} }${\displaystyle 2\leq n\in \mathbb {N} }

${\displaystyle (2n,\ n^{2}-1,\ n^{2}+1)}${\displaystyle (2n,\ n^{2}-1,\ n^{2}+1)}.

Viele weitere Formeln findet man unter Formeln zur Erzeugung pythagoreischer Tripel.

Primitive pythagoreischen Tripel ${\displaystyle (a,\ b,\ c)}${\displaystyle (a,\ b,\ c)} sind solche, für die ${\displaystyle a,b}${\displaystyle a,b} und ${\displaystyle c}${\displaystyle c} keinen gemeinsamen Teiler außer 1 haben (diese drei Zahlen sind dann auch paarweise teilerfremd).

• Von den Zahlen ${\displaystyle a}${\displaystyle a} und ${\displaystyle b}${\displaystyle b} ist jeweils eine ungerade und die andere durch 4 teilbar, die größere Zahl ${\displaystyle c}${\displaystyle c} ist jeweils ungerade.
• Für jeden Primfaktor ${\displaystyle p}${\displaystyle p} von ${\displaystyle |b-a|}${\displaystyle |b-a|} gilt: ${\displaystyle \quad p\equiv \pm 1{\pmod {8}}}${\displaystyle \quad p\equiv \pm 1{\pmod {8}}}.^[18]
• Für jeden Primfaktor ${\displaystyle p}${\displaystyle p} des Quadrats der Kathetenhalbierenden ${\displaystyle a^{2}+({\tfrac {b}{2}})^{2}}${\displaystyle a^{2}+({\tfrac {b}{2}})^{2}} gilt: ${\displaystyle \quad p\equiv 1{\pmod {12}}}${\displaystyle \quad p\equiv 1{\pmod {12}}}.^[19]
• Das Produkt ${\displaystyle a\!\cdot \!b\!\cdot \!c}${\displaystyle a\!\cdot \!b\!\cdot \!c} aller drei Zahlen ist immer durch 60 teilbar (gilt natürlich auch für nicht primitive Tripel).

Nach den Euklidischen Regeln erhält man als primitive pythagoreische Tripel zum Beispiel (aufsteigend geordnet nach ${\displaystyle m+n}${\displaystyle m+n} und bei Gleichheit dann nach der kleineren Zahl ${\displaystyle n}${\displaystyle n}):

Die primitiven pythagoreischen Tripel mit ${\displaystyle c<300}${\displaystyle c<300} (aufsteigend geordnet nach der größten der drei Zahlen und bei Gleichheit dann nach der kleinsten) sind:

(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) (16, 63, 65) (33, 56, 65) (48, 55, 73)

(13, 84, 85) (36, 77, 85) (39, 80, 89) (65, 72, 97)

(20, 99, 101) (60, 91, 109) (15, 112, 113) (44, 117, 125)

(88, 105, 137) (17, 144, 145) (24, 143, 145) (51, 140, 149)

(85, 132, 157) (119, 120, 169) (52, 165, 173) (19, 180, 181)

(57, 176, 185) (104, 153, 185) (95, 168, 193) (28, 195, 197)

(84, 187, 205) (133, 156, 205) (21, 220, 221) (140, 171, 221)

(60, 221, 229) (105, 208, 233) (120, 209, 241) (32, 255, 257)

(23, 264, 265) (96, 247, 265) (69, 260, 269) (115, 252, 277)

(160, 231, 281) (161, 240, 289) (68, 285, 293)

Zwei Folgen von pythagoreischen Tripeln sind noch bemerkenswert:

• ${\displaystyle m=k+1}${\displaystyle m=k+1} und ${\displaystyle n=k\quad (1\leq k\in \mathbb {N} )}${\displaystyle n=k\quad (1\leq k\in \mathbb {N} )}^[1] ergibt mit ${\displaystyle (m^{2}-n^{2},\ 2\;\!mn,\ m^{2}+n^{2})}${\displaystyle (m^{2}-n^{2},\ 2\;\!mn,\ m^{2}+n^{2})}

${\displaystyle (3,4,5),\;(5,12,13),\;(7,24,25),\;(9,40,41),\;(11,60,61),\;(13,84,85),\;\dotsc ,\;(2k+1,\ 2k^{2}+2k,\ 2k^{2}+2k+1),\ \dotsc }${\displaystyle (3,4,5),\;(5,12,13),\;(7,24,25),\;(9,40,41),\;(11,60,61),\;(13,84,85),\;\dotsc ,\;(2k+1,\ 2k^{2}+2k,\ 2k^{2}+2k+1),\ \dotsc }^[20]

für jede Zahl ${\displaystyle k}${\displaystyle k} ein Tripel, das die ungerade Zahl ${\displaystyle 2k+1}${\displaystyle 2k+1} (als kleinste Zahl) enthält und bei dem sich die beiden anderen Zahlen um genau ${\displaystyle 1}${\displaystyle 1} unterscheiden.

Der Halbumfang eines rechtwinkeligen Dreiecks mit diesen Seitenlängen beträgt ${\displaystyle s=2n^{2}+3n+1}${\displaystyle s=2n^{2}+3n+1}.

• ${\displaystyle m=2k\quad (1\leq k\in \mathbb {N} )}${\displaystyle m=2k\quad (1\leq k\in \mathbb {N} )}^[1] und ${\displaystyle n=1}${\displaystyle n=1} ergibt mit ${\displaystyle (m^{2}-n^{2},\ 2\;\!mn,\ m^{2}+n^{2})}${\displaystyle (m^{2}-n^{2},\ 2\;\!mn,\ m^{2}+n^{2})}

${\displaystyle (3,4,5),\;(15,8,17),\;(35,12,37),\;(63,16,65),\;(99,20,101),\;(143,24,145),\;\dotsc ,(4k^{2}-1,\ 4k,\ 4k^{2}+1),\ \dotsc }${\displaystyle (3,4,5),\;(15,8,17),\;(35,12,37),\;(63,16,65),\;(99,20,101),\;(143,24,145),\;\dotsc ,(4k^{2}-1,\ 4k,\ 4k^{2}+1),\ \dotsc }

für die durch 4 teilbare Zahl ${\displaystyle 4k}${\displaystyle 4k} ein Tripel, das ${\displaystyle 4k}${\displaystyle 4k} (als kleinste Zahl, außer für ${\displaystyle k=1}${\displaystyle k=1}, dort ist es die mittlere Zahl) enthält und bei dem sich die beiden anderen Zahlen um genau ${\displaystyle 2}${\displaystyle 2} unterscheiden.

Der Halbumfang eines rechtwinkeligen Dreiecks mit diesen Seitenlängen beträgt ${\displaystyle s=4n^{2}+2n}${\displaystyle s=4n^{2}+2n}.

Auch in dem noch fehlenden Fall ${\displaystyle 2\cdot (2n+1)}${\displaystyle 2\cdot (2n+1)} des Doppelten einer ungeraden Zahl findet man leicht immer ein (natürlich nicht primitives) pythagoreisches Tripel, indem man die Lösungen der ersten Folge einfach zu ${\displaystyle (4n+2,4n^{2}+4n,4n^{2}+4n+2)}${\displaystyle (4n+2,4n^{2}+4n,4n^{2}+4n+2)} verdoppelt. Somit kann man zu jeder natürlichen Zahl ${\displaystyle x>2}${\displaystyle x>2} ein Zahlenpaar ${\displaystyle (b,c)}${\displaystyle (b,c)} finden, mit dem sich ${\displaystyle x}${\displaystyle x} zu einem pythagoreischen Tripel ${\displaystyle (x,\ y,\ z)}${\displaystyle (x,\ y,\ z)} ergänzen lässt – bei ungeradem ${\displaystyle a}${\displaystyle a} mit der Differenz 1, bei geradem ${\displaystyle a}${\displaystyle a} mit Differenz 2:

Mit * sind nichtprimitive Tripel markiert. Diese Fälle für ${\displaystyle a=4n+2}${\displaystyle a=4n+2} sind redundant, da sie auch durch Verdoppelung von ${\displaystyle a=2n+1}${\displaystyle a=2n+1} entstehen.

Die babylonischen Multiplikationsformel

${\displaystyle a=kl}${\displaystyle a=kl}

${\displaystyle b={\frac {k^{2}-l^{2}}{2}}}${\displaystyle b={\frac {k^{2}-l^{2}}{2}}}

${\displaystyle c={\frac {k^{2}+l^{2}}{2}}}${\displaystyle c={\frac {k^{2}+l^{2}}{2}}}

liefern für teilerfremde ungerade ${\displaystyle k,l\in \mathbb {N} }${\displaystyle k,l\in \mathbb {N} }^[1] mit ${\displaystyle k>l}${\displaystyle k>l} ein primitives pythagoreisches Tripel.^[21]

Primitive pythagoreische Tripel ${\displaystyle ((1+2i)(1+2j),2(i-j)(1+i+j),(i-j)^{2}+(1+i+j)^{2})}${\displaystyle ((1+2i)(1+2j),2(i-j)(1+i+j),(i-j)^{2}+(1+i+j)^{2})} mit ${\displaystyle i,j\in \mathbb {N} _{0},i>j,ggT(i-j,1+i+j)=1}${\displaystyle i,j\in \mathbb {N} _{0},i>j,ggT(i-j,1+i+j)=1} haben (zur Hypotenuse) stets eine unkürzbare Höhe

${\displaystyle h={\frac {2(1+2i)(1+2j)}{{\frac {i-j}{1+i+j}}+{\frac {1+i+j}{i-j}}}}}${\displaystyle h={\frac {2(1+2i)(1+2j)}{{\frac {i-j}{1+i+j}}+{\frac {1+i+j}{i-j}}}}}.

Pythagoreische Tripel können als Punkte mit ganzzahligen Koordinaten auf einem Kreis mit ganzzahligem Radius aufgefasst werden. Diese Idee lässt sich auf beliebig viele Dimensionen verallgemeinern derart, dass ein pythagoreisches ${\displaystyle (N+1)}${\displaystyle (N+1)}-Tupel einen Punkt mit ganzzahligen Koordinaten auf einer ${\displaystyle N}${\displaystyle N}-dimensionalen Hypersphäre mit ganzzahligem Radius darstellt.

Alle diese ${\displaystyle (N+1)}${\displaystyle (N+1)}-Tupel sind Lösungen der diophantischen Gleichung ${\displaystyle \textstyle \sum _{k=1}^{N}x_{k}^{2}=r^{2}}${\displaystyle \textstyle \sum _{k=1}^{N}x_{k}^{2}=r^{2}}, wobei ${\displaystyle r}${\displaystyle r} den Radius bezeichnet. Für jedes ${\displaystyle N>1}${\displaystyle N>1} sind für alle ${\displaystyle N}${\displaystyle N}-Tupel ganzer Zahlen unendlich viele Lösungen dieser Gleichung durch die folgende Identität gegeben:

${\displaystyle \forall (z_{1},z_{2},\dotsc ,z_{N})\in \mathbb {Z} ^{N}\exists (x_{1},x_{2},\dotsc ,x_{N})\in \mathbb {Z} ^{N}\colon \sum _{k=1}^{N}x_{k}^{2}=r^{2},r\in \mathbb {N} }${\displaystyle \forall (z_{1},z_{2},\dotsc ,z_{N})\in \mathbb {Z} ^{N}\exists (x_{1},x_{2},\dotsc ,x_{N})\in \mathbb {Z} ^{N}\colon \sum _{k=1}^{N}x_{k}^{2}=r^{2},r\in \mathbb {N} }

mit ${\displaystyle x_{N}=z_{N}^{2}-\sum _{k=1}^{N-1}z_{k}^{2}}${\displaystyle x_{N}=z_{N}^{2}-\sum _{k=1}^{N-1}z_{k}^{2}} sowie ${\displaystyle x_{k}=2z_{N}z_{k}}${\displaystyle x_{k}=2z_{N}z_{k}} für alle ${\displaystyle k<N}${\displaystyle k<N}.

Damit ergibt sich ${\displaystyle r}${\displaystyle r} als Summe von Quadraten ganzer Zahlen und somit als natürliche Zahl zu ${\displaystyle \textstyle r=\sum _{k=1}^{N}z_{k}^{2}}${\displaystyle \textstyle r=\sum _{k=1}^{N}z_{k}^{2}}. Der Beweis erfolgt direkt durch Einsetzen und Vereinfachen:

${\displaystyle {\begin{aligned}\sum _{k=1}^{N}x_{k}^{2}&=\sum _{k=1}^{N-1}(2z_{N}z_{k})^{2}+\left(z_{N}^{2}-\sum _{k=1}^{N-1}z_{k}^{2}\right)^{2}\\&=\sum _{k=1}^{N-1}(2z_{N}z_{k})^{2}+\sum _{k=1}^{N}z_{k}^{4}+\sum _{k\neq j}^{N-1}\sum _{j=1}^{N-1}z_{k}^{2}z_{j}^{2}-2\sum _{j=1}^{N-1}z_{N}^{2}z_{j}^{2}\\&=\sum _{k=1}^{N}z_{k}^{4}+\sum _{k\neq j}^{N-1}\sum _{j=1}^{N-1}z_{k}^{2}z_{j}^{2}+2\sum _{j=1}^{N-1}z_{N}^{2}z_{j}^{2}\\&=\left(z_{N}^{2}+\sum _{k=1}^{N-1}z_{k}^{2}\right)^{2}\\&=\left(\sum _{k=1}^{N}z_{k}^{2}\right)^{2}\quad \square \\\end{aligned}}}${\displaystyle {\begin{aligned}\sum _{k=1}^{N}x_{k}^{2}&=\sum _{k=1}^{N-1}(2z_{N}z_{k})^{2}+\left(z_{N}^{2}-\sum _{k=1}^{N-1}z_{k}^{2}\right)^{2}\\&=\sum _{k=1}^{N-1}(2z_{N}z_{k})^{2}+\sum _{k=1}^{N}z_{k}^{4}+\sum _{k\neq j}^{N-1}\sum _{j=1}^{N-1}z_{k}^{2}z_{j}^{2}-2\sum _{j=1}^{N-1}z_{N}^{2}z_{j}^{2}\\&=\sum _{k=1}^{N}z_{k}^{4}+\sum _{k\neq j}^{N-1}\sum _{j=1}^{N-1}z_{k}^{2}z_{j}^{2}+2\sum _{j=1}^{N-1}z_{N}^{2}z_{j}^{2}\\&=\left(z_{N}^{2}+\sum _{k=1}^{N-1}z_{k}^{2}\right)^{2}\\&=\left(\sum _{k=1}^{N}z_{k}^{2}\right)^{2}\quad \square \\\end{aligned}}}

Dies stimmt offensichtlich mit der rechten Seite der Gleichung überein, womit die Gültigkeit der Identität für alle ${\displaystyle (N+1)}${\displaystyle (N+1)}-Tupel ganzer Zahlen gezeigt ist.

Eine bequemere Notation des Sachverhaltes und eine Formulierung als Satz ergibt sich durch Betrachtung der folgenden Abbildung:

Seien ${\displaystyle z\in \mathbb {Z} ^{N}}${\displaystyle z\in \mathbb {Z} ^{N}} sowie ${\displaystyle Q\in \mathbb {Z} ^{N\times N}}${\displaystyle Q\in \mathbb {Z} ^{N\times N}} mit ${\displaystyle Q(z):=2z_{N}I_{N}-e_{N}\cdot z^{T}}${\displaystyle Q(z):=2z_{N}I_{N}-e_{N}\cdot z^{T}}, wobei ${\displaystyle z_{N}}${\displaystyle z_{N}} die ${\displaystyle N}${\displaystyle N}-te Komponente von ${\displaystyle z}${\displaystyle z}, ${\displaystyle I_{N}}${\displaystyle I_{N}} die ${\displaystyle N\times N}${\displaystyle N\times N}-Einheitsmatrix und ${\displaystyle e_{N}\cdot z^{T}}${\displaystyle e_{N}\cdot z^{T}} das dyadische Produkt des ${\displaystyle N}${\displaystyle N}-ten kanonischen Einheitsvektors mit dem Vektor ${\displaystyle z}${\displaystyle z} bezeichnen. Dann gilt:

${\displaystyle \forall z\in \mathbb {Z} ^{N}\colon Q(z)\cdot z\in \{q\in \mathbb {Z^{N}} \mid \|q\|\in \mathbb {N} \}}${\displaystyle \forall z\in \mathbb {Z} ^{N}\colon Q(z)\cdot z\in \{q\in \mathbb {Z^{N}} \mid \|q\|\in \mathbb {N} \}}

Anschaulich handelt es sich hierbei um eine Abbildung, die jeden Gitterpunkt eines kartesischen Gitters auf einen weiteren solchen Gitterpunkt – mit der Eigenschaft, ganzzahligen euklidischen Abstand zum Ursprung zu haben – abbildet.

Der Beweis erfolgt auch hier durch einfaches Ausrechnen:

${\displaystyle {\begin{aligned}Q(z)\cdot z&=\left(2z_{N}I_{N}-e_{N}\cdot z^{T}\right)\cdot z\\&=\left(\left({\begin{smallmatrix}2z_{N}&0&0&\ldots &0\0円&2z_{N}&0&\ldots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \0円&0&0&\ldots &2z_{N}\end{smallmatrix}}\right)-\left({\begin{smallmatrix}0&0&0&\ldots &0\0円&0&0&\ldots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \\z_{1}&z_{2}&z_{3}&\ldots &z_{N}\end{smallmatrix}}\right)\right)\cdot z\\&=\left({\begin{smallmatrix}2z_{N}&0&0&\ldots &0\0円&2z_{N}&0&\ldots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \\-z_{1}&-z_{2}&-z_{3}&\ldots &z_{N}\end{smallmatrix}}\right)\cdot z\\&=\left(2z_{N}z_{1},2z_{N}z_{2},\dotsc ,2z_{N}z_{N-1},z_{N}^{2}-z_{1}^{2}-z_{2}^{2}-\dotsb -z_{N-1}^{2}\right)\quad \square \end{aligned}}}${\displaystyle {\begin{aligned}Q(z)\cdot z&=\left(2z_{N}I_{N}-e_{N}\cdot z^{T}\right)\cdot z\\&=\left(\left({\begin{smallmatrix}2z_{N}&0&0&\ldots &0\0円&2z_{N}&0&\ldots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \0円&0&0&\ldots &2z_{N}\end{smallmatrix}}\right)-\left({\begin{smallmatrix}0&0&0&\ldots &0\0円&0&0&\ldots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \\z_{1}&z_{2}&z_{3}&\ldots &z_{N}\end{smallmatrix}}\right)\right)\cdot z\\&=\left({\begin{smallmatrix}2z_{N}&0&0&\ldots &0\0円&2z_{N}&0&\ldots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \\-z_{1}&-z_{2}&-z_{3}&\ldots &z_{N}\end{smallmatrix}}\right)\cdot z\\&=\left(2z_{N}z_{1},2z_{N}z_{2},\dotsc ,2z_{N}z_{N-1},z_{N}^{2}-z_{1}^{2}-z_{2}^{2}-\dotsb -z_{N-1}^{2}\right)\quad \square \end{aligned}}}

Das entspricht gerade der zuvor bewiesenen Identität.

Die Anzahl der Lösungen der diophantischen Gleichung ${\displaystyle \textstyle \sum _{k=1}^{N}x_{k}^{2}=r^{2}}${\displaystyle \textstyle \sum _{k=1}^{N}x_{k}^{2}=r^{2}} hängt sowohl von ${\displaystyle N}${\displaystyle N} als auch von ${\displaystyle r}${\displaystyle r} ab. Für ${\displaystyle N=3}${\displaystyle N=3} und ${\displaystyle N=4}${\displaystyle N=4} kann die Anzahl der Lösungen für ${\displaystyle r\leq 10}${\displaystyle r\leq 10} der folgenden Tabelle entnommen werden. Dabei bezeichnet ${\displaystyle R_{N}(r)}${\displaystyle R_{N}(r)} die Anzahl der Lösungen in ${\displaystyle N}${\displaystyle N} Dimensionen für den Abstand ${\displaystyle r}${\displaystyle r} und ${\displaystyle Z_{N}(r)}${\displaystyle Z_{N}(r)} die Gesamtanzahl aller Lösungen mit Abstand ${\displaystyle \leq r}${\displaystyle \leq r}, es gilt also: ${\displaystyle \textstyle Z_{N}(r)=\sum _{k=1}^{r}R_{N}(k)}${\displaystyle \textstyle Z_{N}(r)=\sum _{k=1}^{r}R_{N}(k)}

Die Einträge in der Folge ${\displaystyle R_{N}(r)}${\displaystyle R_{N}(r)} sind durch ${\displaystyle 2N}${\displaystyle 2N} teilbar. Danny Rorabaugh hat dies am Beispiel ${\displaystyle R_{3}(r)}${\displaystyle R_{3}(r)} gezeigt.^[22] Der Beweis lässt sich problemlos auf alle ${\displaystyle N}${\displaystyle N} verallgemeinern.

Gilt ${\displaystyle R_{N}(r)=2N}${\displaystyle R_{N}(r)=2N}, so besitzt die diophantische Gleichung ${\displaystyle \textstyle \sum _{k=1}^{N}x_{k}^{2}=r^{2}}${\displaystyle \textstyle \sum _{k=1}^{N}x_{k}^{2}=r^{2}} nur triviale Lösungen der Form ${\displaystyle \textstyle \sum _{k=1}^{N-1}0^{2}+r^{2}=r^{2}}${\displaystyle \textstyle \sum _{k=1}^{N-1}0^{2}+r^{2}=r^{2}}. Interessanterweise muss ${\displaystyle N\geq 4}${\displaystyle N\geq 4} gelten, damit für alle ${\displaystyle r>1}${\displaystyle r>1} eine nichttriviale Lösung existiert. Dies folgt unmittelbar aus dem Vier-Quadrate-Satz von Lagrange, wonach jede natürliche Zahl (und damit auch jede Quadratzahl) als Summe von höchstens vier Quadratzahlen darstellbar ist, und der Tatsache, dass die einzige Darstellung ${\displaystyle 2^{2}}${\displaystyle 2^{2}} als Summe von Quadratzahlen durch ${\displaystyle 2^{2}=1^{2}+1^{2}+1^{2}+1^{2}}${\displaystyle 2^{2}=1^{2}+1^{2}+1^{2}+1^{2}} gegeben ist.

Ein Zwillingstripel ist ein spezielles Pythagoreisches Tripel ${\displaystyle (x,x+1,z)}${\displaystyle (x,x+1,z)}, bei dem sich die Katheten um 1 unterscheiden. ${\displaystyle (3,4,5)}${\displaystyle (3,4,5)} ist das kleinste Zwillingstripel, weitere sind ${\displaystyle (20,21,29),(119,120,169)}${\displaystyle (20,21,29),(119,120,169)} und die mit 696, 4059, 23660, 137903 oder 803760 beginnenden Tripel. Schon Albert Girard waren im 17. Jahrhundert vierzehn solcher Tripel bekannt, das größte mit ${\displaystyle x=31509019100}${\displaystyle x=31509019100}.

Es gibt unendlich viele solcher Tripel, wie Pierre de Fermat zeigte, denn mit ${\displaystyle (x,x+1,z)}${\displaystyle (x,x+1,z)} ist auch ${\displaystyle (X,X+1,Z){\text{ mit }}X=2z+3x+1}${\displaystyle (X,X+1,Z){\text{ mit }}X=2z+3x+1} ein solches Tripel.^[23] Eine weitere Formel ergibt sich aus der Standardform ${\displaystyle (m^{2}-n^{2},2mn,m^{2}+n^{2})}${\displaystyle (m^{2}-n^{2},2mn,m^{2}+n^{2})} über ${\displaystyle m^{2}-n^{2}=2mn\pm 1}${\displaystyle m^{2}-n^{2}=2mn\pm 1} und einsetzen von ${\displaystyle m=x+y}${\displaystyle m=x+y}, ${\displaystyle n=y}${\displaystyle n=y} als Lösung der Pell-Gleichung ${\displaystyle x^{2}-2y^{2}=1}${\displaystyle x^{2}-2y^{2}=1}.^{[24] [25]} Sind ${\displaystyle (m,n)}${\displaystyle (m,n)} die Generatoren eines solchen Tripels in der oben angegebenen Standardform, so sind ${\displaystyle (2m+n,m)}${\displaystyle (2m+n,m)} Generatoren eines weiteren Tripels. Aufeinanderfolgende Werte ${\displaystyle m_{r},n_{r}}${\displaystyle m_{r},n_{r}} erhält man über ${\displaystyle n_{r}=2n_{r-1}+n_{r-2}}${\displaystyle n_{r}=2n_{r-1}+n_{r-2}} und es gilt ${\displaystyle m_{r}=n_{r+1}}${\displaystyle m_{r}=n_{r+1}}.^[26] Werden die Kathetenlängen ${\displaystyle x_{r}}${\displaystyle x_{r}} der Lösungen nach Größe geordnet, so ist ${\displaystyle x_{r}=6x_{r-1}-x_{r-2}+2}${\displaystyle x_{r}=6x_{r-1}-x_{r-2}+2} und ${\displaystyle z_{r}=6z_{r-1}+z_{r-2}}${\displaystyle z_{r}=6z_{r-1}+z_{r-2}}. Es gibt auch explizite Formeln für ${\displaystyle x_{r},z_{r}}${\displaystyle x_{r},z_{r}}.^[27]

Außerdem gibt es unendlich viele Zwillingstripel, bei denen sich eine Seite und die Hypotenuse um 1 unterscheidet, wie z. B. (3,4,5), (5,12,13), (7,24,25), (9,40,41), (11,60,61), (13,84,85) oder (15,112,113). Das Quadrat von a ist die Summe der Zwillinge des Tripels:
${\displaystyle {\begin{aligned}9&=4+5\25円&=12+13\81円&=40+41\169円&=84+85.\end{aligned}}}${\displaystyle {\begin{aligned}9&=4+5\25円&=12+13\81円&=40+41\169円&=84+85.\end{aligned}}}
Daher haben diese Zwillingstripel die Form ${\displaystyle \left(2n+1,{\frac {(2n+1)^{2}-1}{2}},{\frac {(2n+1)^{2}+1}{2}}\right)}${\displaystyle \left(2n+1,{\frac {(2n+1)^{2}-1}{2}},{\frac {(2n+1)^{2}+1}{2}}\right)}.

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.

Faltet man ein Quadrat gemäß der Abbildung, so entstehen drei paarweise zueinander ähnliche rechtwinklige Dreiecke, für deren Seitenlängen jeweils gilt:

kleinere Kathetenlänge : größere Kathetenlänge : Hypotenusenlänge = 3 : 4 : 5.

Durch diese Art des Faltens nach dem sogenannten Satz von Haga wird das kleinste pythagoreische Tripel geometrisch erzeugt.

Eine Verallgemeinerung der pythagoreischen Tripel erhält man, wenn man den Exponenten 2 durch eine natürliche Zahl ${\displaystyle n}${\displaystyle n} ersetzt. Man untersucht also die diophantische Gleichung

${\displaystyle a^{n}+b^{n}=c^{n}\qquad (2<n\in \mathbb {N} )}${\displaystyle a^{n}+b^{n}=c^{n}\qquad (2<n\in \mathbb {N} )}

und sucht nach Lösungen durch ganze Zahlen ${\displaystyle a,\ b,\ c}${\displaystyle a,\ b,\ c} unter Ausschluss der trivialen Lösungen, bei denen eine der drei Zahlen gleich Null ist, oder durch natürliche^[1] Zahlen.

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.

Fermat besaß einen Beweis für den Fall ${\displaystyle n=4}${\displaystyle n=4} und behandelte den eng verwandten Fall eines heronischen Dreiecks, dessen Flächeninhalt ein Quadrat ist (siehe Unendlicher Abstieg). Dieses Problem geht auch auf Diophant zurück.

Ein möglicher Algorithmus in der Programmiersprache Haskell könnte folgendermaßen aussehen. Er erstellt für eine natürliche Zahl ${\displaystyle n}${\displaystyle n} alle möglichen Tripel, deren Hypotenuse ${\displaystyle n}${\displaystyle n} nicht überschreitet:

pythTripelsn=[(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)&&gcdpq==1]

In Python ist List Comprehension ein elegantes Mittel, um pythagoreische Tripel zu bestimmen (Beispiel für alle Tripel mit c<100):

[(a, b, c) for a in range(1, 100) for b in range(a, 100) for c in range(b, 100) if a ** 2 + b ** 2 == c ** 2]

In der Science-Fiction-Geschichte Ein Experiment, 1913 anonym von Hans Dominik in Das Neue Universum erschienen, werden Folgen von Funkimpulsen, deren Anzahlen die pythagoreischen Tripel ${\displaystyle (3,4,5)}${\displaystyle (3,4,5)} und ${\displaystyle (5,12,13)}${\displaystyle (5,12,13)} bilden, zu einem Planeten gesendet in der Hoffnung, dort intelligente Außerirdische ansprechen zu können.

• Pythagoreisches Quadrupel

• Vertiefendes zu den Pythagoreischen Zahlentripeln und Beweise
• Eric W. Weisstein: Pythagorean Triple. In: MathWorld (englisch).

• 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. 
• Andreas Loos, Hans-Joachim Rein: Dreiecke mit ganzzahligen Seitenlängen und einem Innenwinkel von 60°, 90° oder 120°. In: Der mathematische und naturwissenschaftliche Unterricht (MNU). 37. Jahrg., 1984, Heft 5, S. 275–279.
• Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1365-6. 
• Noam David Elkies: Pythagorean triples and Hilbert’s Theorem 90. (1 S., harvard.edu [PDF; abgerufen am 20. November 2024]).  –
  • Siehe die Anmerkung auf seiner Homepage unter "One-page Papers" zur Beteiligung weitere Mathematiker (Franz Lemmermeyer, Olga Taussky und Takashi Ono).^[17]
  • Vergleiche auch DMV-Blog zu "120 Jahre Zahlbericht"

1. ↑ ^{a b c d e f} In diesem Artikel gilt ${\displaystyle 0\notin \mathbb {N} ,}${\displaystyle 0\notin \mathbb {N} ,} 0 ist also keine natürliche Zahl.
2. ↑ Georges Ifrah: The Universal History of Computing. From Prehistory to the Invention of the Computer. S. 151. 
3. ↑ Corinna Rossi: Mathematics and Architecture in Ancient Egypt. Cambridge UP 2003, S. 217. Sie zitiert Richard Parker: Demotic Mathematical Papyri. Brown University Press 1972, S. 3–4, 35–40.
4. ↑ Rossi, loc. cit., S. 219. Die Chephren-Pyramide mit einem Böschungswinkel von rund 53° käme demnach für die Verwendung von ${\displaystyle (3,\ 4,\ 5)}${\displaystyle (3,\ 4,\ 5)} in Betracht, die Rote Pyramide mit einem Böschungswinkel von rund 43° für ${\displaystyle (20,\ 21,\ 29)}${\displaystyle (20,\ 21,\ 29)}.
5. ↑ Helmuth Gericke: Mathematik in Antike, Orient und Abendland. Matrix-Verlag, Wiesbaden 2005, ISBN 3-937715-71-1, S. 68. 
6. ↑ Frédéric BEATRIX: Unlocking a new realm of Pythagorean triples. In: parabola. Band 59, Nr. 2, 2023 (researchgate.net [PDF]). 
7. ↑ David Joyce: Euclids Elements.
8. ↑ Dickson: History of the Theory of Numbers. Band 2, Carnegie Institution 1920, S. 166.
9. ↑ Harald Scheid: Zahlentheorie. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1365-6, S. 225. 
10. ↑ André Weil: Number theory. An approach through history from Hammurapi to Legendre. Birkhäuser 1984, S. 8. Als Alternative gibt er die Formel ${\displaystyle a^{2}=(b-c)(b+c)}${\displaystyle a^{2}=(b-c)(b+c)} an, wobei die Babylonier entsprechend ihrem Zahlensystem auf Basis 60 für ${\displaystyle a}${\displaystyle a} nur Produkte von 2, 3, 5 genommen hätten und ${\displaystyle b}${\displaystyle b} und ${\displaystyle c}${\displaystyle c} sich durch systematisches Ausprobieren ergäben.
11. ↑ B. Berggren: Pytagoreiska trianglar. Tidskrift för Elementär Matematik, Fysik och Kemi (in Swedish) 17 (1934), S. 129–139.
12. ↑ A. Hall: Genealogy of Pythagorean triads. Math. Gazette 54 (1970), S. 377–379.
13. ↑ R. C. Alperin: The Modular Tree of Pythagoras. (PDF) In: math.sjsu.edu. 2005, abgerufen am 4. Juni 2020. 
14. ↑ V. E. Firstov: A Special Matrix Transformation Semigroup of Primitive Pairs and the Genealogy of Pythagorean Triples. (PDF; 669 kB) In: mathnet.ru. 2008, abgerufen am 4. Mai 2020. 
15. ↑ H. Lee Price: The Pythagorean Tree: A New Species. (PDF; 298 kB) In: arxiv.org. September 2008, abgerufen am 29. Februar 2020. 
16. ↑ Frank Bernhart, H. Lee Price: Heron’s Formula, Descartes Circles, and Pythagorean Triangles. (PDF; 285 kB) In: arxiv.org. 1. Januar 2007, abgerufen am 29. Februar 2020. 
17. ↑ ^{a b} Noam D. Elkies: Pythagroean triples and Hilbert's Theorem 90, siehe Literatur. Beachte allerdings, dass Noam Elkies auf seiner Homepage (unter „One-page Papers") einen Dank an Franz Lemmermeyer richtet, der seinerseits auf Arbeiten Olga Taussky und Takashi Ono hingewiesen hat: "Thanks to F.Lemmermeyer for recognizing the Pythagorean case of this proof from the beginning of Olga Taussky's ‘Sums of Squares’, American Mathematical Monthly, Vol.77 (1970), 805-830. Lemmermeyer notes that Ono gives the same proof in his book ‘Variations on a Theme of Euler: Quadratic Forms, Elliptic Curves and Hopf Maps’ [Plenum Press 1994]. There's no reference to O.Taussky there either, so presumably Ono also discovered this independently."
18. ↑ OEIS:A058529.
19. ↑ register.austms.org.au
20. ↑ 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. 
21. ↑ Franz Lemmermeyer: Kreise und Quadrate modulo p. (PDF; 331 kB; S. 2.) In: researchgate.net. Abgerufen am 11. Oktober 2020. 
22. ↑ Folge A267651 in OEIS
23. ↑ Leonard E. Dickson, History of the Theory of Numbers, Band 2, S. 181f
24. ↑ Twin Pythagorean Triples, Wolfram
25. ↑ Vergleiche die OEIS Sequenzen 001652,046090,001653
26. ↑ Albert Beiler, Recreations in the theory of numbers, Dover 1966, S. 123
27. ↑ Albert Beiler, S. 125

• Zahlentheorie