Với 0<x,y<π,ta có:siinx+siny2≤sinx+y2
Thật vậy ta có:sinx+siny= 2.cosx−y2.sinx+y2
.Từ đó,ta có đpcm (Vì cosx−y2≤1)
Dấu “ =” xảy ra khi x = y
Áp dung bất đẳng thức trên ta chứng minh đượcsinx+siny+sinz3≤sinx+y+z3 (1) (Với x,y,z là 3 góc của 1 tam giác)
Bất đẳng thức trên tương đương với:
sinx+siny+sinz+ sinx+siny+sinz3 ≤4sinx+y+z3 (*)
Chứng minh(*):
Ta có:VT≤2sinx+y2+2sinz+x+y+z32≤4sinx+y+z+x+y+z34≤4sin((x+y+z):3)(ĐPCM)
Áp dung BĐT (1) ta được:sinA+sinB+sinC≤3√32
Vậy max(sinA+sinB+sinC)=3√32
"="⇔A=B=C=π3