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:
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
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 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
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
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.
- 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.
- 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: