Ответ:
Используем тождество \(\sin^2 x=1-\cos^2 x\):
\(1-\cos^2 x+\cos x-4=0\), поэтому \(\cos^2 x-\cos x+3=0\).
Дискриминант этого квадратного уравнения равен \(D=(-1)^2-4\cdot1\cdot3=-11<0\). Действительных значений \(\cos x\), удовлетворяющих уравнению, нет.
Ответ: действительных решений нет.
