Задача

№ 9234

Решите неравенство \[ \left(1-\cos x\cos\dfrac{\pi}{8}\right)^2-\sin^2 x\sin^2\dfrac{\pi}{8}+\left(2\sin 2x-\sqrt{2}\right)^2\leqslant 0. \]
Ответ:
Решение: