余弦定理

c^2 = a^2 + b^2 − 2ab·cos C；是勾股定理的推广，适用于 SAS 与 SSS 情形下的三角形求解。