So I was given the equation below and was told to solve for x.
$$\sqrt3\cos(x) - \sin(x) = 0,x \in [-\pi, \pi] $$
Naturally I rearranged the equation to be:
$$\sqrt3\cos(x) = \sin(x)$$
Once I had it in this form, it was obvious to me that this equation would be true for when $\cos(x) = \frac{1}{2}$ and $\sin(x) = \frac{\sqrt3}{2}$ or the negative version of each of these. I then proceeded to solve the question.
However, I feel that this step is "not good enough" in terms of a mathematical solution. Is there a better way that we can find $x$ without having to just mentally guess what it is going to be? Obviously it is fairly easy to do in this case, but I don't want to be blindsided by a harder question of the same type in the future.
Any more formal proofs/solutions would be greatly appreciated.