COS(x + pi/3) + COS(x - pi/3) ≤ - √2/2
svolgiamo a parte:
COS(x + pi/3) = COS(x)·COS(pi/3) - SIN(x)·SIN(pi/3) =
=COS(x)/2 - √3·SIN(x)/2
COS(x - pi/3) = COS(x)·COS(pi/3) + SIN(x)·SIN(pi/3)=
=COS(x)/2 + √3·SIN(x)/2
quindi:
COS(x)/2 - √3·SIN(x)/2 + COS(x)/2 + √3·SIN(x)/2 ≤ - √2/2
COS(x) ≤ - √2/2
3/4·pi + 2·k·pi ≤ x ≤ 5/4·pi + 2·k·pi