I'm trying to solve the following trigonometric inequality:
$$\cos(x+\frac 2 3 \pi)+2\cos{x}\geq 0 \rightarrow\cos{x}\cos({\frac 2 3 \pi)}-\sin{x}\sin({\frac 2 3 \pi})+2\cos{x}\geq0\rightarrow$$ $$3\cos{x}-\sqrt 3\sin{x}\geq 0$$
I could either put the inequality into a system, like this:
$$ \left\{ \begin{array}{} 3\cos{x}-\sqrt 3\sin{x}\geq 0 \\ \sin^2x+\cos^2{x}=1\\ \end{array} \right. $$
or divide both sides of the inequality by $\cos{x}$. What would I have to do in the latter case?
Something like this?
$$ \left\{ \begin{array}{} \cos{x} > 0 \\ \tan{x}\leq\sqrt3\\ \end{array} \right. $$
and
$$ \left\{ \begin{array}{} \cos{x} < 0 \\ \tan{x}\leq\sqrt3\\ \end{array} \right. $$
How does the system approach work? How would I get the solutions by doing that? Any hints?