Derdegraadsvergelijking: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Versie 58168900 van 82.173.188.66 (overleg) ongedaan gemaakt - zo kan dat niet Label: Ongedaan maken |
Geen bewerkingssamenvatting |
||
Regel 1:
[[Bestand:Polynomialdeg3.svg|
Een '''derdegraadsvergelijking''' is een [[Vergelijking (wiskunde)|vergelijking]] die herleid kan worden tot de vorm
:<math>
Iedere derdegraadsvergelijking met gehele of reële coëfficiënten heeft minstens één reële oplossing.
Regel 15:
== Voorbeelden ==
# Zoek een reëel getal <math>x</math> waarvoor <math>x^3+1=0</math>. De enige oplossing van dit probleem luidt <math>x=-1</math>
# Zoek een geheel getal <math>x</math> waarvoor <math>x^3+x^2+x=0</math>. De enige oplossing van dit probleem luidt <math>x=0</math>. Als we de voorwaarde "geheel" vervangen door "complex" zijn er nog twee andere oplossingen, namelijk <math>x={-1+i\sqrt{3}\over2}</math> en <math>x={-1-i\sqrt{3}\over2}</math>
# Zoek een reëel getal <math>x</math> waarvoor <math>x^3+x^2+1=0</math>. Deze vergelijking heeft precies één oplossing. Als we de voorwaarde "reëel" vervangen door "geheel", is er geen enkele oplossing.
# Zoek een reëel getal <math>x</math> waarvoor <math>x^3-9x=0</math>. Deze vergelijking heeft drie verschillende oplossingen: <math>x=-3,x=0</math> en <math>x=3</math>. Dit blijkt rechtstreeks door te ontbinden in [[Factorisatie|factoren]] <br><math>x^3-9x=x(x^2-9)=x(x+3)(x-3)</math>, maar wordt ook aanschouwelijk door de grafiek van de derdegraadsvergelijking te bekijken. De nulpunten zijn de snijpunten van de grafiek met de
[[Bestand:Cubicpoly.svg|center|300px|
== Aantal reële oplossingen ==
Regel 48:
of, zonder verlies van algemeenheid:
:<math>z^3+3pz-2q=0</math>
De 3 oplossingen hebben de vorm:
Regel 54:
:<math>z_2=ue_1+ve_2</math>
:<math>z_3=ue_2+ve_1</math>
waarin:▼
▲waarin:
:<math>u=\sqrt[3]{q+\sqrt{q^2+p^3}},\quad v=\sqrt[3]{q-\sqrt{q^2+p^3}}</math>
Regel 66:
:<math>D=q^2+p^3</math>
;Geval 1: <math>
De enige drievoudige oplossing is <math>z=0</math>.
;Geval 2: <math>
Omdat <math>D=0</math> is <math>u=v
;Geval 3: <math>
Er is één reële oplossing <math>z_1=u+v</math> en twee complex geconjugeerde oplossingen: <math>z_{2,3}=-\tfrac 12 (u+v) \pm \tfrac 12 i \sqrt 3(u-v)</math>.
;Geval 4: <math>
Er zijn 3 verschillende reële oplossingen.
Regel 79:
In dat geval biedt de door [[François Viète|Viète]] bedachte [[Goniometrie|goniometrische]] methode een alternatief. Daarbij substitueert men:
▲:<math>z = r\,\cos (t),</math>
zodat:
:<math>r^3\cos^3(t)+3pr\cos(t)-2q=0</math>
en maakt men gebruik van de identiteit:
:<math>4\cos^3(t) - 3\cos(t) = \cos (3t)
waardoor de vergelijking overgaat in:
:<math>\tfrac
of:
:<math>r^3\cos
Door de keuze
:<math>r^2+4p=0, \text{ dus }r=2\sqrt{-p}</math>
ontstaat:
:<math>(\sqrt{-p})^3\cos (3t)-q=0
een vergelijking die eenvoudig is op te lossen.
Regel 101 ⟶ 103:
== Numerieke oplossing ==
Voor het berekenen van een reële oplossing met een computer kunnen ook iteratieve methoden gebruikt worden. Van de vergelijking
:<math>x^3 + a x^2 + bx + c = 0
kan in bepaalde gevallen één reële wortel bepaald worden, met de volgende recurrente betrekking:
Regel 108 ⟶ 110:
Na keuze van de startwaarden, bijvoorbeeld:
:<math>x_0=1,\ x_1=2,\ x_2=4
wordt voor
:<math>x_n= -\left(a x_{n-1} + bx_{n-2} + cx_{n-3}\right)</math>
Als het quotiënt
:<math>x_n/x_{n-1}
een limiet lijkt te naderen, is daarmee een oplossing gevonden. Anders wordt een volgende stap genomen, nadat de termen zijn doorgeschoven:
:<math>x_{n-3}=x_{n-2},\ x_{n-2}=x_{n-1},\ x_{n-1}=x_n
[[Categorie:Algebra]]
|