Problem #PRU-60865

Prove that for $x \neq π n$ ( $n$ is an integer) $\sin x$ and $\cos x$ are rational if and only if the number $\tan x / 2$ is rational.

To see the solution register and get verified.