Gerade/ungerade Polynom-Symmetrie

Gerade und ungerade Funktionen sind der erste Symmetrietest, dem viele Studierende der Analysis begegnen: f ist gerade, wenn f von minus x gleich f von x ist, und ungerade, wenn f von minus x gleich dem Negativen von f von x ist. Bei einem univariaten Polynom reduziert sich der Test auf eine einfache Paritätsregel über die tatsächlich vorkommenden Exponenten. Nur gerade Potenzen können in einem geraden Polynom überleben; nur ungerade in einem ungeraden; gemischte Potenzen bedeuten keines von beiden; das Nullpolynom ist beides. Dieser Prüfer für gerade/ungerade Polynom-Symmetrie nimmt Koeffizienten vom höchsten zum niedrigsten Grad entgegen, listet die geraden und ungeraden Exponenten mit nichtverschwindenden Koeffizienten und liefert ein klares Symmetrie-Label plus boolesche Flags.

Was gerade und ungerade für ein Polynom bedeuten

Eine reelle Funktion f ist gerade, wenn die Ersetzung von x durch minus x den Graphen unter Spiegelung an der y-Achse unverändert lässt, also die Identität f von minus x gleich f von x für jedes x im Definitionsbereich. Sie ist ungerade, wenn der Graph Punktsymmetrie zum Ursprung hat, also f von minus x gleich dem Negativen von f von x. Diese beiden Identitäten schließen sich im trivialen Sinn nicht aus: die Nullfunktion erfüllt beide, weil null gleich ihrem eigenen Negativen ist.

Für ein Polynom als Summe von a sub k mal x hoch k multipliziert die Substitution von x durch minus x jeden Term mit minus eins hoch k. Terme mit geradem k bleiben unverändert und gehören zu geraden Funktionen; Terme mit ungeradem k wechseln das Vorzeichen und gehören zu ungeraden Funktionen.

Daher ist ein Polynom genau dann gerade, wenn jeder nichtverschwindende Koeffizient auf einem geraden Exponenten sitzt, ungerade, wenn jeder nichtverschwindende Koeffizient auf einem ungeraden Exponenten sitzt, beides, wenn jeder Koeffizient null ist, und keines von beiden, wenn der Träger des Polynoms mindestens eine gerade und eine ungerade Potenz enthält. Dieser Prüfer muss f nicht an Stichprobenpunkten auswerten: er liest den Koeffizientenvektor einmal, erfasst die Paritäten der nichtverschwindenden Einträge und liefert die Lehrbuchklassifikation.

Das Ergebnis ist für endliche Gleitkomma-Koeffizienten nach einer leichten Bereinigung von Rauschen nahe null exakt und entspricht der Art, wie Lehrkräfte auf Papier bewerten, wenn sie Exponenten prüfen lassen statt f von minus x von Hand auszuentwickeln.

Eingabevertrag, Antwortform und Fehlerverhalten

Der Eintrag am Index null ist der Leitkoeffizient von x hoch n, wobei n die Länge minus eins ist, und der letzte Eintrag ist das absolute Glied. Nullen sind erlaubt und markieren nur fehlende Potenzen; sie ändern die Paritätsmengen nicht. Der Grad ist aus Sicherheitsgründen begrenzt, damit eine entgleiste Nutzlast keinen übermäßigen Scan erzwingt.

Bei Erfolg gibt der Body die bereinigten Koeffizienten zurück, meldet den effektiven Grad als höchste Potenz mit nichtverschwindendem Koeffizienten (null für das Nullpolynom), druckt eine kompakte Polynomzeichenkette für die Anzeige und setzt symmetry auf even, odd, neither oder both. Beispiel: Koeffizienten eins, null, minus drei, null, zwei stehen für x hoch vier minus drei x hoch zwei plus zwei und sind gerade; eins, null, eins, null stehen für x hoch drei plus x und sind ungerade; eins, eins stehen für x plus eins und sind weder gerade noch ungerade.

Unterricht und Nachhilfeplattformen nutzen einen Prüfer für gerade und ungerade Polynom-Symmetrie, damit Lernende bestätigen können, ob eine Koeffizientenliste gerade oder ungerade ist, ohne f von minus x von Hand zu entwickeln und bei jedem Term Vorzeichenfehler zu riskieren. Prüfungsgeneratoren und LMS-Plugins brauchen ein deterministisches Orakel, das das Nullpolynom als both markiert und leere Eingaben ablehnt statt sie still als konstantes Null zu behandeln, das ein fehlerhafter Bewerter falsch auslegen könnte.

Computer-Algebra-Frontends und symbolische Notebooks wollen oft einen günstigen Vorfilter vor schwereren Vereinfachungen: ist ein Polynom bereits rein gerade oder rein ungerade, kann die Hälfte der Terme in einer Entwicklung von f von minus x übersprungen werden. Validierungsfehler werden nicht berechnet.