In de goniometrie beschrijft de cosinusregel een relatie tussen de drie zijden van een driehoek en de cosinus van een hoek van die driehoek.

Driehoek

De cosinusregel kan voor de driehoek in de figuur voor elk van de zijden worden geformuleerd:

dus ook:

Omgevormd naar de hoek wordt dit:

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 een rechte hoek, dus 90°, dan is en vervalt de cosinusregel tot , de stelling van Pythagoras. De cosinusregel is in feite gelijk aan de projectiestelling.

Toepassingen

bewerken

De cosinusregel kan onder andere worden toegepast

Congruentiestellingen voor een driehoek

bewerken

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.

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

Directe afleiding

bewerken
 
afbeelding bij de uitleg

Vanuit   is de loodlijn   neergelaten op de zijde  . Zoals men in de figuur kan zien, verdeelt de loodlijn   de driehoek in twee rechthoekige driehoeken. Volgens de stelling van Pythagoras geldt:

 

en

 

Eliminatie van   geeft:

 

Verder is:

 , waaruit volgt  

Beide formules gecombineerd geeft:

 

Vectorformulering

bewerken

Beschouw de zijden van de driehoek als vectoren en noem:

 

Dan is:

 ,

zodat met het inwendige product van twee vectoren volgt:

 

De laatste vergelijking volgt uit de definitie van de hoek tussen twee vectoren.

Vergelijking van oppervlakten

bewerken

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

 
Met scherpe hoek  
Geval met scherpe hoek  

Een zevenhoek is verdeeld in:

  • de roze oppervlakten   links en   en   rechts
  • de driehoek   in het blauw
  • grijze hulpdriehoeken alle congruent met driehoek ABC.

Uit vergelijking van de oppervlakten links en rechts blijkt:

 

waaruit de cosinusregel volgt.

 
Met stompe hoek  
Geval met stompe hoek  

Een zeshoek is verdeeld in:

  • de roze oppervlakten   en   links en   rechts
  • twee keer in het blauw met driehoek   congruente driehoeken

Uit vergelijking van de oppervlakten links en rechts volgt direct de cosinusregel:

 
Zie de categorie Law of cosines van Wikimedia Commons voor mediabestanden over dit onderwerp.