Twierdzenie cosinusów

Dla dowolnego trójkąta (oznaczenia 
jak na rysunku) prawdziwe są zależności:
$a^2=b^2+c^2-2bc\cdot \cos \alpha$
$b^2=a^2+c^2-2ac\cdot \cos \beta$
$c^2=a^2+b^2-2ab\cdot \cos \gamma$