|
|
| (14 intermediate revisions by 8 users not shown) |
| Line 1: |
Line 1: |
| − | {{stub}}
| + | #REDIRECT[[Rational root theorem]] |
| − | | |
| − | | |
| − | Given a [[polynomial]] <math>P(x) = a_n x^n + a_{n - 1}x^{n - 1} + \ldots + a_1 x + a_0</math> with [[integer | integral]] [[coefficient]]s, <math>a_n \neq 0</math>. The '''Rational Root Theorem''' states that if <math>P(x)</math> has a [[rational number| rational]] [[root]] <math>r = \pm\frac pq</math> with <math>p, q</math> [[relatively prime]] [[positive integer]]s, <math>p</math> is a [[divisor]] of <math>a_0</math> and <math>q</math> is a divisor of <math>a_n</math>.
| |
| − | | |
| − | As a consequence, every rational root of a [[monic polynomial]] with integral coefficients must be integral.
| |
| − | | |
| − | This gives us a relatively quick process to find all "nice" roots of a given polynomial, since given the coefficients we have only a finite number of rational numbers to check.
| |
| − | | |
| − | == Proof ==
| |
| − | | |
| − | Given <math>\frac{p}{q}</math> is a rational root of a polynomial <math>f(x)=a_nx^n+x_{n-1}x^{n-1}+\cdots +a_0</math>, where the <math>a_n</math>'s are integers, we wish to show that <math>p|a_0</math> and <math>q|a_n</math>. Since <math>\frac{p}{q}</math> is a root, <cmath>0=a_n\left(\frac{p}{q}\right)^n+\cdots +a_0</cmath> Multiplying by <math>q^n</math>, we have: <cmath>0=a_np^n+a_{n-1}p^{n-1}q+\cdots+a_0q^n</cmath> Examining this in modulo <math>p</math>, we have <math>a_0q^n\equiv 0\pmod p</math>. As <math>q</math> and <math>p</math> are relatively prime, <math>p|a_0</math>. With the same logic, but with modulo <math>q</math>, we have <math>q|a_n</math>, and we are done.
| |
| − | | |
| − | ==Problems==
| |
| − | | |
| − | ===Easy===
| |
| − | | |
| − | Factor the polynomial <math>x^3-5x^2+2x+8</math>.
| |
| − | | |
| − | ===Intermediate===
| |
| − | | |
| − | Find all rational roots of the polynomial <math>x^4-x^3-x^2+x+57</math>.
| |
| − | | |
| − | Prove that <math>\sqrt{2}</math> is irrational, using the Rational Root Theorem.
| |
