Ta có: S = 12aha
Lại có: S = 12absinC
⇒ 12aha = 12absinC ⇔ ha = b.sinC (1)
Áp dụng định lí sin, ta có: asinA = bsinB = csinC = 2R
⇒ b = 2RsinB (2)
Từ (1) và (2) ⇒ ha = 2RsinBsinC (đpcm)