1.((0 <= x)∧(x <= atan((sqrt(6) - sqrt(2))/(sqrt(2) + sqrt(6∨((x <= pi)∧(atan((sqrt(2) + sqrt(6))/(sqrt(6) - sqrt(2))) <= x))
2.x in Union(Interval(0, -atan((-sqrt(6) + sqrt(2))/(sqrt(2) + sqrt(6, Interval(-atan((sqrt(2) + sqrt(6))/(-sqrt(6) + sqrt(2))), pi))
Объяснение:
