ここで紹介するのは、16世紀イタリアの数学者Ferrari(フェラーリ)の発見した解法です。高校数学の知識があれば、流れを理解することはできます。完璧に解くには、３次方程式の根の公式が必要ですが、それは以前紹介した「三次方程式の根の公式」をご覧ください。
一般の４次方程式は
$$x^4+ax^3+bx^2+cx+d=0 \:\:(a, b, c, d \in \mathbb{C}) \quad ･･･①$$
と書けます。$x^4$ の項は $ax^4$ でないかと思われたかもしれませんが、係数 $a$ で割ることで①の形で書けます。
もしも与えられた４次方程式が
$$(x^2+px+q)^2=(rx+s)^2 \quad ･･･②$$
と変形できれば
$$x^2+px+q=rx+s \quad \text{or} \quad x^2+px+q=-(rx+s)$$
となり、この式はどちらも２次方程式であるから根の公式を用いて求めることができます。では①から②に変形できるかというと可能で次のように解けます。
その前に使う式を１つ紹介します。
$$(x^2+ex+f)^2=x^4+2ex^3+(\text{２次式以下}) \quad ･･･③$$
左辺を展開すると右辺のようになりますが、大切なのは右辺の３次の項までです。なので２次以降は省略しました。これを踏まえ、具体例を通して４次方程式の解き方を紹介します。
例 ４次方程式 $x^4-2x^3-4x^2+14x-5=0 \quad ･･･(♪)$ を解きます。
③の右辺と比べると $e$ に相当する値は $-1$ です。(♪)を②のように変形したいので左辺を $(x^2-x+\alpha)^2$ とし、右辺は(♪)と同値になるように調整します。すると
――――――――――――――――――――――――――――――――――
結論だけを書かず、裏の計算も見せます：
$$(x^2-x+\alpha)^2=x^4-2x^3+(1+2\alpha)x^2-2\alpha x+\alpha^2$$
(♪)の２次式以下の項を右辺に移項すると
$$x^4-2x^3=4x^2-14x+5 \quad ･･･④$$
この２式から $x^4-2x^3$ を $(x^2-x+\alpha)^2$ のように変形するには
$$(1+2\alpha)x^2-2\alpha x+\alpha^2$$
を④の両辺に加えればいいですね。これを実行すると、左辺は $(x^2-x+\alpha)^2$ と変形でき、右辺は
$$4x^2-14x+5+(1+2\alpha)x^2-2\alpha x+\alpha^2$$
$$=(5+2\alpha)x^2+(-14-2\alpha) x+(5+\alpha^2)$$
と変形できます。つまり
――――――――――――――――――――――――――――――――――
$$(x^2-x+\alpha)^2=(5+2\alpha)x^2+2(-7-\alpha) x+(5+\alpha^2) \quad ･･･⑤$$
と変形できます。右辺の２次式が平方式になるには重根を持てば良いですね。そこで判別式 $D/4=0$ を満たすような $\alpha$ を求めます。
$$(-7-\alpha)^2-(5+2\alpha)(5+\alpha^2)=0,$$
$$2\alpha^3+4\alpha^2-4\alpha-24=0,$$
$$\alpha^3+2\alpha^2-2\alpha-12=0.$$
この３次方程式を一般的に解くには根の公式を用いますが、幸い因数定理で解けるので
$$\alpha=2$$
が見つかります。１つあればいいので、これを⑤に当てはめると
$$(x^2-x+2)^2=9x^2-18x+9,$$
$$(x^2-x+2)^2=9(x-1)^2.$$
したがって
$$x^2-x+2=3(x-1) \quad \text{or} \quad x^2-x+2=-3(x-1),$$
$$x^2-4x+5=0 \quad \text{or} \quad x^2+2x-1=0,$$
$$x=2\pm i, \: -1\pm \sqrt{2}. ▮$$(ただし、$i=\sqrt{-1}$)
４次方程式までの一般的な解法が紹介できました。５次以上の方程式は代数的に(べき根を用いて)解けません。アーベル、ガロアによる仕事です。▢
他の問題で確認したいなら、次の４次方程式を解いてみてください。
$$x^4+4x^3+5x^2+2x-6=0$$
$x=-1\pm\sqrt{3}, \: -1\pm \sqrt{2}i$
※ 判別式を解くことによって出てくる方程式は分解方程式と呼ばれます。この４次方程式の分解方程式は
$$(2\alpha-1)^2-(2\alpha-1)(\alpha^2+6)=0$$
なので、$\alpha=1/2$ を得ます。
参考文献
高木 貞治 著『代数学講義』（共立出版）
岩切 晴二 著『代数学・幾何学精説』（培風館）
志賀 浩二 著『数学が育っていく物語 第５週 方程式』（岩波書店）
