Abel-Ruffini-satsen säger att en allmän algebraisk gradekvation är olöslig i radikaler [1] .
Galois teori beskriver permutationsgruppen av polynomens rötter . Det moderna beviset för satsen är baserat på följande två fakta:
Det är lätt att se att en betydande del av bevisen är "gömd" i Galois-teorin.
Abel-Ruffinis sats säger inte att den allmänna ekvationen för den e graden vid inte har någon lösning. Om komplexa lösningar tillåts garanterar algebras grundläggande sats existensen av lösningar. Kärnan i Abel-Ruffini-satsen handlar om att det för godtyckliga ekvationer av grad som är större än den fjärde är omöjligt att ange en explicit formel för lösningar, det vill säga en formel som definierar alla möjliga lösningar och endast innehåller aritmetiska operationer och rötter av godtycklig grad.
Lösningar på sådana ekvationer kan erhållas med vilken noggrannhet som helst med hjälp av numeriska metoder som Newtons metod .
Dessutom kan rötterna till vissa ekvationer av högre grader uttryckas i radikaler. Till exempel har ekvationen en rot .
Även om en kvintisk ekvation är olöslig i radikaler, finns det formler för dess rötter med hjälp av theta-funktioner .
För ekvationer med en grad mindre än den femte kan du ange en explicit lösningsformel. Detta faktum kan betraktas som den "andra delen" eller som den "omvända" Abel-Ruffini-satsen. Även om detta påstående inte följer av Abel-Ruffinis sats, är det sant: se Cardanos formler (för ekvationer av tredje graden) och Ferrari (för fjärde graden) [4] .
Det första beviset för satsen publicerades 1799 av Ruffini . Det fanns flera felaktigheter i beviset. År 1824 publicerades ett fullständigt bevis av Abel .
Deras bevis förlitade sig på Lagranges idéer om att förvandla rötterna till en ekvation. Senare utvecklades dessa idéer i Galois-teorin , som möjliggjorde formuleringen av det moderna bevisförklaringen och fungerade som en utgångspunkt i utvecklingen av abstrakt algebra .
Även om satsen säger att ekvationerna inte har en generell formel att lösa, tillåter vissa typer av höggradsekvationer exakta lösningar. Bland dem: