Simetria par/ímpar de polinômios

Funções pares e ímpares são o primeiro teste de simetria que muitos estudantes de cálculo encontram: f é par quando f de menos x é igual a f de x, e ímpar quando f de menos x é igual ao oposto de f de x. Para um polinômio univariado o teste se reduz a uma regra simples de paridade sobre os expoentes que de fato aparecem. Só potências pares podem sobreviver em um polinômio par; só as ímpares em um ímpar; potências mistas significam nenhum; o polinômio nulo é ambos. Este verificador de simetria par/ímpar aceita coeficientes da maior para a menor grau, lista os expoentes pares e ímpares com coeficientes não nulos e devolve um rótulo claro de simetria mais flags booleanas.

O que par e ímpar significam para um polinômio

Uma função real f é par quando substituir x por menos x deixa o gráfico inalterado sob reflexão no eixo y, o que é a identidade f de menos x igual a f de x para todo x no domínio. É ímpar quando o gráfico tem simetria em relação à origem, ou seja f de menos x igual ao oposto de f de x. Essas duas identidades não se excluem em sentido vazio: a função nula satisfaz ambas, porque zero é igual ao seu próprio oposto.

Para um polinômio escrito como soma de a sub k vezes x à k, a substituição de x por menos x multiplica cada termo por menos um elevado à potência k. Termos com k par permanecem iguais e pertencem a funções pares; termos com k ímpar trocam de sinal e pertencem a funções ímpares.

Portanto um polinômio é par exatamente quando todo coeficiente não nulo está em um expoente par, ímpar quando todo coeficiente não nulo está em um expoente ímpar, ambos quando todo coeficiente é zero, e nenhum quando o suporte do polinômio contém ao menos uma potência par e uma ímpar. Este verificador não precisa avaliar f em pontos de amostra: lê o vetor de coeficientes uma vez, registra as paridades das posições não nulas e emite a classificação do livro-texto.

O resultado é exato para coeficientes flutuantes finitos após uma limpeza leve de ruído próximo de zero, e coincide com a forma como instrutores corrigem no papel quando pedem para inspecionar expoentes em vez de expandir f de menos x à mão.

Quem ganha com uma verificação de paridade

Salas de aula e plataformas de tutoria usam um verificador de simetria par e ímpar de polinômios para que aprendizes confirmem se uma lista de coeficientes é par ou ímpar sem expandir f de menos x à mão e arriscar erros de sinal em cada termo. Geradores de prova e plugins de LMS precisam de um oráculo determinístico que marque o polinômio nulo como both e rejeite entrada vazia em vez de tratá-la em silêncio como zero constante que um corretor defeituoso poderia interpretar mal.

Front-ends de álgebra computacional e notebooks simbólicos costumam querer um pré-filtro barato antes de simplificações mais pesadas: se um polinômio já é puramente par ou puramente ímpar, metade dos termos em uma expansão de f de menos x pode ser omitida. Validação falha não consome saldo.