Abel-Ruffiniho teorém říká, že obecná algebraická mírová rovnice je neřešitelná v radikálech [1] .
Galoisova teorie popisuje permutační grupu kořenů polynomů . Moderní důkaz teorému je založen na následujících dvou skutečnostech:
Je snadné vidět, že významná část důkazu je „skryta“ v Galoisově teorii.
Abel-Ruffiniho teorém neříká , že obecná rovnice tého stupně at nemá řešení. Pokud jsou povolena komplexní řešení , pak základní věta algebry zaručuje existenci řešení. Podstata Abel-Ruffiniho věty se scvrkává na skutečnost, že pro libovolné rovnice stupně většího než čtvrtý není možné uvést explicitní vzorec pro řešení, tedy vzorec, který definuje všechna možná řešení a obsahuje pouze aritmetické operace a kořeny libovolného stupně.
Řešení takových rovnic lze získat s jakoukoli požadovanou přesností pomocí numerických metod , jako je Newtonova metoda .
Kromě toho mohou být kořeny některých rovnic vyšších stupňů vyjádřeny v radikálech. Například rovnice má kořen .
Ačkoli kvintická rovnice je neřešitelná v radikálech, existují vzorce pro její kořeny pomocí funkcí theta .
Pro rovnice se stupněm menším než pátý můžete zadat explicitní vzorec řešení. Tento fakt lze považovat za „druhou část“ nebo za „inverzní“ Abel-Ruffiniho teorém. Toto tvrzení sice nevyplývá z Abel-Ruffiniho věty, ale je pravdivé: viz Cardanovy vzorce (pro rovnice třetího stupně) a Ferrari (pro čtvrtý) [4] .
První důkaz teorému publikoval v roce 1799 Ruffini . V důkazu bylo několik nepřesností. V roce 1824 vydal Abel úplný důkaz .
Jejich důkazy se spoléhaly na Lagrangeovy myšlenky permutace kořenů rovnice. Později byly tyto myšlenky rozvinuty v Galoisově teorii , která umožnila formulaci moderního prohlášení o důkazech a sloužila jako výchozí bod ve vývoji abstraktní algebry .
Ačkoli teorém říká, že rovnice nemají obecný vzorec k řešení, některé typy rovnic vysokého stupně připouštějí přesná řešení. Mezi nimi: