チルンハウス変換

結城浩『数学ガール／ガロア理論』のなかで、3次方程式の解の公式を求めていくところがある。その最初に一般的な3次方程式を簡単なかたちに変換する方法として、チルンハウス変換というものが載っていた。

1変数の3次方程式は一般的に次のように書ける。

$$a y^3 + b y^2 + c y + d = 0 \qquad ( a \neq 0 )$$

これに、$y = x - \frac { b }{ 3a }$ を代入して整理すると、

$$\begin{eqnarray} a \left( x - \frac { b }{ 3a } \right) ^3 + b \left( x - \frac { b }{ 3a } \right) ^2 + c \left( x - \frac { b }{ 3a } \right) + d &=& 0 \\ x^3 - \frac { b^2 - 3ac } { 3a^2 } x + \frac { 2b^2 -9abc + 27a^2d } { 27a^3 } &=& 0 \end{eqnarray}$$

$p = - \frac { b^2 - 3ac } { 3a^2 }, \ q = \frac { 2b^2 -9abc + 27a^2d } { 27a^3 }$ とおくと、

$$x^3 + p x + q = 0$$

と表せる。こちらの3次方程式は変数の2次の項がない。

$y = x - \frac { b }{ 3a }$ と $p = - \frac { b^2 - 3ac } { 3a^2 }, \ q = \frac { 2b^2 -9abc + 27a^2d } { 27a^3 }$ から、$x^3 + p x + q = 0$ を $a y^3 + b y^2 + c y + d = 0$ に戻すことができるので、3次方程式を考える場合には、$x^3 + p x + q = 0$ を一般形として考えることが多い。

この変換を『数学ガール／ガロア理論』ではチルンハウス変換と呼んでいたが、別の本やWeb記事などでは「フェラーリの方法」とか「立法完成」とも呼ばれていた。

さて、このチルンハウス変換は3次方程式だけではなく、他の次数の方程式でも使えるのだろうか。

たとえば2次方程式で考えてみる。

3次方程式で $y = x - \frac { b }{ 3a }$ としたならば、2次方程式では $y = x - \frac { b }{ 2a }$ がよさそうである。2次方程式の一般形を

$$a y^2 + b y + c = 0 \qquad ( a \neq 0 )$$

として、$y = x - \frac { b }{ 2a }$ を代入して整理する。

$$\begin{eqnarray} a \left( x - \frac { b }{ 2a } \right) ^2 + b \left( x - \frac { b }{ 2a } \right) + c &=& 0 \\ a \left( x^2 - \frac { b }{ a } x + \frac { b^2 }{ 4a^2 } \right) + b x - \frac { b^2 }{ 2a } x + c &=& 0 \\ a x^2 + \frac { -b^2 + 4ac }{ 4a } &=& 0 \\ x^2 + \frac { -b^2 + 4ac }{ 4a^2 } &=& 0 \end{eqnarray}$$

1次の項が消えた。そして、馴染みのあるかたちが出てきた。ちょっと逸れるが、このまま $x$ について解いてみる。

$$\begin{eqnarray} x^2 + \frac { -b^2 + 4ac }{ 4a^2 } &=& 0 \\ x^2 &=& \frac { b^2 - 4ac }{ 4a^2 } \\ x &=& \pm \sqrt{ \frac { b^2 - 4ac }{ 4a^2 } } \\ x &=& \frac { \pm \sqrt{ b^2 - 4ac }} { 2a } \\ \end{eqnarray}$$

$y = x - \frac { b }{ 2a }$ から

$$\begin{eqnarray} y &=& \frac { \pm \sqrt{ b^2 - 4ac }} { 2a } - \frac { b }{ 2a } \\ y &=& \frac { - b \pm \sqrt{ b^2 - 4ac }} { 2a } \\ \end{eqnarray}$$

と、2次方程式 $a y^2 + b y + c = 0$ の解の公式が出てきた。

2次方程式の解の公式を導出する際、普通はチルンハウス変換のような変数変換は行なわない。「平方完成」という操作をする。（「2次方程式の解の導出」参照）。

とすると、3次方程式でもチルンハウス変換ではなく、2次方程式の平方完成に相当するような「立法完成」をやってみてはどうだろうか（計算は面倒くさそうだが）。

とりあえずやってみる。3次方程式を $a x^3 + b x^2 + c x + d = 0 \ ( a \neq 0 )$ として、両辺を $a$ で割った $x^3 + \frac {b}{a} x^2 + \frac {c}{a} x + \frac {d}{a} = 0$ から計算してみる。

$$\begin{eqnarray} (左辺) &=& x^3 + \frac {b}{a} x^2 + \frac {c}{a} x + \frac {d}{a} \\\\ &=& \left( x + \frac{ b }{ 3a } \right) ^3 - \frac {b}{a} x^2 - \frac { b^2 }{ 3a^2 } x - \frac{ b^3 }{ 27a^3 } + \frac {b}{a} x^2 + \frac {c}{a} x + \frac {d}{a} \\\\ &=& \left( x + \frac{ b }{ 3a } \right) ^3 - \frac { b^2 }{ 3a^2 } x + \frac {c}{a} x - \frac{ b^3 }{ 27a^3 } + \frac {d}{a} \\\\ &=& \left( x + \frac{ b }{ 3a } \right) ^3 - \frac { b^2 -3ac }{ 3a^2 } x - \frac{ b^3 - 27a^2 d}{ 27a^3 } \end{eqnarray}$$

2次の項は消え、$x^3 + p x + q = 0$ という形式にはなる。が、解の公式の導出がやりやすくなるというようなことはなかった。

話を戻し、チルンハウス変換はどうやら最高次の次の項を消すような変換のことを指すようだ。4次のときにも $y = x - \frac{b}{4a}$ で変換すると3次の項が消える。確認は面倒なのでしない。Wikipediaで四次方程式の項を見ると、フェラーリの方法の一部として同様の変数変換が行なわれていた。フェラーリは4次方程式の解の公式を導いた人の名前である。チルンハウスも人名。

僕のなかで曖昧だった用語を次のように整理する。
チルンハウス変換：ここでみたような最高次の次の項を消すような変数変換（あるいは式変形）
平方完成：2次の場合のチルンハウス変換、主に式変形
立法完成：3次の場合のチルンハウス変換、主に式変形
フェラーリの方法：フェラーリの4次方程式の解の公式の導出方法