Phần (a) phải sửa thành: a+b=(atanA+btanB)tanC2 mới đúng.
Ta có
a+b=(atanA+btanB)tanC2
⇔atanA+btanB=(a+b)cotC2
⇔atanA+btanB=(a+b)tanA+B2
⇔a(tanA−tanA+B2)+b(tanB−tanA+B2)=0
⇔asinA−B2cosAcosA+B2−bsinA−B2cosBcosA+B2=0
⇔[sinA−B2=0(1)acosA−bcosB=0(2)
(1)⇔A=B⇔△ABC cân.
(2)⇔acosA=bcosB=0⇔ab2+c2−a22bc=ba2+c2−b22ac
⇔b2+c2−a2=a2+c2−b2⇔a=b⇔△ABC cân.