四次方程式

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

概要

ファイル:四次方程式の解の公式.png

四次方程式 $a_{4}x^{4}+a_{3}x^{3}+a_{2}x^{2}+a_{1}x+a_{0}=0$ の解の公式

ファイル:四次方程式の解の公式（部分式置き換え）.png

部分式の置き換えにより簡単化したもの

一変数の四次方程式は

a₄ x⁴ + a₃ x³ + a₂ x² + a₁ x + a₀ = 0 (a₄ ≠ 0)

の形で表現される。a₄ で割り

x⁴ + A₃ x³ + A₂ x² + A₁ x + A ₀ = 0 ($A_{n}={\frac {a_{n}}{a_{4}}}$)

の形にしても根は変わらないのでこの形で論じられることが多い。

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

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

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

複二次式

四次方程式の内奇数次の項が無い

a₄ x⁴ + a₂ x² + a₀ = 0 (a₄ ≠ 0)

の形の式は x² を変数とする二次方程式と見ることができ、複二次方程式 (biquadratic equation) あるいは単に複二次式と呼ばれる。二次方程式の解法を知っていれば簡単に解くことができる。

y = x² と変換することで y に関する二次方程式

a₄ y² + a₂ y + a₀ = 0

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

また、実数を係数とする複二次式

x⁴ + A₂ x² + A₀ = 0

に対して、次のような二次式の積への因数分解もよく行われる。x² の二次方程式とみたときの判別式

D = A₂² − 4A₀

の符号によって

D > 0 であれば x² について平方完成することにより

$x^{4}+A_{2}x^{2}+A_{0}=\left(x^{2}+{A_{2} \over 2}\right)^{2}-{A_{2}^{2}-4A_{0} \over 4}$

D < 0 であれば A₀ > 0 であることに注意して

$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}$

と変形すれば、いずれの場合も因数分解の公式

α² − β² = (α + β) (α − β)

を利用して実数を係数とする二次式の積に因数分解できる。

根の様子

四次方程式は、高々4個の根を持つ。

四次方程式 ax⁴ + bx³ + cx² + dx + e = 0 の判別式は

${\begin{aligned}\Delta =&256a^{3}e^{3}-192a^{2}bde^{2}-128a^{2}c^{2}e^{2}+144a^{2}cd^{2}e-27a^{2}d^{4}\\&\ +144ab^{2}ce^{2}-6ab^{2}d^{2}e-80abc^{2}de+18abcd^{3}+16ac^{4}e\\&\ -4ac^{3}d^{2}-27b^{4}e^{2}+18b^{3}cde-4b^{3}d^{3}-4b^{2}c^{3}e+b^{2}c^{2}d^{2}\end{aligned}}$

によって与えられ、係数によって定まる以下の4個の定数によってさらに詳細な情報が得られる。

${\begin{aligned}P&=8ac-3b^{2}\\R&=b^{3}+8a^{2}d-4abc\\\Delta _{0}&=c^{2}-3bd+12ae\\D&=64a^{3}e-16a^{2}c^{2}+16ab^{2}c-16a^{2}bd-3b^{4}\end{aligned}}$

Δ, P, R, Δ₀, Dに関して、以下の事実が成立する。

1. Δ < 0 のとき、2つの異なる実数解と2つの互いに共役である複素数解を持つ。
2. Δ > 0 のとき、
   1. P < 0 かつ D < 0 ならば、4つの異なる実数根を持つ。
   2. P < 0 または D > 0 ならば、2つの互いに共役である複素数根を2組持つ。
3. Δ = 0 のときにのみ、方程式は重根を持ち、
   1. P < 0 かつ D < 0 かつ Δ₀≠0 ならば、実数に1つの二重根と2つの異なる根を持つ。
   2. D > 0 または（P < 0 かつ（D, R のどちらかが0でない））ならば、実数に1つの二重根を持ち、2つの互いに共役である複素数根を持つ。
   3. Δ₀=0かつD≠0ならば、実数に1つの三重根と1つの重根でない根を持つ。
   4. D = 0 のとき、
      1. P < 0 ならば、実数に2つの異なる二重根を持つ。
      2. P < 0 かつ R = 0 ならば、それぞれが二重根である互いに共役である複素数根を2つ持つ。
      3. Δ₀ = 0 ならば、−b/4a を四重根として持つ。

以上には、例えば Δ > 0 かつ P·D < 0 である場合などが記されていない。しかし、このような組み合わせは実際には存在しない。

フェラーリの方法

フェラーリの方法は、一般的な四次方程式の解法のうちで最初に与えられた解法である。四次方程式

a₄ x⁴ + a₃ x³ + a₂ x² + a₁ x + a₀ = 0 (a₄ ≠ 0)

を a₄ で割り

x⁴ + A₃ x³ + A₂ x² + A₁ x + A₀ = 0

の形にする。( A_n = a_n / a₄)

$B_{3}:={\frac {A_{3}}{4}}$

とし

x = y − B₃

によって変数変換を行うと

y⁴ + (A₂ − 6 B₃²) y² + (A₁ − 2 A₂ B₃ + 8 B₃³) y + (A₀ - A₁ B₃ + A₂ B₃² − 3 B₃⁴) = 0

のように三次の項が消えた方程式が得られる。見やすいように

y⁴ + p y² + q y + r = 0

と書く。 q = 0 の時は、 複二次式として解けばよいので、以後は q ≠ 0 とする。

媒介変数 u ≠ 0 を用い

$\left(y^{2}+{\frac {p+u}{2}}\right)^{2}-u\left(y-{\frac {q}{2u}}\right)^{2}=0$

と変形する。ここで上式を展開し係数を比較すると、u の三次方程式

u (p + u)² − 4 r u = q²

が得られる。このような補助的な方程式を、与えられた四次方程式に関する三次分解方程式(resolvent cubic equation) という。 q ≠ 0 なので、この分解方程式の解は u ≠ 0 を満たしており、この解の一つを u として取る。また、求める四次方程式は

$\left\{\left(y^{2}+{\frac {p+u}{2}}\right)+{\sqrt {u}}\left(y-{\frac {q}{2u}}\right)\right\}\left\{\left(y^{2}+{\frac {p+u}{2}}\right)-{\sqrt {u}}\left(y-{\frac {q}{2u}}\right)\right\}=0$

となり、この 2 つの二次方程式から、四次方程式の根を求めることができる。

デカルトの方法

デカルトは、著書『方法序説』の試論の1つである『幾何学』において四次方程式

y⁴ + p y² + q y + r = 0

の解を求めるために、二次式による因数分解

y⁴ + p y² + q y + r = (y² + c₁ y + c₀) (y² + d₁ y + d₀)

を仮定した方法を奨めた。係数比較によって

c₁ + d₁ = 0

c₀ + d₀ + c₁ d₁ = p

c₁ d₀ + c₀ d₁ = q

c₀ d₀ = r

が得られる。上の 3 つの式から

d₁ = − c₁

2 c₀ c₁ = c₁³ + p c₁ − q

2 d₀ c₁ = c₁³ + p c₁ + q

が得られる。

4 c₁² r = 4 c₁² c₀ d₀ = (2 c₀ c₁)(2 d₀ c₁) = (c₁³ + p c₁ − q)(c₁³ + p c₁ + q)

であるから

c₁²( c₁² + p)² - q² = 4 c₁² r

という c₁ に関して 6 次の方程式が得られる。偶数次の項しか無いので u = c₁² とでもおけば

u( u + p)² - q² = 4 r u

という u に関する三次方程式が得られる。この方程式は、フェラーリの方法で得たのと同じ三次分解方程式であり、これを解くことによって、元の方程式の根が得られる。

オイラーの方法

レオンハルト・オイラーは、三次方程式や四次方程式の解法をいくつか発見した。ここに述べる方法もオイラーの方法と呼ばれる解法の一つである。

(x + a + b + c) (x + a − b − c) (x − a + b − c) (x − a − b + c)

= ((x + a)² − (b + c)²) ((x − a)² − (b − c)²)

= (x² − a²)² + (b² − c²)² − (x + a)² (b − c)² − (x − a)² (b + c)²

= x⁴ + a⁴ + b⁴ + c⁴ − 2 (x² a² + x² b² + x² c² + a² b² + b² c² + c² a²) + 8 x a b c

= x⁴ − 2 (a² + b² + c²) x² + 8 a b c x + a⁴ + b⁴ + c⁴ − 2 (a² b² + b² c² + c² a²)

という等式を用いると x を変数とする四次方程式

x⁴ − 2 (a² + b² + c²) x² + 8 a b c x + a⁴ + b⁴ + c⁴ − 2 (a² b² + b² c² + c² a²) = 0

の根は a, b, c を用いて

− a − b − c, − a + b + c, a − b + c, a + b − c

の 4 つであることが分かる。

この方程式と、 3 次の項の消えた四次方程式

x⁴ + p x² + q x + r = 0

の係数を比べ、 p, q, r から a, b, c を求めることができれば、 3 次の項の消えた四次方程式の根は上にあるように 4 つ求まる。

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

p = − 2 (a² + b² + c²)

q = 8 a b c

r = a⁴ + b⁴ + c⁴ − 2 (a² b² + b² c² + c² a²) = (a² + b² + c²)² − 4 (a² b² + b² c² + c² a²)

ここで f₀ = (2 a)², f₁ = (2 b)², f₂ = (2 c)² とおけば

f₀ + f₁ + f₂ = − 2 p

f₀ f₁ + f₁ f₂ + f₂ f₀ = p² − 4 r

f₀ f₁ f₂ = q²

となり、根と係数の関係により f₀, f₁, f₂ は三次方程式

u³ + 2 p u² + (p² − 4 r) u − q² = 0

の解であり、これもフェラーリの方法に現れた三次分解方程式である。この三次方程式を解くことによって a, b, c が得られる。

ラグランジュの方法

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

フェラーリの方法において、四次方程式は

y⁴ + p y² + q y + r = 0

の形に変形される。この方程式の 4 つの根を r₀, r₁, r₂, r₃ とする。三次分解式を解くことで四次方程式は、 2 つの二次方程式

$y^{2}+{p+u \over 2}=\pm {\sqrt {u}}\left(y-{q \over 2u}\right)$

に分解することができた。

$y^{2}+{p+u \over 2}={\sqrt {u}}\left(y-{q \over 2u}\right)$

は、元の四次方程式の 4 つの根のうちの 2 つを根とするが、これをとりあえず r₀, r₁ の 2 つとしたとき、

$y^{2}+{p+u \over 2}=-{\sqrt {u}}\left(y-{q \over 2u}\right)$

の根は r₂, r₃ となり、根と係数の関係から

$r_{0}+r_{1}={\sqrt {u}}$

$r_{2}+r_{3}=-{\sqrt {u}}$

したがって

(r₀ + r₁) (r₂ + r₃) = − u

便宜上

$y^{2}+{p+u \over 2}={\sqrt {u}}\left(y-{q \over 2u}\right)$

の根を r₀, r₁ としたが、根の並び方はいろいろ考えられる。 r_m と r_n を入れ替える互換を σ_m,n と書けば、例えば

σ_0,1 (r₀ + r₁) (r₂ + r₃) = (r₀ + r₁) (r₂ + r₃)

σ_0,2 (r₀ + r₁) (r₂ + r₃) = (r₂ + r₁) (r₀ + r₃)

など、一般には異なる値を取ることになる。このように調べていくと 4 つの根の並び方は 4! = 24 通りあるが

(r₀ + r₁) (r₂ + r₃) = − u

の値は、最初の根の並べ方によって

s₀ = (r₀ + r₁) (r₂ + r₃)

s₁ = (r₀ + r₂) (r₁ + r₃)

s₂ = (r₀ + r₃) (r₁ + r₂)

の 3 通りとなる。

例えば、互換 σ_0,1 を作用させると、

σ_0,1 s₀ = s₀

σ_0,1 s₁ = s₂

σ_0,1 s₂ = s₁

となる。

一般に、互換 σ_m,n は s₀, s₁, s₂ の並び替えしかしないため s₀, s₁, s₂ に関する基本対称式

s₀ + s₁ + s₂

s₀ s₁ + s₁ s₂ + s₂ s₀

s₀ s₁ s₂

は、互換 σ_m,n によって不変であり、 r₀, r₁, r₂, r₃ の基本対称式で書けることになる。

すなわち s₀, s₁, s₂ の基本対称式は、最初に考えた四次方程式の係数 p, q, r で書ける。

以上の事から

u = − (r₀ + r₁) (r₂ + r₃)

は、根の並べ方によって 3 つの値 − s₀, − s₁, − 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}+ir_{1}-r_{2}-ir_{3}$

の形の式、さらに一般に、n次方程式であれば 1の原始n乗根$\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) という。 五次以上の代数方程式の代数的解法の存在については、パオロ・ルフィニ、オーギュスタン＝ルイ・コーシー、ニールス・アーベルらの研究がアーベル–ルフィニの定理として結実し、否定されることになるが、彼らの研究は、このようなラグランジュの研究を源流としている。

外部リンク

• Calculator for solving Quartics (also solves Cubics and Quadratics)（英語、自動で4次方程式の解を算出してくれる）