四次方程式のソースを表示

{{出典の明記|date=2015-07}}
'''四次方程式'''（よじほうていしき、quartic equation）とは、[[多項式の次数|次数]]が 4 である[[代数方程式]]のことである。この項目では主に一変数の四次方程式を扱う。

== 概要 ==
一変数の四次方程式は
:{{math|1=''a''{{sub|4}} ''x''{{sup|4}} + ''a''{{sub|3}} ''x''{{sup|3}} + ''a''{{sub|2}} ''x''{{sup|2}} + ''a''{{sub|1}} ''x'' + ''a''{{sub|0}} = 0 (''a''{{sub|4}} ≠ 0)}}
の形で表現される。{{math|''a''{{sub|4}}}} で割り
: {{math|1=''x''{{sup|4}} + ''A''{{sub|3}} ''x''{{sup|3}} + ''A''{{sub|2}} ''x''{{sup|2}} + ''A''{{sub|1}} ''x'' + ''A'' {{sub|0}} = 0}} (<math>A_n = \frac{a_n}{a_4}</math>)
の形にしても解は変わらないのでこの形で論じられることが多い。

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

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

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

== 複二次式 ==
四次方程式の内奇数次の項が無い
:{{math|''a''{{sub|4}} ''x''{{sup|4}} + ''a''{{sub|2}} ''x''{{sup|2}} + ''a''{{sub|0}} {{=}} 0 (''a''{{sub|4}} ≠ 0)}}
の形の式は {{math|''x''{{sup|2}}}} を変数とする[[二次方程式]]と見ることができ、'''複二次方程式''' (''biquadratic equation'')、左辺は'''複二次式'''と呼ばれる。二次方程式の解法を知っていれば簡単に解くことができる。

{{math|''y'' {{=}} ''x''{{sup|2}}}} と変換することで {{mvar|y}} に関する二次方程式
:{{math|''a''{{sub|4}} ''y''{{sup|2}} + ''a''{{sub|2}} ''y'' + ''a''{{sub|0}} {{=}} 0}}
を得ることができ、この二次方程式を解くことによって解を求められる。

また、[[実数]]を係数とする複二次式
:{{math|''x''{{sup|4}} + ''A''{{sub|2}} ''x''{{sup|2}} + ''A''{{sub|0}}}}
に対して、次のような二次式の積への因数分解もよく行われる。{{math|''x''{{sup|2}}}} の二次方程式とみたときの[[判別式]]
:{{math|1=''D'' = ''A''{{sub|2}}{{sup|2}} &minus; 4''A''{{sub|0}}}}
の[[符号 (数学)|符号]]によって

{{math|''D'' > 0}} であれば {{math|''x''{{sup|2}}}} について[[平方完成]]することにより
:<math>x^4 +A_2 x^2 + A_0 = \left(x^2 + {A_2 \over 2}\right)^2 - \frac{{A_2}^2 - 4 A_0}{4}</math>
{{math|''D'' < 0}} であれば {{math|''A''{{sub|0}} > 0}} であることに注意して
:<math>x^4 +A_2 x^2 + A_0 = \left(x^2 + \sqrt{A_0} \right)^2 - \left(2 \sqrt{A_0} - A_2 \right) x^2</math>
と変形すれば、いずれの場合も[[因数分解]]の公式
:{{math|α{{sup|2}} &minus; β{{sup|2}} {{=}} (α + β) (α &minus; β)}}
を利用して実数を係数とする二次式の積に因数分解できる。

== 解の様子 ==
四次方程式は、[[代数学の基本定理]]より、高々4個の[[複素数]]解を持つ。

四次方程式 {{math|''ax''{{sup|4}} + ''bx''{{sup|3}} + ''cx''{{sup|2}} + ''dx'' + ''e'' {{=}} 0}} の[[判別式]]は
:<math>\begin{align}
\Delta=\; &256a^3e^3-192a^2bde^2-128a^2c^2e^2+144a^2cd^2e-27a^2d^4\\
&\ +144ab^2ce^2-6ab^2d^2e-80abc^2de+18abcd^3+16ac^4e\\
&\ -4ac^3d^2-27b^4e^2+18b^3cde-4b^3d^3-4b^2c^3e+b^2c^2d^2
\end{align}</math>
によって与えられ、係数によって定まる以下の4個の定数によってさらに詳細な情報が得られる。
:<math>\begin{align}
P&=8ac-3b^2\\
R&=b^3+8a^2d-4abc\\
\Delta_0&=c^2-3bd+12ae\\
D&=64a^3e-16a^2c^2+16ab^2c-16a^2bd-3b^4
\end{align}</math>

{{math2|''Δ'', ''P'', ''R'', ''Δ''{{sub|0}}, ''D''}} に関して、以下の事実が成立する<ref>{{Cite journal |first=E. L. |last=Rees |title=Graphical Discussion of the Roots of a Quartic Equation |journal=The American Mathematical Monthly |volume=29 |issue=2 |year=1922 |pages=51-55 |doi=10.2307/2972804 |jstor=2972804}}</ref>。
# {{math|''Δ'' < 0}} のとき、異なる2個の実数解と1組の[[複素共役|共役]]複素数解を持つ。
# {{math|''Δ'' > 0}} のとき、
## {{math|''P'' < 0}} かつ {{math|''D'' < 0}} ならば、相異なる4個の実数解を持つ。
## {{math|''P'' > 0}} または {{math|''D'' > 0}} ならば、2組の共役複素数解を持つ。
# {{math|1=''Δ'' = 0}} のときにのみ、方程式は重解を持ち、
## {{math|''P'' < 0}} かつ {{math|''D'' < 0}} かつ {{math|''Δ''{{sub|0}} ≠ 0}} ならば、1個の実数二重解と、異なる2個の重複度 1 の実数解を持つ。
## {{math|''D'' > 0}} または（{{math|''P'' < 0}} かつ（{{math2|''D'', ''R''}} のどちらかが0でない））ならば、1個の実数二重解と、1組の共役複素数解を持つ。
## {{math|''Δ''{{sub|0}} {{=}} 0}} かつ {{math|''D'' ≠ 0}}ならば、1個の実数三重解と、1個の重複度 1 の実数解を持つ。
## {{math|''D'' {{=}} 0}} のとき、
### {{math|''P'' < 0}} ならば、異なる 2個の実数二重解を持つ。
### {{math|''P'' < 0}} かつ {{math|''R'' {{=}} 0}} ならば、1組の共役複素数である、異なる 2個の虚数二重解を持つ。
### {{math|''Δ''{{sub|0}} {{=}} 0}} ならば、{{math|&minus;{{sfrac|''b''|4''a''}}}} を実数四重解として持つ。
以上には、例えば {{math|''Δ'' > 0}} かつ {{math|''P''·''D'' < 0}} である場合などが記されていない。しかし、このような組み合わせは実際には存在しない。

== フェラーリの解法 ==
'''[[ルドヴィコ・フェラーリ|フェラーリ]]の解法'''は、一般的な四次方程式の解法のうちで最初に与えられた解法である。四次方程式
:{{math|1=''a''{{sub|4}} ''x''{{sup|4}} + ''a''{{sub|3}} ''x''{{sup|3}} + ''a''{{sub|2}} ''x''{{sup|2}} + ''a''{{sub|1}} ''x'' + ''a''{{sub|0}} = 0 (''a''{{sub|4}} ≠ 0)}}
を {{math|''a''{{sub|4}}}} で割り
:{{math|1=''x''{{sup|4}} + ''A''{{sub|3}} ''x''{{sup|3}} + ''A''{{sub|2}} ''x''{{sup|2}} + ''A''{{sub|1}} ''x'' + ''A''{{sub|0}} = 0}}
の形にする。(<math>A_n = \frac{a_n}{a_4}</math>)
:<math>B_3 := \frac{A_3}{4}</math>
とし
:{{math|1=''x'' = ''y'' &minus; ''B''{{sub|3}}}}
によって変数変換を行うと
:{{math2|''y''{{sup|4}} + (''A''{{sub|2}} &minus; 6 ''B''{{sub|3}}{{sup|2}}) ''y''{{sup|2}} + (''A''{{sub|1}} &minus; 2 ''A''{{sub|2}} ''B''{{sub|3}} + 8 ''B''{{sub|3}}{{sup|3}}) ''y'' + (''A''{{sub|0}} &minus; ''A''{{sub|1}} ''B''{{sub|3}} + ''A''{{sub|2}} ''B''{{sub|3}}{{sup|2}} &minus; 3 ''B''{{sub|3}}{{sup|4}}) {{=}} 0}}
となり、3次の項が消えた方程式が得られる。見やすいように
:{{math|''y''{{sup|4}} + ''p y''{{sup|2}} + ''q y'' + ''r'' {{=}} 0}}
と書く。{{math2|''q'' {{=}} 0}} の時は、複二次式として解けばよいので、以後は {{math2|''q'' ≠ 0}} とする。

[[媒介変数]] {{math2|''u'' ≠ 0}} を用い
:<math>\left(y^2 + \frac{p + u}{2}\right)^2 - u \left(y - \frac{q}{2u}\right)^2 = 0</math>
と変形する。ここで上式を展開し係数を比較すると、{{mvar|u}} の[[三次方程式]]
:{{math|''u'' (''p'' + ''u''){{sup|2}} &minus; 4 ''r u'' {{=}} ''q''{{sup|2}}}}
が得られる。このような補助的な方程式を、与えられた四次方程式に関する'''三次分解方程式'''(''resolvent cubic equation'') という。{{math2|''q'' ≠ 0}} なので、この分解方程式の解は {{math2|''u'' ≠ 0}} を満たしており、この解の一つを {{mvar|u}} として取る。また、求める四次方程式は
:<math>\left\{ \left(y^2 + \frac{p + u}{2}\right) + \left(\sqrt{u} y - \frac{q}{2\sqrt{u}}\right) \right\} \left\{ \left(y^2 + \frac{p + u}{2}\right) - \left(\sqrt{u} y - \frac{q}{2\sqrt{u}}\right) \right\} = 0</math>
となり、この2つの二次方程式から、四次方程式の解を求めることができる。

== デカルトの方法 ==
[[ルネ・デカルト|デカルト]]は、著書『[[方法序説]]』の試論の一つである『幾何学』において四次方程式
:{{math|1=''y''{{sup|4}} + ''p y''{{sup|2}} + ''q y'' + ''r'' = 0}}
を解くために、二次式による因数分解
:{{math2|1=''y''{{sup|4}} + ''p y''{{sup|2}} + ''q y'' + ''r'' = (''y''{{sup|2}} + ''c''{{sub|1}} ''y'' + ''c''{{sub|0}}) (''y''{{sup|2}} + ''d''{{sub|1}} ''y'' + ''d''{{sub|0}})}}
を仮定した方法を奨めた。係数を比較すると
:{{math2|1=''c''{{sub|1}} + ''d''{{sub|1}} = 0}}
:{{math2|1=''c''{{sub|0}} + ''d''{{sub|0}} + ''c''{{sub|1}} ''d''{{sub|1}} = ''p''}}
:{{math2|1=''c''{{sub|1}} ''d''{{sub|0}} + ''c''{{sub|0}} ''d''{{sub|1}} = ''q''}}
:{{math2|1=''c''{{sub|0}} ''d''{{sub|0}} = ''r''}}
が得られる。上の 3 つの式から
:{{math2|1=''d''{{sub|1}} = &minus; ''c''{{sub|1}}}}
:{{math2|1=2 ''c''{{sub|0}} ''c''{{sub|1}} = ''c''{{sub|1}}{{sup|3}} + ''p c''{{sub|1}} &minus; ''q''}}
:{{math2|1=2 ''d''{{sub|0}} ''c''{{sub|1}} = ''c''{{sub|1}}{{sup|3}} + ''p c''{{sub|1}} + ''q''}}
が得られる。
:{{math2|1=4 ''c''{{sub|1}}{{sup|2}} ''r'' = 4 ''c''{{sub|1}}{{sup|2}} ''c''{{sub|0}} ''d''{{sub|0}} = (2 ''c''{{sub|0}} ''c''{{sub|1}})(2 ''d''{{sub|0}} ''c''{{sub|1}}) = (''c''{{sub|1}}{{sup|3}} + ''p c''{{sub|1}} &minus; ''q'')(''c''{{sub|1}}{{sup|3}} + ''p c''{{sub|1}} + ''q'')}}
であるから
:{{math2|1=''c''{{sub|1}}{{sup|2}}( ''c''{{sub|1}}{{sup|2}} + ''p''){{sup|2}} - ''q''{{sup|2}} = 4 ''c''{{sub|1}}{{sup|2}} ''r''}}
という、{{math|''c''{{sub|1}}}} に関する六次方程式が得られる。偶数次の項しか無いので {{math2|1=''u'' = ''c''{{sub|1}}{{sup|2}}}} とでもおけば
:{{math|1=''u''( ''u'' + ''p''){{sup|2}} &minus; ''q''{{sup|2}} = 4 ''r u''}}
という {{mvar|u}} に関する三次方程式が得られる。この方程式は、フェラーリの方法で得たのと同じ'''三次分解方程式'''であり、これを解くことによって、元の方程式の解が得られる。

== オイラーの方法 ==
[[レオンハルト・オイラー]]は、三次方程式や四次方程式の解法をいくつか発見した。ここに述べる方法も'''オイラーの方法'''と呼ばれる解法の一つである。
:{{math|(''x'' + ''a'' + ''b'' + ''c'') (''x'' + ''a'' &minus; ''b'' &minus; ''c'') (''x'' &minus; ''a'' + ''b'' &minus; ''c'') (''x'' &minus; ''a'' &minus; ''b'' + ''c'')}}
:{{math|1== {(''x'' + ''a''){{sup|2}} &minus; (''b'' + ''c''){{sup|2}}{{)}}{(''x'' &minus; ''a''){{sup|2}} &minus; (''b'' &minus; ''c''){{sup|2}}{{)}}}}
:{{math|1== (''x''{{sup|2}} &minus; ''a''{{sup|2}}){{sup|2}} + (''b''{{sup|2}} &minus; ''c''{{sup|2}}){{sup|2}} &minus; (''x'' + ''a''){{sup|2}} (''b'' &minus; ''c''){{sup|2}} &minus; (''x'' &minus; ''a''){{sup|2}} (''b'' + ''c''){{sup|2}}}}
:{{math|1== ''x''{{sup|4}} + ''a''{{sup|4}} + ''b''{{sup|4}} + ''c''{{sup|4}} &minus; 2 (''x''{{sup|2}} ''a''{{sup|2}} + ''x''{{sup|2}} ''b''{{sup|2}} + ''x''{{sup|2}} ''c''{{sup|2}} + ''a''{{sup|2}} ''b''{{sup|2}} + ''b''{{sup|2}} ''c''{{sup|2}} + ''c''{{sup|2}} ''a''{{sup|2}}) + 8 ''x a b c''}}
:{{math|1== ''x''{{sup|4}} &minus; 2 (''a''{{sup|2}} + ''b''{{sup|2}} + ''c''{{sup|2}}) ''x''{{sup|2}} + 8 ''a b c x'' + ''a''{{sup|4}} + ''b''{{sup|4}} + ''c''{{sup|4}} &minus; 2 (''a''{{sup|2}} ''b''{{sup|2}} + ''b''{{sup|2}} ''c''{{sup|2}} + ''c''{{sup|2}} ''a''{{sup|2}})}}
という等式を用いると、{{mvar|x}} を未知数とする四次方程式
:{{math|1=''x''{{sup|4}} &minus; 2 (''a''{{sup|2}} + ''b''{{sup|2}} + ''c''{{sup|2}}) ''x''{{sup|2}} + 8 ''a b c x'' + ''a''{{sup|4}} + ''b''{{sup|4}} + ''c''{{sup|4}} &minus; 2 (''a''{{sup|2}} ''b''{{sup|2}} + ''b''{{sup|2}} ''c''{{sup|2}} + ''c''{{sup|2}} ''a''{{sup|2}}) = 0}}
の4個の解は
:{{math|&minus; ''a'' &minus; ''b'' &minus; ''c'', &minus; ''a'' + ''b'' + ''c'', ''a'' &minus; ''b'' + ''c'', ''a'' + ''b'' &minus; ''c''}}
であることが分かる。

この方程式と、3 次の項の消えた四次方程式
:{{math|1=''x''{{sup|4}} + ''p x''{{sup|2}} + ''q x'' + ''r'' = 0}}
の係数を比べ、{{math2|''p'', ''q'', ''r''}} から {{math2|''a'', ''b'', ''c''}} を求めることができれば、3 次の項の消えた四次方程式の解は上にあるように 4 つ求まる。

実際に係数を比べてみれば
:{{math|1=''p'' = &minus; 2 (''a''{{sup|2}} + ''b''{{sup|2}} + ''c''{{sup|2}})}}
:{{math|1=''q'' = 8 ''a b c''}}
:{{math|1=''r'' = ''a''{{sup|4}} + ''b''{{sup|4}} + ''c''{{sup|4}} &minus; 2 (''a''{{sup|2}} ''b''{{sup|2}} + ''b''{{sup|2}} ''c''{{sup|2}} + ''c''{{sup|2}} ''a''{{sup|2}}) = (''a''{{sup|2}} + ''b''{{sup|2}} + ''c''{{sup|2}}){{sup|2}} &minus; 4 (''a''{{sup|2}} ''b''{{sup|2}} + ''b''{{sup|2}} ''c''{{sup|2}} + ''c''{{sup|2}} ''a''{{sup|2}})}}

ここで {{math|1=''f''{{sub|0}} = (2''a''){{sup|2}}}}, {{math|1=''f''{{sub|1}} = (2''b''){{sup|2}}}}, {{math|1=''f''{{sub|2}} = (2''c''){{sup|2}}}} とおけば
:{{math|1=''f''{{sub|0}} + ''f''{{sub|1}} + ''f''{{sub|2}} = &minus;2''p''}}
:{{math|1=''f''{{sub|0}} ''f''{{sub|1}} + ''f''{{sub|1}} ''f''{{sub|2}} + ''f''{{sub|2}} ''f''{{sub|0}} = ''p''{{sup|2}} &minus; 4 ''r''}}
:{{math|1=''f''{{sub|0}} ''f''{{sub|1}} ''f''{{sub|2}} = ''q''{{sup|2}}}}
となり、[[根と係数の関係]]により {{math2|''f''{{sub|0}}, ''f''{{sub|1}}, ''f''{{sub|2}}}} は三次方程式
:{{math|1=''f''{{sup|3}} + 2 ''p f''{{sup|2}} + (''p''{{sup|2}} &minus; 4 ''r'') ''f'' &minus; ''q''{{sup|2}} = 0}}
の解であり、これもフェラーリの方法に現れた'''三次分解方程式'''である。この三次方程式を解くことによって {{math2|''a'', ''b'', ''c''}} が得られる。

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

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

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

例えば、互換 σ{{sub|0,1}} を作用させると、
:σ{{sub|''0,1''}} ''s''{{sub|0}} = ''s''{{sub|0}}
:σ&{{sub|''0,1''}} ''s''{{sub|1}} = ''s''{{sub|2}}
:σ{{sub|''0,1''}} ''s''{{sub|2}} = ''s''{{sub|1}}
となる。

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

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

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

== 解の公式（全文） ==
4次方程式
:<math>a_4x^4 + a_3x^3 + a_2x^2 + a_1x + a_0 = 0 \quad (a_4\ne 0)</math>
の解の公式は以下の通りである：
<div style="overflow: auto;">
:<math title="四次方程式 a₄x⁴ + a₃x³ + a₂x² + a₁x + a₀ = 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}</math>
</div>
<div style="overflow: auto;">
:<math title="四次方程式 a₄x⁴ + a₃x³ + a₂x² + a₁x + a₀ = 0 の解の公式です。">\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}</math>
</div>
<div style="overflow: auto;">
:<math title="四次方程式 a₄x⁴ + a₃x³ + a₂x² + a₁x + a₀ = 0 の解の公式です。">
\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}</math>
</div>
<div style="overflow: auto;">
:<math title="四次方程式 a₄x⁴ + a₃x³ + a₂x² + a₁x + a₀ = 0 の解の公式です。">
\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}</math>
</div>

式の一部を置き換えたことにより簡略化したもの
:<math title="四次方程式 a₄x⁴ + a₃x³ + a₂x² + a₁x + a₀ = 0 の解の公式を部分式置き換えにより簡単化しました。">
\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{{\color{Blue}{\begin{array}{|c|} \hline 2 \\ \hline \end{array}}}}}{2} - \frac{\sqrt{{\color{Green}{\begin{array}{|c|} \hline 4 \\ \hline \end{array}}}}}{2} \\
& x_2 = {\color{Red}{-\frac{a_3}{4a_4}}} + \frac{\sqrt{{\color{Blue}{\begin{array}{|c|} \hline 2 \\ \hline \end{array}}}}}{2} - \frac{\sqrt{{\color{Green}{\begin{array}{|c|} \hline 4 \\ \hline \end{array}}}}}{2} \\
& x_3 = {\color{Red}{-\frac{a_3}{4a_4}}} - \frac{\sqrt{{\color{Blue}{\begin{array}{|c|} \hline 1 \\ \hline \end{array}}}}}{2} + \frac{\sqrt{{\color{Green}{\begin{array}{|c|} \hline 4 \\ \hline \end{array}}}}}{2} \\
& x_4 = {\color{Red}{-\frac{a_3}{4a_4}}} + \frac{\sqrt{{\color{Blue}{\begin{array}{|c|} \hline 1 \\ \hline \end{array}}}}}{2} + \frac{\sqrt{{\color{Green}{\begin{array}{|c|} \hline 4 \\ \hline \end{array}}}}}{2} \\
\\
& \begin{array}{|l|}
\hline \begin{array}{|c|} \hline 1 \\ \hline \end{array} \rightarrow \frac{\begin{array}{|c|} \hline 3 \\ \hline \end{array}}{4\sqrt{\begin{array}{|c|} \hline 4 \\ \hline \end{array}}} + \frac{a_3^2}{2a_4^2} - \frac{2^{\frac{1}{3}} \begin{array}{|c|} \hline 5 \\ \hline \end{array}}{3\begin{array}{|c|} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}a_4} - \frac{\begin{array}{|c|} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}}{3 \times 2^{\frac{1}{3}}a_4} - \frac{4a_2}{3a_4} \\
\hline \begin{array}{|c|} \hline 2 \\ \hline \end{array} \rightarrow -\frac{\begin{array}{|c|} \hline 3 \\ \hline \end{array}}{4\sqrt{\begin{array}{|c|} \hline 4 \\ \hline \end{array}}} + \frac{a_3^2}{2a_4^2} - \frac{2^{\frac{1}{3}} \begin{array}{|c|} \hline 5 \\ \hline \end{array}}{3\begin{array}{|c|} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}a_4} - \frac{\begin{array}{|c|} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}}{3 \times 2^{\frac{1}{3}}a_4} - \frac{4a_2}{3a_4} \\
\hline \begin{array}{|c|} \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}{|c|} \hline 4 \\ \hline \end{array} \rightarrow \frac{a_3^2}{4a_4^2} + \frac{2^{\frac{1}{3}} \begin{array}{|c|} \hline 5 \\ \hline \end{array}}{3\begin{array}{|c|} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}a_4} + \frac{\begin{array}{|c|} \hline 8 \\ \hline \end{array}^{\frac{1}{3}}}{3 \times 2^{\frac{1}{3}}a_4} - \frac{2a_2}{3a_4} \\
\hline \begin{array}{|c|} \hline 5 \\ \hline \end{array} \rightarrow a_2^2 - 3a_1a_3 + 12a_0a_4 \\
\hline \begin{array}{|c|} \hline 6 \\ \hline \end{array} \rightarrow 2a_2^3 - 9a_1a_2a_3 + 27a_0a_3^2 + 27 a_1^2a_4 - 72a_0a_2a_4 \\
\hline \begin{array}{|c|} \hline 7 \\ \hline \end{array} \rightarrow - 4\begin{array}{|c|} \hline 5 \\ \hline \end{array}^3 + \begin{array}{|c|} \hline 6 \\ \hline \end{array}^2 \\
\hline \begin{array}{|c|} \hline 8 \\ \hline \end{array} \rightarrow \begin{array}{|c|} \hline 6 \\ \hline \end{array} + \sqrt{\begin{array}{|c|} \hline 7 \\ \hline \end{array}} \\
\hline
\end{array}
\end{align}</math>

== 実際の応用例 ==
* [[地球]]を[[扁球]][[回転楕円体]]とみなしたとき、地心直交座標 <math>(x,y,z)</math> から[[地理座標系|地理座標]]（[[緯度]] <math>\varphi</math>、[[経度]] <math>\lambda</math>、高度（[[楕円体高]]）<math>h</math>）への座標換算を行う際に四次方程式が現れる。{{seealso|経緯度#地理経緯度の変換式}}
* （代数的な解の公式が存在しない）[[五次方程式]]の解をレベル5のモジュラー方程式の解を利用する方法により得ようとするプロセスの途中で四次方程式が現れる<ref>{{Cite journal|author=[[シャルル・エルミート|Charles Hermite]]|year=1858|title=Sur la résolution de l'équation du cinquième degré|url=https://gallica.bnf.fr/ark:/12148/bpt6k3003h/f508.image.langEN|journal=Comptes rendus hebdomadaires des séances de l'Académie des sciences|volume=46|page=508–515}}</ref>。

== ガロア群 ==
* {{math|''S''<sub>4</sub>}} [[対称群]]（[[位数 (群論)|位数]] 24）
* {{math|''A''<sub>4</sub>}} [[交代群]]（位数 12）
* {{math|''V''<sub>4</sub>}} [[クラインの四元群]]（位数 4）

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 外部リンク ==
*{{MathWorld |urlname=QuarticEquation |title=Quartic Equation}}
*{{Kotobank}}
*[https://keisan.casio.jp/exec/system/1177976627 四次方程式の解 - 高精度計算サイト]

{{多項式}}

{{DEFAULTSORT:よしほうていしき}}
[[Category:代数方程式]]
[[Category:数学に関する記事]]