Polinmio

Em matemtica, funes polinomiais, polinmios ou polinmios so uma classe importante defunes simples e infinitamente diferenciveis. Devido natureza da sua estrutura, os polinmios so muito simples de se avaliar e por consequncia so usados extensivamente em anlise numrica.

Histria
Determinar as razes de polinmios, ou "resolver equaes algbricas", um dos problemas mais antigos da matemtica. Alguns polinmios, tais como:

f(x) = x2 + 1
no possuem razes dentro do conjunto dos nmeros reais. Se, no entanto, o conjunto de candidatos possveis for expandido ao conjunto dos nmeros imaginrios, ou seja, se se passar a tomar em conta o conjunto dos nmeros complexos, ento todo o polinmio (no-constante) possui pelo menos uma raiz (teorema fundamental da lgebra). Existe uma diferena entre a aproximao de razes e a determinao de frmulas concretas que as definem. Frmulas para a determinao de razes de polinmios de grau at ao 4 so conhecidas desde o sculo XVI (ver equao quadrtica, Gerolamo Cardano, Niccolo Fontana Tartaglia). Mas frmulas para o 5 grau tm vindo a escapar aos investigadores j h algum tempo. Em 1824, Niels Henrik Abel provou que no pode haver uma frmula geral (envolvendo apenas as operaes aritmticas e radicais) para a determinao de razes de polinmios de grau igual ou superior ao 5 em termos de coeficientes (ver teorema de AbelRuffini). Este resultado marcou o incio da teoria de Galois, onde se aplica a um estudo detalhado das relaes entre razes de polinmios.

Definio
Para a sucesso de termos: (ou a forma: ) com e

um polinmio de grau n (ou tambm funo racional inteira) uma funo que possui

Alternativamente, o polinmio acima pode ser escrito recorrendo-se notao sigma:

ou ainda

, com Os nmeros

so denominados de coeficientes do polinmio e o

termo a0 de coeficiente constante (ou termo independente). Cada elemento somado avxv do polinmio denomidado por termo. Um polinmio com um, dois ou trs termos chamado de monmio, binmio ou trinmio, respectivamente. Em relao ao grau, os polinmios podem ser classificados como a seguir: grau 0 - polinmio constante; grau 1 - polinmio linear; grau 2 - polinmio quadrtico; grau 3 - polinmio cbico. ... grau n - polinmio de grau n.

Pode-se estender a definio de polinmio para incluir f(x) = 0, chamado polinmio nulo (caso em que n = 0 e an = a0 = 0). O polinmio nulo no possui grau definido. Uma equao polinmica obtm-se quando o polinmio igualado a zero, ou seja:

. Desta forma podemos falar em razes do polinmio f(x) e encontrar os valores de x que tornam a igualdade verdadeira, isto , busca-se a raiz do polinmio f(x) que um valor de x tal que torne f(x) = 0. Um nmero que satisfaz uma equao polinmica chamado

de nmero algbrico. Por exemplo:

algbrico e valida o polinmio x2 2 =

0 pois

Definio (genrica)

A definio acima de um polinmio com coeficientes reais (ou complexos) pode ser generalizada para polinmios com coeficientes em estruturas algbricas mais gerais. O resultado o anel de polinmios. Seja das funes um anel. Ento podemos considerar o conjunto que tem suporte finito, ou seja, para as quais o

conjunto

finito. Essas funes representam os coeficientes do polinmio

(notar que

uma forma de se escrever

).

O objetivo escrever uma soma e um produto neste conjunto, de forma que as seqncias do tipo (k, 0, 0, ...) funcionem como os escalares, e a seqncia do tipo (0, 1, 0, ...) funcione como o x dos polinmios. A definio de e feita pelos seus coeficientes, ou seja:

Deve-se observar que as duas definies fazem sentido, pois a soma e o produto destas sries tem suporte finito. Falta provar os axiomas de anel para que a funo , o que fcil mas trabalhoso, e

definida por:

um isomorfismo entre A e

. .

Isso mostra que A pode ser visto como um sub-anel de

Se o anel A possui identidade multiplicativa, ento definindo x como a funo:

verifica-se que os elementos de

so todos da forma: .