Polynoom oplosser

Numerieke versus algebraïsche wortelzoekers

Het vinden van de wortels van een polynoom — de waarden van x waarvoor de vergelijking gelijk is aan nul — kan op twee manieren worden benaderd: algebraïsch of numeriek. Algebraïsche methoden proberen exacte oplossingen te vinden met behulp van formules, zoals de bekende abc-formule voor tweedegraadsvergelijkingen. Volgens de stelling van Abel-Ruffini bestaat er echter geen algemene algebraïsche formule in radicalen voor polynomen van graad 5 of hoger.

Voor polynomen met een graad van 1 tot en met 20 maakt deze Polynomial Root Solver gebruik van geavanceerde numerieke benaderingen. Waar een exacte algebraïsche methode vastloopt op theoretische limieten of extreme coëfficiënten, berekent een numerieke oplosser de reële en complexe wortels tot een vooraf ingestelde precisie. Dit maakt het mogelijk om ook van hogere-graads vergelijkingen betrouwbare oplossingen te verkrijgen.

Werking van het Ehrlich–Aberth-algoritme

Voor een eerstegraadsvergelijking (graad 1) gebruikt de oplosser een Directe lineaire oplossing. Bij polynomen van graad 2 tot en met 20 wordt de Ehrlich–Aberth-iteratie toegepast. Dit algoritme is ontworpen om alle complexe en reële wortels simultaan te vinden.

Het proces verloopt via een gestructureerd aantal stappen die zichtbaar zijn onder de sectie Algoritme en substitutie:

1. Breng de termen samen in de standaardvorm: ‹polynomial›. Alle termen van de ingevoerde vergelijking worden verzameld en gerangschikt.
2. Deel elke coëfficiënt door de leidende coëfficiënt ‹leading›. Dit normaliseert de polynoom zodat de leidende coëfficiënt gelijk is aan 1.
3. Schaal de wortelzoektocht met R = ‹scale› zodat de initiële gissingen in een stabiel bereik blijven. Dit voorkomt onderloop of overloop tijdens de berekeningen.
4. Update alle wortelgissingen samen totdat de correctie onder ‹tolerance› ligt; deze run vereiste ‹iterations› iteraties. De Gelijktijdige wortelupdate past de gissingen in het complexe vlak aan. Hierbij wordt de methode van Horner gebruikt om de polynoom en zijn afgeleide efficiënt te evalueren.
5. Substitueer elke wortel terug in de polynoom; het grootste genormaliseerde residu is ‹residual›. Dit is de uiteindelijke verificatiestap.

Gevoeligheid en stabiliteit van wortels

Niet alle polynomen gedragen zich numeriek stabiel. Wanneer een polynoom herhaalde of zeer dicht bij elkaar gelegen wortels heeft, stijgt de numerieke gevoeligheid. Dit fenomeen staat bekend als de gevoeligheid van Wilkinson: minuscule wijzigingen in de coëfficiënten kunnen leiden tot relatief grote verschuivingen in de berekende wortels.

Bij herhaalde wortels zijn zowel de waarde van de polynoom als zijn afgeleide nagenoeg nul. Dit verzwakt de correctiestap van het iteratie-algoritme. De oplosser groepeert wortels alleen als herhaald wanneer hun numerieke waarden zeer dicht bij elkaar liggen. Als dit het geval is, toont de tool de statusmelding: "Er zijn wortels gevonden, maar door herhaalde of dicht bij elkaar gelegen wortels zijn sommige weergegeven cijfers gevoelig voor kleine wijzigingen in de coëfficiënten."

Nauwkeurigheid controleren met genormaliseerde residuen

Om te verifiëren of een berekende wortel correct is, voert de oplosser een numerieke controle uit. Een belangrijk onderdeel hiervan is het Genormaliseerd residu.

Het residu is de waarde die overblijft wanneer de berekende wortel opnieuw in de polynoom wordt gesubstitueerd. Omdat de absolute waarde van dit residu sterk afhangt van de grootte van de coëfficiënten, berekent de tool een schaalonafhankelijk, genormaliseerd residu. In het diagnostische paneel Numerieke controle wordt het Grootste genormaliseerde residu weergegeven. Dit geeft een directe indicatie van de betrouwbaarheid van de gehele wortelset.

Geometrische weergave op het complexe vlak

Wortels van polynomen met reële coëfficiënten treden vaak op als complex geconjugeerde paren (bijvoorbeeld a + bi en a − bi). De tool visualiseert deze resultaten in de grafiek Wortels in het complexe vlak.

Op deze tweedimensionale kaart vertegenwoordigt de horizontale as het reële deel van de wortel en de verticale as het imaginaire deel. Dit maakt het eenvoudig om in één oogopslag de symmetrie van de complexe wortels te zien, evenals de exacte verdeling van de reële wortels op de x-as.

Richtlijnen voor invoer en randvoorwaarden

Voor een succesvolle berekening gelden de volgende invoerregels en limieten:

• Invoermodi: U kunt kiezen uit twee opties bij "Voer de polynoom in als":
  • Uitgewerkte uitdrukking: Een vergelijking met één variabele waarin termen aan weerszijden van het =-teken mogen staan (bijvoorbeeld x^5 - x = 0).
  • Coëfficiëntenlijst: Een reeks dimensieloze reële getallen gescheiden door komma's, spaties of nieuwe regels, beginnend bij de hoogste macht.
• Limieten: De effectieve graad van de polynoom moet tussen de 1 en 20 liggen. Coëfficiënten moeten reële getallen zijn met een absolute waarde van maximaal 1e100 (|coëfficiënt| ≤ 1e100). Breuken zijn toegestaan. De totale invoertekst mag niet langer zijn dan 600 tekens.
• Weergaveprecisie: Instelbaar van 4 tot 12 decimalen. Een hogere precisie maakt de interne stoptest strenger, maar kan geen nauwkeurigheid herstellen die al verloren is gegaan door afronding in de invoercoëfficiënten.

Foutmeldingen en speciale gevallen

Wanneer de invoer niet aan de regels voldoet, toont de oplosser specifieke foutmeldingen:

• Bij een lege invoer: "Voer een polynoomuitdrukking of een coëfficiëntenlijst in."
• Bij het overschrijden van de lengte: "Houd de invoer korter dan 600 tekens."
• Bij syntaxfouten: "Dat is geen uitgewerkte polynoom met één variabele. Probeer x^5 - x = 0 of voer de coëfficiënten in."
• Bij het gebruik van haakjes: "Werk eerst de haakjes uit zodat elke macht een expliciete coëfficiënt heeft."
• Bij meerdere variabelen: "Gebruik slechts één variabele."
• Bij ongeldige machten: "Gebruik gehele getallen als machten van 0 tot en met 20."
• Bij een ongeldig getalformaat: "Elke coëfficiënt moet een reëel getal zijn, zoals −2.5, 3/4 of 1e-6."
• Bij een deling door nul: "Een breuk mag geen 0 in de noemer hebben."
• Bij waarden buiten het bereik: "Een coëfficiënt of tussenliggende schaal valt buiten het ondersteunde eindige bereik. Schaal de polynoom opnieuw en probeer het nog eens."
• Bij een onjuiste precisie-instelling: "Kies tussen 4 en 12 decimalen."

Als u een constante invoert die ongelijk is aan nul, toont de tool: "Een constante ongelijk aan nul is nooit gelijk aan 0, dus deze polynoom heeft geen wortels." Bij invoer van een nulpolynoom verschijnt de melding: "Elk complex getal is een wortel van de nulpolynoom."

Privacy en verwerking

Alle berekeningen en ingevoerde polynomen worden lokaal in de webbrowser van de gebruiker verwerkt. Er vindt geen gegevensoverdracht plaats naar externe servers.

Veelgestelde vragen (FAQ)

Zijn dit exacte wortels?
Nee. Behalve bij een lineaire vergelijking zijn de weergegeven wortels numerieke benaderingen. Graden boven de 4 hebben geen algemene formule in radicalen, en zelfs formules voor lagere graden kunnen aan nauwkeurigheid verliezen bij moeilijke coëfficiënten. Gebruik het residu en de gevoeligheidswaarschuwing om de benadering te beoordelen; gebruik de kwadratische rekenmachine wanneer je exacte breuken of radicalen nodig hebt voor een tweedegraadsvergelijking.

Wat kan ik invoeren?
Gebruik reële, dimensieloze coëfficiënten en één variabele met gehele machten tot en met 20. De uitdrukking moet al zijn uitgewerkt, maar termen mogen in willekeurige volgorde staan of aan weerszijden van een isgelijkteken verschijnen. De coëfficiëntenlijst loopt van de hoogste macht naar de constante en moet nullen bevatten voor ontbrekende machten.

Hoe worden wortels van hogere graden gevonden?
De oplosser start met verschillende deterministische sets van complexe gissingen en verbetert alle gissingen tegelijk met de Ehrlich–Aberth-update. De methode van Horner evalueert de polynoom en zijn afgeleide op efficiënte wijze, en elke geretourneerde wortel wordt teruggesubstitueerd in de oorspronkelijke polynoom voor een schaalonafhankelijke residucontrole.

Waarom zijn herhaalde wortels minder stabiel?
Bij een herhaalde wortel zijn zowel de polynoom als zijn afgeleide nul. Dat verzwakt de correctiestap, waardoor minuscule coëfficiëntwijzigingen één herhaalde wortel kunnen splitsen in meerdere nabijgelegen wortels. De oplosser groepeert wortels alleen wanneer hun numerieke waarden dicht bij elkaar liggen en houdt de multipliciteit zichtbaar.