チルンハウス変換

エーレンフリート・ヴァルター・フォン・チルンハウス

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

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

定義

代入による定義

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

終結式による定義

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

例

二次方程式の求解

二次方程式$a{x}^2+bx+c=0(a\ne 0)$について、$F(x)=a{x}^2+bx+c$とする。

代入$x=t-\frac{b}{2a}$を用いると、$F(t-\frac{b}{2a})=0$を解くことで、次のように解を求めることができる。

$F(t-\frac{b}{2a})=a{t}^2-\frac{b^2}{4a}+c=0$

$\iff 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{R}\mathrm{e}\mathrm{s}(F(y),x-f(y))=a{x}^2-\frac{b^2}{4a}+c$

が得られ、元の方程式$F(x)=0$の解テンプレート:Mathについて、$f(\alpha )$は変換して得られた多項式についての方程式$G(x)=0$の解となるため、

$G(x)=0\iff x=\pm \frac{\sqrt{b^2-4ac}}{2a}$

$\therefore f(\alpha )=\pm \frac{\sqrt{b^2-4ac}}{2a}\iff \alpha =-\frac{b}{2a}\pm \frac{\sqrt{b^2-4ac}}{2a}$

となり、元のニ次方程式の解が求められる。

三次方程式の求解

同様に、三次方程式$a{x}^3+b{x}^2+cx+d=0(a\ne 0)$について、$F(x)=a{x}^3+b{x}^2+cx+d$とすると、代入$x=t-\frac{b}{3a}$もしくは$f(x)=x+\frac{b}{3a}$によって得られる終結式により、多項式

$G(x)=a{x}^3+(-\frac{b^2}{3a}+c)x+\frac{2b^3}{27a^2}-\frac{bc}{3a}+d$

が得られる。

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

項の消去

n-1次の項の消去

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

一般に、テンプレート:Math次多項式

$F(x)=a_0{x}^n+a_1{x}^{n-1}+\cdots +a_n(a_0\ne 0)$

のテンプレート:Math次の項を消去するためには、

$f(x)=x+\frac{a_1}{n{a}_0}$

としてチルンハウス変換を行えばよい。

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

$G(x)=a_0({\alpha }_1-(x-c))({\alpha }_2-(x-c))\cdots ({\alpha }_n-(x-c))$

となる。

テンプレート:Math次の項の係数について考えると、根と係数の関係と二項定理を用いて、

$(-1{)}^n{}_n{C}_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}{n{a}_0}$

であればよい。

したがって、$f(x)=x+\frac{a_1}{n{a}_0}$とすれば、テンプレート:Math次の項を消去することができる。

その後、テンプレート:Math次の項が消去された方程式$G(x)=0$の解テンプレート:Mathを求め、

$f(\alpha )=\beta \iff \alpha =-\frac{a_1}{n{a}_0}+\beta$

とすることで、元の方程式の解が求められる。

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

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

n-2次の項の消去

より高次のテンプレート:Math次方程式の求解のためには、さらなる項の消去が必要であるが、テンプレート:Math次の項の消去と同様の方法では、再びテンプレート:Math次の項が非零となってしまうため、別の手法が必要であった。

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

テンプレート:Math次とテンプレート:Math次の項を消去したいテンプレート:Math次の多項式

$F(x)=a_0{x}^n+a_1{x}^{n-1}+\cdots +a_n(a_0\ne 0)$

について、テンプレート:Math次とテンプレート:Math次の項が消去された次の多項式を仮定する。

$G(x)=z^n+A_3{z}^{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+P{x}_j+Q$

次に、解のテンプレート:Math乗和をニュートンの恒等式を用いて係数で表す。根と係数の関係より、解$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$を$\mathrm{\Sigma }{z}_j^m$とするとき、

$\mathrm{\Sigma }{z}_j^m=-m{A}_m-\sum _{l=1}^{m-1}{A}_{m-l}\mathrm{\Sigma }{z}_j^l$

が成り立つ。これを用いて、$\mathrm{\Sigma }{z}_j^m(m=1,2,\cdots n)$を$G(x)$の係数を使って表し、関係式$z_j=x_j^2+P{x}_j+Q$によって左辺を変形し$F(x)$の係数を使って表すことにより、$G(x)$の係数および$P,Q$を$F(x)$の係数を使って表すことができる。（$G(x)$の係数および$P,Q$はテンプレート:Math個あるので、解の1乗和から解のテンプレート:Math乗和まで立式すれば、テンプレート:Math個の連立方程式を用いてそれぞれを求められることがわかる。）

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

また、チルンハウス変換によってテンプレート:Mathおよびテンプレート:Mathの項が消去されたテンプレート:Math次方程式の形を、テンプレート:仮リンクという。

n-3次の項の消去と五次方程式の求解

五次方程式の解の公式を求める中で、1786年にテンプレート:仮リンクは、任意の五次方程式がブリング-ジェラードの標準形（テンプレート:Lang-en）$x^5+px+q=0$の形に変換できることを証明した。

さらに、1834年にテンプレート:仮リンクは、テンプレート:Math次の多項式に対してチルンハウス変換を用いることで、テンプレート:Math次、テンプレート:Math次、およびテンプレート:Math次の項を消去できることを証明した。テンプレート:Math次とテンプレート:Math次の項を消去する場合と同様に、解の関係式を仮定する方法が使われ、

$z_j=x_j^4+\gamma x_j^3+\delta x_j^2+ϵx_j+\zeta$

のように四次式が用いられる。

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

関連項目

• 代数方程式
• 三次方程式
• 四次方程式
• 五次方程式