Valeurs rationnelles de $\tan⁡(r\pi)$

On admet que les $r \in \mathbb{Q}$ tels que $\cos(r\pi) \in \mathbb{Q}$ est l’ensemble $\frac{1}{3}\mathbb{Z} \cup \frac{1}{2}\mathbb{Z}$ (voir problèmes liés).
On a
$$\cos(2r\pi)=2\cos^{2}(r\pi)-1=\frac{2}{1+\tan^{2}(r\pi)}-1=\frac{1-\tan^{2}(r\pi)}{1+\tan^{2}(r\pi)}$$Si $\tan(r\pi) \in \mathbb{Q}$, alors $\frac{1-\tan^{2}(r\pi)}{1+\tan^{2}(r\pi)} = \cos(2r\pi) \in \mathbb{Q}$, donc $r \in \frac{1}{6}\mathbb{Z} \cup \frac{1}{4}\mathbb{Z}$, donc $\tan(r\pi) \in \{-1,0,1\} \subset \mathbb{Q}$
Réciproquement, si $r \in \frac{1}{6}\mathbb{Z} \cup \frac{1}{4}\mathbb{Z}$, alors seuls les $r \in \mathbb{Z} \cup (\frac{1}{4} + \frac{1}{2}\mathbb{Z})$ conviennent.
Donc l’ensemble des solutions est
$$r \in \mathbb{Z} \cup (\frac{1}{4} + \frac{1}{2}\mathbb{Z})$$