Resumo
Esta aula estuda as raízes dos polinômios de grau maior que dois. Deduz do algoritmo da divisão a divisão sintética, ou dispositivo de Briot-Ruffini (regra de Ruffini), que divide um polinômio por apenas com multiplicações e somas e fornece ao mesmo tempo o valor , e a relaciona com a regra de Horner. Demonstra o teorema das raízes racionais, que reduz a busca de raízes racionais de um polinômio de coeficientes inteiros a uma lista finita de candidatos, e o aplica à fatoração completa de polinômios de graus e , com a multiplicidade das raízes e a divisão sintética repetida. Prova duas cotas para as raízes reais, a de Cauchy e a que a própria divisão sintética fornece; enuncia o teorema fundamental da álgebra e deduz dele que todo polinômio real é produto de fatores lineares e quadráticos irredutíveis; e obtém as relações de Girard (de Viète) da cúbica.
Objetivos de aprendizagem
- Dividir um polinômio por mediante a divisão sintética e justificar que o esquema fornece os coeficientes do quociente e o resto .
- Encontrar as raízes racionais de um polinômio de coeficientes inteiros com o teorema das raízes racionais, e usá-lo para demonstrar que certos números são irracionais.
- Fatorar completamente polinômios de graus e , determinando a multiplicidade de cada raiz e delimitando de antemão o intervalo que contém as raízes reais.
- Relacionar as raízes e os coeficientes de uma cúbica mediante as relações de Girard, e descrever a fatoração de um polinômio real que o teorema fundamental da álgebra assegura.
- Formular problemas aplicados que conduzem a uma equação polinomial de grau ou , como a linha de flutuação de uma boia, e escolher entre suas raízes as que têm sentido no contexto.
A divisão sintética
A aula sobre a álgebra dos polinômios demonstrou o algoritmo da divisão: dados dois polinômios e , com não nulo, existem um quociente e um resto únicos. Quando o divisor é , o resto é uma constante, que pelo teorema do resto vale ; e pelo teorema do fator, é uma raiz de exatamente quando esse resto é nulo. Procurar as raízes de um polinômio de grau superior obriga, portanto, a dividir muitas vezes por divisores dessa forma. A divisão sintética, também chamada dispositivo de Briot-Ruffini, reduz cada uma dessas divisões a uma sucessão de multiplicações e somas sobre os coeficientes, sem escrever a variável.
O esquema é o seguinte. Escrevem-se numa linha os coeficientes de , desde a potência maior até o termo independente, incluídos os nulos, e à esquerda o número . Baixa-se o primeiro coeficiente; depois, repetidas vezes, multiplica-se por o último número obtido, escreve-se o produto sob o coeficiente seguinte e somam-se os dois. Os números da última linha, exceto o último, são os coeficientes do quociente; o último é o resto.
Dividir por . O polinômio não tem termo em , de modo que seu coeficiente, , deve ser escrito na linha: omiti-lo deslocaria todos os demais. Chamamos , , e os coeficientes do quociente, e o resto.
Demonstração
Escrevemos os coeficientes, da potência maior para a menor, incluído o de , e à esquerda o número .
Baixamos o primeiro coeficiente: é o coeficiente dominante do quociente.
Multiplicamos por o número obtido e somamos o produto ao coeficiente seguinte.
Repetimos a operação com o número recém-obtido.
Mais uma vez.
A última soma dá o resto.
O quociente tem grau , um a menos que o dividendo, e seus coeficientes são os da última linha; o resto é , que coincide com , como exige o teorema do resto.
Que o esquema funcione não é uma casualidade do exemplo; o teorema seguinte o demonstra em geral, comparando coeficientes na igualdade da divisão.
Sejam um polinômio de grau e um número real. Se se definem , depois para desde até , e finalmente , então o quociente da divisão de por é , e o resto é .
A demonstração compara os coeficientes dos dois membros da igualdade da divisão; a figura acompanha o caso .
Demonstração
Pelo algoritmo da divisão, existem um quociente e um resto únicos. Como o divisor tem grau , o resto é uma constante e, pela regra do grau do produto, o quociente tem grau ; chamamos seus coeficientes.
Desenvolvemos o produto: cada coeficiente aparece duas vezes, multiplicado por no termo de grau e multiplicado por no de grau .
Pelo princípio de identidade, os coeficientes de cada potência coincidem nos dois membros da igualdade da divisão; a igualdade central vale para desde até .
Isolamos: o primeiro coeficiente é baixado, e cada um dos seguintes, como o resto, é o coeficiente de mais vezes o número anterior. Reciprocamente, os números assim definidos cumprem as igualdades anteriores, de modo que dão uma divisão de por ; pela unicidade do quociente e do resto, são exatamente os da divisão.
Ao avaliar a igualdade da divisão em , a primeira parcela se anula: o último número da tabela é .
A divisão sintética e a regra de Horner
A regra de Horner, demonstrada na aula sobre os sistemas de numeração posicional, calcula o valor de uma soma de potências partindo do coeficiente dominante e repetindo a operação de multiplicar pela base e somar o coeficiente seguinte. É exatamente o que faz a última linha da divisão sintética com a base : os números são os resultados parciais da regra de Horner aplicada em , e a última etapa dá o valor do polinômio.
Disso se segue que a regra de Horner oferece uma segunda demonstração do teorema do resto, e que a divisão sintética é, ao mesmo tempo, o modo mais econômico de avaliar um polinômio e de dividi-lo: avaliar em custa multiplicações e somas, e a mesma conta deixa escrito o quociente. Pelo teorema do fator, é raiz exatamente quando o último número da tabela é .
Para dividir por um divisor linear , com , basta observar que : divide-se por com a divisão sintética, e o quociente obtido divide-se por ; o resto não muda.
Carregando o conteúdo…