Stelling van Abel-Ruffini
De stelling van Abel-Ruffini zegt dat er geen algemene methode is, om de nulpunten van een polynoom van de graad vijf of hoger, met coëfficiënten die gehele of rationale getallen zijn, al dan niet met behulp van wortelvormen te bepalen. De vergelijking is niet op te lossen door alleen maar de basisoperaties en wortelvormen te gebruiken. De nulpunten van de polynoom zijn niet uit te drukken in de coëfficiënten van .
De stelling is naar Paolo Ruffini en Niels Henrik Abel genoemd.
Geschiedenis
[bewerken | brontekst bewerken]![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/ce/Ruffini_-_Teoria_generale_delle_equazioni%2C_1799_-_1366896.jpg/260px-Ruffini_-_Teoria_generale_delle_equazioni%2C_1799_-_1366896.jpg)
Ruffini's verhandeling Teoria generale delle equazioni (Algemene theorie der vergelijkingen) uit 1799 bevatte een bewijs dat de algemene vijfdegraadsvergelijking niet oplosbaar is in radicalen (wortelvormen), d.w.z. dat er geen algemene formule bestaat die de wortels uitdrukt in termen van de coëfficiënten door alleen maar gebruik te maken van basisbewerkingen en n-deworteltrekking. Zijn bewijs werd op skepsis onthaald omdat de uiteenzetting onduidelijk was (later werd een belangrijke leemte ontdekt), en het werd nooit definitief door de wiskundige gemeenschap aanvaard.[1]
Abel publiceerde in 1826[2] een verschillend bewijs in het eerste nummer van Journal für die reine und angewandte Mathematik. Er zijn aanwijzigen dat Abel over gelijkwaardige resultaten beschikte voor vergelijkingen van hogere (priem)graden, en over resultaten in verband met de wortels van vergelijkingen die wél door radicalen kunnen worden opgelost.[1]
In 1845 publiceerde Wantzel een vereenvoudigd bewijs.
Bewijs met galoistheorie
[bewerken | brontekst bewerken]Sinds 1885 is er een bewijs van deze stelling met behulp van galoistheorie.
Het bewijs verloopt in drie grote stappen, die we hier schetsen voor een specifieke polynoom, zoals [3]
- Als een polynoom met rationale coëfficiënten oplosbaar is in wortelvormen over de complexe getallen, dan is de galoisgroep van (het splijtlichaam van) die polynoom een oplosbare groep.
- De groep van de gegeven polynoom is isomorf met de permutatiegroep van vijf elementen (symmetrische groep).
- is geen oplosbare groep (zijn normaaldeler de alternerende groep op vijf elementen, is een enkelvoudige groep).
Lagere graden
[bewerken | brontekst bewerken]Voor vierkants-, derde- en vierdegraadsvergelijkingen bestaan wel methoden om de oplossingen uit te drukken in de coëfficiënten met slechts gebruikmaking van elementaire rekenoperaties en wortelvormen. Bekend is de abc-formule voor de wortels van een vierkantsvergelijking. De analoge formule van Cardano voor derde- en de formule van Lodovico Ferrari voor vierdegraadsvergelijkingen waren al in de 16e eeuw bekend.
Oplossingen
[bewerken | brontekst bewerken]De stelling zegt niet dat de hogergenoemde vijfdegraadsvergelijkingen geen oplossing hebben: alleen hebben die oplossingen niet de bijzondere vorm van een uitdrukking in wortelvormen. Volgens de hoofdstelling van de algebra liggen de nulpunten van de bedoelde polynomen allemaal in het complexe vlak. Bovendien heeft een polynoom van oneven graad met reële coëfficiënten minstens één reëel nulpunt. Hoewel deze oplossingen niet precies kunnen worden gegeven met elementaire algebraische uitdrukkingen, kunnen zij tot elke gewenste graad van nauwkeurigheid door numerieke methoden, zoals de methode van Newton-Raphson of de methode van Laguerre worden benaderd.
Als we voor het reële getal het enige reële nulpunt van de polynoom aanduiden met de naam ultraradicaal van dan is de algemene vijfdegraadsvergelijking (en dus ook iedere specifieke vijfdegraadsvergelijking) oplosbaar in termen van gewone algebraïsche bewerkingen, wortelvormen en ultraradicalen.
Bronnen
[bewerken | brontekst bewerken]- Dit artikel of een eerdere versie ervan is een (gedeeltelijke) vertaling van het artikel Abel–Ruffini theorem op de Engelstalige Wikipedia, dat onder de licentie Creative Commons Naamsvermelding/Gelijk delen valt. Zie de bewerkingsgeschiedenis aldaar.
Referenties
[bewerken | brontekst bewerken]- ↑ a b Reinhard Laubenbacher en David Pengelley, "Mathematical Expeditions - Chronicles by the Explorers," Springer Undergraduate Texts in Mathematics 1999.
- ↑ N.H. Abel, Beweis der Unmöglichkeit algebraische Gleichungen von höheren Graden als den vierten allgemein aufzulösen, Journal für die reine und angewandte Mathematik 1 (1826) pp 65-84.
- ↑ Jean-Pierre Escofier, "Galois Theory," Springer Graduate Texts in Mathematics 204, 2001.