Tredjegradsekvation

Från Rilpedia

(Omdirigerad från Cardanos formel)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
Graf över polynomfunktionen f(x) = x^3 +7 \, x - 20 över intervallet [ − 3,3].
Graf över polynomfunktionen f(x) = x^3 - 15\, x - 4 över intervallet [ − 5,5].
Bild som visar de talpar (p,q) för vilka diskriminanten D = \frac{p^3}{27} + \frac{q^2}{4} är negativ (blå) och icke-negativ (röd). Negativa värden på D ger upphov till det intressanta fenomenet att reella tal kan representeras i termer av den imaginära enheten. Detta fenomen ledde forna tiders matematiker till upptäckten, eller konstruktionen, av det som vi idag kallar komplexa tal.

En tredjegradsekvation är en ekvation som kan skrivas på formen

\ ax^3+bx^2+cx+d=0

(vanligen för reella koefficienter a, b, c och d). Lösningsformeln till dessa kallas Cardanos formel, efter Hieronymus Cardanus.

En tredjegradsekvation med reella koefficienter har tre lösningar, av vilka minst en (och annars alla tre) tillhör de reella talen.

Innehåll

Lösning för reella koefficienter

Ekvationen kan enkelt skrivas om på formen

\ x^3+a_2x^2+a_3x+a_4=0\,

Genom att göra substitutionen x=z-\frac{a_2}{3} kan man reducera ekvationen till formen

\ z^3+pz+q=0\,

där p=a_3-\frac{a_2^2}{3} och q=a_4+\frac{2a_2^3-9a_2a_3}{27}. Genom att bilda

D=\left(\frac{p}{3}\right)^3+\left(\frac{q}{2} \right)^2

fås:

u=\left( -\frac{q}{2}+\sqrt{D} \right)^{1/3} \quad v=\left( -\frac{q}{2}-\sqrt{D} \right)^{1/3}

Rötterna till den ursprungliga ekvationen är sedan

x_1=u+v-\frac{a_2}{3} \quad x_{2,3}=-\frac{u+v}{2} \pm \frac{u-v}{2}i\sqrt{3}-\frac{a_2}{3}

Härledning av de (möjligen) komplexa rötterna

Låt \xi\, vara den reella roten, \xi = u+v,\, till ekvationen x^3 + px = q.\, Då kan polynomfunktionen x^3 + px - q\, skrivas som en produkt

x^3 + px - q = (x - \xi)(x^2 + \xi x + p + \xi^2).\,

En kvadratkomplettering av andragradspolynomet x^2 + \xi x + p + \xi^2\, visar att

x^2 + \xi x + p + \xi^2 = \left(x + \frac{\xi}{2}\right)^2 - \left(i \, \sqrt{\frac{4p + 3\xi^2}{4}}\right)^2.

En tillämpning av konjugatregeln ger slutligen följande faktorisering av tredjegradspolynomet x^3 + px - q\, i förstagradspolynom:

(x-\xi)\left(x + \frac{\xi}{2} + i \sqrt{\frac{4p+3\xi^2}{4}}\right)\left(x + \frac{\xi}{2} - i \sqrt{\frac{4p+3\xi^2}{4}}\right).

Denna faktorisering visar att tredjegradspolynomet x^3 + px - q\, har tre distinkta reella rötter om 4p + 3\xi^2 < 0\,; Det har två distinkta reella rötter om 4p + 3\xi^2 = 0\, och det har en reell rot och två distinkta komplexa rötter om 4p + 3\xi^2 > 0.\,

Historik

Via studierna av lösningarna till tredjegradsekvationen kom matematiker för första gången i kontakt med den imaginära enheten, i, som slarvigt kan skrivas \sqrt{-1}, vilket senare gav upphov till den gren inom modern matematik som kallas komplex matematisk analys.

Det visar sig att lösningsformeln ger representationer av reella tal i termer av uttryck involverande uttrycket \sqrt{-1}, vilket till exempel sker om man tillämpar vissa andra lösningsformler på ekvationen x3 - 15 x = 4, varvid uttrycket \sqrt[3]{2 + 11\sqrt{-1}} + \sqrt[3]{2 - 11\sqrt{-1}}. dyker upp. Trots detta har ekvationen lösningarna

x = 4,\quad x = -2 + \sqrt{3} \quad\textrm{och}\quad x = -2 - \sqrt{3}.

Det var mysterier av detta slag som ledde matematiker till att så småningom introducera begreppet komplexa tal.

Många nutida läroböcker inom matematik för gymnasieskolan introducerar symbolen i som en av lösningarna till andragrads-ekvationen x2 + 1 = 0. Det var dock inte alls denna ekvation som ledde forna tiders matematiker att introducera komplexa tal, då de ansåg att ekvationen x2 + 1 = 0 var meningslös.

del Ferros formel

Matematikern Scipione del Ferro (1465-1526), som var verksam vid universitetet i Bologna, kunde reducera varje tredjegrads-ekvation

\ y^3 + a_2 y^2 + a_3 y + a_4 = 0\

till en tredjegrads-ekvation som saknar andragrads-term på samma sätt som ovan:

\ x^3 + p x = q\

genom att sätta y = xa2 / 3, vilket ger p=a_3-\frac{a_2^2}{3} och q=a_4+\frac{2a_2^3-9a_2a_3}{27}.

Första steget mot lösningen av ekvationen x3 + px = q består i att skriva det okända talet x som en summa av två tal: x = u + v. Detta ger oss ekvationen

\ u^3 + v^3 + (3uv + p)(u + v) = q.

del Ferros idé var att skapa en ekvation som är bestämd av p och en ekvation som är bestämd av q. Han antog att 3uv + p = 0. (Det finns ingen anledning till varför sambandet 3uv + p = 0 skall vara sant, men det visar sig i slutändan att det stämde).

del Ferros idé ger följande ekvationssystem:

\begin{cases} u^3 + v^3 &= q\\ 3uv + p &= 0. \end{cases}

Ekvationen 3uv + p = 0 gör att man kan skriva v som v = − p / (3u). Om detta sätts in i ekvationen u3 + v3 = q så fås ekvationen

(u^3)^2 - q\,u^3 - p^3/27 = 0.

Denna andragrads-ekvation i variablen u3 har de två lösningarna

u^3_1 = \frac{q}{2} + \sqrt{\frac{q^2}{4} + \frac{p^3}{27}}\quad\textrm{och}\quad  u^3_2 = \frac{q}{2} - \sqrt{\frac{q^2}{4} + \frac{p^3}{27}}.

Sambandet u3 + v3 = q ger oss slutligen en lösning till tredjegrads-ekvationen x^3 + p \, x = q :

\xi = u + v = \sqrt[3]{\frac{q}{2} + \sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} + \sqrt[3]{\frac{q}{2} - \sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}.

Det skall nämnas att del Ferro endast studerade ekvationer x^3 + p \, x = q med positiva koefficienter p och q. Sådana ekvationer har endast en reell lösning, vilket kan visas med hjälp av begreppet derivata och Bolzanos sats om mellanliggande värden.

Derivatan till funktionen f(x) = x^3 + p \, x -q är f^\prime(x) = 3\, x^2 + p, vilket är ett positivt tal oavsett värdet på det reella talet x. Detta visar att funktionen f är strängt växande. Talet f(0) = − q är negativt, eftersom q är ett positivt tal. Vidare gäller att om väljer ett tal a som är tillräckligt stort, blir talet f(a) positivt.

Eftersom funktionen f är kontinuerlig, säger Bolzanos sats om mellanliggande värden att funktionen f antar alla värden som ligger mellan talen q och f(a). Speciellt antar funktionen värdet noll (0) för något värde x som ligger mellan talen 0 och a. Detta tal, x, är därför en lösning till ekvationen f(x) = 0, det vill säga x^3 + p \, x = q. Det faktum att funktionen f är strängt växande innebär att detta är den enda lösningen till tredjegrads-ekvationen.

Det är när man tillåter negativa koefficienter p och q i ekvationen x^3 + p \, x = q som intressanta saker inträffar med del Ferros formel.

Komplexa representationer av reella tal

Betrakta tredjegrads-ekvationen x3 − 15x = 4 igen. del Ferros formel ger, med koefficienterna p = -15 och q = 4, resultatet

x = \sqrt[3]{2 + 11\sqrt{-1}} + \sqrt[3]{2 - 11\sqrt{-1}}.

När man ser ett sådant svar, innehållande kvadratroten av ett negativt tal, kan man lätt tro att ekvationens lösningar kommer vara komplexa tal och att man borde ha varit noggrannare. I själva verket är det så att ekvationen x^3 - 15 \, x = 4 har tre reella lösningar:

x = 4, \quad x = 2 + \sqrt{3} \quad\textrm{och}\quad x = 2 - \sqrt{3}.

Uttrycket

x = \sqrt[3]{2 + 11\sqrt{-1}} + \sqrt[3]{2 - 11\sqrt{-1}}

måste vara ett av dessa tre tal. Vilket av dem det är, är mindre intressant; det intressanta är att vi här har ett exempel där uttrycket \sqrt{-1} är involverad i beskrivningen av ett reellt tal!

Källor

Se även

Personliga verktyg