>>598

{sin(x)+cos(x)}^2 = 1 + 2sin(x)cos(x),
(7/4) -sin(x)cos(x),
(7/4) -sin(x)cos(x),
この３つの相加平均は 3/2 なので....