Division af polynomier
Division af polynomier er en ikke-triviel operation, som ret ofte bruges til at omforme og forenkle polynomier.
Første eksempel
Division af polynomier er allerede en ret kompliceret ting, i hvert fald i sammenligning med de foregående operationer. Fremgangsmåden ved division af polynomier minder dog ret meget om almindelig division i hånden. Hele algoritmen viser vi på eksempler. Lad os begynde med et simpelt, for eksempel:
Vi antager, at begge polynomier er ordnet med faldende eksponenter og ordentligt reduceret — altså at det, vi kunne lægge sammen, har vi lagt sammen. Det er ikke afgørende for algoritmen, men det gør regningen enklere. I første skridt dividerer vi det første led i det første polynomium med det første led i det andet polynomium (her har det andet polynomium kun ét led, så det første led i det andet polynomium er samtidig lig med hele det andet polynomium). Altså udfører vi operationen
Division af disse grundlæggende led foregår omvendt af multiplikation, der er ikke noget overraskende i det. Fordi det er første skridt, skriver vi det ind i det oprindelige udtryk, som vi vil beregne
og fortsætter med andet skridt. Vi ganger vores midlertidige resultat med det andet polynomium, altså det polynomium, som vi dividerer med.
Dette resultat trækker vi fra hele det første polynomium. Vi skriver det under det første polynomium, omtrent sådan her:
Nu er der under stregen et resultat tilbage, og på dette resultat anvender vi den samme fremgangsmåde som på det oprindelige polynomium. Vi dividerer det med det første led i det andet polynomium.
Dette resultat lægger vi til den foregående midlertidige løsning:
Og igen ganger vi hele det andet polynomium med fire
og trækker det fra det, der var tilbage under stregen.
Efter subtraktionen er der nul tilbage, og algoritmen slutter hermed. På højre side har vi resultatet af divisionen. Hvis vi vil lave en prøve, ganger vi det opståede polynomium med det andet polynomium, og vi skal få det første polynomium.
Andet eksempel
Vi ændrer blot den foregående opgave lidt og prøver at beregne
Regningen forløber hele tiden på samme måde som i det foregående eksempel, bortset fra at resultatet efter hver subtraktion er syv større. Regningen ville altså kort fortalt forløbe sådan her:
Fremgangsmåden har ikke ændret sig, der er bare kommet en syver til. I dette skridt kan vi ikke længere dividere den nye differens (syveren) med det andet polynomium på en pæn måde. Resultatet skriver vi simpelthen som syv over det givne polynomium og lægger det til delresultatet.
Når vi ganger baglæns med det andet polynomium, får vi syv
og dermed får vi nul, når vi trækker fra.
Algoritmen slutter her, vi har nået nul.
Tredje eksempel
Vi udvider det andet polynomium med endnu et led.
I første skridt dividerer vi det første led i det første polynomium med det første led i det andet, ligesom i de foregående eksempler.
I næste skridt ganger vi dette delresultat med hele det andet polynomium og trækker fra det første.
Vi skriver det overskueligt under hele eksemplet.
Vi fortsætter, vi dividerer det første led i det nyopståede polynomium med det første led i det andet polynomium.
Vi ganger med hele det andet polynomium:
Vi skriver og trækker fra:
Dette kan ikke længere fornuftigt divideres, så vi lægger blot brøken af begge polynomier til.
Hvis vi også her gangede tilbage og trak fra, ville vi straks få nul som i det foregående eksempel. Vi laver en prøve. Før vi laver en grundig prøve, kan vi prøve en hurtig test. Vi indsætter en triviel værdi i udtrykkene, for eksempel nul. Hvis vi indsætter nul i resultatet efter divisionen, får vi
Hvis vi indsætter nul i de udtryk, som vi dividerer, får vi
Hvis vores omformning er rigtig, skal begge værdier give det samme resultat. Som vi ser, er værdierne lige store. Denne fremgangsmåde garanterer os ganske vist ikke fuldstændig rigtighed, vi skulle nemlig teste alle mulige værdier, som vi kan indsætte for parameteren x, men den kan til gengæld hurtigt afsløre en fejl. Vi prøver det samme med 1. Vi indsætter i resultatet og får:
Vi indsætter i de oprindelige udtryk og får
Det ser lovende ud, men for at få endelig bekræftelse må vi udføre hele multiplikationen.
Kapitler: Polynomier, Division af polynomier, Rod i et polynomium, Opløsning af polynomier i faktorer