Raízes racionais de polinômios com coeficientes inteiros

Seja $f(x)=a_{n}\ x^{n}\ +\ +\ldots +a_{1}\ x\ +\ +a_{0}\,$ um polinômio de grau n com coeficientes inteiros. Então f(x) tem uma raiz racional p/q se p for um divisor de a₀ e q for um divisor de a_n.