$g\in \mathbb{Q}[x]$ is a polynomial of degree $2022$. Prove there exist infinitely many rational $q$ such that $\sqrt[5]{g(q)}\notin \mathbb{Q}$. 
Let $g\in \mathbb{Q}[x]$ be a polynomial of degree 2022. Prove that there exist infinitely many rational $q\in (0,1)$ such that $\sqrt[5]{g(q)}\notin \mathbb{Q}$.

I encountered the above problem in the problem solving seminar. I have seen the following somewhat similar problem;

Let $f(x)\in \mathbb{Z}[x]$ be a polynomial of degree 3. Prove that there exist infinitely many integer $n$ such that $f(n)$ is not a perfect square.

However, the methods used in the latter seem to be not applicable to the former. For the second one, we consider $f(x)=ax^3+bx^2+cx+d$ with $a\neq 0$. Then, if $a<0$, it's trivial. Finally, consider the case when $a>0$ which required results from several other problems we proved in the seminar.
At this point, I don't know other approaches. Since the problem is dealing with a polynomial of degree 2022 this time, I bet there should be a clever way. In addition, the instructor told us this one is much simpler.
 A: Hint:
For $g \in \mathbb{Z}[x]$, consider the denominator of $g(1/m)$, where $m$ is any integer relatively prime to the leading coefficient of $g(x)$.
For $g \in \mathbb{Q}[x]$, multiply by an appropriate $5$th power to reduce to the previous case.
A: Just some observations which won't fit in a comment.
For fixed $N, m \in \mathbb N$ ($N=2022, m=5$ in this question), the following are equivalent:

*

*For every $g \in \mathbb Q[x]$ of degree $N$, there are infinitely many $q \in (0, 1) \cap \mathbb Q$ such that $\sqrt[m]{g(q)} \notin \mathbb Q$.

*For every $g \in \mathbb Q[x]$ of degree $N$, there is at least one $q \in (0, 1) \cap \mathbb Q$ such that $\sqrt[m]{g(q)} \notin \mathbb Q$.

*For every $g \in \mathbb Q[x]$ of degree $N$ and $a< b$ both rational numbers, there is at least one $q \in (a, b) \cap \mathbb Q$ such that $\sqrt[m]{g(q)} \notin \mathbb Q$.

*For every $g \in \mathbb Q[x]$ of degree $N$, the set of $q \in \mathbb Q$ with $\sqrt[m]{g(q)} \notin\mathbb Q$ is dense in $\mathbb Q$.

This is easy to see because affine transformation of the domain of a polynomial preserves the degree $N$ condition (i.e., for $c, d \in \mathbb Q$ with $c \neq 0$ and $f(x) = g(cx+d)$, we have $\deg f = \deg g$).
My other observation is this question evokes the proof of the rational root theorem somehow; we're trying to find $q$ such that $g(q) = s^m$ has no solution in $\mathbb Q$. Let $D$ be the LCM of the denominators in $g$, and let $D \mid r^m$ for some $r \in \mathbb Z$. Then $r^m q \in \mathbb Z[x]$. Suppose that $a/b \in \mathbb Q$ with $a, b \in \mathbb Z$ such that $$b^{Km}r^mg(a/b) = s^m$$ for sufficiently large $K$ so that the denominators are cleared in $r^mg(a/b)$; $Km \ge N$ does the trick. A rational solution for $s$ is then necessarily an integer by the rational root theorem.
Let's write $$r^m g(x) = \sum_{n=0}^N C_n x^n,$$
where $C_n \in \mathbb Z$ by construction. Then
$$b^{Km} r^m g(a/b) = b^{Km-N} \sum_{n=0}^N C_n a^nb^{N-n}.$$
Taking $a, b$ to be relatively prime, we can conclude that $a \mid s^m-C_0b^N$. Since $m \not\mid N$ holds in the original question (and is a necessary condition for the above equivalent conditions to hold), we can also conclude that $Km-N>0$ so $b \mid s^m$. This isn't as clean as the standard rational root theorem, but maybe this setup is usable somehow?
