Is $(5+\sqrt[3]2)^n$ ever an integer for $n \in \Bbb Z \setminus \{0\}$?

Suppose $(5+\sqrt[m]{2})^n$ is rational. Then it is fixed by the Galois group of $x^m-2$. This contains $\sqrt[m]{2}\mapsto \zeta \sqrt[m]{2}$ where $\zeta=e^{2\pi i/m}$ is a primitive $m$th root of 1.

Thus $(5+\sqrt[m]{2})^n= (5+\zeta \sqrt[m]{2})^n$. This is impossible: they don't even have the same absolute value.


In general, $(k + \sqrt[\ell]{n})^m \not \in \mathbb{Z}$ for any $k, l, m, n \in \mathbb{Z}_+$, $\ell \geq 2$, and $n$ square free (which includes the case $n = 2$).

This is seen by using the binomial formula: $$(k + \sqrt[\ell]{n})^m = \sum_{j=0}^{m}\binom{m}{j}k^{m-j}n^{j/\ell}$$

Since $x^\ell - n$ is irreducible over $\mathbb{Q}$ by eisenstein's criterion and $n^{1/\ell}$ is a root of that polynomial, $n^{1/\ell}, n^{2/\ell}, \cdots, n^{(\ell - 1)/\ell}$ are independent over $\mathbb{Q}$, since $n^{1/\ell}$ has a minimal polynomial of degree $\ell$. So, when we rewrite the above binomial expansion in terms of these powers, (if $i\equiv j$ is interpreted modulo $\ell$) $$(k + \sqrt[\ell]{n})^m = \sum_{j=1}^{m}\binom{m}{j}k^{m-j}n^{j/\ell} = \sum_{i=0}^{\ell-1}\left(\sum_{j\equiv i}\binom{m}{j}k^{m-j}n^{(j-i)/\ell}\right)n^{i/\ell}.$$

Note that $j-i$ is a multiple of $\ell$ since $i \equiv j$.

Since this is a positive integer linear combination of elements that are independent over the the rational numbers, if it were rational then all the coefficients would be zero except those of $n^{0/\ell}$, however, we see that this is not true.