Задача
№ 12076
Найти наименьшую длину отрезка числовой оси, содержащего три различных решения уравнения \[ \cos 2x-\sin 2x-\operatorname{ctg}2x\cdot\sin x+\sin x=0. \]
Ответ:
Решение: