RU-ALLRUSSIAN 2023 Problem 111

If $x\in\mathbb{R}$ satisfy $sin$ $x+tan$ $x\in\mathbb{Q}$ , $cos$ $x+cot$ $x\in\mathbb{Q}$ Prove that $sin$ $2x$ is a root of an integral coefficient quadratic function