En álgebra , el teorema de raíces racionales (también la prueba para raíces racionales ) define un marco para las raíces racionales de un polinomio de la forma:
con coeficientes enteros y .
El teorema establece que toda raíz racional , donde y son números coprimos , satisface la condición de que
El teorema de las raíces racionales es un caso especial del lema de Gauss .
El teorema se utiliza para encontrar todas las raíces racionales de un polinomio, si las hay. Con su ayuda, se determina un número finito de posibles soluciones a probar por sustitución. Si se encuentra una raíz racional , el polinomio original se puede dividir sin resto para obtener un polinomio de menor grado cuyas raíces son también las raíces del polinomio original.
Ecuación cúbica en forma general:
con coeficientes enteros tiene tres soluciones en números complejos . Si la prueba de raíces racionales no revela ninguna, entonces la única forma de expresar soluciones es usar raíces cúbicas . Sin embargo, si se encuentra al menos una solución racional r , poner ( x - r) fuera de paréntesis conduce a una ecuación cuadrática , que se puede resolver a través del discriminante .
Dejar:
.
Supongamos que para algunos enteros coprimos y :
.
Multiplicando ambos lados de la ecuación por , quitando los paréntesis y trasladando el término libre con el signo opuesto al lado derecho de la ecuación, obtenemos:
.
Se puede ver que es un divisor . Pero y son números coprimos, lo que significa que también debe ser un divisor .
Si, por el contrario, trasladamos el término principal al lado derecho de la ecuación y lo ponemos fuera de paréntesis, obtenemos:
.
Hagamos una conclusión sobre la divisibilidad por [1] .
Toda raíz racional de un polinomio
debe tener un divisor de uno en el numerador y un divisor de dos en el denominador. Por lo tanto, las posibles raíces racionales son y . Sin embargo, ninguno de ellos convierte la expresión a cero, por lo tanto, el polinomio no tiene raíces racionales.
Toda raíz racional de un polinomio
debe tener un divisor de seis en el numerador y un divisor de uno en el denominador, de donde son las posibles raíces . De estos , y convertir la expresión a cero, siendo así las raíces del polinomio.