# Discriminant

In de algebra is de discriminant (Latijn: discriminare, onderscheiden) van een polynoom een speciale uitdrukking in de coëfficiënten die belangrijke informatie geeft over het aantal nulpunten. De discriminant is alleen dan gelijk aan nul als de polynoom een of meer meervoudige (complexe) nulpunten heeft.
De discriminant is vooral bekend uit de theorie van de vierkantsvergelijkingen, ter bepaling van de nulpunten van tweedegraadspolynomen.

## Vierkantsvergelijking

De algemene vorm van een vierkantsvergelijking met reële coëfficiënten $a,b$ en $c$ is:
    $ax^{2}+bx+c=0$
De discriminant is in dit geval het getal:
    $D=a^{2}(x_{1}-x_{2})^{2}=b^{2}-4ac$
waarin $x_{1},x_{2}$ de (complexe) wortels zijn.
De waarde van $D$ zegt iets over de oplossingsverzameling van de vergelijking:
* Als $D>0$ is, zijn er twee verschillende reële oplossingen $x_{1}$ en $x_{2}$ (fig.: geval A).
* Als $D=0$, zijn er twee gelijke reële oplossingen $x_{1}=x_{2}$ (fig.: geval B).
* Als $D<0$ is, zijn er geen reële oplossingen van de vergelijking (fig.: geval C), er zijn wel twee geconjugeerde complexe oplossingen.

### Voorbeelden
#### Geval A: D > 0

Beschouw de volgende vergelijking:
    $x^{2}-5x+6=0$
Dit is een vierkantsvergelijking met $a=1,b=-5$ en $c=6.$ De discriminant is dus:
    $D=b^{2}-4ac=25-4\times 6=1>0$
De bovenstaande vergelijking heeft dus twee oplossingen, en wel $x_{1}=3$ en $x_{2}=2.$ Deze kunnen worden gevonden met de wortelformule.

#### Geval B: D = 0

Beschouw nu de vierkantsvergelijking:
    $x^{2}-4x+4=0$
Nu is $a=1$ en $b=-4$ en $c=4$. Er volgt dat $D=0.$ De vergelijking heeft dus één (meervoudige) reële oplossing, namelijk $x=2.$

#### Geval C: D < 0

Beschouw ten slotte de vergelijking:
    $2x^{2}+4=0$
Dan geldt $a=2,b=0$ en $c=4.$ Er volgt dat $D=-32<0.$ De vergelijking heeft dus geen reële oplossingen. De vergelijking kan wel complex opgelost worden:
    $x=\pm i{\sqrt {2}}$

## Derdegraadsvergelijking

De algemene derdegraadsvergelijking in canonieke vorm is:
    $z^{3}+pz+q=0$
De discriminant hiervan is het getal:
    $D=-4p^{3}-27q^{2}$
Als de discriminant van een dergelijke vergelijking met reële coëfficiënten strikt negatief is, heeft de vergelijking precies één reële wortel. Als de discriminant strikt positief is, precies drie verschillende reële wortels. De waarde nul komt overeen met twee samenvallende wortels, het aantal verschillende wortels is dan een of twee.

### Voorbeelden

De volgende vergelijkingen hebben precies één reële wortel. Hun discriminanten bedragen respectievelijk $-2$ en $-1.$
    $z^{3}+z+1=0$
    $z^{3}-1=(z-1)(z^{2}+z+1)=0$
De eerste vergelijking heeft een unieke irrationale reële wortel tussen $-1$ en $0,$ de tweede vergelijking heeft als enige reële wortel $z=1.$
De volgende vergelijkingen hebben precies drie reële wortels. Bij de eerste vergelijking zijn het de gehele getallen $0,-1$ en $+1;$ bij de tweede vergelijking gaat het om irrationale wortels.
    $z^{3}-z=z(z+1)(z-1)=0$
    $z^{3}-3z+1=0$

### Algemene vorm

Voor de algemene vorm:
    $ax^{3}+bx^{2}+cx+d$
is de discriminant:
    $D=a^{4}(x_{1}-x_{2})^{2}(x_{1}-x_{3})^{2}(x_{2}-x_{3})^{2}=b^{2}c^{2}-4ac^{3}-4b^{3}d+18abcd-27a^{2}d^{2}$
Daarin zijn $x_{1},x_{2}$ en $x_{3}$ de complexe wortels.