Mostrar código-fonte de Teorema das raízes racionais

Em [[álgebra]], o '''teorema das raízes racionais''' (ou '''teste das raízes racionais''', '''teorema dos zeros racionais''', '''teste dos zeros racionais''' ou '''teorema ''p''/''q''''') estabelece uma condição sobre as [[Número racional|soluções racionais]] de uma [[Equação algébrica|equação polinomial]]
<math display="block">a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0 = 0</math>
com coeficientes [[Número inteiro|inteiros]]. As soluções da equação são as [[Raiz (matemática)|raízes]] (equivalentemente, os zeros) do [[Polinómio|polinômio]] do lado esquerdo da equação.

O teorema estabelece que se ''a''<sub>0</sub> e ''a<sub>n</sub>'' são diferentes de zero, então, cada solução [[Número racional|racional]] ''x'', quando escrita como uma fração irredutível ''x''&#x20;=&#x20;''p''/''q'' (isto é, em que o [[máximo divisor comum]] de ''p'' e ''q'' é 1), satisfaz
* ''p'' é um [[Divisor|fator]] inteiro do [[termo constante]] ''a''<sub>0</sub>, e
* ''q'' é um fator inteiro do [[coeficiente]] líder ''a''<sub>''n''</sub>.
O teorema das raízes racionais é um caso especial (para um único fator linear) do [[lema de Gauss]] sobre a fatoração de polinômios. O '''teorema das raízes inteiras''' é um caso especial do teorema das raízes racionais se o coeficiente líder&nbsp;''a<sub>n</sub>''&nbsp;=&nbsp;1.

== Aplicação ==
O teorema é usado para determinar se um polinômio tem alguma raiz racional e, em caso afirmativo, encontrá-las. Uma vez que o teorema impõe que o numerador e o denominador de raízes racionais irredutíveis sejam divisores de certos números, todas as combinações possíveis de divisores podem ser verificadas e as raízes racionais serão encontradas, ou será determinado que não existem raízes racionais. Se uma ou mais forem encontradas, elas podem ser fatoradas do polinômio, resultando em um polinômio de menor grau cujas raízes também são raízes do polinômio original.

=== Equação cúbica ===
A equação cúbica geral
<math display="block">ax^3+bx^2+cx+d=0</math>
com coeficientes inteiros tem três soluções no [[plano complexo]]. Se for concluído por meio do teste das raízes racionais que não existem soluções racionais, então a única forma de expressar as soluções [[expressão algébrica|algebricamente]] é usando [[Raiz cúbica|raízes cúbicas]]. Mas se o teste encontra três soluções racionais então as raízes cúbicas são evitadas. E se existir exatamente uma solução racional ''r'' então (''x'' – ''r'') pode ser fatorado do polinômio cúbico usando [[Divisão polinomial|a divisão longa de polinômios]], deixando um [[Função quadrática|polinômio quadrático]] cujas duas raízes são as outras duas raízes da equação cúbica; e estas podem ser encontradas usando a [[equação quadrática]], novamente, evitando o uso de raízes cúbicas.

== Demonstrações ==

=== Primeira demonstração ===
Seja
<math display="block">P(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0, \qquad a_0, \ldots a_n \in \mathbf{Z}.</math>
Suponha que <math>P(p/q) = 0 </math> para certos números [[Números primos entre si|primos entre si]]  <math>p,q\in \mathbb{Z} </math>:
<math display="block">P\left(\tfrac{p}{q}\right) = a_n\left(\tfrac{p}{q}\right)^n + a_{n-1}\left(\tfrac{p}{q}\right)^{n-1} + \cdots + a_1\left(\tfrac{p}{q}\right) + a_0 = 0.</math>

Se ambos os membros forem multiplicados por  <math>q^n </math>, o termo constante for movido para o lado direito, e for colocado em evidência um fator <math>p </math> do lado esquerdo, obtém-se
<math display="block">\qquad p(a_np^{n-1} + a_{n-1}qp^{n-2} + \cdots + a_1q^{n-1}) = -a_0q^n.</math>

Observa-se que <math>p</math> divide <math>a_0q^n</math>. Mas <math>p</math> e <math>q</math> são primos entre si e portanto <math>p </math> e <math>q^n</math> também são, então pelo [[lema de Euclides]] (em sua forma generalizada) ele deve dividir o fator restante <math>a_0</math> do produto.

Se em vez disso o termo líder for movido para a direita e for colocado em evidência um fator ''q'' no lado esquerdo, obtém-se
<math display="block">q \left (a_{n-1}p^{n-1} + a_{n-2}qp^{n-2} + \cdots + a_0q^{n-1} \right ) = -a_np^n.</math>
E por razões semelhantes, pode-se concluir que ''q'' divide ''a''<sub>''n''</sub>.<ref>{{citar livro|primeiro =D. |último =Arnold |primeiro2 =G. |último2 =Arnold |título=Four unit mathematics |publicado=Edward Arnold |ano=1993 |isbn=0-340-54335-3 |páginas=120–121 }}</ref>

=== Demonstração usando o lema de Gauss ===
No caso de existir um fator não-trivial dividindo todos os coeficientes do polinômio, pode-se dividi-lo pelo [[Máximo divisor comum|maior divisor comum]] dos coeficientes, de modo a obter um polinômio primitivo no sentido do [[lema de Gauss]]; isto não altera o conjunto das raízes racionais e só reforça as condições de divisibilidade. Aquele lema diz que se o polinômio é fatorável em {{math|'''Q'''[''X'']}} então ele também é fatorável em {{math|'''Z'''[''X'']}} como um produto de polinômios primitivos. Agora, qualquer raiz racional {{Math|''p''/''q''}} corresponde a um fator de grau 1 em {{math|'''Q'''[''X'']}} do polinômio, e o seu representante primitivo é {{Math|''qx'' − ''p''}}, supondo que ''p'' e ''q'' são primos entre si. Mas qualquer múltiplo de ''qx − p'' em {{math|'''Z'''[''X'']}} tem o termo líder divisível por ''q'' e o termo constante divisível por ''p'', o que comprova a afirmação. Este argumento mostra que, mais geralmente, pode ser suposto que qualquer fator irredutível de ''P'' tem coeficientes inteiros, e os coeficientes líder e constante dividindo os coeficientes correspondentes de&#x20;''P''.

== Exemplos ==

=== Primeiro ===
No polinômio
<math display="block">2x^3+x-1,</math>
qualquer raiz racional totalmente reduzida deveria ter um numerador que divide exatamente em 1 e um denominador que divide exatamente em 2. Assim, as únicas raízes racionais possíveis são ±1/2 e ±1; como nenhuma destas quantidade anula o polinômio, ele não possui raízes racionais.

=== Segundo ===
No polinômio
<math display="block">x^3-7x+6</math>
as únicas raízes racionais possíveis deveriam ter um numerador que divide 6 e um denominador que divide 1, limitando as possibilidades a ±1, ±2, ±3, ±6. Destes, 1, 2 e -3 anulam o polinômio e, portanto, são suas raízes racionais. (Na verdade, essas são as suas únicas raízes pois uma equação cúbica tem apenas três raízes; em geral, um polinômio poderia ter algumas raízes racionais e algumas [[Número irracional|irracionais]].)

=== Terceira ===
Todas as raízes racionais do polinômio
<math display="block">3x^3 - 5x^2 + 5x - 2</math>
devem estar entre os números indicados simbolicamente por
<math display="block">\pm\frac{1,2}{1,3}\,,</math>
o que resulta em uma lista com as 8 possíveis respostas:
<math display="block">\pm\left\{1, 2, \frac{1}{3}, \frac{2}{3}\right\} .</math>
Estes candidatos a raiz podem ser testados utilizando-se o [[Esquema de Horner|método de Horner]] (por exemplo). Neste caso em particular há exatamente uma raiz racional. Se um candidato a raiz não anula o polinômio, ele pode ser usado para reduzir a lista de candidatos remanescentes.<ref>{{citar periódico|último =King |primeiro =Jeremy D. |título=Integer roots of polynomials |periódico=Mathematical Gazette |volume=90 |data= Novembro de 2006 |páginas=455–456 }}</ref>Por exemplo, ''x''&#x20;=&#x20;1 não funciona, já que neste caso o valor do polinômio é igual a&#x20;1. Isto significa que a substituição ''x''&#x20;=&#x20;1&#x20;+&#x20;''t'' produz um polinômio em&#x20;''t'' com termo constante 1, enquanto que o coeficiente de ''t''<sup>3</sup> continua a ser o mesmo que o coeficiente de ''x''<sup>3</sup>. A aplicação do teorema das raízes racionais produz então as seguintes possibilidades para as raízes em&#x20;''t'':
<math display="block">t=\pm\frac{1}{1,3}.</math>
Portanto,
<math display="block">x = 1+t = 2, 0, \frac{4}{3}, \frac{2}{3}.</math>
Candidatos a raiz que não ocorrem em ambas as listas são descartados. A lista de candidatos a raízes racionais fica então reduzida a apenas ''x'' = 2 e ''x'' =&#x20;2/3.

Se ''k'' raízes racionais são encontradas (''k'' ≥ 1), o método de Horner também produzirá um polinômio de grau ''n''&nbsp;−&nbsp;''k'' cujas raízes, juntamente com as raízes racionais, são exatamente as raízes do polinômio original. Também pode ocorrer de nenhum dos candidatos ser uma solução; neste caso, a equação que iguala o polinômio a 0 não tem solução racional. Se a equação não possui um termo constante ''a''<sub>0</sub>, então 0 é uma das soluções racionais da equação.

== Ver também ==
* [[Domínio integralmente fechado]]
* [[Regra dos sinais de Descartes]]
* [[Teorema de Gauss–Lucas]]
* [[Propriedades de raízes de polinômios]]
* [[Conteúdo (álgebra)]]
* [[Critério de Eisenstein]]

== Notas ==
<references />

== Referências ==
* Charles D. Miller, Margaret L. Lial, David I. Schneider: ''Fundamentos da Faculdade de Álgebra''. Scott & Foresman/Little & Brown Ensino Superior, 3ª edição, 1990, ISBN 0-673-38638-4, pp.&#x20;216-221
* Phillip S. Jones, Jack D. Bedient: ''As raízes históricas do ensino fundamental de matemática''. Dover Courier Publicações de 1998, ISBN 0-486-25563-8, pp.&#x20;116-117 ({{Google books}})
* Ron Larson: ''Cálculo: Uma Abordagem Aplicada''. Cengage Learning 2007, ISBN 978-0-618-95825-2, pp.&#x20;23-24 ({{Google books}})

== Ligações externas ==
*{{MathWorld|urlname=RationalZeroTheorem|title=Rational Zero Theorem}}
*[http://planetmath.org/encyclopedia/RationalRootTheorem.html ''RationalRootTheorem''] at [[PlanetMath]]
* [http://www.cut-the-knot.org/Generalization/RationalRootTheorem.shtml Another proof that n<sup>th</sup> roots of integers are irrational, except for perfect nth powers] by Scott E. Brodie
*[http://www.purplemath.com/modules/rtnlroot.htm ''The Rational Roots Test''] at purplemath.com


[[Categoria:Polinómios]]
[[Categoria:Teoremas em álgebra]]
<!--[[Categoria:Teoremas em Álgebra]]
[[Categoria:Algoritmos para determinar raízes]]
-->