よげん‐ていり【余弦定理】 三角形の角と辺の関係を示す定理。三角形の頂点Ａ・Ｂ・Ｃの対辺をそれぞれａ・ｂ・ｃとするとき、a=bcosC+ccosB,　b=acosC+ccosA,　c=acosB+bcosA（第一余弦定理）、また、a₂=b₂+c₂-2bccosA,　b₂=c₂+a₂-2cacosB,　c₂=a₂+b₂-2abcosC（第二余弦定理）が成り立つ。一般には第二余弦定理をいう。余弦法則。