Para un polinomio con coeficientes enteros a_n x^n + ... + a_0 donde a_n y a_0 son no nulos, toda raíz racional expresada en términos irreducibles p/q (q>0, mcd(p,q)=1) debe tener p dividiendo a_0 y q dividiendo a_n.

Principio

Restricciones sobre numerador y denominador reducen la búsqueda infinita de raíces racionales a un conjunto finito determinado por divisores del coeficiente dominante y del término constante; se basa en integridad y propiedades de cancelación.

Demostración

Ejemplo: para 2x^2 + 3x − 5, las raíces racionales candidatas p/q satisfacen p | −5 y q | 2, por lo que los candidatos son ±1, ±5, ±1/2, ±5/2. Comprobar p(1)=0 muestra que x=1 es raíz y por tanto (x−1) factor.

Aplicación incorrecta

Aplicar el teorema a polinomios cuyos coeficientes no son enteros, o tratar los candidatos listados como raíces garantizadas en lugar de candidatos necesarios; olvidar reducir p/q a términos irreducibles invalida las condiciones de divisibilidad.

Consecuencia

Convierte la búsqueda de raíces en una prueba finita y concreta, a menudo paso inicial para factorizar polinomios enteros; limita las posibilidades de raíces racionales y conduce con frecuencia a la factorización completa cuando se combina con división sintética.

Inversión

La inversa es falsa: que p divida a_0 y q divida a_n no garantiza que p/q sea raíz. El contraste subraya que el teorema da condiciones necesarias pero no suficientes.

Límite

Exige coeficientes enteros y una raíz racional escrita en forma irreducible; las extensiones a otros anillos de coeficientes requieren hipótesis de integridad análogas. No detecta raíces irracionales o complejas.

Tensión semántica

Tensión entre listas necesarias de candidatos y raíces reales: el teorema puede generar muchos candidatos falsos en polinomios de alto grado; compite con otras pruebas (controles modulares, cotas) para la eliminación eficiente.

Síntesis

El Teorema de las raíces racionales ofrece un cribado aritmético finito para posibles ceros racionales de polinomios enteros: toda raíz racional debe provenir de divisores del término constante sobre divisores del coeficiente principal, transformando una búsqueda infinita en una lista finita manejable.