四次方程式

**四次方程式**（よじほうていしき、quartic equation）とは、次数が 4 である代数方程式のことである。この項目では主に一変数の四次方程式を扱う。

## 概要
一変数の四次方程式は
:
の形で表現される。 で割り
:  (A_n = \frac{a_n}{a_4})
の形にしても解は変わらないのでこの形で論じられることが多い。

一般的な四次方程式の解法は、ジェロラモ・カルダーノの弟子であるルドヴィコ・フェラーリによって発見され、カルダノの著書『アルス・マグナ』で概要が述べられた。カルダノは  をそれぞれ、線分の長さ、一辺の長さが  の正方形の面積、一辺の長さが  の立方体の体積と対応させてとらえ、4次以上の方程式には意味がないと考えていたため、三次方程式と違って詳細には述べられていない。

しかし、カルダノの死後、ルネ・デカルトは著書『方法序説』の試論の一つである『幾何学』において定規とコンパスによる作図を論じ、長さ  の線分、長さ  の線分、長さ  の線分から長さ  の線分が得られることを示している。これによると、長さ  の線分と長さ  の線分から長さ （ は任意の自然数）の線分の作図が可能であることが分かるため 4 次以上の方程式を解くことにも幾何学的な意味を与えることは可能であり、カルダノの捉え方は不十分であったことが分かる。

その後、四次方程式は三次方程式と同様に様々な解法が発見され、五次方程式の代数的解法の探索と合わせて詳細な研究が進められた。

## 複二次式
四次方程式の内奇数次の項が無い
:
の形の式は  を変数とする二次方程式と見ることができ、**複二次方程式** (*biquadratic equation*)、左辺は**複二次式**と呼ばれる。二次方程式の解法を知っていれば簡単に解くことができる。

 と変換することで  に関する二次方程式
:
を得ることができ、この二次方程式を解くことによって解を求められる。

また、実数を係数とする複二次式
:
に対して、次のような二次式の積への因数分解もよく行われる。 の二次方程式とみたときの判別式
:
の符号によって

 であれば  について平方完成することにより
:x^4 +A_2 x^2 + A_0 = \left(x^2 + {A_2 \over 2}\right)^2 - \frac\right) \right\} \left\{ \left(y^2 + \frac{p + u}{2}\right) - \left(\sqrt{u} y - \frac{q}{2\sqrt{u}}\right) \right\} = 0
すなわち
:\left(y^2 + \frac{p + \left(+\sqrt{u}\right)^2}{2} \pm \left(+\sqrt{u}\right) y \mp \frac{q}{2\left(+\sqrt{u}\right)}\right)\left(y^2 + \frac{p + \left(-\sqrt{u}\right)^2}{2} \pm \left(-\sqrt{u}\right) y \mp \frac{q}{2\left(-\sqrt{u}\right)}\right) = 0\text{ (複号同順)}
となり、この2つの二次方程式から、四次方程式の解を求めることができる。

## デカルトの方法
デカルトは、著書『方法序説』の試論の一つである『幾何学』において四次方程式
:
を解くために、二次式による因数分解
:
を仮定した方法を奨めた。係数を比較すると
:
:
:
:
が得られる。上の 3 つの式から
:
:
:
が得られる。
:
であるから
:
という、 に関する六次方程式が得られる。偶数次の項しか無いので  とでもおけば
:
という  に関する三次方程式が得られる。この方程式は、フェラーリの方法で得たのと同じ**三次分解方程式**であり、これを解くことによって、元の方程式の解が得られる。

## オイラーの方法
レオンハルト・オイラーは、三次方程式や四次方程式の解法をいくつか発見した。ここに述べる方法も**オイラーの方法**と呼ばれる解法の一つである。
:
:
:
:
:
という等式を用いると、 を未知数とする四次方程式
:
の4個の解は
:
であることが分かる。

この方程式と、3 次の項の消えた四次方程式
:
の係数を比べ、 から  を求めることができれば、3 次の項の消えた四次方程式の解は上にあるように 4 つ求まる。

実際に係数を比べてみれば
:
:
:

ここで , ,  とおけば
:
:
:
となり、根と係数の関係により  は三次方程式
:
の解であり、これもフェラーリの方法に現れた**三次分解方程式**である。この三次方程式を解くことによって  が得られる。
ただし、  の符号を、 の符号がの符号と一致するように決める必要がある点は、要注意である。実際には、(が0でない事を確認した上で)でを求めることで、自動的にこの問題を回避可能である。

## ラグランジュの方法
ジョゼフ＝ルイ・ラグランジュは、既に知られていた三次方程式や四次方程式の解法を、いろいろな視点から詳しく調べ上げた。ここで述べるのは、ラグランジュによるフェラーリの方法の解釈であり、現代的に言えば対称群を用いた方法である。

フェラーリの方法において、四次方程式は
:*y* + *p y* + *q y* + *r* = 0
の形に変形される。この方程式の 4 つの解を *r*, *r*, *r*, *r* とする。三次分解式を解くことで四次方程式は、 2 つの二次方程式
: y^2 + \frac{p+u}{2} = \pm \left(\sqrt{u} y - \frac{q}{2\sqrt{u}} \right)
すなわち
: y^2 + \frac{p+u}{2} \pm  \frac{q}{2\sqrt{u}} = \pm \sqrt{u} y \Leftrightarrow y^2 + \frac{1}{2}\left(p+u \pm  \frac{q}{\sqrt{u}}\right) = \pm \sqrt{u} y
に分解することができた。
: y^2 + \frac{1}{2}\left(p+u + \frac{q}{\sqrt{u}}\right) = \sqrt{u} y
は、元の四次方程式の 4 つの解のうちの 2 つを解とするが、これをとりあえず *r*, *r* の 2 つとしたとき、
:y^2 + \frac{1}{2}\left(p+u - \frac{q}{\sqrt{u}}\right) = - \sqrt{u} y
の解は *r*, *r* となり、根と係数の関係から
:r_0 + r_1 = \sqrt{u}
:r_2 + r_3 = - \sqrt{u}
したがって
:(*r* + *r*) (*r* + *r*) = &minus; *u*

便宜上
:y^2 + \frac{1}{2}\left(p+u + \frac{q}{\sqrt{u}}\right) = \sqrt{u} y
の解を *r*, *r* としたが、解の並び方はいろいろ考えられる。 *r* と *r* を入れ替える互換を &sigma; と書けば、例えば
:&sigma; (*r* + *r*) (*r* + *r*) = (*r* + *r*) (*r* + *r*)
:&sigma; (*r* + *r*) (*r* + *r*) = (*r* + *r*) (*r* + *r*)
など、一般には異なる値を取ることになる。このように調べていくと 4 つの解の並び方は 4! = あるが
:(*r* + *r*) (*r* + *r*) = &minus; *u*
の値は、最初の解の並べ方によって
:*s* = (*r* + *r*) (*r* + *r*)
:*s* = (*r* + *r*) (*r* + *r*)
:*s* = (*r* + *r*) (*r* + *r*)
の 3 通りとなる。

例えば、互換 σ を作用させると、
:σ *s* = *s*
:σ& *s* = *s*
:σ *s* = *s*
となる。

一般に、互換 σ は *s*, *s*, *s* の並べ替えしかしないため *s*, *s*, *s* に関する基本対称式
:*s* + *s* + *s*
:*s* *s* + *s* *s* + *s* *s* 
:*s* *s* *s*
は、互換 &sigma; によって不変であり、 *r*, *r*, *r*, *r* の基本対称式で書けることになる。
:すなわち *s*, *s*, *s* の基本対称式は、最初に考えた四次方程式の係数 *p*, *q*, *r* で書ける。
以上のことから
:*u* = &minus; (*r* + *r*) (*r* + *r*)
は、根の並べ方によって 3 つの値 &minus; *s*, &minus; *s*, &minus; *s* をとり、これらを解とする方程式
:(*u* + *s*) (*u* + *s*) (*u* + *s*) = 0
の左辺は *u* についての多項式として展開すると、その係数が *p*, *q*, *r* の多項式として書ける式である。この *u* に関する三次方程式こそ、フェラーリの方法で**三次分解方程式**として求められた方程式に他ならない。

このようにしてラグランジュは、四次方程式を解くための補助方程式である三次分解方程式の解が、元の四次方程式の解の多項式で書けることを発見し、補助方程式の次数が三次である理由を、根の置換という立場からはっきりと示した。

このような式は他にもあり
:t_0 = \left(r_0 + r_1\right) - \left( r_2 +r_3\right)
:t_1 = \left(r_0 + r_2\right) - \left( r_1 +r_3\right)
:t_2 = \left(r_0 + r_3\right) - \left( r_1 +r_2\right)
とすれば、{t_0}^2, {t_1}^2, {t_2}^2 を解とする三次方程式で四次方程式を解くこともできる。ラグランジュは補助方程式の解を用いて、問題の方程式の解の公式を表現するのとは逆に、補助方程式の解を、元の方程式の解の整式（あるいは一般に有理式）として書けることが代数的に解ける理由と考え、特に
:u = r_0 +i r_1 - r_2 - i r_3
の形の式、さらに一般に、次方程式であれば 1の原始乗根\zeta_n を用いて
:u = \sum_{k=0}^{n-1} {\zeta_n}^k r_k = r_0 +\zeta_n r_1 + {\zeta_n}^2 r_2 + \cdots + {\zeta_n}^{n-2} r_{n-2} + {\zeta_n}^{n-1} r_{n-1}
の形の式の性質を詳しく調べたが、五次以上の代数方程式の代数的解法の発見には至らなかった。この形の式を**ラグランジュの分解式** (*Lagrange resolvent*) という。
五次以上の代数方程式の代数的解法の存在については、パオロ・ルフィニ、オーギュスタン＝ルイ・コーシー、ニールス・アーベルらの研究がアーベル-ルフィニの定理として結実し、否定されることになるが、彼らの研究は、このようなラグランジュの研究を源流としている。

## 解の公式（全文）
4次方程式
:a_4x^4 + a_3x^3 + a_2x^2 + a_1x + a_0 = 0 \quad (a_4\ne 0)
の解の公式は以下の通りである：

:
\begin{align}
x_1=&\color{Red}{-\frac{a_3}{4 a_4}} \\
&-\frac{1}{2} \sqrt{\color{Blue}{\frac{a_3^2}{4 a_4^2}+\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}+\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{2 a_2}{3 a_4}}} \\
&-\frac{1}{2} \sqrt{\color{Green}{\frac{a_3^2}{2 a_4^2}-\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}-\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{-\frac{a_3^3}{a_4^3}+\frac{4 a_2 a_3}{a_4^2}-\frac{8 a_1}{a_4}}{4 \sqrt{\frac{a_3^2}{4 a_4^2}+\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}+\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{2 a_2}{3 a_4}}}-\frac{4 a_2}{3 a_4}}} \\
\\
\end{align}


:\begin{align}
x_2=&\color{Red}{-\frac{a_3}{4 a_4}} \\
&-\frac{1}{2} \sqrt{\color{Blue}{\frac{a_3^2}{4 a_4^2}+\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}+\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{2 a_2}{3 a_4}}} \\
&+\frac{1}{2} \sqrt{\color{Green}{\frac{a_3^2}{2 a_4^2}-\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}-\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{-\frac{a_3^3}{a_4^3}+\frac{4 a_2 a_3}{a_4^2}-\frac{8 a_1}{a_4}}{4 \sqrt{\frac{a_3^2}{4 a_4^2}+\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}+\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{2 a_2}{3 a_4}}}-\frac{4 a_2}{3 a_4}}} \\
\\
\end{align}


:
\begin{align}
x_3=&\color{Red}{-\frac{a_3}{4 a_4}} \\
&+\frac{1}{2} \sqrt{\color{Blue}{\frac{a_3^2}{4 a_4^2}+\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}+\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{2 a_2}{3 a_4}}} \\
&-\frac{1}{2} \sqrt{\color{Green}{\frac{a_3^2}{2 a_4^2}-\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}-\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}+\frac{-\frac{a_3^3}{a_4^3}+\frac{4 a_2 a_3}{a_4^2}-\frac{8 a_1}{a_4}}{4 \sqrt{\frac{a_3^2}{4 a_4^2}+\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}+\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{2 a_2}{3 a_4}}}-\frac{4 a_2}{3 a_4}}} \\
\\
\end{align}


:
\begin{align}
x_4=&\color{Red}{-\frac{a_3}{4 a_4}} \\
&+\frac{1}{2} \sqrt{\color{Blue}{\frac{a_3^2}{4 a_4^2}+\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}+\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{2 a_2}{3 a_4}}} \\
&+\frac{1}{2} \sqrt{\color{Green}{\frac{a_3^2}{2 a_4^2}-\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}-\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}+\frac{-\frac{a_3^3}{a_4^3}+\frac{4 a_2 a_3}{a_4^2}-\frac{8 a_1}{a_4}}{4 \sqrt{\frac{a_3^2}{4 a_4^2}+\frac{\sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}{3 \sqrt[3]{2} a_4}+\frac{\sqrt[3]{2} \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right)}{3 a_4 \sqrt[3]{2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4+\sqrt{\left(2 a_2^3-9 a_1 a_3 a_2-72 a_0 a_4 a_2+27 a_0 a_3^2+27 a_1^2 a_4\right){}^2-4 \left(a_2^2-3 a_1 a_3+12 a_0 a_4\right){}^3}}}-\frac{2 a_2}{3 a_4}}}-\frac{4 a_2}{3 a_4}}} \\
\\
\end{align}


式の一部を置き換えたことにより簡略化したもの
:
\begin{align}
& a_4x^4 + a_3x^3 + a_2x^2 + a_1x + a_0 = 0 \quad (a_4\ne 0) \\
\\
& x_1 = {\color{Red}{-\frac{a_3}{4a_4}}} - \frac{\sqrt}}}{2} - \frac{\sqrt}}}{2} \\
& x_2 = {\color{Red}{-\frac{a_3}{4a_4}}} + \frac{\sqrt}}}{2} - \frac{\sqrt}}}{2} \\
& x_3 = {\color{Red}{-\frac{a_3}{4a_4}}} - \frac{\sqrt}}}{2} + \frac{\sqrt}}}{2} \\
& x_4 = {\color{Red}{-\frac{a_3}{4a_4}}} + \frac{\sqrt}}}{2} + \frac{\sqrt}}}{2} \\
\\
& \begin{array}
\hline \begin{array} \hline 1 \\ \hline \end{array} \rightarrow \left(\frac{a_3^2}{2a_4^2} - \frac{2^{\frac{1}{3}} \begin{array} \hline 5 \\ \hline \end{array}}{3\begin{array} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}a_4} - \frac{\begin{array} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}}{3 \sqrt[3]{2}a_4} - \frac{4a_2}{3a_4}\right) + \frac{\begin{array} \hline 3 \\ \hline \end{array}}{4\sqrt{\begin{array} \hline 4 \\ \hline \end{array}}} \\
\hline \begin{array} \hline 2 \\ \hline \end{array} \rightarrow \left(\frac{a_3^2}{2a_4^2} - \frac{2^{\frac{1}{3}} \begin{array} \hline 5 \\ \hline \end{array}}{3\begin{array} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}a_4} - \frac{\begin{array} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}}{3 \sqrt[3]{2}a_4} - \frac{4a_2}{3a_4}\right) -\frac{\begin{array} \hline 3 \\ \hline \end{array}}{4\sqrt{\begin{array} \hline 4 \\ \hline \end{array}}} \\
\hline \begin{array} \hline 3 \\ \hline \end{array} \rightarrow - \frac{a_3^3}{a_4^3} + \frac{4a_2a_3}{a_4^2} - \frac{8a_1}{a_4} \\
\hline \begin{array} \hline 4 \\ \hline \end{array} \rightarrow \frac{a_3^2}{4a_4^2} + \frac{2^{\frac{1}{3}} \begin{array} \hline 5 \\ \hline \end{array}}{3\begin{array} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}a_4} + \frac{\begin{array} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}}{3 \sqrt[3]{2}a_4} - \frac{2a_2}{3a_4} \\
\hline \begin{array} \hline 5 \\ \hline \end{array} \rightarrow a_2^2 - 3a_1a_3 + 12a_0a_4 \\
\hline \begin{array} \hline 6 \\ \hline \end{array} \rightarrow 27\left(a_0a_3^2 + a_1^2a_4\right) - 72\left(a_0a_4\right)a_2 - 9\left(a_1a_3\right)a_2 + 2a_2^3 \\
\hline \begin{array} \hline 7 \\ \hline \end{array} \rightarrow + \begin{array} \hline 6 \\ \hline \end{array}^2 - 4\begin{array} \hline 5 \\ \hline \end{array}^3 \\
\hline \begin{array} \hline 8 \\ \hline \end{array} \rightarrow \begin{array} \hline 6 \\ \hline \end{array} + \sqrt{\begin{array} \hline 7 \\ \hline \end{array}} \\
\hline
\end{array}
\end{align}

## 実際の応用例
* 地球を扁球回転楕円体とみなしたとき、地心直交座標 (x,y,z) から地理座標（緯度 \varphi、経度 \lambda、高度（楕円体高）h）への座標換算を行う際に四次方程式が現れる。
* （代数的な解の公式が存在しない）五次方程式の解をレベル5のモジュラー方程式の解を利用する方法により得ようとするプロセスの途中で四次方程式が現れる。

## ガロア群
*  対称群（位数 24）
*  交代群（位数 12）
*  クラインの四元群（位数 4）

## 脚注

## 外部リンク
*
*
*四次方程式の解 - 高精度計算サイト