余弦定理

余弦定理（よげんていり、英: law of cosines, cosine formula）とは、平面上の三角法において三角形の内角の余弦と辺の長さとの間に成り立つ関係を与える定理である。余弦定理は広義には、本題（第二定理）とそれを証明するための補題（第一定理）からなり、第一定理に言及するときそれらは区別される。