Polynomdivision

Allgemein

Informell

Im Folgenden seien n und m natürliche Zahlen einschließlich Null () und der Einfachheit halber die Größen und stets ganze Zahlen, also Elemente von . Hat man nun zwei Polynome, etwa

und

so kann man sie unter gewissen formalen Voraussetzungen ähnlich wie ganze Zahlen durcheinander dividieren, also die Rechenaufgabe

p(x) : q(x) = ?

lösen. Im Ergebnis finden sich dann zwei Polynome: Ein Polynom s(x), das dem Ganzzahlquotienten in der Zahlendivision mit Rest entspricht, und ein Polynom r(x), das sich nicht mehr weiter durch q(x) teilen lässt und das dem Rest in der Zahlendivision entspricht:

p(x) = q(x)s(x) + r(x)

oder in Analogie zur Schulschreibweise

p(x) : q(x) = s(x) Rest r(x)

Das Verfahren zum Auffinden dieser Lösung, bestehend aus s(x) und r(x), ist die Polynomdivision.

Dass sich hiernach r(x) nicht weiter durch q(x) teilen lässt, ist gleichbedeutend damit, dass der Polynomgrad von r(x) kleiner ist als der von q(x), weshalb dies in der formalen Definition der Rechenvorschrift (Algorithmus) auch als Abbruchbedingung gefordert wird. In der Zahlendivision mit Rest wird stattdessen gefordert, dass der Rest kleiner als der Divisor ist. Beide Nebenbedingungen sorgen im jeweiligen Verfahren dafür, dass der Rest eindeutig bestimmt ist.

Bei der formalen Definition des Verfahrens werden einige zusätzliche Bedingungen beachtet. Das kommt daher, dass man Polynome im Allgemeinen viel weitläufiger definieren kann, als es hier zur einfacheren Erklärung geschehen ist oder man es zum Beispiel aus der Schule kennt. Die Koeffizienten eines Polynoms etwa können dann aus beliebigen Ringen stammen. Dann dürfen aber wiederum die Koeffizienten der beiden Polynome nicht aus verschiedenen Ringen stammen. Daher definiert man, dass die Polynome in einem gemeinsamen Polynomring liegen müssen. Auch reicht es nicht mehr zu fordern, dass der „höchste“ Koeffizient (Leitkoeffizient) b_m von q(x) nur ungleich Null sein müsse. Vielmehr muss man fordern, dass er zudem eine Einheit des Ringes sein muss. Oder es wird das unten beschriebene Verfahren der Pseudo-Division angewendet.

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Polynomdivision aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren

Anbieterkennzeichnung