Suppose that $x^5$ and $20x+\frac {19}x$ are rational numbers. Then $x$ is also rational

The accepted answer has a fatal gap, so I present an alternative simple argument. Note that

$\quad 20x+19/x = r\in \Bbb Q\!$ $\overset{\large\, \times\ x}\iff 20x^2+19 = rx\!$ $\overset{\large\, \div\ 20}\iff 0 = x^2-\frac{r}{20}\,x+\color{#c00}{\frac{19}{20}} =: \color{#0a0}{f(x)}$

So the claim is that any common root $\,x\,$ of $\,\color{#0a0}{f(X)}\,$ and $\,X^5-a/b,\,\ a/b\in \Bbb Q,\,$ is rational.

Suppose for contradiction $\,x\not\in\Bbb Q.\,$ Vieta $\,\Rightarrow\, \color{#c00}{x\bar x = 19/20}\,$ where $\,\bar x =$ conjugate of $\,x$.

By hypothesis $\, x^5 = a/b\in\Bbb Q\,$ so $\, {\bar x}^{\,5} = a/b\ $ by conjugating. Multiplying the two yields that $\, (\color{#c00}{19/20})^5 = (\color{#c00}{x\bar x})^5 = a^2/b^2\,$ $\Rightarrow\,19^5 b^2 = 20^5 a^2.\,$ But the prime $19$ has odd power in the prime factorization of $\,19^5 b^2$ vs. even power in $\,20^5 a^2,\,$ contra uniqueness of prime factorizations.


Given that $20x+\frac{19}{x}$ is rational. Therefore $x$ satisfies a quadratic polynomial with rational co-efficients. If we call that polynomial as $g$, we get $g(x)=0$. Now by the Euclidean algorithm $x^5=h(x)g(x)+f(x)$, where $f(x)$ is a linear polynomial on $x$ with rational co-efficients. Since $x^5\in\mathbb{Q}$ and $g(x)=0$, we get $f(x)\in\mathbb{Q}\Rightarrow x\in\mathbb{Q}$.

[Note by Bill D. $ $ The inference $f(x)\in\Bbb Q\,\Rightarrow\, x\in \Bbb Q\,$ fails if $\,\deg f < 1,\,$ so we must prove $\,\deg f = 1\,$ to complete the above argument. One way to remedy that is in Jyrki's answer, and another way is to explicitly compute the remainder $\,f(x) = r\, x + s\,$ then prove $\,r \neq 0\,$ (which is essentially equivalent to the method in the linked official solution - reproduced in Jack's answer)]


My way of fixing the problem in the accepted answer.


The unknown number $x$ is a zero of both $f(X)=X^5-q_1$ and $g(X)=X^2-(q_2/20)X+19/20$, where $q_1=c/d$ and $q_2=a/b$ are the rational numbers appearing in the question.

When we carry out polynomial division we get polynomials $q(X)$ and $r(X)$, both with rational coefficients, such that $$ f(X)=q(X)g(X)+r(X). $$ Furthermore, the remainder $r(X)$ is at most linear. The obvious point is that $r(x)=0$. It follows immediately from plugging in $x$ for $X$.

If $r(X)$ is a linear polynomial, then its only zero is a rational number that must be equal to $x$, and we are done. This is the essence of Krishnarjun's answer.

If $r(X)$ is a constant, that constant must be equal to zero for otherwise $r(x)\neq0$. This is a more problematic case. The key to handling it is that in this case $f(X)=q(X)g(X)$. Thus we can deduce that the zeros of $g(X)$ are also zeros of $f(X)$.

But the zeros of $g(X)$ are both real because one of them is. On the other hand $f(X)$ has only a single real zero, so this is a contradiction.

A remaining blemish is that the zeros of $g(X)$ might be equal. But $f(X)$ cannot have multiple zeros unless $q_1=0$, when also $x=0$. So we are done in that case also.