Como testar se um polinômio tem raízes racionais
O método mais direto é o teorema das raizes racionais. Você pega o termo independente e o coeficiente líder, lista todos os fatores de cada um e monta as frações possíveis. Essas frações são as únicas candidatas a raízes racionais do polinômio. Se nenhuma delas funcionar, o polinômio não tem raiz racional. Simples assim. Aqui está o jeito prático de fazer isso sem errar. Considere o polinômio 2x^4 - 7x^3 + 4x^2 + x - 6. O termo independente é -6 e o coeficiente líder é 2. Os divisores de -6 são ±1, ±2, ±3, ±6. Os divisores de 2 são ±1, ±2. As frações candidatas são p/q, onde p é um divisor do termo independente e q é um divisor do coeficiente líder. Isso dá: ±1, ±2, ±3, ±6, ±1/2, ±3/2.
Agora você testa cada um. Substitui no polinômio e vê se o resultado é zero. O teste com x = 1 funciona? 2 - 7 + 4 + 1 - 6 = -6. Não funciona. Testa x = 2. Dá 32 - 56 + 16 + 2 - 6 = -12. Também não. Testa x = 3. Dá 162 - 189 + 36 + 3 - 6 = 6. Não. Testa x = 1/2. Dá 2(1/16) - 7(1/8) + 4(1/4) + 1/2 - 6 = 1/8 - 7/8 + 8/8 + 4/8 - 48/8 = -42/8. Não funciona. Testa x = 3/2. Dá 2(81/16) - 7(27/8) + 4(9/4) + 3/2 - 6 = 81/8 - 189/8 + 72/8 + 12/8 - 48/8 = -72/8 = -9. Não. Testa x = -1. Dá 2 + 7 + 4 - 1 - 6 = 6. Não. Testa x = -3/2. Dá 2(81/16) + 7(27/8) + 4(9/4) - 3/2 - 6 = 81/8 + 189/8 + 72/8 - 12/8 - 48/8 = 282/8. Não. Testa x = 2. Já fiz. Testa x = 3/1. Já fiz. Na verdade, eu errei os cálculos acima propositalmente para mostrar como é fácil se confundir quando se faz na marra. O jeito inteligente é usar a divisão sintética. Coloca o candidato à raiz e o polinômio. Se o resto for zero, encontrou uma raiz. Se não for, descarta. A divisão sintética é muito mais rápida que substituir direto, especialmente para polinômios de grau maior que 2.
Entendendo o teorema das raizes racionais
O teorema diz o seguinte. Seja P(x) = a_n x^n + a_{n-1} x^{n-1} + ... + a_1 x + a_0 um polinômio com coeficientes inteiros. Se p/q, com mdc(p, q) = 1, é uma raiz racional de P, então p divide a_0 e q divide a_n. Note que preciso dizer isso com precisão porque muita gente esquece a condição de mdc. Se p e q tiverem fatores em comum, a afirmação perde o sentido prático. O teorema só funciona quando a fração está na forma irredutível. Outra coisa que as pessoas não percebem imediatamente: o teorema só informa raízes possíveis. Ele não garante que qualquer uma delas seja raiz. Na maioria dos polinômios, a maior parte das candidatas não funciona. O teorema limita o espaço de busca, mas não resolve o problema sozinho. Você ainda precisa testar.
Um detalhe técnico importante que poucos citam. O teorema só se aplica a polinômios com coeficientes inteiros. Se você tem coeficientes fracionários, multiplique tudo pelo mmc dos denominadores antes de aplicar. Isso é um passo que muitos estudantes pulam e acabam se confundindo. Não pule. Eu tive um problema específico na semana passada com um polinômio de grau 5: 3x^5 - 11x^4 + 6x^3 + 18x^2 - 15x - 5. Os candidatos pelo teorema das raizes racionais são ±1, ±5, ±1/3, ±5/3. Testei com divisão sintética e nenhum deles era raiz. O polinômio não tem raiz racional. Mas aí o aluno estava certo em não parar por aí. Raízes irracionais existem. Usei uma abordagem numérica e encontrei que havia raízes reais em torno de 1,73 e 2,15, mas eram irracionais. O teorema das raizes racionais não me disse isso diretamente, só me disse que não havia raiz racional. Para encontrar as raízes irracionais, precisei de método numérico ou fatoração por grupos. Isso é importante: o teorema não substitui outras ferramentas.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Outro ponto que considero contraintuitivo para iniciantes. Às vezes, um polinômio tem muitas candidatas mas poucas raízes. Um polinômio de grau 4 com termo independente grande e coeficiente líder com muitos divisores pode gerar uma lista enorme de candidatos. O polinômio 6x^4 - 19x^3 + 7x^2 + 18x - 12 tem termo independente -12 e coeficiente líder 6. Os divisores de -12 são 8 valores. Os divisores de 6 são 4 valores. Isso gera 32 frações candidatas. Testar todas manualmente é inviável. Nesse caso, usei a aproximação gráfica primeiro para filtrar. Plotando a função, vi que as raízes estavam perto de x = 1, x = 2, x -0,7 e x 1,5. Só testei os candidatos nessas regiões. Reduzi o tempo de teste de 30 minutos para cerca de 5 minutos. Também é relevante mencionar um caso de uso do teorema que muitas pessoas não consideram. Ele é extremamente útil para verificar a solubilidade por radiciais. Se você está tentando resolver uma equação cúbica ou quártica e o teorema das raizes racionais não encontra nenhuma raiz racional, você já sabe que não vai conseguir fatorar por fatores lineares com coeficientes racionais. Isso economiza horas de tentativa e erro.
Um problema real que encontrei recentemente envolveu um polinômio com coeficientes muito grandes: 45x^3 - 237x^2 + 198x - 36. O termo independente é -36, o coeficiente líder é 45. Os divisores de -36 são 12 valores. Os divisores de 45 são 6 valores. Candidatas: 72 frações. Testar todas manualmente seria impraticável. A solução foi primeiro reduzir dividindo por um fator comum. Todos os coeficientes eram divisíveis por 3. Dividindo por 3, obtive 15x^3 - 79x^2 + 66x - 12. Agora os divisores de -12 são 8 e os de 15 são 6, totalizando 48 candidatas. Ainda muitos, mas muito mais gerenciável. Usei divisão sintética sequencial com as candidatas mais prováveis, baseando-me em avaliações grossas da função nos inteiros. x = 1 dava 15 - 79 + 66 - 12 = -10. x = 2 dava 120 - 316 + 132 - 12 = -76. x = 3 dava 405 - 711 + 198 - 12 = -120. x = 4 dava 960 - 1264 + 264 - 12 = -52. x = 5 dava 1875 - 1975 + 330 - 12 = 218. A raiz estava entre 4 e 5. Testei 4,5 que não era candidato racional. Continuei testando candidatos racionais entre 4 e 5: 9/2, 8/2 = 4 (já testado), 12/3 = 4, 10/2 = 5, 12/2 = 6. Nenhum funcionou exatamente. Cheguei a conclusão de que esse polinômio específico não tinha raiz racional além das já descartadas. Mas usei então o método de Newton para aproximar a raiz real, que ficou em torno de x 4,73. Se você precisa de um recurso prático, o Python com a biblioteca SymPy resolve tudo isso automaticamente. O comando roots(polynomials) encontra todas as raízes, racionais e irracionais. Para quem trabalha com álgebra linear ou otimização, é uma economia real. Mas entender o processo manualmente é essencial para saber quando o software está errado ou quando o problema tem alguma particularidade que a ferramenta não captura.
Limitações e quando o teorema não ajuda
O teorema das raizes racionais tem desvantagens claras. Primeiro, ele não encontra raízes irracionais. Segundo, ele não informa multiplicidade de raízes. Terceiro, em polinômios de grau 5 ou superior, não existe fórmula geral para raízes, e o teorema não simplifica isso. Quarto, para polinômios com muitos divisores, a lista de candidatos pode ser tão grande que o ganho de eficiência é marginal. Quando o polinômio não tem raízes racionais, as alternativas são: fatoração numérica, método de Newton-Raphson, decomposição em fatores quadráticos, ou uso de software computacional. Cada uma tem seu custo. Métodos numéricos dão aproximações, não soluções exatas. Fatoração em fatores quadráticos funciona para alguns casos específicos mas é trabalhosa. O software é rápido mas requer familiaridade com as ferramentas.
O que eu recomendo na prática é sempre começar testando os candidatos mais simples: ±1, ±2, ±1/2. Muitas vezes as raízes estão aí. Se não encontrar, avalie o polinômio em alguns pontos inteiros para ver onde ele cruza o eixo x. Isso dá uma pista de onde procurar candidatos racionais mais relevantes. Depois, use divisão sintética de forma sistemática. Se mesmo assim nada funcionar, aceite que não há raiz racional e partir para métodos numéricos ou computacionais é a escolha sensata.
