余弦定理（よげんていり、英:lawofcosines,cosineformula）とは、平面上の三角法において三角形の辺の長さと内角の余弦の間に成り立つ関係を与える定理である。
芬斯拉不等式（Finsler'sInequality）是一条反映了三角形三边与其面积之间的关系的几何不等式。