三角形 #tex{{ABC}} において #tex{{AB=c}} ,#tex{{BC=a}},#tex{{CA=b}}, #tex{{\angle BAC=\theta}} とすると、次の関係式が成り立つ。 #tex{{ a^2 = b^2 + c^2 - 2bc \cos \theta }} これを余弦定理と呼ぶ。