三角形 ABC\mathrm{ABC}ABC において, a2=b2+c2−2bccosAb2=c2+a2−2cacosBc2=a2+b2−2abcosC a^2 = b^2 + c^2 - 2bc \cos A\\ b^2 = c^2 + a^2 - 2ca \cos B\\ c^2 = a^2 + b^2 - 2ab \cos C a2=b2+c2−2bccosAb2=c2+a2−2cacosBc2=a2+b2−2abcosC が成り立つ。 なお,頂点 A\mathrm{A}A に対応する角を AAA,頂点 B\mathrm{B}B に対応する角を BBB,頂点 C\mathrm{C}C に対応する角を CCC としている。