Kuudennen asteen yhtälö on algebrallinen yhtälö , jonka maksimiaste on 6. Yleensä se voidaan kirjoittaa seuraavasti:
Vaikka jotkin tämän yhtälön tietyt muodot, kuten trisquare tai bicubic, voidaan ratkaista graafisesti tai tekijöiden avulla, yleistä analyyttistä ratkaisua tälle yhtälölle ei tunneta. Abel-Ruffinin lauseesta seuraa , että yleisesti ottaen 6. asteen yhtälöä ei voida ratkaista radikaaleilla .
Frank Cole [1] yritti rakentaa yleisen teorian kuudennen asteen yhtälön ratkaisemiseksi vuonna 1886 . Viidennen asteen yhtälöiden ratkaisualgoritmeja oli ehdotettu kahdeksan vuotta aiemmin , ja Colen työssä yritettiin yleistää kehitetyt menetelmät myös kuudennen asteen yhtälöön.
Alle viiden asteen yhtälöiden teoria perustuu tiettyihin yhden muuttujan lineaarimuunnosryhmiin, jotka vastaavat alkuperäisen yhtälön Galois-ryhmiä . Tällainen viidennen asteen yhtälön muunnosryhmä vastaa 60 :tä vaihtuvan ryhmän operaatiota . Kuudennen asteen yhtälölle tällaisen muunnosryhmän on vastattava jo 360:tä operaatiota vaihtuvasta ryhmästä , joka voidaan esittää seuraavana yhtälönä:
jossa z on 0 , 1, 2, 3, 4, 5 tai : n kanssa kongruentti kokonaisluku . Tietyllä parametrien α, β, γ, δ valinnalla luku z' on myös kokonaisluku. Voidaan osoittaa, että tällaisia parametrijoukkoja on tasan 360. Felix Klein osoitti, että yhden muuttujan lineaaristen muunnosten äärellisiä ryhmiä ei ole olemassa , jotka täyttävät yllä olevat ehdot. Muuttujien lukumäärän tulee olla yleisessä tapauksessa vähintään kolme ja vähintään neljä, jos lineaarimuunnokset kirjoitetaan homogeeniseen muotoon. Nämä ominaisuudet johtavat siihen, että käytännössä algoritmien käyttö kuudennen asteen yhtälön ratkaisun löytämiseksi on epäkäytännöllistä [2] .
Trikvadraattinen yhtälö on muodon algebrallinen yhtälö
Korvaamalla se pelkistyy neliöyhtälöön
Bikuubinen yhtälö on muodon algebrallinen yhtälö
Korvaamalla se pelkistyy kuutioyhtälöön
Algebralliset yhtälöt | |
---|---|
|