你必須先知道:三角函數的定義
在 △ABC 中,若設三邊長為:
則:
我們將說明為甚麼 a = bcosC + ccosB,至於其他兩個公式,因為證法一樣,所以就不再重複了。
在上圖中,,因此
所以
當然三角形也可能呈現如右圖二或右圖三的情況,但並不影響本公式的正確性。以下我們只討論(圖二)的情況: 在(圖二)中,
因此
所以本公式又再一次得到驗證。
(圖三)的情況請讀者自行驗證。
如果 或 是 的話,那麼本公式很明顯還是對的,請讀者自行驗證。
利用「餘弦定理」證明