Cho mik hỏi tại sao bài giải này lại ghi sin4x khác 0 ạ, đoạn đó mik thật sự vẫn chưa hiểu lắm ạ🤧🤧

`~rai~`

\(\begin{cases}\sin2x\ne 0\\\cos 2x\ne 0\end{cases}\\\Leftrightarrow \sin2x\cos2x\ne 0\\\Leftrightarrow 2\sin2x\cos2x\ne 0\\\Leftrightarrow \sin4x\ne 0\quad\text{(công thức nhân đôi)}\\\Leftrightarrow 4x\ne k\pi\\\Leftrightarrow x\ne k\dfrac{\pi}{4}.(k\in\mathbb{Z})\)