Simmetria pari/dispari di polinomi

Le funzioni pari e dispari sono la prima prova di simmetria che molti studenti di calcolo incontrano: f è pari quando f di meno x è uguale a f di x, e dispari quando f di meno x è uguale all'opposto di f di x. Per un polinomio univariato il test si riduce a una semplice regola di parità sugli esponenti che compaiono davvero. Solo le potenze pari possono sopravvivere in un polinomio pari; solo le dispari in uno dispari; potenze miste significano nessuno dei due; il polinomio nullo è entrambi. Questo verificatore di simmetria pari/dispari accetta coefficienti dal grado più alto al più basso, elenca gli esponenti pari e dispari con coefficienti non nulli e restituisce un'etichetta di simmetria chiara più flag booleane.

Cosa significano pari e dispari per un polinomio

Una funzione reale f è pari quando sostituire x con meno x lascia il grafico invariato sotto riflessione rispetto all'asse y, ovvero l'identità f di meno x uguale a f di x per ogni x nel dominio. È dispari quando il grafico ha simmetria rispetto all'origine, cioè f di meno x uguale all'opposto di f di x. Quelle due identità non si escludono in senso vuoto: la funzione nulla soddisfa entrambe, perché zero è uguale al proprio opposto.

Per un polinomio scritto come somma di a sub k volte x alla k, la sostituzione di x con meno x moltiplica ogni termine per meno uno elevato alla potenza k. I termini con k pari restano invariati e appartengono alle funzioni pari; quelli con k dispari cambiano segno e appartengono alle funzioni dispari.

Quindi un polinomio è pari esattamente quando ogni coefficiente non nullo sta su un esponente pari, dispari quando ogni coefficiente non nullo sta su un esponente dispari, entrambi quando ogni coefficiente è zero, e nessuno dei due quando il supporto del polinomio contiene almeno una potenza pari e una dispari. Questo verificatore non deve valutare f in punti campione: legge il vettore dei coefficienti una volta, registra le parità delle posizioni non nulle ed emette la classificazione da manuale.

Il risultato è esatto per coefficienti floating finiti dopo una leggera pulizia del rumore vicino allo zero, e coincide con il modo in cui i docenti correggono su carta quando chiedono di ispezionare gli esponenti invece di espandere f di meno x a mano.

A chi serve un controllo di parità

Le aule e le piattaforme di tutoraggio usano un verificatore di simmetria pari e dispari di polinomi affinché gli studenti confermino se un elenco di coefficienti è pari o dispari senza espandere f di meno x a mano e rischiare errori di segno su ogni termine. I generatori di esami e i plugin LMS necessitano di un oracolo deterministico che segni il polinomio nullo come both e rifiuti l'input vuoto invece di trattarlo in silenzio come zero costante che un correttore difettoso potrebbe interpretare male.

I front-end di algebra computazionale e i notebook simbolici spesso vogliono un prefiltro economico prima di semplificazioni più pesanti: se un polinomio è già puramente pari o puramente dispari, metà dei termini in un'espansione di f di meno x può essere saltata. La validazione fallita non consuma saldo.