1.3 Komplekse likninger og reell/kompleks faktorisering
Andregradslikninger med negativ diskriminant, konjugatrotsetningen og veien fra kjent rot til full faktorisering over både $\mathbb{C}$ og $\mathbb{R}$.
- Sjanger C avsluttes her: en andregradslikning med negativ diskriminant, og faktorisering av et reelt polynom både over (lineære faktorer) og over (lineære + irreduserbare kvadratiske).
- Full pott krever begge faktoriseringene når begge er etterspurt — å levere bare den ene er den vanligste poengtapsfellen her.
- Åpen bok måler føring: vis at er rot ved innsetting, bruk konjugatrotsetningen eksplisitt, og verifiser polynomdivisjonen.
Mål: fra kjent (eller funnet) rot til komplett faktorisering over begge tallområder, trygt og verifisert.
Over de reelle tallene kan ikke faktoriseres — diskriminanten er negativ. Over de komplekse tallene kan ethvert polynom faktoriseres fullstendig i lineære faktorer (algebraens fundamentalteorem). Dette kapitlet knytter sammen tre ting: å løse likninger med komplekse røtter, konjugatrotsetningen (som gjør at reelle polynomer får røttene i konjugatpar), og veien fra en kjent rot til full faktorisering over både og .
Tre løkker: (1) andregradslikninger og konjugatrotsetningen, (2) faktorisering over og , (3) fra kjent rot til komplett faktorisering via polynomdivisjon. Hver løkke: teori → eksempel → oppgave.
Løkke 1 — Andregradslikninger og konjugatrotsetningen (~18 min)
Forskjellen er at kvadratroten nå alltid finnes — også når .
Tallet (for reelle ) styrer løsningene: gir to reelle røtter, én dobbel reell, og to komplekse konjugerte røtter .
Når skriver vi . For eksempel . Det er dette som setter inn i andregradsformelen og gir komplekse røtter.
For et andregradspolynom med reelle koeffisienter og er de to røttene hverandres konjugat: og . De har lik realdel og motsatt imaginærdel.
Løs , og gi røttene på normalform.
Røttene er — et konjugatpar. Kontroll (sum , produkt ) stemmer med og . ✓
Løs på normalform.
Har reelle koeffisienter, er (konjugering fordeler over sum og produkt, og lar reelle koeffisienter i fred). Er , så er — altså er også rot. ∎
Konjugatrotsetningen krever reelle koeffisienter. For polynomer med komplekse koeffisienter, som , gjelder den ikke — der er og røtter, og er ikke rot. Sjekk alltid at koeffisientene er reelle før du bruker setningen.
Vis at er rot i , og skriv opp den andre roten uten mer regning.
Løkke 2 — Faktorisering over og over (~20 min)
Ethvert polynom av grad (med komplekse koeffisienter) har nøyaktig røtter i , regnet med multiplisitet. Vi bruker teoremet slik: gradtall antall røtter, så et gradtall--polynom faktoriserer i lineære faktorer over .
Er en faktor i , men ikke , sier vi at er en rot med multiplisitet . Når vi teller « røtter», telles hver med sin multiplisitet.
Faktoriseringen har alltid en konstant foran — den ledende koeffisienten til . For et normert polynom (ledende koeffisient ) er og faller bort, men for f.eks. må du beholde : .
Siden ikke-reelle røtter i et reelt polynom kommer i par, må et polynom av odde grad ha et odde antall reelle røtter — spesielt minst én. Derfor har hvert tredjegradspolynom med reelle koeffisienter alltid minst én reell rot (nyttig når du leter etter en startfaktor).
Alle faktorer er lineære. Dette er den fullstendige faktoriseringen over .
Koeffisientene og er reelle. Dette er grepet som gir reell faktorisering.
Et polynom med reelle koeffisienter faktoriserer over i lineære faktorer (fra de reelle røttene) og irreduserbare kvadratiske faktorer (ett per konjugatpar). Ingen faktor av grad trengs.
Et reelt andregradspolynom er irreduserbart over når diskriminanten — det har ingen reelle røtter og kan ikke splittes videre uten komplekse tall. Slike faktorer er byggesteinene i reell faktorisering.
Løs , og faktoriser både over og over .
Over (tre lineære faktorer):
Over : slå konjugatparet sammen: (her , ). Altså
Kontroll: har , altså irreduserbar ✓, og utregning gir ✓.
Faktoriser over og over .
Faktoriser over og over .
Løkke 3 — Fra kjent rot til komplett faktorisering (~17 min)
For å dele på en faktor bruker vi divisjonsalgoritmen (samme oppstilling som for reelle polynomer): med . Er en faktor, blir resten , og er restfaktoren.
Etter polynomdivisjon er det billig forsikring å gange faktorene sammen igjen og sjekke at du får tilbake — eller å sette en kjent rot inn i restfaktoren. Regnefeil i polynomdivisjonen er en vanlig kilde til poengtap.
Er (ikke-reell) en kjent rot i et reelt polynom, er det også. Multipliser dem til den reelle kvadratiske faktoren , og del på den for å finne restfaktoren — det gir resten av røttene direkte.
En faktorisering er komplett når summen av faktorenes grader er lik , og ingen faktor kan splittes videre (over det aktuelle tallområdet). Over betyr det lineære faktorer; over at hver kvadratisk faktor har negativ diskriminant. Tell alltid gradene som sluttkontroll.
Er likningen en ren , bruk rotformelen fra kap. 1.2 (polarform). Er den et generelt andregradsuttrykk , bruk andregradsformelen. For høyere grad: finn/gis én rot, del ut faktoren, og reduser til et andregradspolynom.
For er og . For et konjugatpar: sum og produkt — nettopp koeffisientene i den reelle faktoren. Nyttig som rask kontroll.
Vis at er rot i , og finn faktoriseringen både over og over .
Konjugatrotsetningen: koeffisientene er reelle, så er også rot. Konjugatparet gir den reelle faktoren
Finn restfaktoren ved polynomdivisjon: . (Kontroll: gang ut igjen, eller sjekk at gir ✓.)
Over :
Over : split den reelle kvadratiske faktoren:
Vis at er rot i , og finn begge faktoriseringene.
Faktoriser over og over .
- Levere bare én faktorisering når både og er etterspurt — koster full pott.
- Glemme den konjugerte roten — reelle koeffisienter gir alltid konjugatpar.
- Regnefeil i polynomdivisjonen — verifiser ved å gange faktorene sammen igjen, eller sett en rot inn i restfaktoren.
- Bruke konjugatrotsetningen på polynom med komplekse koeffisienter — den gjelder bare for reelle koeffisienter.
- Kalle en reell kvadratisk faktor «ferdig faktorisert over » — over må den splittes videre i to lineære.
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Bergen. Dette er ikke offisielt studiemateriell. Les mer.