三角形 &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 }} これを余弦定理と呼ぶ。