Do 0<sinC≤1⇒9√sinC≥sin2C
Từ giả thiết ⇒sin2A+sin2B≥sin2C⇔(a2R)2+(b2R)2≥(c2R)2⇒a2+b2≥c2
⇒a2+b2≥a2+b2−2abcosC⇒cosC≥0(a)
Mặt khác, dễ chứng minh được rằng sin2A+sin2B+sin2C=2+2cosAcosBcosC,∀Δ(1) nên giả thiết suy ra:
9√sinC+sin2C=2+2cosAcosBcosC,VT≤2
⇒2+2cosAcosBcosC≤2⇒cosAcosBcosC≤0
Mà A,B nhọn (giả thiết) ⇒cosAcosB>0⇒cosC≤0(b)
Từ (a) và (b) suy ra: cosC=0. Suy ra ˆC=900
(Chứng minh
(1):
VT=3−(cos2A+cos2B+cos2C)2=3−[2cos(A+B)cos(A−B)+2cos2C−1]2=2+[cosCcos(A−B)−cos2C]
=2+cosC[cos(A−B)+cos(A+B)]=2+2cosAcosBcosC)