対称式の基本定理 - エレファント・ビジュアライザー調査記録

[定理]

対称式は基本対称式の多項式となります。これを1変数( $x$ )の場合、2変数( $x,y$ )の場合、3変数( $x,y,z$ )の場合について順に証明します。 1変数( $x$ )の場合は、 $x$ 自身が基本対称式と考えられるので、成り立っています。

2変数( $x,y$ )の場合

この場合基本対称式は $x+y, xy$ となります。

[証明]

$f(x,y)$ を対称式とします。 $a=x+y$ 、 $b=xy$ とおくと $y^{2}-ay+b=0$ となります。 $f(x,y)$ に $x=a-y$ を代入して、 $y^{2}=ay-b$ によって置き換えると、 $x$ を含まず、 $y$ については1次以下にすることができます。よって

$\LARGE f(x,y)=p(a,b)+q(a,b)y$

と書くことができます。 $f(x,y),p(a,b),q(a,b)$ は対称式なので、この等式は $x$ と $y$ を入れ替えても成立します。すなわち

$\LARGE f(x,y)=p(a,b)+q(a,b)x$
$\LARGE f(x,y)=p(a,b)+q(a,b)y$

が成り立ちます。よって

$\LARGE q(a,b)(x-y)=0$

となりますが、この等式は両辺の多項式が等しいということなので、 $q(a,b)=0$ となります。したがって

$\LARGE f(x,y)=p(a,b)$

となって、 $f(x,y)$ は基本対称式の多項式となります。

[証明終わり]

3変数( $x,y,z$ )の場合

この場合基本対称式は $x+y+z, xy+yz+zx, xyz$ となります。

[証明]

$f(x,y,z)$ を対称式とします。 $a=x+y+z$ 、 $b=xy+yz+zx$ 、 $c=xyz$ とおくと $z^{3}-az^{2}+bz-c=0$ となります。 $f(x,y,z)$ を $z$ について整理して

$\LARGE f(x,y,z)=g_{0}(x,y)+g_{1}(x,y)z+g_{2}(x,y)z^{2}+ \cdots +g_{n}(x,y)z^{n}$

と書くと $g_{0}(x,y),g_{1}(x,y),g_{2}(x,y), \cdots ,g_{n}(x,y)$ は $x,y$ の対称式となります。よって2変数の場合より、 $g_{0}(x,y),g_{1}(x,y),g_{2}(x,y), \cdots ,g_{n}(x,y)$ は $a'=x+y$ 、 $b'=xy$ の多項式となります。 $a'=a-z$ 、 $b'=b-a'z=b-(a-z)z=b-az+z^{2}$ を代入して、さらに $z^{3}=az^{2}-bz+c$ によって $z$ の3次以上の項を消去すると

$\LARGE f(x,y,z)=p(a,b,c)+q(a,b,c)z+r(a,b,c)z^{2}$

と書くことができます。 $f(x,y,z)$ は対称式なので、

$\LARGE f(x,y,z)=p(a,b,c)+q(a,b,c)x+r(a,b,c)x^{2}$
$\LARGE f(x,y,z)=p(a,b,c)+q(a,b,c)y+r(a,b,c)y^{2}$
$\LARGE f(x,y,z)=p(a,b,c)+q(a,b,c)z+r(a,b,c)z^{2}$