# Pythagorees drietal

Een pythagorees drietal $(a,b,c)$ bestaat uit drie positieve gehele getallen $a,b,c$ waarvoor geldt $a^{2}+b^{2}=c^{2}$. De naam komt van de stelling van Pythagoras, aangezien dergelijke getallen kunnen optreden als de zijden van een rechthoekige driehoek met $c$ als lengte van de schuine zijde. De oppervlakte van een dergelijke rechthoekige driehoek is dan per definitie een congruent getal. Een pythagorees drietal $(a,b,c)$ wordt primitief genoemd als de grootste gemene deler van $a,b$ en $c$ gelijk aan 1 is.
Op kleitabletten uit de tijd van Hammurabi komen al pythagorese drietallen voor. Op het tablet Plimpton 322 bijvoorbeeld staan 15 drietallen, waaronder (56,90,106), (119,120,169) en zelfs (12709,13500,18541). Men kende ook in India zulke getallen. In de Baudhayana-Sulbasutra uit de 6e eeuw v.Chr. staan vijf drietallen. Het eenvoudigste pythagorees drietal (3,4,5) is bekend om zijn toepassing voor het bepalen van een rechte hoek. Daartoe gebruikte men een rondlopend touw met 12 knopen op gelijke afstanden.
Behalve het drietal (3,4,5) vormen ook veelvouden hiervan, zoals (6,8,10) en (9,12,15) pythagorese drietallen. Met $(a,b,c)$ is ook $(ka,kb,kc)$ voor ieder positieve gehele getal $k$ een pythagorees drietal. Er zijn dus oneindig veel pythagorese drietallen, maar er zijn ook oneindig veel primitieve drietallen. In de onderstaande tabel staan de eerste drietallen. De drietallen met een grijze achtergrond zijn niet primitief.
Een heron-driehoek is een driehoek waarvan de lengten van de drie zijden rationaal zijn. Alle driehoeken met als zijden een pythagorees drietal zijn heron-driehoeken.
    a 35678991011121213 b 4128241512402460163584 c 51310251715412661203785

## Opsomming

De Zweedse wiskundige Berggren toonde in 1934 aan dat alle primitieve pythagorese drietallen van het eerste drietal (3, 4, 5) kunnen worden afgeleid. Dat gaat met behulp van drie lineaire transformaties, die door de volgende matrices worden voorgesteld:
    ${\begin{array}{lcr}T_{1}={\begin{bmatrix}1&-2&2\\2&-1&2\\2&-2&3\end{bmatrix}}&T_{2}={\begin{bmatrix}1&2&2\\2&1&2\\2&2&3\end{bmatrix}}&T_{3}={\begin{bmatrix}-1&2&2\\-2&1&2\\-2&2&3\end{bmatrix}}\end{array}}$
Van elk primitief pythagorees drietal $(a,b,c)$, opgevat als kolomvector, worden door deze transformaties drie nieuwe primitieve pythagorese drietallen afgeleid. Er ontstaan geen dubbele drietallen en beginnend bij (3,4,5) worden alle primitieve pythagorese drietallen gevormd. De drietallen die op (3,4,5) volgen zijn:
    ${\begin{array}{lcr}T1\ {\begin{bmatrix}3\\4\\5\end{bmatrix}}\ =\ {\begin{bmatrix}1&-2&2\\2&-1&2\\2&-2&3\end{bmatrix}}{\begin{bmatrix}3\\4\\5\end{bmatrix}}={\begin{bmatrix}5\\12\\13\end{bmatrix}},&T2\ {\begin{bmatrix}3\\4\\5\end{bmatrix}}\ =\ {\begin{bmatrix}1&2&2\\2&1&2\\2&2&3\end{bmatrix}}{\begin{bmatrix}3\\4\\5\end{bmatrix}}={\begin{bmatrix}21\\20\\29\end{bmatrix}}\ \end{array}}\$ en $\ T3\ {\begin{bmatrix}3\\4\\5\end{bmatrix}}\ =\ {\begin{bmatrix}-1&2&2\\-2&1&2\\-2&2&3\end{bmatrix}}{\begin{bmatrix}3\\4\\5\end{bmatrix}}={\begin{bmatrix}15\\8\\17\end{bmatrix}}$

### Primitieve drietallen

Voor alle positieve gehele getallen $m$ en $n$ met $m>n$ geldt dat het drietal $(a,b,c)$, waarin
    $a=m^{2}-n^{2}$
    $b=2mn$
    $c=m^{2}+n^{2}$
een pythagorees drietal is, want:
    $a^{2}+b^{2}=(m^{2}-n^{2})^{2}+(2mn)^{2}=m^{4}-2m^{2}n^{2}+n^{4}+4m^{2}n^{2}=(m^{2}+n^{2})^{2}=c^{2}$
Een dergelijk drietal is dan en slechts dan primitief, als $m$ en $n$ relatief priem zijn en een ervan een even getal is. Zijn zowel $m$ als $n$ oneven, dan zijn $a,b$ en $c$ even en is het drietal niet primitief. Niet alle drietallen kunnen op deze wijze gegenereerd worden, maar wel alle primitieve drietallen. Dit laat tevens zien dat er oneindig veel primitieve pythagorese drietallen bestaan.

## Eigenschappen van primitieve pythagorese drietallen

Tenzij anders vermeld gelden de onderstaande eigenschappen voor primitieve pythagorese drietallen. Zoals uit de eerste eigenschap blijkt, is er van de getallen $a$ en $b$ één even en één oneven. Als dat van belang is zal het even getal worden aangegeven met $e$ en het oneven met $o$.
* een van de getallen $a$ en $b$ is oneven en het andere is even. Het getal $c$ is dus oneven.
* De som $a+b+c$ is even, en dit geldt ook voor niet-primitieve drietallen.
* Ten hoogste een van $a,b$ en $c$ is een kwadraat.
* $(c-a)(c-b)/2$ is steeds een kwadraatgetal. Dit geldt ook voor niet-primitieve drietallen. Deze eigenschap is nuttig om na te gaan of een bepaald drietal pythagorees is. Het is wel een noodzakelijke voorwaarde, maar niet voldoende. Zo heeft het drietal (6, 12, 18) deze eigenschap, maar is niet pythagorees.
* $c-e$ en $(c-o)/2$ zijn beide kwadraatgetallen. Ook dit is een noodzakelijke, maar niet voldoende voorwaarde. Een tegenvoorbeeld is het drietal (1,8,9).
* Er zijn oneindig veel drietallen waarvan $c$ een kwadraatgetal is.
* Er zijn oneindig veel drietallen waarvan $a$ of $b$ een kwadraatgetal is.
* $c+e$ is het kwadraat van een oneven getal.
* $ab/2$ is geen kwadraatgetal en ook niet het dubbele van een kwadraatgetal.
* Precies een van de getallen $a$ en $b$ kan door 3 worden gedeeld.
* Precies een van de getallen $a$ en $b$ is deelbaar door 4.
* Precies een van de getallen $a,b$ en $c$ is deelbaar door 5.
* Precies een van de getallen $a,b,a+b$ en $b-a$ is deelbaar door 7.
* Precies een van de getallen $a+c,b+c,c-a$ en $c-b$ is deelbaar door 8.
* Precies een van de getallen $a+c,b+c,c-a$ en $c-b$ is deelbaar door 9.
* Precies een van de getallen $e,o,2o+e,|2o-e|,2e+o$ en $2e-o$ is deelbaar door 11.
* Precies een van de getallen $a,b,c,2c+a,2c+b,2c-a$ en $2c-b$ is deelbaar door 13.
* Het grootste getal dat voor elk pythagorees drietal deler is van $abc$ is 60.
* Elke priemfactor van $c$ is van de vorm $4n+1$.
* Ieder gehele getal groter dan 2 dat niet van de vorm $4n+2$ is, maakt deel uit van een primitief drietal.
* Ieder gehele getal groter dan 2 maakt deel uit van een primitief drietal of van een niet primitief drietal.
* Het getal $e$ is deelbaar door 4.
* Er zijn oneindig veel drietallen waarvoor $c-e=1$
* Bij ieder oneven getal $j$ zijn er oneindig veel drietallen waarvoor $c-e=j^{2}$.
* Er zijn oneindig veel drietallen waarvoor $c-o=2$. Er is geen drietal waarvoor $c-e=2$, omdat $c$ oneven is en $e$ even.
* Bij ieder oneven positief getal $k$ zijn er oneindig veel drietallen waarvoor $c-o=2k^{2}$.
* Er zijn oneindig veel drietallen waarvoor $o-e=1$. Voorbeeld: $20^{2}+21^{2}=29^{2}$.
* Bij elke twee oneven positieve gehele getallen $j$ en $k$ is er precies één drietal met $a+j^{2}=c=b+2^{k}$.
* Voor elk drietal is $c-e=j^{2}$ met $j$ oneven en $c-o=2k^{2}$ met $k$ geheel.
* Bij elk natuurlijk getal $n$ zijn er $n$ drietallen met gelijke $ab/2$, maar verschillende $c$.
* Bij elk natuurlijk getal $n$ zijn er ten minste $n$ drietallen met dezelfde $c$.
* Bij elk natuurlijk getal $n$ zijn er ten minste $n$ drietallen met dezelfde $a$.
* Voor ieder drietal zijn van de bijbehorende driehoek de straal van de ingeschreven cirkel en de stralen van de aangeschreven cirkels gehele getallen. De straal van de ingeschreven cirkel is $r=n(m-n)$, en voor de rechthoekszijden $m^{2}-n^{2}$ en $2mn$, en de hypotenusa $m^{2}+n^{2}$ zijn de stralen van de aangeschreven cirkels $m(m-n),n(m+n)$ en $m(m+n)$.
* Als het getal $ab/2$ van een drietal gedeeld wordt door de stralen van de ingeschreven cirkel en de stralen van de aangeschreven cirkels, ontstaan vier natuurlijke getallen $w\geq x\geq y\geq z$ waarvoor geldt dat $w,x,y$ en $-z$ voldoen aan de cirkelvergelijking van Descartes.
* Er is geen drietal waarvan $c$ en $a$ of $c$ en $b$ deel uitmaken van en ander pythagorees drietal.
* De primitieve pythagorese drietallen vormen op een natuurlijke manier een ternaire boom.
* Er zijn oneindig veel drietallen waarvan zowel $c$ als $a+b$ een kwadraat is. Het 'kleinste' van zulke drietallen is $a=4.565.486.027.761$, $b=1.061.652.293.520$ en $c=4.687.298.610.289$. Er geldt: $a+b=2.372.159^{2}$ en $c=2.165.017^{2}$. Dit drietal wordt voortgebracht door de formule van Euclides met parameters $m=2.150.905$ en $n=246.792$.
* Voor ieder drietal is de verhouding van $ab/2$ en het kwadraat van de halve som $s$ een uniek getal, gegeven door
       ${\frac {ab/2}{s^{2}}}={\frac {n(m-n)}{m(m+n)}}=1-{\frac {c}{s}}$

### voetnoten

* ↑ FR Bernhart en HL Price. Heron's formula, Descartes circles, and Pythagorean triangles, arXiv, 2005. 29 blz
* ↑ RD Carmichael. The Theory of Numbers and Diophantine Analysis, 1914. in RD Carmichael. Diophantine analysis, 1959.
* ↑ CA Pickover. The Math Book, 2009. blz 40
* ↑ S Rosenberg, M Spillane en DB Michael. Heron triangles and moduli spaces, mei 2008. in Mathematics Teacher 101, blz 656—663

### websites

* D Klingens. Proposities I-44 tot en met I-48 (Pythagoras).
* Pythagorean Triples