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

Satsen kan formuleras

( x k ) {\displaystyle (x-k)} är en faktor till polynomet p ( x ) {\displaystyle p(x)} om och endast om det komplexa talet k {\displaystyle k} är ett nollställe till p ( x ) {\displaystyle p(x)} .

Det innebär alltså att ifall ett nollställe k {\displaystyle k} till ett polynom p ( x ) {\displaystyle p(x)} är känt kan man bryta ut en faktor ( x k ) {\displaystyle (x-k)} ur p ( x ) {\displaystyle p(x)} .

Notera att ekvivalensen ("om och endast om") mellan påståendena innebär att även det omvända gäller, d.v.s. att k {\displaystyle k} är ett nollställe till p ( x ) {\displaystyle p(x)} om och endast om ( x k ) {\displaystyle (x-k)} är en faktor till p ( x ) {\displaystyle p(x)} .

Exempel

Vi har polynomet

p ( x ) = x 2 + 4 x 21 {\displaystyle p(x)=x^{2}+4x-21}

och vi vet att p ( 7 ) = 0 {\displaystyle p(-7)=0} .

Eftersom 7 {\displaystyle -7} är ett nollställe ger faktorsatsen att ( x ( 7 ) ) = ( x + 7 ) {\displaystyle (x-(-7))=(x+7)} måste vara en faktor till p ( x ) {\displaystyle p(x)} . Detta kan visas genom att använda polynomdivision:

p ( x ) = ( x + 7 ) x 2 + 4 x 21 x + 7 p o l y n o m d i v i s i o n = ( x + 7 ) ( x 3 ) {\displaystyle p(x)=(x+7)\cdot \underbrace {\frac {x^{2}+4x-21}{x+7}} _{polynomdivision}=(x+7)(x-3)}

Det stämmer alltså att ( x + 7 ) {\displaystyle (x+7)} är en faktor till p ( x ) {\displaystyle p(x)} . Med hjälp av den ovannämnda ekvivalensen kan vi även se att 3 {\displaystyle 3} måste vara ett nollställe till p ( x ) {\displaystyle p(x)} eftersom ( x 3 ) {\displaystyle (x-3)} är en faktor till p ( x ) {\displaystyle p(x)} .

Bevis

För att bevisa faktorsatsen räcker det med att visa att

p ( k ) = 0 p ( x ) = ( x k ) q ( x ) {\displaystyle p(k)=0\Leftrightarrow p(x)=(x-k)q(x)}

för något polynom q ( x ) {\displaystyle q(x)} .

Detta kommer vi att göra i två delar för att tillgodose ekvivalensen mellan påståendena.

  1. p ( k ) = 0 p ( x ) = ( x k ) q ( x ) {\displaystyle p(k)=0\Rightarrow p(x)=(x-k)q(x)} (Ett nollställe k {\displaystyle k} medför att ( x k ) {\displaystyle (x-k)} är en faktor)
  2. p ( x ) = ( x k ) q ( x ) p ( k ) = 0 {\displaystyle p(x)=(x-k)q(x)\Rightarrow p(k)=0} (Att ( x k ) {\displaystyle (x-k)} är en faktor medför att k {\displaystyle k} är ett nollställe)

Del 1: Nollställe medför faktor

Med hjälp av polynomdivision kan p ( x ) {\displaystyle p(x)} skrivas

p ( x ) = ( x k ) q ( x ) + r ( x ) {\displaystyle p(x)=(x-k)q(x)+r(x)}

där q ( x ) {\displaystyle q(x)} och r ( x ) {\displaystyle r(x)} är kvoten respektive resten av p ( x ) {\displaystyle p(x)} efter division med ( x k ) {\displaystyle (x-k)} .

Efter tillräckligt många iterationer av polynomdivision är alltid graden av resten mindre än graden av polynomet man delar med. Eftersom ( x k ) {\displaystyle (x-k)} är av grad 1 betyder det att r ( x ) {\displaystyle r(x)} måste vara av grad 0, alltså en konstant. Det betyder att vi kan skriva r ( x ) {\displaystyle r(x)} som en konstant C {\displaystyle C} . Det ger:

p ( x ) = ( x k ) q ( x ) + C {\displaystyle p(x)=(x-k)q(x)+C}

Sätter vi nu in k {\displaystyle k} får vi:

p ( k ) = ( k k ) q ( x ) + C = 0 q ( x ) + C = C {\displaystyle p(k)=(k-k)q(x)+C=0\cdot q(x)+C=C}

p ( k ) {\displaystyle p(k)} är alltså lika med C {\displaystyle C} . Eftersom vi också vet att k {\displaystyle k} är ett nollställe till p ( x ) {\displaystyle p(x)} måste alltså C = 0 {\displaystyle C=0} , vilket ger att p ( x ) {\displaystyle p(x)} är

p ( x ) = ( x k ) q ( x ) {\displaystyle p(x)=(x-k)q(x)}

V.S.B.

Del 2: Faktor medför nollställe

p ( x ) = ( x k ) q ( x ) {\displaystyle p(x)=(x-k)q(x)}

blir

p ( k ) = ( k k ) q ( x ) = 0 q ( x ) = 0 {\displaystyle p(k)=(k-k)q(x)=0\cdot q(x)=0}

alltså är

p ( k ) = 0 {\displaystyle p(k)=0}

V.S.B.

Källor

  • 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.