<s>[INST] Proving a number is irrational From the fact that $\frac{1}{5}(3+4i)$ has infinite order in $(\mathbb{C},\cdot)$, I'm supposed to infer that $\frac{1}{\pi}\arctan{\frac{4}{3}}$ is irrational. Irrationality of $\arctan\frac{4}{3}$ follows immediately but I can't see why the irrationality of the product does. Any hints would appreciated!
 [/INST] Let $\alpha$ be your complex number, then $$\alpha^n = \frac{a_n}{5^{n+1}} + \frac{b_n}{5^{n+1}}i$$
and since we have $$\alpha^n = \frac{1}{5}(3+4i)\left(\frac{a_{n-1}}{5^n} + i\frac{b_{n-1}}{5^n}\right) = \frac{1}{5^{n+1}}\left(3a_{n-1} - 4b_{n-1}  + i(a_{n-1} + 3b_{n-1})\right)$$ it is clear that $a_n =3a_{n-1} - 4b_{n-1}$ and $b_n = a_{n-1} + 3b_{n-1}$, with $a_1 = 15$ and $b_1 = 20$. 
Examining everything $\pmod{7}$ we find
$(a_1, b_1) = (1, 6), (a_2, b_2) = (0, 5), (a_3,b_3) = (6,1)$ and $(a_4,b_4)=(0,2), (a_5, b_5) = (1,6)$ so the cycle continues with no $b_n = 0$.
Hence $\alpha^n$ is never real, but if $\arctan(4/3) = \frac{p}{q}\pi$ we would have $\exp\left(\frac{p}{q}\pi i \cdot{2q}\right) = 1 = \alpha^{2q}$.
</s>