So this is the problem:
$$\sin2x=\sqrt2\cos x$$
$$\cos x(2\sin x-\sqrt2)=0$$ My question is, how can I come with this to the conclusion that, according to my answer sheet, $\cos x=0$ and $\sin x=\frac{\sqrt2}{2}$ Is it just plugging in something until it works?