▪ Νόμος συνημιτόνων (ΙX)

Απόδειξη χωρίς λόγια. (Με τη βοήθεια του θεωρήματος του Πτολεμαίου).

$c\cdot{c}=b\cdot{b}+[a+2bcos(π-θ)]\cdot{a}$

$c^2=a^2+b^2-2abcosθ$.

Kung S.H. (1992)