AB/sinC = BC/sinA = CA/sinB cái này là định lý hàm số sin nè: chứng minh một cạnh của tam giác bằng đường kính nhân sin góc đối là ra
cosA + cosB + cosC > (sinA + sinB + sinC)/2: kẻ 3 đg` cao AD BE CF cắt nhau tại H
=> cosB=cosAHF=HF/AH, cosC=cosAHE=HE/AH
EF=AH.sinA => sinA = EF/AH
EF<HF + HE(bđt tam giác)
=> sinA < cosB + cosC
chứng minh tương tự => đpcm