Processing Math: 91%

Aus Online Mathematik Brückenkurs 2

Vorlage:Mall:Vald flik Vorlage:Mall:Ej vald flik

Polynom och ekvationer

Ett uttryck på formen

1. REDIRECT Template:Abgesetzte Formel

där n är ett naturligt tal, kallas ett polynom av grad n i en obestämd variabel x. Talet a1 kallas koefficienten för x, a2 koefficienten för x2, etc. Konstanten a0 kallas konstanttermen.

Polynom är grundläggande för en stor del av matematiken och visar bl.a. upp stora likheter med våra heltal, vilket gör att vi kan räkna med polynom på liknande sätt som med heltalen.

Om p(x) är ett polynom av grad n så kallas p(x)=0 en polynomekvation av grad n. Om x=a är ett tal sådant att p(a)=0 så kallas x=a en rot, eller lösning till ekvationen. Man säger också att x=a är ett nollställe till p(x).

Som exemplet ovan visade kan polynom divideras precis som heltal. En sådan division går, precis som för heltal, i allmänhet inte jämnt upp. Om t.ex. 37 divideras med 5, får man

1. REDIRECT Template:Abgesetzte Formel

Uträkningen kan även skrivas  37=75+2. Talet 7 kallas kvot och talet 2 rest. Man säger att division av 37 med 5 ger kvoten 7 och resten 2.

Om p(x) och q(x) är polynom så kan man på liknande sätt dividera p(x) med q(x) och entydigt bestämma polynom k(x) och r(x) så att

1. REDIRECT Template:Abgesetzte Formel

eller  p(x)=k(x)q(x)+r(x). Man säger här att polynomdivisionen ger kvoten k(x) och resten r(x).

Det är uppenbart att en division går jämnt upp om resten är noll. För polynom uttrycks detta på följande sätt: Om r(x)=0 så är p(x) delbart med q(x), eller, q(x) är en delare till p(x). Man skriver

1. REDIRECT Template:Abgesetzte Formel

eller  p(x)=k(x)q(x).

Polynomdivision

Om p(x) är ett polynom med högre grad än polynomet q(x) så kan man dividera p(x) med q(x). Det kan t.ex. göras genom att successivt subtrahera lämpliga multipler av q(x) från p(x) tills den återstående täljaren har lägre grad än q(x) i nämnaren.

Samband mellan faktorer och nollställen

Om q(x) är en delare till p(x) så gäller alltså att p(x)=k(x)q(x). Vi har därmed faktoriserat p(x) . Man säger att q(x) är en faktor i p(x). Speciellt gäller att om förstagradspolynomet (x−a) är en delare till p(x) så är (x−a) en faktor i p(x) , dvs.

1. REDIRECT Template:Abgesetzte Formel

Eftersom  p(a)=q(a)(a−a)=q(a)0=0  så betyder detta att x=a är ett nollställe till p(x). Detta är precis innehållet i den s.k. faktorsatsen.

Observera att satsen gäller åt båda hållen, dvs. om man vet att x=a är ett nollställe till p(x) så vet man automatiskt att p(x) är delbart med (x−a).

Algebrans fundamentalsats

Vi införde i början av detta kapitel de komplexa talen för att kunna lösa andragradsekvationen x2=−1 och man kan nu ställa sig den lite mer teoretiska frågan om detta räcker, eller behöver vi uppfinna fler typer av tal för att kunna lösa andra mer komplicerade polynomekvationer. Svaret på den frågan är att det behöver vi inte göra utan det räcker med de komplexa talen. Den tyske matematikern Carl Friedrich Gauss bevisade år 1799 algebrans fundamentalsats som säger följande:

Eftersom varje nollställe enligt faktorsatsen motsvaras av en faktor, kan man nu också fastställa följande sats:

(Med multiplicitet menas att ett dubbelt nollställe räknas 2 gånger, ett trippelnollställe 3 gånger, osv.)

Notera att dessa satser bara säger att det finns komplexa rötter till polynom men inte hur man räknar ut dessa. I allmänhet finns det ingen enkel metod att skriva upp en formel för rötterna, utan för polynomekvationer av högre gradtal får vi använda diverse knep för att lösa. Om vi håller oss till polynom med reella koefficienter så är ett av dessa knep som kan hjälpa oss att polynomets komplexa rötter alltid är komplexkonjugerade.

En konsekvens av algebrans fundamentalsats (och faktorsatsen) är att alla polynom kan faktoriseras i en produkt av komplexa förstagradsfaktorer. Detta gäller även polynom med reella koefficienter, men för dessa går det att multiplicera ihop förstagradsfaktorer som hör till komplexkonjugerade rötter och få en faktorisering helt med reella första- och andragradsfaktorer.