[Risolto] Come si resolve? Sistema di disequazione

Limitatamente ad x nel primo giro.
* (2*sin^2(x) - sin(x) - 1 <= 0) & ((√3)*cotg^2(x) - 3*cotg(x) <= 0) ≡
≡ (2*u^2 - u - 1 <= 0) & ((√3)*v^2 - 3*v <= 0) ≡
≡ (- 1/2 <= u <= 1) & (0 <= v <= √3) ≡
≡ (- 1/2 <= sin(x) <= 1) & (0 <= cotg(x) <= √3) & (0 <= x < 2*π) ≡
≡ ((0 <= x <= 7*π/6) oppure (11*π/6 <= x < 2*π)) & ((π/6 <= x <= π/2) oppure (7*π/6 <= x <= 3*π/2)) ≡
≡ (0 <= x <= 7*π/6) & ((π/6 <= x <= π/2) oppure (7*π/6 <= x <= 3*π/2)) oppure (11*π/6 <= x < 2*π) & ((π/6 <= x <= π/2) oppure (7*π/6 <= x <= 3*π/2)) ≡
≡ (0 <= x <= 7*π/6) & (π/6 <= x <= π/2) oppure (0 <= x <= 7*π/6) & (7*π/6 <= x <= 3*π/2) oppure (11*π/6 <= x < 2*π) & (π/6 <= x <= π/2) oppure (11*π/6 <= x < 2*π) & (7*π/6 <= x <= 3*π/2) ≡
≡ (π/6 <= x <= π/2) oppure (x = 7*π/6) oppure (insieme vuoto) oppure (insieme vuoto) ≡
≡ (π/6 <= x <= π/2) oppure (x = 7*π/6)