2sinAtanB2=2sinAsinB(1+cosB)=2a2Rb2R(1+a2+c2−b22ac)=2ab[(a+c)2−b22ac]=(a+b+c)(a+c−b)bc(1)
tương tự:
2sinBtanC2=(a+b+c)(a+b−c)ac(2)
2sinCtanA2=(a+b+c)(b+c−a)ab(3)
cộng lại dùng BĐT cộng mẫu ta được:
(1)+(2)+(3)⩾(a+b+c)4ab+bc+ca⩾9(ab+bc+ca), tới đây em potax