余弦定理
余弦定理（よげんていり、）とは、平面上の三角法において三角形の辺の長さと内角の余弦の間に成り立つ関係を与える定理である。余弦定理を証明するために用いられる補題はときに第一余弦定理と呼ばれ、このとき証明される定理は第二余弦定理と呼ばれ区別されることがある。単に余弦定理と言った場合、第二定理を指す。