Kosinusni izrek
Iz Wikipedije, proste enciklopedije
Kosinusni izrek v ravninski trigonometriji nam omogoča, da v trikotniku, kjer poznamo dolžini dveh stranic in velikost kota med njima, izračunamo tretjo stranico. Nalogo lahko tudi obrnemo in pri danih treh stranicah trikotnika poiščemo kateregakoli izmed kotov. Ime je dobil po kotni funkciji kosinus, ki se pojavi v enačbi.
Za trikotnik na desni sliki tako veljajo naslednje zveze:
Če je kateri izmed kotov pravi (torej meri 90° oz. π/2 radianov), je njegov kosinus enak 0, tedaj se kosinusni izrek poenostavi v Pitagorov izrek.
[uredi] Dokaz
En najenostavnejših dokazov je z vektorji in skalarnim produktom.
V poljubnem trikotniku ABC definiramo vektorje 
Za njih velja enakost: 
Nato enakost skalarno kvadriramo in namesto dolžin vektorjev pišemo kar stranice:
Dokaza za ostali dve enačbi sta simetrična.
