How does one prove that if $\cos(t) = \cos(t')$ and $\sin(t) = \sin(t')$ then $t = t' + 2k\pi$ ?
I've tried proving the above statement, which I think is valid.
I know $\sin(t)$ is injective on $[-\pi/2; \pi/2]$ and $\cos(t)$ is injective on $[0; \pi]$, but until now I've not been able to use this to prove the statement rigorously.