The sum of all solution of the equation
$\sin x+2\cos x=1+\sqrt{3}\cos x$ in $[0,2\pi]$
My Try:
$$(\sin x+\cos x)+(\sin x-\sqrt{3}\cos x)=1$$
$$\sqrt{2}\sin \bigg(x+\frac{\pi}{4}\bigg)+2\sin \bigg(x-\frac{\pi}{3}\bigg)=1$$
Could some Help me to solve it. Thanks in Advance
Hint: Substitute $$\sin(x)=\frac{2t}{1+t^2}$$ $$\cos(x)=\frac{1-t^2}{1+t^2}$$ the so-called Weierstrass substitution