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