định lý hàm số sin:
a/ \(\frac{a}{sinA}=\frac{b}{sinB}=\frac{c}{sinC}=\)2R
=> a = 2R.sinA = 2R.sin[180o - (B+C)] = 2R.sin(B+C)
và b = 2R.sinB; c = 2R.sinC thay vào (*) được:
\(\frac{2R\times sinB}{cosB}+\frac{2R\times sinC}{cosC}=\frac{2R\times sin\left(B+C\right)}{sinBsinC}\)
<=>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 = 90o
vậy tam giác ABC vuông tại A