Vijfdegraadsvergelijking

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Grafiek van een veeltermfunctie van de vijfde graad met 4 kritische punten.

In de wiskunde, is een vijfdegraadsvergelijking een polynomiale vergelijking van graad vijf van de vorm

ax^5+bx^4+cx^3+dx^2+ex+f=0 \,\!

waar \displaystyle a, b, c, d, e, f elementen zijn van een veld, (typisch de rationele getallen, de reële getallen of de complexe getallen), en \displaystyle a \neq 0.

Omdat zij een oneven graad hebben, lijken normale vijfdegraadsvergelijkingen sterk op normale derdegraadsvergelijkingen, alleen kunnen zij, wanneer zij in een grafiek worden weergegeven, een additioneel lokaal maximum en lokaal minimum bezitten. De afgeleide van een vijfdegraadsvergelijking is een vierdegraadsvergelijking.

Wortels van een vijfdegraadsvergelijking[bewerken]

Het vinden van de wortels van een vijfdegraadsvergelijking — dat wil zeggen de waardes van x die deze vergelijking oplossen — is in het rationale geval, gegeven de coëfficiënten lang een bekend wiskundig probleem geweest.

Het oplossen van lineaire, kwadratische, derde- en vierdegraadsvergelijking vergelijkingen door factorisatie in radicalen is niet zo heel moeilijk, wanneer de wortels rationeel en reëel zijn. Er bestaan ook formules die het gewenste resultaat geven. Nadat in 1539 Gerolamo Cardano oplossingen voor vergelijkingen tot graad 4 had gepubliceerd, concentreerden de wiskundigen zich op algemene oplossingen van de vijfdegraadsvergelijking. Vooral in de 17e en 18e eeuw hebben vele wiskundigen hun uiterste best gedaan om een analytische oplossing voor een algemene vijfdegraadsvergelijking te vinden. In 1771 vond Gianfrancesco Malfatti als eerste een deeloplossing. Deze werkt echter alleen wanneer factorisatie in radicalen mogelijk is.

Het duurde even voor men er achter kwam dat er voor vijfdegraadsvergelijking geen algemene oplossing bestaat over de rationele getallen in termen van radicalen. Paolo Ruffini leverde in 1799 al een nog niet helemaal correct bewijs, maar omdat hij daarbij toen nog ongebruikelijke groepentheoretische redeneringen gebruikte, werd zijn bewijs niet begrepen of geaccepteerd. Een correct bewijs werd door Abel geleverd. Dit resultaat staat bekend als de stelling van Abel-Ruffini. Voor het eerst gepubliceerd in 1824 is het een van de eerste toepassingen van de groepentheorie in de algebra. De stellling geldt ook voor vergelijkingen van hogere graden.

Praktisch gezien zijn exacte analytische oplossingen van polynominale vergelijkingen vaak onnodig en zijn numerieke methoden zoals Laguerre's methode of de Jenkins-Traub-methode vaak de beste manier om oplossingen voor algemene vijfdegraadsvergelijkingen te verkrijgen. Analytische oplossingen zijn echter voor bepaalde toepassingen zeker nuttig.

Oplosbare vijfdegraadsvergelijkingen[bewerken]

Sommige vijfdegraadsvergelijkingen kunnen worden opgelost door te factoriseren in radicalen. bijvoorbeeld

\displaystyle x^5 - x^4 - x + 1 = 0, dat geschreven kan worden als \displaystyle (x^2 + 1) (x + 1) (x - 1)^2 = 0.

Andere vijfdegraadsvergelijkingen zoals

\displaystyle x^5 - x + 1 = 0

kunnen niet op deze wijze worden opgelost. Évariste Galois ontwikkelde technieken om te bepalen wanneer een gegeven vergelijking kon worden opgelost door te factoriseren in radicalen. Vanuit deze technieken is na Galois zijn dood de Galoistheorie ontstaan. Deze technieken zijn in 1885 voor het eerst gebruikt door John Stuart Glashan, George Paxton Young en door Carl Runge om een algemeen criterium op te stellen om te bepalen of een gegeven vijfdegraadsvergelijkingen al of niet oplosbaar is (zie het artikel van Lazard voor de moderne aanpak). Zij vonden dat gegeven een niet-reduceerbare oplosbare vijfdegraadsvergelijking in Bring-Jerrard vorm,

\displaystyle x^5 + ax + b = 0

deze de volgende vorm moet hebben:

\displaystyle x^5 + \frac{5\mu^4(4\nu + 3)}{\nu^2 + 1}x + \frac{4\mu^5(2\nu + 1)(4\nu + 3)}{\nu^2 + 1} = 0

waar \displaystyle \mu en \displaystyle \nu rationeel zijn. In 1994 gaven Blair Spearman en Kenneth S. Williams een alternatief,

\displaystyle x^5 + \frac{5e^4(3-4c\epsilon)}{c^2 + 1}x + \frac{-4e^5(11\epsilon+2c)}{c^2 + 1} = 0

voor \displaystyle \epsilon = \pm 1. De relatie tussen de parametrisering uit 1885 en 1994 valt op wanneer men onderstaande expressie beschouwt

\displaystyle b = (4/5)\left(a+20+2\sqrt{(20-a)(5+a)}\right)

waar

\displaystyle a = \frac{5(4v+3)}{v^2+1}

en gebruikmakend van het geval van de negatieve wortel levert dit, na de variabelen geschaald te hebben, de eerste parametrisatie op, terwijl de positieve wortel de tweede expressie geeft bij \epsilon = -1. Het is daarom een noodzakelijke, maar niet voldoende, voorwaarde dat de niet reduceerbare oplosbare vijfdegraadsvergelijking

\displaystyle z^5 + a\mu^4z + b\mu^5 = 0

met rationele coëfficiënten gelijk moet zijn aan de simpele kwadratische curve

\displaystyle y^2 = (20-a)(5+a)

voor sommige rationele a, y.

Aangezien het door nauwkeurig gebruik van de methode van Tschirnhaus mogelijk is om elke vijfdegraadsvergelijking te transformeren in een Bring-Jerrard-vorm, geven beide parametrisaties dus een noodzakelijke en voldoende voorwaarde om te kunnen besluiten of een willekeurige, gegeven vijfdegraadsvergelijking al of niet analytisch kan worden opgelost in radicalen.

Voorbeelden van oplosbare vijfdegraadsvergelijkingen[bewerken]

Een vijfdegraadsvergelijking is oplosbaar in radicalen als de Galoisgroep van deze vijfdegraadsvergelijking, een subgroep van de symmetrische groep S(5) van permutaties van een set van vijf elementen, een oplosbare groep is. In dit geval hangt de vorm van de oplossingen af van de structuur van de Galoisgroep.

Een simpel voorbeeld wordt gegeven door de vergelijking

\displaystyle x^5-5x^4-10x^3-10x^2-5x-1=0,

waar de Galois-groep gelijk is aan de groep F(5), gegenereerd door de permutaties "(1 2 3 4 5)" en "(1 2 4 3)"; de enige reële oplossing is dan

\displaystyle x=1+\sqrt[5]{2}+\sqrt[5]{4}+\sqrt[5]{8}+\sqrt[5]{16}.

Voor andere oplosbare Galois-groepen kan de vorm van de wortels echter veel complexer zijn. De vergelijking

\displaystyle x^5-5x+12

heeft bijvoorbeeld een Galois-groep D(5), gegenereerd door "(1 2 3 4 5)" en "(1 4)(2 3)" en om deze oplossing uit te schrijven heeft men ongeveer 600 verschillende symbolen nodig.

Radicalen voorbij[bewerken]

In de Galois-groep is een vijfdegraadsvergelijking niet oplosbaar, wanneer de stelling van Abel-Ruffini ons vertelt dat wij, om de wortels te verkrijgen, verder moeten gaan dan de rekenkundige basisbewerkingen en het extraheren van de radicalen. Zo rond 1835 demonstreerde Jerrard dat vijfdegraadsvergelijkingen kunnen worden opgelost door gebruik te maken van ultraradicalen. Deze ultraradicalen staan ook wel bekend als Bring radicalen, de reële wortels van \displaystyle t^5 + t - a voor reële getallen a.

In 1858 toonde Charles Hermite aan dat deze Bring radicalen gekarakteriseerd kunnen worden in termen van Jacobi theta functies en de daaraan geassocieerde elliptische modulaire functies. Hij maakte gebruik van een aanpak die sterk leek op de bekendere aanpak om derdergraadsvergelijkingen op te lossen door gebruik te maken van trigonometrische functies.

Ongeveer in hetzelfde decennium ontwikkelde Leopold Kronecker, gebruikmakend van groepentheorie, een eenvoudigere manier om tot Hermite's resultaat te komen, net als Francesco Brioschi.

Later kwam Felix Klein met een bijzonder elegante methode die de symmetrieën van het Icosaëder relateert aan Galoistheorie, en de elliptisch modulaire functies die een rol spelen in Hermite's oplossing. Klein gaf een verklaring waarom oplossingen voorkomen en hij ontwikkelde zijn eigen oplossing in termen van gegeneraliseerde hypermeetkundige functies.

Referenties[bewerken]

  • Charles Hermite, "Sur la résolution de l'équation du cinquème degré",Œuvres de Charles Hermite, t.2, pp. 5-21, Gauthier-Villars, 1908.
  • Felix Klein, Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree, trans. George Gavin Morrice, Trübner & Co., 1888. ISBN 0-486-49528-0.
  • Leopold Kronecker, "Sur la résolution de l'equation du cinquième degré, extrait d'une lettre adressée à M. Hermite", Comptes Rendus de l'Académie des Sciences," t. LXVI, 1858 (1), pp. 1150-1152.
  • Blair Spearman and Kenneth S. Williams, "Characterization of solvable quintics x^5 + ax + b", American Mathematical Monthly, Vol. 101 (1994), pp. 986-992.
  • Ian Stewart, Galois Theory 2nd Edition, Chapman and Hall, 1989. ISBN 0-412-34550-1. Bespreekt Galois Theory in het algemeen inclusief een bewijs dat de algemene vijfdegraadsvergelijking niet oplosbaar is.
  • Jörg Bewersdorff, Galois theory for beginners: A historical perspective, American Mathematical Society, 2006. ISBN 0-8218-3817-2. Chapter 8 (The solution of equations of the fifth degree) geeft een beschrijving van de oplossing van oplosbare vijfdegraadsvergelijkingen van de vorm x^5 + cx + d.
  • Victor S. Adamchik and David J. Jeffrey, "Polynomial transformations of Tschirnhaus, Bring and Jerrard," ACM SIGSAM Bulletin, Vol. 37, No. 3, September 2003, pp. 90-94.
  • Ehrenfried Walther von Tschirnhaus, "A method for removing all intermediate terms from a given equation," ACM SIGSAM Bulletin, Vol. 37, No. 1, March 2003, pp. 1-3.
  • Daniel Lazard, "Solving quintics in radicals", Olav Arnfinn Laudal, Ragni Piene, The Legacy of Niels Henrik Abel, pp. 207–225, Berlin, 2004,. ISBN 3-5404-3826-2.

Zie ook[bewerken]

Externe links[bewerken]