O Teorema das Raízes Racionais diz que, para um polinômio ` P(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0 ` com coeficientes inteiros, qualquer raiz racional ` \frac{p}{q} ` (em sua forma reduzida, com ` p ` e ` q ` inteiros e ` \text{mdc}(p, q) = 1 `) deve satisfazer:
Assim, as possíveis raízes racionais são todas as frações ` \pm \frac{p}{q} `, onde ` p ` e ` q ` são divisores de ` a_0 ` e ` a_n `, respectivamente.
É comum falar-se raízes de polinômios, mas isso é incorreto. Pois ` P(x) ` é uma função (polinomial) e funções tem zeros quando ` P(x) = 0 `. Quem tem raízes são EQUAÇÕES e, sendo assim, um pouco de cautela em relação à terminologia que não afeta o método de busca dos zeros de ` P(x) = 0 `.
