A koszinusztétel a derékszögű háromszögekre vonatkozó Pitagorasz-tétel általánosítása tetszőleges háromszögekre. Az ábra jelöléseivel:

${\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos \gamma \,}$

vagy másként:

${\displaystyle \cos \gamma ={\frac {a^{2}+b^{2}-c^{2}}{2ab}}}$

Bizonyítások

Háromszögekre bontással

A tétel bizonyítható egy háromszög két derékszögű háromszögre való felbontásával.

Ekkor az ábrán bal oldalon látható derékszögű háromszögre felírva a Pitagorasz-tételt kapjuk az állítást:

${\displaystyle c^{2}\,}$	${\displaystyle =(b-a\cos(\gamma ))^{2}+(a\sin(\gamma ))^{2}\,}$
	${\displaystyle =b^{2}-2ab\cos(\gamma )+a^{2}(\cos ^{2}(\gamma )+\sin ^{2}(\gamma ))\,}$
	${\displaystyle =a^{2}+b^{2}-2ab\cos(\gamma ),\,}$

felhasználva a ${\displaystyle \cos ^{2}(\gamma )+\sin ^{2}(\gamma )=1\,}$ trigonometriai azonosságot. QED

Megjegyzés

Ez a bizonyítás egy kisebb módosítást igényel, ha ${\displaystyle b<a\cos(\gamma )}$. Ebben az esetben a bal oldali háromszög, amire felírtuk a Pitagorasz-tételt, a háromszögön kívül lesz. A változás a bizonyításban csupán az, hogy ${\displaystyle b-a\cos(\gamma )}$ helyett ${\displaystyle a\cos(\gamma )-b}$ szerepel. Mivel a bizonyításban ennek a mennyiségnek csak a négyzete szerepel, a bizonyítás maradék része változatlan marad.

Vektorok segítségével

Az ${\displaystyle ABC}$ háromszög adott. ${\displaystyle C}$-ből indítsuk a helyvektorokat. ${\displaystyle A}$-ba mutató vektor legyen ${\displaystyle a}$. ${\displaystyle B}$-be mutató vektor legyen ${\displaystyle b}$. Az ${\displaystyle a}$ és ${\displaystyle b}$ vektorok hajlásszöge legyen ${\displaystyle \gamma }$.

Ekkor ${\displaystyle c=a-b}$ ⇒ ${\displaystyle c^{2}=(a-b)^{2}}$ ⇔ ${\displaystyle |c|^{2}=|a|^{2}+|b|^{2}-2|a||b|\cos \gamma }$. (Mert a skaláris szorzat disztributív a vektorösszeadásra nézve.) QED

Koordinátarendszerben

Helyezzük el az ${\displaystyle ABC\triangle }$-et derékszögű Koordináta-rendszerben úgy, hogy a ${\displaystyle C}$ csúcs az origóba essen, és a ${\displaystyle B}$ csúcs az x tengelyre kerüljön. A háromszögben legyen adott ${\displaystyle CA=b,\,CB=a}$ oldal és a ${\displaystyle BCA\angle =\gamma }$ szög, így a ${\displaystyle B}$ csúcs koordinátái ${\displaystyle B(b,0)}$. Ekkor az ${\displaystyle A}$ csúcs koordinátái ${\displaystyle A(b\cos \gamma ;b\sin \gamma )}$.^{[* 1]} Az ${\displaystyle AB=c}$ oldal hosszúságára a Pitagorasz-tétel alkalmazásával kapjuk:

Információ forrás: https://hu.wikipedia.org/wiki/Koszinusztétel
A lap szövege Creative Commons Nevezd meg! – Így add tovább! 3.0 licenc alatt van; egyes esetekben más módon is felhasználható. Részletekért lásd a felhasználási feltételeket.

---