1 problem found
The polynomial \(\f(x)\) is defined by \[ \f(x) = x^n + a_{{n-1}}x^{n-1} + \cdots + a_{2} x^2+ a_{1} x + a_{0}\,, \] where \(n\ge2\) and the coefficients \(a_{0}\), \(\ldots,\) \(a_{{n-1}}\) are integers, with \(a_0\ne0\). Suppose that the equation \(\f(x)=0\) has a rational root \(p/q\), where \(p\) and \(q\) are integers with no common factor greater than \(1\), and \(q>0\). By considering \(q^{n-1}\f(p/q)\), find the value of \(q\) and deduce that any rational root of the equation \(\f(x)=0\) must be an integer.
Solution: Let \(\f(x) = x^n + a_{{n-1}}x^{n-1}+ \cdots + a_{2} x^2+ a_{1} x + a_{0}\), and suppose \(f(p/q) = 0\) with \((p,q) = 1\), the consider \begin{align*} && 0 &= q^{n-1}f(p/q) \\ &&&= \frac{p^n}{q} + \underbrace{a_{n-1}p^{n-1} + a_{n-2}p^{n-2}q + \cdots + a_0q^{n-1}}_{\in \mathbb{Z}} \\ \end{align*} But \(p^n/q \not \in \mathbb{Z}\) unless \(q = 1\) therefore \(p/q\) must be an integer, ie all rational roots are integers.