Задача

№ 9231

Найти все тройки чисел $(x;y;z)$, для которых \[ \begin{cases} 5\sin^2 x+\cos^2 x-4\sin x+y^2=0,\\ \cos x+\cos y+\cos z=\dfrac{1+\sqrt{3}}{2}. \end{cases} \]
Ответ:
Решение: