# Cosinusregel

In de goniometrie beschrijft de cosinusregel een relatie tussen de drie zijden van een driehoek en de cosinus van een hoek van die driehoek.
De cosinusregel kan voor de driehoek in de figuur voor elk van de zijden worden geformuleerd:
    $c^{2}=a^{2}+b^{2}-2ab\cos \gamma$
dus ook:
    $a^{2}=b^{2}+c^{2}-2bc\cos \alpha$
    $b^{2}=c^{2}+a^{2}-2ca\cos \beta$
Omgevormd naar de hoek wordt dit:
    $\alpha =\arccos \left({\frac {b^{2}+c^{2}-a^{2}}{2bc}}\right)$
    $\beta =\arccos \left({\frac {a^{2}+c^{2}-b^{2}}{2ac}}\right)$
    $\gamma =\arccos \left({\frac {a^{2}+b^{2}-c^{2}}{2ab}}\right)$
De regel kan met de congruentiestellingen voor driehoeken en de sinusregel worden gebruikt om de lengtes van de zijden en de hoeken in een driehoek te berekenen. Is $\gamma$ een rechte hoek, dus 90°, dan is $\cos \gamma =0$ en vervalt de cosinusregel tot $c^{2}=a^{2}+b^{2}$, de stelling van Pythagoras. De cosinusregel is in feite gelijk aan de projectiestelling.

## Toepassingen

De cosinusregel kan onder andere worden toegepast
* om een hoek te berekenen als de drie zijden bekend zijn, congruentiestelling ZZZ en
* om de derde zijde te berekenen, als twee zijden en de door deze zijden ingesloten hoek bekend zijn, congruentiestelling ZHZ.

### Congruentiestellingen voor een driehoek

De congruentiestellingen ZZZ zijde-zijde-zijde en ZHZ zijde-hoek-zijde geven aan, dat een driehoek volledig bepaald is, zodra alle drie de zijden ZZZ of twee zijden en de daardoor ingesloten hoek ZHZ bekend zijn. Het is met de cosinusregel in deze gevallen mogelijk met deze drie gegevens in het geval van ZZZ de drie hoeken en in het geval van ZHZ de lengte van de derde zijde te berekenen en met behulp van de sinusregel de twee andere hoeken te berekenen.
Als er alleen een zijde en twee hoeken, de congruentiestellingen ZHH of HZH, of twee zijden en de tegenoverliggende hoek van de grootste zijde, congruentiestelling ZzH, bekend zijn, kan men eerst een van de ontbrekende hoeken met de sinusregel berekenen, waarna ook de derde hoek bekend is. De som van de drie hoeken in een driehoek is gelijk aan 180°. Afsluitend kan men de cosinusregel toepassen om de derde zijde te bepalen.

## Bewijs

Er bestaan verschillende bewijzen van de cosinusregel. Er worden er hier drie genoemd.

### Directe afleiding

Vanuit $C$ is de loodlijn $d$ neergelaten op de zijde $c$. Zoals men in de figuur kan zien, verdeelt de loodlijn $d$ de driehoek in twee rechthoekige driehoeken. Volgens de stelling van Pythagoras geldt:
    $b^{2}=d^{2}+e^{2}$
en
    $a^{2}=d^{2}+(c-e)^{2}$
Eliminatie van $d^{2}$ geeft:
    $a^{2}=b^{2}+c^{2}-2ce$
Verder is:
    $\cos(\alpha )=e/b$, waaruit volgt $e=b\cos(\alpha )$
Beide formules gecombineerd geeft:
    $a^{2}=b^{2}+c^{2}-2bc\cos(\alpha )$

### Vectorformulering

Beschouw de zijden van de driehoek als vectoren en noem:
    $\mathbf {a} ={\overrightarrow {BC}},\ \mathbf {b} ={\overrightarrow {AC}},\ \mathbf {c} ={\overrightarrow {AB}}$
Dan is:
    $\mathbf {c} =\mathbf {b} -\mathbf {a}$,
zodat met het inwendige product van twee vectoren volgt:
    $c^{2}=\|\mathbf {c} \|^{2}=\|\mathbf {b} -\mathbf {a} \|^{2}=(\mathbf {b} -\mathbf {a} )\cdot (\mathbf {b} -\mathbf {a} )=\|\mathbf {b} \|^{2}+\|\mathbf {a} \|^{2}-2\ \mathbf {a} \cdot \mathbf {b} =b^{2}+a^{2}-2ab\cos \gamma$
De laatste vergelijking volgt uit de definitie van de hoek tussen twee vectoren.

### Vergelijking van oppervlakten

Een ander bewijs gaat door vergelijking van oppervlakten. Denk daarbij aan tangram. We moeten onderscheid maken in het geval met scherpe hoek $\gamma$ en het geval met stompe hoek $\gamma$. Beide mogelijkheden worden met een figuur geïllustreerd.

#### Geval met scherpe hoek $\gamma$

Een zevenhoek is verdeeld in:
* de roze oppervlakten $a^{2},\ b^{2}$ links en $2ab\cos \gamma$ en $c^{2}$ rechts
* de driehoek $ABC$ in het blauw
* grijze hulpdriehoeken alle congruent met driehoek ABC.
Uit vergelijking van de oppervlakten links en rechts blijkt:
    $a^{2}+b^{2}=c^{2}+2ab\cos \gamma$
waaruit de cosinusregel volgt.

#### Geval met stompe hoek $\gamma$

Een zeshoek is verdeeld in:
* de roze oppervlakten $a^{2},\ b^{2}$ en $-2ab\cos \gamma$ links en $c^{2}$ rechts
* twee keer in het blauw met driehoek $ABC$ congruente driehoeken
Uit vergelijking van de oppervlakten links en rechts volgt direct de cosinusregel:
    $a^{2}+b^{2}-2ab\cos \gamma =c^{2}$