Xét `\triangle` `AHB` vuông tại `H` có `:`

`cosABH` `=` `(BH)/(AB)`

Xét `\triangle` `AHC` vuông tại `H` có `:` 

`cosACH` `=` `(HC)/(AC)`

Mặt `\ne` `BC=BH+HC`

`BC=(AB.BH)/(AB) + (HC.AC)/(AC)`

`BC = AB.(BH)/(AB) + AC.(HC)/(AC)`

`BC = AB. cosB + AC. cosC` `(` Điều phải chứng mình `)`

Vậy `...`