适用于三角形之外，还适用于其他数学范畴及日常生活中。
几何.
标量.在三角形ABC中，这个式子用标量可以写作formula_1。当该式取不等号时，可以由欧几里得第五公设导出；欧几里得给出的证明记载于《几何原本》第一卷命题20：（证明所用的辅助图像见右）现在，我们有三角形ABC。延长formula_2至点D，并使formula_3，联结formula_4。那么，三角形BCD为等腰三角形，所以formula_5。记它们均为formula_6。根据欧