De uitdrukking onder het wortelteken in de abc-formule, b² − 4ac, heet de discriminant, en hij beantwoordt de vragen waarvoor mensen doorgaans de hele vergelijking oplossen. Zijn teken geeft het aantal reële wortels: positief betekent twee, nul betekent één dubbele, negatief betekent geen. Of hij een kwadraat is vertelt vervolgens of die wortels rationaal zijn, wat hetzelfde is als de vraag of de vergelijking over de gehele getallen ontbindt.
Het kost twee vermenigvuldigingen en een aftrekking, en het verandert een oplossing in een controle. Voor alles wat herhaald gebeurt — invoer valideren, bepalen of een lijn een cirkel raakt, toetsen of een doel haalbaar is — is dat het verschil tussen een berekening en een voorwaarde.
Wat zegt het teken?
Hoe vaak de parabool de horizontale as snijdt, wat de meetkundige formulering van hetzelfde feit is.
| Discriminant | Reële wortels | De kromme |
|---|---|---|
| Positief | Twee verschillende | Snijdt de as twee keer |
| Nul | Eén dubbele | Raakt de as in de top |
| Negatief | Geen | Mist de as volledig |
Een negatieve discriminant betekent niet dat er geen antwoord is; hij betekent dat er geen reëel antwoord is. De twee wortels zijn complex toegevoegd, en in een technische context is dat vaak juist de informatieve uitkomst: een trilling die niet uitdempt tot een doorgang, of een baan die de gevraagde hoogte nooit haalt.
Wat zegt een kwadraat?
Dat de wortels rationaal zijn, en dus dat de vergelijking ontbindt zonder wortelvorm. De wortel uit een kwadraat is een geheel getal, dus de formule levert een breuk op in plaats van een irrationaal getal.
Neem x² − 5x + 6. De discriminant is 25 − 24 = 1, een kwadraat, dus de wortels zijn rationaal — en ze zijn 2 en 3, wat de ontbinding is. Verander de constante in 7 en de discriminant wordt 25 − 28 = −3, negatief: geen reële wortels, en dus ook geen ontbinding over de reële getallen.
Dit is de toets die het waard is te doen voordat je op het oog gaat ontbinden. Zoeken naar gehele paren die tot c vermenigvuldigen en tot b optellen is een prima techniek wanneer zo’n paar bestaat, en een verspilde minuut als de discriminant al gezegd heeft dat het niet bestaat.
Waarom verliest de formule soms nauwkeurigheid?
Door een wegstreping die optreedt als b² veel groter is dan 4ac. De wortel uit de discriminant ligt dan heel dicht bij de absolute waarde van b, en één van de twee wortels wordt berekend door twee bijna gelijke getallen van elkaar af te trekken, wat significante cijfers vernietigt.
De schade is echt en niet theoretisch. Los x² + 10⁸x + 1 = 0 op in gewone dubbele precisie en de kleinste wortel komt er flink naast uit, of precies nul, omdat de aftrekking elk cijfer heeft weggestreept dat het antwoord droeg.
De remedie is de goed geconditioneerde wortel met de formule te berekenen en de andere te halen uit het feit dat de twee wortels samen c/a opleveren. De wortel nemen waarvan het teken bij b past en dan delen vermijdt de aftrekking volledig, en dat is wat een zorgvuldige bibliotheek doet.
Wat is de meetkunde eronder?
Kwadraatafsplitsing, waar de formule vandaan komt. Elke vierkantsvergelijking is te schrijven als a maal een gekwadrateerd haakje plus een rest, en die vorm legt de top op −b/2a, waarbij de discriminant bepaalt hoe ver de kromme van de as ligt.
De top is het andere dat je zonder oplossen kunt aflezen. Zijn positie geeft de symmetrieas, dus de twee wortels liggen er even ver vandaan — met één wortel en de top volgt de andere door spiegeling, zonder enige rekensom.
Het teken van a bepaalt welke kant de parabool opent, en samen met de discriminant of de uitdrukking ooit negatief wordt. Een positieve a met een negatieve discriminant is een vergelijking die overal positief is, en dat is precies de voorwaarde die een optimalisatieroutine toetst.
Waar kom je dit buiten de wiskundeles tegen?
In alles met een kwadratische term, en dat is het meeste wat met afstand, oppervlakte of versnelling te maken heeft. Een worp onder constante zwaartekracht is kwadratisch in de tijd, dus vragen of een baan een bepaalde hoogte haalt is vragen naar het teken van een discriminant.
Snijpuntstoetsen in graphics en botsingsdetectie zijn dezelfde vraag. Een lijn invullen in een cirkel of bol geeft een vierkantsvergelijking, en de discriminant bepaalt of de straal raakt — daarom berekent een renderer hem eerst en zoekt pas het snijpunt als het teken zegt dat er een is.
Break-evenanalyse hoort er ook bij, overal waar omzet en kosten niet allebei lineair zijn. Een kwadratisch winstmodel heeft twee break-evenpunten, één, of geen, en welke van de drie bepaalt of het plan bij welk volume dan ook werkt.
Vragen die mensen stellen
Bestaat de discriminant ook voor een derdegraads? Er is er een voor hogere graden met dezelfde soort informatie over dubbele wortels, maar hij is veel bewerkelijker en de tekenregels gaan niet mee.
Waarom b² − 4ac en niet iets eenvoudigers? Het volgt uit kwadraatafsplitsing. De 4ac verschijnt doordat b halveren en kwadrateren een factor vier oplevert, die daarna wordt weggewerkt.
Kan hij in de praktijk nul zijn? Precies nul zelden, zodra de coëfficiënten uit metingen komen. Een bijna-nul discriminant is het nuttige geval, want die wijst op twee wortels die zo dicht bij elkaar liggen dat het verschil waarschijnlijk ruis is.
Werkt het als a nul is? Nee, en dat is het eerst te controleren. Met a nul is de vergelijking lineair, deelt de formule door nul, en faalt een oplosser op de eenvoudigste invoer die hij ooit krijgt.
Drie vermenigvuldigingen vertellen de vorm van het antwoord voordat je je vastlegt op het vinden ervan. De abc-formule-oplosser toont de discriminant naast de wortels, en de procentcalculator is het snellere gereedschap als het model toch lineair blijkt.