Estoy tratando de resolver esto. Encontrar todos los $x$ para los que es válido lo siguiente:
$$ 3\cos ^2x \sin x -\sin^2x <{1\over 2}$$
Y sin éxito. Por supuesto, si escribimos $s=\sin x$ entonces $\cos^2 x = 1-s^2$ y obtenemos $$6s^3+2s^2-6s+1>0$$ Pero éste no tiene raíces racionales así que aquí se detiene. Sospecho que Cardano no estaba en la mente de un problema proponente. Debe haber alguna trigonométricas truco no veo. También probé con $$\sin 3x = -4s^3+3s$$ , pero no ahora, ¿qué hacer con esto. Alguna idea?
Oficial de la solución es la unión de $({(12k-7)\pi \over 18},{(12k+1)\pi\over 18})$ donde $k\in \mathbb{Z}$