Faktorsatsen
Faktorsatsen är en sats inom algebran som beskriver att ett polynom kan faktoriseras med hjälp av dess nollställen.
Satsen är tillsammans med nollproduktmetoden mycket användbar för att lösa polynomekvationer av högre grad.
Faktorsatsen
[redigera | redigera wikitext]Satsen kan formuleras
är en faktor till polynomet om och endast om det komplexa talet är ett nollställe till .
Det innebär alltså att ifall ett nollställe till ett polynom är känt kan man bryta ut en faktor ur .
Notera att ekvivalensen ("om och endast om") mellan påståendena innebär att även det omvända gäller, d.v.s. att är ett nollställe till om och endast om är en faktor till .
Exempel
[redigera | redigera wikitext]Vi har polynomet
och vi vet att .
Eftersom är ett nollställe ger faktorsatsen att måste vara en faktor till . Detta kan visas genom att använda polynomdivision:
Det stämmer alltså att är en faktor till . Med hjälp av den ovannämnda ekvivalensen kan vi även se att måste vara ett nollställe till eftersom är en faktor till .
Bevis
[redigera | redigera wikitext]För att bevisa faktorsatsen räcker det med att visa att
för något polynom .
Detta kommer vi att göra i två delar för att tillgodose ekvivalensen mellan påståendena.
- (Ett nollställe medför att är en faktor)
- (Att är en faktor medför att är ett nollställe)
Del 1: Nollställe medför faktor
[redigera | redigera wikitext]Med hjälp av polynomdivision kan skrivas
där och är kvoten respektive resten av efter division med .
Efter tillräckligt många iterationer av polynomdivision är alltid graden av resten mindre än graden av polynomet man delar med. Eftersom är av grad 1 betyder det att måste vara av grad 0, alltså en konstant. Det betyder att vi kan skriva som en konstant . Det ger:
Sätter vi nu in får vi:
är alltså lika med . Eftersom vi också vet att är ett nollställe till måste alltså , vilket ger att är
V.S.B.
Del 2: Faktor medför nollställe
[redigera | redigera wikitext]Då
blir
alltså är
V.S.B.
Källor
[redigera | redigera wikitext]- Källén, Anders (2013). ”Föreläsning 2, endimensionell analys”. Lunds Tekniska Högskola. http://www.maths.lth.se/matematiklth/personal/andersk/kurser/endimB2013/F2.pdf. Läst 12 augusti 2018.