餘弦定理

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