Algebraické riešenie označuje výraz vytvorený z konečného počtu elementárnych operácií a odmocnín, ktorý predstavuje riešenie algebraickej rovnice. V najúzkom zmysle to znamená zostaviť korektný výraz z koeficientov rovnice pomocou sčítania, odčítania, násobenia, delenia a vyvodzovania k‑tých koreňov; takýto formálny prístup sa často opisuje v formálnom zmysle koeficientov a premenných.

Definícia a základné vlastnosti

Za algebraické riešenie považujeme výraz, ktorý vznikne opakovaným použitím povolených operácií: sčítanie, odčítanie, násobenie a delenie, pričom sú dovolené aj výrazy obsahujúce odmocniny (napríklad druhé, tretie či všeobecné k‑té korene). Takýto výraz sa často nazýva riešením „v rádoch algebraických operácií“ alebo riešením „v podobách radikálov“. Algebraické riešenia môžu byť explicitné (jednoznačný vzorec) alebo zložené z niekoľkých výrazov, ktoré spolu tvoria konečný konštrukt.

Historické pozadie a dôležité výsledky

Vývoj explicitných vzorcov siaha do renesancie, keď sa objavili metódy pre kubické a kvartické rovnice (Cardano, Ferrari a ďalší). Najznámejší je klasický vzorec pre kvadratickú rovnicu, ktorý sa vyučuje v základných kurzoch algebra. Dôležitým míľnikom modernej teórie bol objav Galoisovej teórie a Abelova–Ruffiniho vety: všeobecná polynomiálna rovnica stupňa 5 a vyššie nemá všeobecné riešenie pomocou radikálov. To znamená, že pre n ≥ 5 neexistuje jediný univerzálny vzorec zložený výlučne z povolených operácií, ktorý by vyriešil každú rovnicu tohto stupňa.

Príklady

Najjednoduchším a najznámejším príkladom je vzorec pre riešenie kvadratickej rovnice ax² + bx + c = 0, kde a ≠ 0. Tento vzorec je štandardným algebraickým riešením kvadratickej rovnice. Ilustráciu a symbolické zobrazenie tohto kroku možno vložiť pomocou obrázka: {\displaystyle x={\frac {-b\pm {\sqrt {b^{2}-4ac\ }}}{2a}},}. Podobné, hoci výrazne komplikovanejšie, vzorce existujú pre kubickú a kvartickú rovnicu; tieto postupy sú predmetom klasických algebraických článkov a učebníc pre kubické a kvartické riešenia. Pre jednoduché binomické rovnice typu x^n = a dáva algebraické riešenie tvar x = a^(1/n); konkrétny príklad znázorňuje {\displaystyle x^{10}=a} a jeho riešenie {\displaystyle x=a^{1/10}.}.

Použitie a obmedzenia

Algebraické riešenia sú dôležité v symbolickej algebre, teórii čísel a pri konštrukciách v geometrii. Poskytujú presné, analytické výsledky bez zaokrúhľovania. V praxi sa však pri vyšších stupňoch polynómov často používajú numerické metódy, pretože explicitné vzorce sú buď nedostupné (Abel–Ruffini) alebo príliš zložité na praktické použitie. Zvláštne prípady, napríklad polynómy so špecifickými symetriami alebo s "riešiteľnou" Galoisovou skupinou, môžu byť napriek všeobecnosti Abelovej vety riešené pomocou radikálov.

Upozornenia a ďalšie smery

  • Nie každý koreň polynómu je možné vyjadriť radikálmi; rozhodnutie závisí od algebraickej štruktúry rovnice.
  • Výskum pokračuje v oblasti expresií pomocou elementárnych funkcií, eliptických funkcií alebo integrálnych formulácií tam, kde radikály nestačia.
  • Pre ďalšie čítanie a dostupné zdroje použite odkazy na vstupné literatúry a učebnice: všeobecné pojmy, kvadratický vzorec a kubické a kvartické postupy.

{\displaystyle ax^{2}+bx+c=0\,}