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