b/cosB+c/cosC=a/sinB.sinC (*)
Áp dụng định lý hàm số sin:
a/sinA = b/sinB = c/sinC = 2R
=> a = 2R.sinA = 2R.sin[1800 - (B+C)] = 2R.sin(B+C)
và b = 2R.sinB; c = 2R.sinC thay vào (*) được:
2R.sinB/cosB + 2RsinC/cosC = 2R.sin(B+C)/(sinB.sinC)
<=>sinB/cosB + sinC/cosC = sin(B+C)/(sinB.sinC)
<=> sin(B+C)/(cosBcosC) = sin(B+C)/(sinB.sinC)
<=> cosBcosC = sinB.sinC
<=> cosBcosC - sinB.sinC = 0
<=> cos(B+C) = 0
<=> B+C = 900