A student asked me the following today :

Is $S:= \{\tan(x) : x\in \mathbb{Q}\}$ a group under addition?

I am quite perplexed by it. Clearly, the only non-trivial part is to check

For any $x, y\in \mathbb{Q}$, does there exist $z \in \mathbb{Q}$ such that $$ \tan(z) = \tan(x) + \tan(y) $$

A couple of things I have learnt from various sources that appear to be relevant are :

- (Source) If $x \in \mathbb{Q}\setminus\{0\}$, then $\tan(x) \in \mathbb{Q}^c$.
- (Source) $\arctan(\alpha)$ is a rational multiple of $\pi$ iff $\exists n \in \mathbb{Z}$ such that $(1+i\alpha)^n \in \mathbb{R}$

My guess is that it is not a group, and my initial goal was to find two $x,y \in \mathbb{Q}$ such that $\tan(x) + \tan(y) \in \mathbb{Q}$, but that seems to be going nowhere.

Perhaps I am missing something obvious, but it doesn't seem to strike me. Does anyone have a suggestion on how to tackle this? Thanks for your help.