2 problems 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.
Let \[ \f(x) = x^n + a_1 x^{n-1} + \cdots + a_n\;, \] where \(a_1\), \(a_2\), \(\ldots\), \(a_n\) are given numbers. It is given that \(\f(x)\) can be written in the form \[ \f(x) = (x+k_1)(x+k_2)\cdots(x+k_n)\;. \] By considering \(\f(0)\), or otherwise, show that \(k_1k_2 \ldots k_n =a_n\). Show also that $$(k_1+1)(k_2+1)\cdots(k_n+1)= 1+a_1+a_2+\cdots+a_n$$ and give a corresponding result for \((k_1-1)(k_2-1)\cdots(k_n-1)\). Find the roots of the equation \[ x^4 +22x^3 +172x^2 +552x+576=0\;, \] given that they are all integers.
Solution: \begin{align*} && f(0) &= 0^n + a_1\cdot 0^{n-1} + \cdots + a_n \\ &&&= a_n \\ && f(0) &= (0+k_1)(0+k_2) \cdots (0+k_n) \\ &&&= k_1 k_2 \cdots k_n \\ \Rightarrow && a_n &= k_1 k_2 \cdots k_n \\ \\ &&f(1) &= 1^n + a_1 \cdot 1^{n-1} + \cdots + a_n \\ &&&= 1 + a_1 + a_2 + \cdots + a_n \\ && f(1) &= (1 + k_1) (1 + k_2) \cdots (1+k_n) \\ \Rightarrow && (k_1+1)\cdots (k_n+1) &= 1 + a_1 + \cdots + a_n \\ \\ && f(-1) &= (-1)^{n} + a_1 \cdot (-1)^{n-1} + \cdots + a_n \\ &&&= a_n - a_{n-1} + \cdots + (-1)^{n-1} a_1 + (-1)^{n} \\ && f(-1) &= (-1+k_1)(-1+k_2) \cdots (-1+k_n) \\ &&&= (k_1-1)(k_2-1)\cdots(k_n-1) \\ \Rightarrow && (k_1-1)\cdots(k_n-1) &= a_n - a_{n-1} + \cdots + (-1)^{n-1} a_1 + (-1)^{n} \end{align*} \(576 = 2^6 \cdot 3^2\). Notice that \(1 - 22 + 172 -552 + 576 = 175 = 5^2 \cdot 7\) and \(1+22 + 172+552+576 = 1323 = 3^3 \cdot 7^2\). \(k_i = 2, 6, 6, 8\) therefore the roots are \(-2, -6, -6, -8\)