# Stelling van Pythagoras

De stelling van Pythagoras is een wiskundige stelling die het verband geeft tussen de lengten van de zijden van een rechthoekige driehoek:
    In een rechthoekige driehoek is de som van de kwadraten van de lengtes van de rechthoekszijden gelijk aan het kwadraat van de lengte van de schuine zijde.
De stelling is naar de Griekse wiskundige Pythagoras genoemd, maar de stelling was alleen voor de Grieken nieuw. Het resultaat was in Sumer al veel langer bekend en ook in Babylonië en het oude Egypte werd ze al eerder toegepast. In het bijzonder werd de verhouding $3:4:5$ tussen de beide rechthoekszijden en de schuine zijde al vroeg gebruikt om rechte hoeken uit te meten, zoals dat tot op de dag van vandaag door sommigen nog wordt gedaan. Behalve kennis van de stelling om haar toe te kunnen passen, is ook het leveren van een bewijs belangrijk. Wat dat betreft waren de Grieken, in het bijzonder de pythagoreërs wel de eersten. Zij wisten niet alleen dat de stelling waar was, maar konden ook aantonen waarom zij waar was. In India was de stelling in de zesde eeuw bekend, ze wordt beschreven in vers 17 van de ganitapada uit de Aryabhatiya van Aryabhata, al ontbreekt ook hier het bewijs.

## Stelling

De stelling van Pythagoras geeft een verband tussen de lengten van de zijden van een rechthoekige driehoek. Noemt men de lengten van rechthoekszijden, de zijden die aan de hoek van 90° liggen, $a$ en $b$, en de lengte van de schuine zijde, de zijde die niet aan de rechte hoek grenst, de hypotenusa, $c$, dan is de bekende wiskundige vorm van de stelling:
    $a^{2}+b^{2}=c^{2}$
Dit is Propositie I.47 uit de Elementen van Euclides.
De stelling van Pythagoras is equivalent met het parallellenpostulaat. Daarom geldt de stelling van Pythagoras niet in niet-euclidische meetkunde.

## Voorbeelden

* Uit de stelling van Pythagoras volgt de grondformule van de goniometrie. Voor een rechthoekige driehoek met schuine zijde gelijk aan 1 geldt dat
       $\sin ^{2}\alpha +\cos ^{2}\alpha =1$
* Een rechthoekige driehoek heeft rechthoekszijden met lengten $a=3$ en $b=4$. Volgens de stelling van Pythagoras geldt dan voor de lengte $c$ van de schuine zijde:
       $c^{2}=a^{2}+b^{2}=3^{2}+4^{2}=9+16=25$
    Omdat de lengte $c$ niet negatief kan zijn, is
       $c={\sqrt {25}}=5$
    Als de lengten $b=4$ en $c=5$ gegeven zijn, volgt de lengte $a$ van de overgebleven zijde uit:
       $a^{2}=c^{2}-b^{2}=5^{2}-4^{2}=25-16=9$
    Waaruit volgt:
       $a={\sqrt {9}}=3$

## Bewijzen

Er bestaan meer dan 350 bewijzen voor de stelling van Pythagoras. Onder deze bewijzen zijn er die zijn ontdekt of mogelijk herontdekt door prominenten, zoals James Garfield, de 20e president van de Verenigde Staten, en Multatuli.

### Bewijs met opdelen vierkant

Een van de meer eenvoudige bewijzen deelt een vierkant met zijde $a+b$ op twee manieren in. In de linkerfiguur is het vierkant opgebouwd uit een vierkant met zijde $a$, een vierkant met zijde $b$, en 4 rechthoekige driehoeken. De rechterfiguur is een vierkant opgebouwd uit een vierkant met zijde $c$ en dezelfde 4 rechthoekige driehoeken.
Beide figuren tonen een vierkant met zijde $a+b$, dus beide vierkanten hebben dezelfde oppervlakte. Laat men nu zowel links als rechts de vier rechthoekige driehoeken weg, dan hebben de figuren die overblijven dezelfde oppervlakte. Links blijven een vierkant met zijde $a$ en een vierkant met zijde $b$ over, met een gezamenlijke oppervlakte van $a^{2}+b^{2}$. Rechts resteert een vierkant met zijde $c$. Het vierkant met zijde $c$ heeft een oppervlakte van $c^{2}$. Hiermee is de stelling bewezen.
Het kan iets korter: Telkens zijn er een korte en een lange zijde in elkaars verlengde geplaatst. De lengte en breedte van de zijden van het vierkant zijn beide $a+b$, dus de oppervlakte van het grote vierkant is $(a+b)^{2}$. De oppervlakte is ook gelijk aan de som van de vier driehoeken $4\times {\tfrac {1}{2}}ab$ plus de oppervlakte van het binnenste vierkant, dat oppervlakte $c^{2}$ heeft. Dus
    $(a+b)^{2}=2ab+c^{2}$
Uitwerken van het kwadraat links geeft:
    $a^{2}+2ab+b^{2}=2ab+c^{2}$,
dus:
    $a^{2}+b^{2}=c^{2}$

### Bewijs met gelijkvormigheid

Een ander inzichtelijk bewijs maakt gebruik van een hulplijn. Hiertoe dient de hoogtelijn vanuit de rechte hoek $C$, die zijde $AB$ snijdt in het punt $D$.
Het is nu snel in te zien dat driehoek $ACD$ gelijkvormig is aan driehoek $ABC$. Immers, de hoeken bij $A$ zijn dezelfde, en beide driehoeken hebben ook een rechte hoek, bij $D$ en bij $C$.
Op dezelfde manier blijkt dat driehoek $CBD$ gelijkvormig is aan driehoek $ABC$. Er zijn dus drie gelijkvormige driehoeken. Wordt gekeken naar de verhoudingen van de lengtes van de zijden van de driehoeken, dan ziet men dat die gelijk zijn aan $a:b:c$, precies de schuine zijden van de drie driehoeken. Dat betekent dat de oppervlaktes van de driehoeken zich verhouden als $a^{2}:b^{2}:c^{2}$, de kwadraten van de verhoudingen van de zijden. Omdat $\mathrm {Opp} \,CBD+\mathrm {Opp} \,ACD=\mathrm {Opp} \,ABC$, geldt voor een bepaald getal $k$ dat $ka^{2}+kb^{2}=kc^{2}$. De stelling van Pythagoras volgt door links en rechts door $k$ te delen.

## Bewijzen zonder woorden

Hoewel geen formeel bewijs, is het bewijs zonder woorden een populaire manier om een stelling te visualiseren zonder daarbij tekst te gebruiken. Van de stelling van Pythagoras zijn dergelijke bewijzen bekend, met name puzzelstukjesbewijzen. Enkele voorbeelden staan hieronder.
* Animatie
* Puzzelstukjesbewijs
* Puzzelstukjesbewijs
* Animatie
* Puzzelstukjesbewijs
* Bewijs bij herschikking

## Cosinusregel

Het omgekeerde van de stelling van Pythagoras is ook waar. Als voor een driehoek met zijden $a,b$ en $c$ geldt:
    $c^{2}=a^{2}+b^{2}$
dan is die driehoek rechthoekig, met de rechte hoek tegenover de zijde $c$.
Als geldt dat $a^{2}+b^{2}>c^{2}$, is de hoek tegenover de zijde $c$ scherp. Als $a^{2}+b^{2}<c^{2}$, is die hoek stomp. Dit volgt meer precies uit de cosinusregel, die geldt als een uitbreiding van de stelling van Pythagoras voor alle driehoeken.
    $c^{2}=a^{2}+b^{2}-2ab\cos \gamma$,
waarin $\gamma$ de hoek bij hoekpunt $C$ is. De stelling van Pythagoras is een bijzonder geval van de cosinusregel, voor het geval $\gamma =90^{\circ }$.

## Pythagorese drietallen

De stelling van Pythagoras geldt voor rechthoekige driehoeken waarvan de rechthoekszijden willekeurige reële getallen zijn, en de Oude Grieken wisten al dat de schuine zijde niet altijd commensurabel is met de rechthoekszijden, zelfs als deze laatsten gehele getallen zijn. Zij hadden echter een bijzondere voorkeur voor meetkundige figuren waarvan de zijden wél onderling commensurabel zijn, d.w.z. dat zij zich verhouden als breuken.
Dit gaf aanleiding tot de zoektocht naar drietallen positieve gehele getallen $(a,b,c)$ waarvoor $a^{2}+b^{2}=c^{2}.$ In zekere zin het kleinste drietal dat aan die relatie voldoet, is $(3,4,5);$ immers, $3^{2}+4^{2}=9+16=25=5^{2}.$
Een dergelijk drietal heet pythagorees, en de algemene formule luidt $(m^{2}-n^{2},2mn,m^{2}+n^{2})$ waarbij $m$ en $n$ willekeurige positieve gehele getallen zijn met $m>n.$

## Euclidische afstand

De afstandsformule in het cartesisch coördinatenstelsel is van de stelling van Pythagoras afgeleid. De afstand tussen de punten $(x_{1},y_{1})$ en $(x_{2},y_{2})$ in een euclidische ruimte, hun euclidische afstand wordt gegeven door
    ${\sqrt {(x_{1}-x_{2})^{2}+(y_{1}-y_{2})^{2}}}$
Wordt gekeken in $n$-dimensionale cartesische coördinaten, dan is de afstand van $(a_{1},a_{2},\ldots ,a_{n})$ tot $(b_{1},b_{2},\ldots ,b_{n})$ gedefinieerd door
    ${\sqrt {(a_{1}-b_{1})^{2}+(a_{2}-b_{2})^{2}+\ldots +(a_{n}-b_{n})^{2}}}={\sqrt {\sum _{i=1}^{n}(a_{i}-b_{i})^{2}}}$
Deze algemene formule kan men afleiden door de afstandsformule in twee dimensies te herhalen. Dit kan men zich voorstellen door in drie dimensies te kijken naar een balk. De ribben in de drie verschillende richtingen horen bij de verschillen van de $x$-, $y$- en $z$-coördinaten. Men vindt nu de lengte van de lichaamsdiagonaal $AD$ door eerst te zien dat $AC^{2}=AB^{2}+BC^{2}$, $\triangle ABC$ is recht, en vervolgens dat $AD^{2}=AC^{2}+CD^{2}$, ook driehoek $\triangle ACD$ is recht. Samen levert dit $AD^{2}=AB^{2}+BC^{2}+CD^{2}$.

## Inwendig-productruimten en niet-euclidische meetkunde

Een inwendig-productruimte heeft de begrippen loodrecht of orthogonaal en lengte of norm in algemenere zin. De stelling van Pythagoras geldt ook hier , zoals in dit voorbeeld van een tweedimensionale functieruimte. Een inwendig-productruimte is een euclidische vectorruimte als deze een eindigdimensionale reële vectorruimte is, maar de stelling van Pythagoras geldt ook als het een oneindigdimensionale vectorruimte is, of een complexe vectorruimte.
De correctheid van de stelling van Pythagoras is in de niet-euclidische meetkunde niet gegarandeerd. Op een boloppervlak is het kwadraat van de schuine zijde van een rechthoekige driehoek in het algemeen strikt kleiner dan de som van de kwadraten van de rechthoekszijden. Een extreem voorbeeld is de gelijkzijdige rechthoekige driehoek gevormd door drie punten die exact 90° van elkaar verwijderd liggen. In de hyperbolische meetkunde geldt dan weer dat de schuine zijde groter is dan wat de formule van Pythagoras zou doen verwachten.

## Toepassing

De stelling van Pythagoras vindt toepassing in de volgende voorbeelden:
* boom van Pythagoras
* spiraal van Theodorus
* stelling van De Gua

## Websites

* (en) Pythagorean Theorem, met 122 bewijzen
* ↑ J Bronkhorst. How the Brahmins Won. From Alexander to the Guptas, 2016. blz 276
* ↑ S Brodie. The Pythagorean Theorem is Equivalent to the Parallel Postulate.
* ↑ De hoeken van een driehoek zijn samen altijd 180°. Een van de hoeken van de rechthoekige driehoek is 90°. De andere hoeken zijn bij elkaar opgeteld dus 90°. De hoeken van de figuur in het midden zijn dus 180° - 90° = 90°.
* ↑ 11 juni 2022