Kosinusni izrek
Kósinusni izrèk 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.
Kosinusni izrek
Za trikotnik na desni sliki tako veljajo naslednje zveze:
![{\displaystyle a^{2}=b^{2}+c^{2}-2bc\cos \alpha \;\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/441b659776e2d46f9c25db655d9ae01d3933c077)
![{\displaystyle b^{2}=a^{2}+c^{2}-2ac\cos \beta \;\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74d0fb8a596c275f9956aa19ed2d8819da118834)
![{\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos \gamma \;\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/691a26dbbd38002c465d454c72a1881c462f2d40)
Č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.
Dokaz
En najenostavnejših dokazov je z vektorji in skalarnim produktom.
V poljubnem trikotniku ABC definiramo vektorje:
![{\displaystyle {\overrightarrow {a}={\overrightarrow {CB},{\overrightarrow {b}={\overrightarrow {CA},{\overrightarrow {c}={\overrightarrow {AB}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1e136f69a89553f0ff147a957335131283cd502)
Za njih velja enakost:
![{\displaystyle {\overrightarrow {a}-{\overrightarrow {b}={\overrightarrow {c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bd3dc79bb75332482c69391a8e2a4002bca2a60)
Nato enakost skalarno kvadriramo in namesto dolžin vektorjev pišemo kar stranice:
![{\displaystyle ({\overrightarrow {a}-{\overrightarrow {b})^{2}={\overrightarrow {c}^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ec503453739c11a78a16e21a7ca8a34e7431c18)
![{\displaystyle |{\overrightarrow {a}|^{2}+|{\overrightarrow {b}|^{2}-2|{\overrightarrow {a}|\cdot |{\overrightarrow {b}|\cdot \cos \gamma =|{\overrightarrow {c}|^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07d3b5116eeaa6caba9eb78051b6e965b44597b5)
![{\displaystyle c^{2}=a^{2}+b^{2}-2ab\cdot \cos \gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bab786d75dd46fad1de51953d088b06b0deb06b)
Dokaza za ostali dve enačbi sta simetrična.
Glej tudi