チルンハウス変換

**チルンハウス変換**（ちるんはうすへんかん、）は、1683年にエーレンフリート・ヴァルター・フォン・チルンハウスによって発表された多項式の写像の一種である。**チルンハウゼン変換**とも呼ばれる。

チルンハウス変換は、次の多項式を、最高次の項および定数項を除き係数のいくつかまたは全てが0になるように変換する。このような変換は、高次の代数方程式の求解を目的とした簡略化に用いられる。

## 定義
### 代入による定義
次の多項式F(x)が、F(x)=g(x)/h(x)で表すことができ、F(x)=0の根がh(x)の零点でないとき、1次以上次以下の多項式y = f(t)を代入して、新たな多項式F(y)を得る変換をチルンハウス変換という。適切なf(t)を選ぶことで、最高次の項と定数項以外のいくつかまたは全ての係数を0にすることができる。

### 終結式による定義
次の多項式F(x)に対し、1次以上次以下の多項式f(x)を用いて、終結式G(x) = \mathrm{Res}(F(y), x - f(y))を得る変換をチルンハウス変換という。適切なf(x)を選ぶことで、最高次の項と定数項以外のいくつかまたは全ての係数を0にすることができる。

### 体論における定義

## 例
### 二次方程式の求解
二次方程式ax^2+bx+c=0 (a \neq 0)について、F(x)=ax^2+bx+cとする。

代入x = t - \frac{b}{2a}を用いると、F\left(t - \frac{b}{2a}\right) = 0を解くことで、次のように解を求めることができる。
:F\left(t - \frac{b}{2a}\right) = at^2 - \frac{b^2}{4a} + c = 0
:\Leftrightarrow t =  \pm\frac{\sqrt{b^2-4ac}}{2a}
:\therefore x = t - \frac{b}{2a} = -\frac{b}{2a}\pm\frac{\sqrt{b^2-4ac}}{2a}

終結式を用いる場合も、f(x)=x+\frac{b}{2a}によって同様の多項式
:G(x)=\mathrm{Res}(F(y),x-f(y))=ax^2-\frac{b^2}{4a}+c
が得られ、元の方程式F(x)=0の解について、f(\alpha)は変換して得られた多項式についての方程式G(x)=0の解となるため、
:G(x)=0 \Leftrightarrow x=\pm\frac{\sqrt{b^2-4ac}}{2a}
:\therefore f(\alpha) =\pm\frac{\sqrt{b^2-4ac}}{2a} \Leftrightarrow \alpha=-\frac{b}{2a}\pm\frac{\sqrt{b^2-4ac}}{2a}
となり、元のニ次方程式の解が求められる。

### 三次方程式の求解
同様に、三次方程式ax^3+bx^2+cx+d=0 (a \neq 0)について、F(x)=ax^3+bx^2+cx+dとすると、代入x=t-\frac{b}{3a}もしくはf(x)=x+\frac{b}{3a}によって得られる終結式により、多項式
:G(x)=ax^3+\left(-\frac{b^2}{3a}+c\right)x+\frac{2b^3}{27a^2}-\frac{bc}{3a}+d
が得られる。

その後、カルダノの解法では、x=u+vと置換し、に関する方程式を根と係数の関係を用いて解くことで、元の三次方程式を解くことができる。

## 項の消去
### n-1次の項の消去
前述の例のように、次方程式の求解のためには、次の項を消去することが有効であるが、適切な一次の多項式f(x)を選ぶことで、チルンハウス変換によって次の項を消去することができる。

一般に、次多項式
:F(x) = a_0x^n + a_1x^{n-1} + \cdots + a_n (a_0 \neq 0)
の次の項を消去するためには、
:f(x) = x + \frac{a_1}{na_0}
としてチルンハウス変換を行えばよい。

まず、f(x) = x + cとし、求めたい方程式F(x) = 0の解をa_k(k=1,2,\cdots n)とすると、定義より、チルンハウス変換によって得られる終結式G(x) = \mathrm{Res}(F(y), x-f(y))は、
:G(x) = a_0(\alpha_1 - (x - c))(\alpha_2 - (x - c))\cdots(\alpha_n  - (x - c))
となる。

次の項の係数について考えると、根と係数の関係と二項定理を用いて、
:(-1)^{n}{}_nC_1(-c) + (-1)^{n-1}(\alpha_1 + \alpha_2 + \cdots + \alpha_n) = (-1)^{n+1}nc + (-1)^n\frac{a_1}{a_0}
となり、これが0となるためには、
:c = \frac{a_1}{na_0}
であればよい。

したがって、f(x) = x + \frac{a_1}{na_0}とすれば、次の項を消去することができる。

その後、次の項が消去された方程式G(x) = 0の解を求め、
:f(\alpha) = \beta \Leftrightarrow \alpha = -\frac{a_1}{na_0} + \beta
とすることで、元の方程式の解が求められる。

終結式による定義ではなく、代入による定義を用いても、同様の結果が得られる。x = t  - \frac{a_1}{na_0}を代入することで、同様に次の項を消去することができ、この場合のx = t  - \frac{a_1}{na_0}は、終結式で用いたx-f(y) = x - y - \frac{a_1}{na_0} = 0の解y = x - \frac{a_1}{na_0}と対応する。

なお、次の項を消去する変換のみを指してチルンハウス変換と呼ばれることもある。

### n-2次の項の消去
より高次の次方程式の求解のためには、さらなる項の消去が必要であるが、次の項の消去と同様の方法では、再び次の項が非零となってしまうため、別の手法が必要であった。

チルンハウスは、次の多項式に対してチルンハウス変換を用いることで、次と次の項を消去できることを発見した。具体的には、代入に似た方法で、変換後の多項式、および変換前と変換後の解の関係を仮定し、ニュートンの恒等式を用いて変換後の多項式および解の関係の係数についての連立方程式を解く方法を用いる。

次と次の項を消去したい次の多項式
:F(x) = a_0x^n + a_1x^{n-1} + \cdots + a_n (a_0 \neq 0)
について、次と次の項が消去された次の多項式を仮定する。
:G(x) = z^n + A_3z^{n-3} + \cdots + A_n
ここで、方程式F(x)=0とG(x)=0の解をそれぞれx_j,z_j(j=1,2,\cdots n)とし、それらの関係を次のように仮定する。
:z_j = x_j^2 + Px_j + Q
次に、解の乗和をニュートンの恒等式を用いて係数で表す。根と係数の関係より、解z_jのm(m=1,2,\cdots n)番目の基本多項式をe_m(z_j)とするとき、
:e_k(z_j) = (-1)^k A_k
となるため、ニュートンの恒等式により、解z_jのm乗和z_1^m + z_2^m + \cdots + z_n^mを\Sigma z_j^mとするとき、
:\Sigma z_j^m = -mA_{m}-\sum_{l=1}^{m-1}A_{m-l}\Sigma z_j^l 
が成り立つ。これを用いて、\Sigma z_j^m(m=1,2, \cdots n)をG(x)の係数を使って表し、関係式z_j = x_j^2 + Px_j + Qによって左辺を変形しF(x)の係数を使って表すことにより、G(x)の係数およびP,QをF(x)の係数を使って表すことができる。（G(x)の係数およびP,Qは個あるので、解の1乗和から解の乗和まで立式すれば、個の連立方程式を用いてそれぞれを求められることがわかる。）

したがって、方程式G(x)=0の解を代数的に求められれば、解を関係式z_j = x_j^2 + Px_j + Qによって変換することで、元の方程式の解を求める（G(x)の係数を使って表す）ことができる。

また、チルンハウス変換によっておよびの項が消去された次方程式の形を、****という。

### n-3次の項の消去と五次方程式の求解
五次方程式の解の公式を求める中で、1786年には、任意の五次方程式が**ブリング-ジェラードの標準形**（）x^5 + px + q = 0の形に変換できることを証明した。

さらに、1834年には、次の多項式に対してチルンハウス変換を用いることで、次、次、および次の項を消去できることを証明した。次と次の項を消去する場合と同様に、解の関係式を仮定する方法が使われ、
:z_j = x_j^4 + \gamma x_j^3 + \delta x_j^2 + \epsilon x_j + \zeta
のように四次式が用いられる。

なお、任意の五次方程式をブリング-ジェラードの標準形にまで簡略化することができるものの、その後一般の五次方程式には代数的な解の公式が存在しないことがルフィニ、アーベルによって証明され（アーベル・ルフィニの定理）、ガロアによって方程式が代数的に解ける条件が示された（ガロア理論）。代数的な方法でなければ、楕円積分や楕円モジュラー関数、超幾何関数などの特殊関数を用いることで解くことができる。また、特定の形の五次方程式は代数的に解くことができることも知られている。

## 脚注

### 出典

## 関連項目
* 代数方程式
* 三次方程式
* 四次方程式
* 五次方程式