Prove that $\sqrt[31]{12} +\sqrt[12]{31}$ is irrational.

I would assume that $\sqrt[31]{12} +\sqrt[12]{31}$ is rational and try to find a contradiction.

However, I don't know where to start. Can someone give me a tip on how to approach this problem?


Let $\mathbb{Q}(\alpha)$ denote the smallest field containing $\mathbb{Q}$ and $\alpha$.

The theory of field extensions tells us that $\mathbb{Q}(\sqrt[31]{12})$ has degree $31$ over $\mathbb{Q}$, $\mathbb{Q}(\sqrt[12]{31})$ has degree $12$ over $\mathbb{Q}$, and, because $(31,12)=1$, we have $\mathbb{Q}(\sqrt[31]{12})\cap\mathbb{Q}(\sqrt[12]{31}) = \mathbb{Q}$.

If $\sqrt[31]{12} +\sqrt[12]{31}$ were a rational number, we would have $\sqrt[31]{12} \in \mathbb{Q}(\sqrt[31]{12})\cap\mathbb{Q}(\sqrt[12]{31}) = \mathbb{Q}$. But $\sqrt[31]{12}$ is not rational, contradiction.


Here is a simpler variant of Slade's answer:

If $\sqrt[31]{12} +\sqrt[12]{31}$ were a rational number, we would have $\sqrt[31]{12} \in \mathbb{Q}(\sqrt[12]{31})$ and so $\mathbb{Q}(\sqrt[31]{12}) \subseteq \mathbb{Q}(\sqrt[12]{31})$.

But $\mathbb{Q}(\sqrt[31]{12})$ has dimension $31$ over $\mathbb{Q}$ and so cannot be a subspace of $\mathbb{Q}(\sqrt[12]{31})$, which has dimension $12$.