Teorema das raíces racionais

En álxebra, o teorema das raíces racionais (ou test das raíces racionais, teorema dos ceros racionais, test dos ceros racionais ou teorema p/q) estabelece unha condición sobre as solucións racionais dunha ecuación polinomial $$a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_0=0$$ con coeficientes enteiros. As solucións da ecuación son as raíces (equivalentemente, os ceros) do polinomio do lado esquerdo da ecuación.

O teorema estabelece que se a₀ e a_n son diferentes de cero, entón, cada solución racional x, cando é escrita como unha fracción irredutíbel x = p/q (isto é, en que o máximo común divisor de p e q é 1), satisfai:

• p é un factor enteiro do termo constante a₀, e
• q é un factor enteiro do coeficiente dominante a_n.

O teorema das raíces racionais é un caso especial (para un único factor linear) do lema de Gauss sobre a factorización de polinomios. O teorema das raíces enteiras é un caso especial do teorema das raíces racionais se o coeficiente dominante a_n = 1.

Aplicación

O teorema é usado para determinar se un polinomio ten algunha raíz racional e, en caso afirmativo, encontralas. Unha vez que o teorema impón que o numerador e o denominador de raíces racionais irredutíbeis sexan divisores de certos números, tódalas combinacións posíbeis de divisores poden ser verificadas e as raíces racionais serán atopadas, ou será determinado que non existen raíces racionais. Se unha ou máis raíces fosen atopadas, pódese factorizar ao polinomio, obtendo un polinomio de menor grao cuxas raíces tamén son raíces do polinomio orixinal.

Ecuación cúbica

A ecuación cúbica xeral $$a{x}^3+b{x}^2+cx+d=0$$ con coeficientes enteiros ten tres solucións no plano complexo. Se fose concluído por medio do test das raíces racionais que non existen solucións racionais, entón a única forma de expresar as solucións alxebricamente é usando raíces cúbicas. Mais se o test encontra tres solucións racionais entón xa non precisamos usar raíces cúbicas. E de existir exactamente unha solución racional r, entón (x – r) pode factorizar o polinomio cúbico usando a división longa de polinomios ou coa axuda da regra de Ruffini, deixando un polinomio cadrático cuxas dúas raíces son as outras dúas raíces da ecuación cúbica; e estas poden ser atopadas resolvendo a ecuación cadrática, e novamente evitando o uso de raíces cúbicas.

Demostracións

Primeira demostración

Sexa $$P(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0,a_0,\dots a_n\in 𝐙.$$ Supoña que $P(p/q)=0$ para certos números primos entre si $p,q\in \mathbb{Z}$: $$P\left(\frac{p}{q}\right)=a_n{\left(\frac{p}{q}\right)}^n+a_{n-1}{\left(\frac{p}{q}\right)}^{n-1}+\cdots +a_1\left(\frac{p}{q}\right)+a_0=0.$$

Multiplicamos ámbolos por $q^n$, movemos o termo constante para o lado dereito, e evidente a existencia dun factor $p$ común no membro esquerdo:$$p(a_n{p}^{n-1}+a_{n-1}q{p}^{n-2}+\cdots +a_1{q}^{n-1})=-a_0{q}^n.$$

Obsérvase que $p$ divide $a_0{q}^n$. Mais $p$ e $q$ son primos entre si e por tanto $p$ e $q^n$ tamén o son, entón polo lema de Euclides (na súa forma xeneralizada) debe dividir o factor restante $a_0$do produto.

Se en vez diso, o termo dominante fose movido para a dereita e sacárase o factor q no lado esquerdo, obteríase $$q(a_{n-1}{p}^{n-1}+a_{n-2}q{p}^{n-2}+\cdots +a_0{q}^{n-1})=-a_n{p}^n.$$ E por razóns semellantes, pódese concluír que q divide a_n.

Demostración usando o lema de Gauss

No caso de existir un factor non trivial dividindo tódolos coeficientes do polinomio, pódese dividir polo maior divisor común dos coeficientes, de modo a obter un polinomio primitivo no sentido do lema de Gauss; notamos que isto non altera o conxunto das raíces racionais e só reforza as condicións de divisibilidade. O lema di que se o polinomio é factorizábel en Modelo:Math entón tamén é factorizábel en Modelo:Math como un produto de polinomios primitivos. Agora, calquera raíz racional Modelo:Math corresponde a un factor de grao 1 en Modelo:Math do polinomio, e o seu representante primitivo é Modelo:Math, supondo que p e q son primos entre si. Mais calquera múltiplo de qx − p en Modelo:Math ten o termo dominante divisíbel por q e o termo constante divisíbel por p, o que comproba a afirmación. Este argumento mostra que, mais xeralmente, pode suporse que calquera factor irredutíbel de P ten coeficientes enteiros, e os coeficientes dominante e constante dividen os coeficientes correspondentes de P.

Exemplos

Primeiro

No polinomio $$2x^3+x-1,$$ calquera raíz racional totalmente reducida debería ter un numerador que divide exactamente en 1 e un denominador que divide exactamente en 2. Asim, as únicas raíces racionais posíbeis son ±1/2 e ±1; como ningunha destas cantidade anula o polinomio, non posúe raíces racionais.

Segundo

No polinomio $$x^3-7x+6$$ as únicas raíces racionais posíbeis deberían ter un numerador que divide 6 e un denominador que divide 1, limitando as posibilidades a ±1, ±2, ±3, ±6. Destes, 1, 2 e -3 anulan o polinomio e, por tanto, son as súas raíces racionais. (Na verdade, esas son as súas únicas raíces pois unha ecuación cúbica ten apenas tres raíces; en xeral, un polinomio podería ter algunhas raíces racionais e algunhas irracionais.)

Terceira

Tódalas raíces racionais do polinomio $$3x^3-5x^2+5x-2$$ deben estar entre os números indicados simbolicamente por $$\pm \frac{1,2}{1,3},$$ o que resulta nunha lista coas 8 posíbeis respostas: $$\pm \{1,2,\frac{1}{3},\frac{2}{3}\}.$$ Estes candidatos a raíz poden ser avaliados utilizando o método de Horner (por exemplo). Neste caso en particular hai exactamente unha raíz racional. Se un candidato a raíz non anula o polinomio, ele pode ser usado para reducir a lista de candidatos remanentes.

Por exemplo, x = 1 non funciona, xa que neste caso o valor do polinomio é igual a 1. Isto significa que a substitución x = 1 + t producen un polinomio en t con termo constante 1, en canto que o coeficiente de t³ continua a ser o mesmo que o coeficiente de x³. A aplicación do teorema das raíces racionais producen entón as seguintes posibilidades para as raíces en t: $$t=\pm \frac{1}{1,3}.$$ Por tanto, $$x=1+t=2,0,\frac{4}{3},\frac{2}{3}.$$ Os candidatos a raíz que non ocorren en ámbalas listas son descartadas. A lista de candidatos a raíces racionais fica entón reducida a apenas x = 2 e x = 2/3.

Se se atopan k raíces racionais (k ≥ 1), o método de Horner tamén producirá un polinomio de grao n − k cuxas raíces, xuntamente coas raíces racionais, son exactamente as raíces do polinomio orixinal. Tamén pode ocorrer de ningún dos candidatos sexa unha solución; neste caso, a ecuación que iguala o polinomio a 0 non ten solución racional. Se a ecuación non posúe un termo constante a₀, entón 0 é unha das solucións racionais da ecuación.

Véxase tamén

Outros artigos

• Criterio de Eisenstein

Bibliografía

• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro