Teorema de la raíz racional

En álgebra, el teorema de la raíz racional (o la prueba de la raíz racional indica una restricción en las soluciones racionales (o raíces) de la ecuación polinómica con coeficientes enteros:

Si a₀ y a_n son diferentes de cero, entonces cada solución racional x, cuando está escrita como fracción x = p/q en sus términos más bajos (es decir, el máximo común divisor de p y q es 1), satisface

• p es un factor del término constante a₀, y
• q es un factor del coeficiente del término a_n.

Así, una lista de las posibles raíces racionales de la ecuación se puede derivar usando la fórmula .

El teorema de la raíz racional es un caso especial (para un solo factor lineal) del lema de Gauss en la factorización de polinomios. El teorema de la raíz entera es un caso especial del teorema de la raíz racional si el coeficiente principal a_n = 1.

Demostración

Sea P(x) = a_nxⁿ + a_n-1x^n-1 + ... + a₁x + a₀ para algún a₀, ..., a_n ∈ Z, y suponga P(p/q) = 0 para algún coprimo p, q ∈ Z:

Cambiando el término constante y multiplicando por qⁿ,

Todos los términos en estas ecuaciones son enteros, lo que implica p | a₀qⁿ y q | a_npⁿ. Pero p, qⁿ y q, pⁿ son coprimos. Por lo tanto, por el Lema de Euclides, p | a₀ y q | a_n.^[1]

Ejemplo

Por ejemplo, cada solución racional de la ecuación

debe estar entre los números indicados simbólicamente por

±

Lo que da la lista de posibles respuestas:

Estos candidatos de raíces pueden ser probados usando la regla de Horner (por ejemplo). En este caso particular hay exactamente una raíz racional. Si un candidato a raíz no satisface la ecuación, puede ser usado para acortar la lista de los candidatos restantes. Por ejemplo, x = 1 no satisface la ecuación puesto que el lado izquierdo es igual a 1. Esto significa que substituyendo x = 1 + t produce un polinomio en t con el término constante 1, mientras que el coeficiente de t³ permanece igual que el coeficiente de x³. Aplicando el teorema de la raíz racional produce así las siguientes posibles raíces para t:

Por lo tanto,

Los candidatos de raíces que no ocurren en ambas listas son eliminados. La lista de candidatos racionales se ha encogido así a apenas x = 2 y x = 2/3.

Si es encontrada una raíz r₁, la regla de Horner también proporcionará un polinomio de grado n − 1 cuyas raíces, junto con r₁, son exactamente las raíces del polinomio original. Puede también ser el caso que ningunos de los candidatos sea una solución; en este caso la ecuación no tiene solución racional. Si la ecuación carece un término constante a₀, entonces 0 es una de las raíces racionales de la ecuación.

Véase también

• Regla de los signos de Descartes

Referencias

1. ↑ D. Arnold, G. Arnold (1993). Four unit mathematics. Edward Arnold. pp. 120–121. ISBN 0340543353. 

Enlaces externos

• Another proof that n^th roots of integers are irrational, except for perfect nth powers by Scott E. Brodie