1 対称式と基本対称式
文字を入れ替えたときの条件を、実数係数の多項式について定めます。
定義 1.1 (対称式と交代式).n≥1とし、f(α1,…,αn)を実数係数の多項式とする。集合{1,…,n}の任意の並べ替えσに対して
f(ασ(1),…,ασ(n))=f(α1,…,αn)が成り立つとき、fを 対称式 (symmetric polynomial) という。任意の二文字を交換しても値が変わらないことと、この条件は同値である。実際、任意の並べ替えは二文字の交換を有限回繰り返して実現される。たとえばα2+β2とα3β+αβ3は対称式である。
2文字の実数係数多項式f(α,β)が
f(β,α)=−f(α,β)を満たすとき、fを 交代式 (alternating polynomial) という。たとえばα−βは交代式である。
対称式を表すために、文字を一つずつ選んだ積の和を用います。
定義 1.2 (基本対称式).1≤k≤nとする。α1,…,αnから異なるk文字を選んだ積の総和
sk=1≤i1<⋯<ik≤n∑αi1⋯αikをk次の 基本対称式 (elementary symmetric polynomial) という。
2文字では
s1=α+β,s2=αβである。3文字では
s1=α+β+γ,s2=αβ+βγ+γα,s3=αβγである。
対称式を基本対称式で表したときは、その表示を展開することで検算します。
例 1.3. 2文字の基本対称式をs1=α+β、s2=αβとする。このとき
α2+β2=(α+β)2−2αβ=s12−2s2である。また
(α+β)3=α3+β3+3αβ(α+β)であるから
α3+β3=s13−3s1s2となる。右辺を展開すると、それぞれα2+β2とα3+β3に戻る。
2次方程式x2−s1x+s2=0の2解がα,βならば、α+β=s1、αβ=s2である。したがって解を個別に求めなくても、α2+β2=s12−2s2とα3+β3=s13−3s1s2を係数から計算することができる。
定理 1.4.n≥1とする。実数係数のn変数対称多項式は、基本対称式s1,…,snの実数係数多項式としてただ一通り表される。
証明.f=0ならば、すべての係数が零である多項式として表示できる。以下ではf=0とする。単項式α1e1⋯αnenの指数列を(e1,…,en)とする。二つの指数列は、最初に異なる成分の大小によって比較する。この辞書式順序により、零でない多項式の単項式のうち最大のものを先頭単項式と呼ぶ。
対称多項式fの先頭単項式を
cα1λ1⋯αnλn(c=0)とする。λi<λi+1となるiがあれば、αiとαi+1を交換して得られる単項式はもとの先頭単項式より大きく、対称性によって同じ係数cでfに現れる。これは先頭単項式の選び方に反する。したがって
λ1≥λ2≥⋯≥λn≥0である。λn+1=0と置くと、
s1λ1−λ2s2λ2−λ3⋯snλn−λn+1の先頭単項式はα1λ1⋯αnλnであり、その係数は1である。よってfからこの積のc倍を引くと、対称性を保ったまま先頭単項式が小さくなる。途中に現れる単項式の次数はfの次数を超えず、そのような指数列は有限個しかない。この操作を有限回繰り返すと零多項式になるので、fはs1,…,snの多項式として表される。
表示が二通りあると仮定し、両者の差を取ると、s1,…,snの零でない多項式FでF(s1,…,sn)=0を満たすものが得られる。Fの単項式s1m1⋯snmnの先頭単項式の指数列は
(m1+⋯+mn, m2+⋯+mn,…, mn)である。この指数列からmn,mn−1,…,m1が順に定まるので、異なる単項式から得られる指数列は異なる。したがってFの各単項式を基本対称式へ代入したとき、辞書式順序で最大の先頭単項式を他の項が打ち消すことはできない。これはF(s1,…,sn)=0に反する。ゆえに表示はただ一通りである。▨
3文字の場合には、二つずつの積の平方和を先に求めると、4乗和を基本対称式で表すことができます。
定理 1.5.a,b,cを実数とし、s1=a+b+c、s2=ab+bc+ca、s3=abcと置く。このとき
a4+b4+c4=s14−4s12s2+2s22+4s1s3である。
証明. 平方を展開すると
a2+b2+c2=s12−2s2,a2b2+b2c2+c2a2=s22−2s1s3となる。二つ目の等式では
(ab+bc+ca)2=a2b2+b2c2+c2a2+2abc(a+b+c)を用いた。したがって
a4+b4+c4=(a2+b2+c2)2−2(a2b2+b2c2+c2a2)=(s12−2s2)2−2(s22−2s1s3)=s14−4s12s2+2s22+4s1s3である。▨
問題 1.6. 実数a,b,cがa+b+c=0とa2+b2+c2=6を満たすとする。a4+b4+c4を求めよ。また、同じ二つの条件からa3+b3+c3の値も一意に定まるかどうかを調べよ。定まらない場合は、立方和が異なる二組を示せ。
解答.
s1=a+b+c=0である。
0=(a+b+c)2=6+2(ab+bc+ca)よりs2=ab+bc+ca=−3となる。定理 1.5に代入すると、s3=abcの値によらず
a4+b4+c4=2(−3)2=18である。
(a,b,c)=(1,1,−2)は、和が0、平方和が6であり、立方和は−6である。(a,b,c)=(3,0,−3)も、和が0、平方和が6であるが、立方和は0である。したがって、二つの条件から立方和を一意に定めることはできない。▨
2 交代式
2文字の交代式には、文字の差が必ず因数として現れます。
定理 2.1.f(α,β)を実数係数の交代式とする。このとき、実数係数の対称式g(α,β)が存在して
f(α,β)=(α−β)g(α,β)と表される。
証明.fの二文字に同じ実数tを代入すると、交代性により
f(t,t)=−f(t,t)である。係数は実数なので2f(t,t)=0からf(t,t)=0が従う。したがって一変数多項式f(t,t)はすべての実数tを根にもつので、零多項式である。fをαの多項式とみてα=βを代入した剰余が零多項式になるので、因数定理により
f(α,β)=(α−β)g(α,β)を満たす実数係数多項式gが存在する。
文字を交換すると
f(β,α)=(β−α)g(β,α)=−(α−β)g(β,α)である。一方、交代性と上の分解により
f(β,α)=−f(α,β)=−(α−β)g(α,β)である。零でない多項式α−βを消去するとg(β,α)=g(α,β)となる。ゆえにgは対称式である。▨
証明でf(t,t)=−f(t,t)からf(t,t)=0を得たのは、実数の範囲では2=0であるためです。1+1=0となる係数の範囲では、この段階が成り立たず、対称式と交代式の関係も変わります。この違いは
§E8 体論入門で扱います。
例 2.2.α−βは交代式であり、その2乗は対称式である。実際、
(α−β)2=(α+β)2−4αβ=s12−4s2である。右辺を展開するとα2−2αβ+β2に戻る。
閑話休題:対称式と方程式の解の入れ替え 対称式の基本定理により、すべての文字の入れ替えで不変な式は基本対称式で表されます。一部の入れ替えだけで不変な式を調べることは、方程式の解を入れ替える操作の研究につながります。
2次方程式の解の公式に現れるs12−4s2の根号の中は(α−β)2であり、交代式の
2乗です。解の公式は、対称式である係数から平方根によってα−βを取り出し、s1=α+βと組み合わせて二つの解を得る構造をもちます。
19世紀、ガロアは「解の入れ替え全体の集まり」(対称群)とその部分集まりの入れ子構造を追跡すれば、方程式を四則と根号で解くことができるかどうかを、その方程式のガロア群から判定する理論を築きました。3次・4次方程式には一般形に対する根号公式があります。一方、一般の5次以上の方程式について、係数に四則演算と根号だけを一律に適用する公式は存在しません。この結論は、5次以上のどの方程式も根号で解くことができないという意味ではありません。根号で解くことができる個別の方程式もあります。ガロア理論は§E8 体論入門で扱います。
3 例題
実数係数の2次または3次方程式を考え、解は複素数の範囲で重複度込みに数える。解と係数の関係と基本対称式を用いて、次の値を求めよ(解を求める必要はない)。
解法の型対称式は基本対称式で表す。α²+β²=s1²-2s2、α³+β³=s1³-3s1s2、(α−β)²=s1²-4s2
例 3.1. 2次方程式x2−2x+2=0 の2つの解をα,βとするとき、1/α² +1/β² の値を求めよ。
x2−2x+2=0の2解を α, β とするときα21+β21答0
注意 解と係数の関係よりα+β=2、αβ=2。対称式は基本対称式で表せるので、1/α² +1/β²=(α²+β²)/(αβ)²=0/(2)²=0/4=0。解を実際に求める必要はない。
例 3.2. 2次方程式x2+4x+6=0 の2つの解をα,βとするとき、1/α+1/βの値を求めよ。
x2+4x+6=0の2解を α, β とするときα1+β1答−32
注意 解と係数の関係よりα+β=-4、αβ=6。対称式は基本対称式で表せるので、1/α+1/β=(α+β)/(αβ)=(-4)/(6)=-2/3。解を実際に求める必要はない。
例 3.3. 2次方程式x2−2x−3=0 の2つの解をα,βとするとき、1/α+1/βの値を求めよ。
x2−2x−3=0の2解を α, β とするときα1+β1答−32
注意 解と係数の関係よりα+β=2、αβ=-3。対称式は基本対称式で表せるので、1/α+1/β=(α+β)/(αβ)=(2)/(-3)=-2/3。解を実際に求める必要はない。
例 3.4. 2次方程式x2+3x+2=0 の2つの解をα,βとするとき、α² +β² の値を求めよ。
x2+3x+2=0の2解を α, β とするときα2+β2答5
注意 解と係数の関係よりα+β=-3、αβ=2。対称式は基本対称式で表せるので、α² +β²=(α+β)² -2αβ=(-3)² - 2×(2)=5。解を実際に求める必要はない。
例 3.5. 3次方程式x3−x2−9x+9=0 の3つの解をα,β,γとするとき、α³ +β³ +γ³ の値を求めよ。
x3−x2−9x+9=0の3解を α, β, γ とするときα3+β3+γ3答1
注意 解と係数の関係よりα+β+γ=1、αβ+βγ+γα=-9、αβγ=-9。3文字の基本対称式は3つ。α³+β³+γ³=s1³ - 3s1s2 + 3s3=(1)³ - 3×(1)×(-9) + 3×(-9)=1。
例 3.6. 2次方程式x2+5x+6=0 の2つの解をα,βとするとき、α4+β4の値を求めよ。
x2+5x+6=0の2解を α, β とするときα4+β4答97
注意 解と係数の関係よりα+β=-5、αβ=6。対称式は基本対称式で表せるので、α4+β4=(α²+β²)² -2(αβ)² で、α²+β²=(-5)² - 2×(6)=13 だから (13)² - 2×(6)²=97。解を実際に求める必要はない。
例 3.7. 3次方程式x3+4x2−5x−6=0 の3つの解をα,β,γとするとき、1/α+1/β+1/γの値を求めよ。
x3+4x2−5x−6=0の3解を α, β, γ とするときα1+β1+γ1答−65
注意 解と係数の関係よりα+β+γ=-4、αβ+βγ+γα=-5、αβγ=6。3文字の基本対称式は3つ。1/α+1/β+1/γ=(βγ+γα+αβ)/(αβγ)=(-5)/(6)=-5/6。
例 3.8. 3次方程式x3+5x−6=0 の3つの解をα,β,γとするとき、α² +β² +γ² の値を求めよ。
x3+5x−6=0の3解を α, β, γ とするときα2+β2+γ2答−10
注意 解と係数の関係よりα+β+γ=0、αβ+βγ+γα=5、αβγ=6。3文字の基本対称式は3つ。α²+β²+γ²=(α+β+γ)² -2(αβ+βγ+γα)=(0)² - 2×(5)=-10。
例 3.9. 2次方程式x2+5x+4=0 の2つの解をα,βとするとき、1/α² +1/β² の値を求めよ。
x2+5x+4=0の2解を α, β とするときα21+β21答1617
注意 解と係数の関係よりα+β=-5、αβ=4。対称式は基本対称式で表せるので、1/α² +1/β²=(α²+β²)/(αβ)²=17/(4)²=17/16=17/16。解を実際に求める必要はない。
例 3.10. 2次方程式x2−4x+6=0 の2つの解をα,βとするとき、1/α² +1/β² の値を求めよ。
x2−4x+6=0の2解を α, β とするときα21+β21答91
注意 解と係数の関係よりα+β=4、αβ=6。対称式は基本対称式で表せるので、1/α² +1/β²=(α²+β²)/(αβ)²=4/(6)²=4/36=1/9。解を実際に求める必要はない。
4 演習
実数係数の2次または3次方程式を考え、解は複素数の範囲で重複度込みに数える。解と係数の関係と基本対称式を用いて、次の値を求めよ(解を求める必要はない)。
解法の型対称式は基本対称式で表す。α²+β²=s1²-2s2、α³+β³=s1³-3s1s2、(α−β)²=s1²-4s2
問題 4.1. 2次方程式x2−5x+6=0 の2つの解をα,βとするとき、α4+β4の値を求めよ。
x2−5x+6=0の2解を α, β とするときα4+β4解答.
答97
注意 解と係数の関係よりα+β=5、αβ=6。対称式は基本対称式で表せるので、α4+β4=(α²+β²)² -2(αβ)² で、α²+β²=(5)² - 2×(6)=13 だから (13)² - 2×(6)²=97。解を実際に求める必要はない。▨
問題 4.2. 3次方程式x3+x2−3x+1=0 の3つの解をα,β,γとするとき、α²β² +β²γ² +γ²α² の値を求めよ。
x3+x2−3x+1=0の3解を α, β, γ とするときα2β2+β2γ2+γ2α2解答.
答7
注意 解と係数の関係よりα+β+γ=-1、αβ+βγ+γα=-3、αβγ=-1。3文字の基本対称式は3つ。α²β²+β²γ²+γ²α²=(αβ+βγ+γα)² -2αβγ(α+β+γ)=(-3)² - 2×(-1)×(-1)=7。▨
問題 4.3. 3次方程式x3+x2−4x−4=0 の3つの解をα,β,γとするとき、1/α+1/β+1/γの値を求めよ。
x3+x2−4x−4=0の3解を α, β, γ とするときα1+β1+γ1解答.
答−1
注意 解と係数の関係よりα+β+γ=-1、αβ+βγ+γα=-4、αβγ=4。3文字の基本対称式は3つ。1/α+1/β+1/γ=(βγ+γα+αβ)/(αβγ)=(-4)/(4)=-1。▨
問題 4.4. 3次方程式x3−2x2+4x−3=0 の3つの解をα,β,γとするとき、α²β² +β²γ² +γ²α² の値を求めよ。
x3−2x2+4x−3=0の3解を α, β, γ とするときα2β2+β2γ2+γ2α2解答.
答4
注意 解と係数の関係よりα+β+γ=2、αβ+βγ+γα=4、αβγ=3。3文字の基本対称式は3つ。α²β²+β²γ²+γ²α²=(αβ+βγ+γα)² -2αβγ(α+β+γ)=(4)² - 2×(3)×(2)=4。▨
問題 4.5. 2次方程式x2−5x+6=0 の2つの解をα,βとするとき、α³ +β³ の値を求めよ。
x2−5x+6=0の2解を α, β とするときα3+β3解答.
答35
注意 解と係数の関係よりα+β=5、αβ=6。対称式は基本対称式で表せるので、α³ +β³=(α+β)³ -3αβ(α+β)=(5)³ - 3×(6)×(5)=35。解を実際に求める必要はない。▨
問題 4.6. 2次方程式x2−5x+4=0 の2つの解をα,βとするとき、α² +β² の値を求めよ。
x2−5x+4=0の2解を α, β とするときα2+β2解答.
答17
注意 解と係数の関係よりα+β=5、αβ=4。対称式は基本対称式で表せるので、α² +β²=(α+β)² -2αβ=(5)² - 2×(4)=17。解を実際に求める必要はない。▨
問題 4.7. 2次方程式x2−3x+2=0 の2つの解をα,βとするとき、α² +β² の値を求めよ。
x2−3x+2=0の2解を α, β とするときα2+β2解答.
答5
注意 解と係数の関係よりα+β=3、αβ=2。対称式は基本対称式で表せるので、α² +β²=(α+β)² -2αβ=(3)² - 2×(2)=5。解を実際に求める必要はない。▨
問題 4.8. 2次方程式x2−3x+3=0 の2つの解をα,βとするとき、1/α² +1/β² の値を求めよ。
x2−3x+3=0の2解を α, β とするときα21+β21解答.
答31
注意 解と係数の関係よりα+β=3、αβ=3。対称式は基本対称式で表せるので、1/α² +1/β²=(α²+β²)/(αβ)²=3/(3)²=3/9=1/3。解を実際に求める必要はない。▨
問題 4.9. 2次方程式x2−2x−3=0 の2つの解をα,βとするとき、1/α² +1/β² の値を求めよ。
x2−2x−3=0の2解を α, β とするときα21+β21解答.
答910
注意 解と係数の関係よりα+β=2、αβ=-3。対称式は基本対称式で表せるので、1/α² +1/β²=(α²+β²)/(αβ)²=10/(-3)²=10/9=10/9。解を実際に求める必要はない。▨
問題 4.10. 3次方程式x3−x−1=0 の3つの解をα,β,γとするとき、α³ +β³ +γ³ の値を求めよ。
x3−x−1=0の3解を α, β, γ とするときα3+β3+γ3解答.
答3
注意 解と係数の関係よりα+β+γ=0、αβ+βγ+γα=-1、αβγ=1。3文字の基本対称式は3つ。α³+β³+γ³=s1³ - 3s1s2 + 3s3=(0)³ - 3×(0)×(-1) + 3×(1)=3。▨
問題 4.11. 2次方程式x2+x−12=0 の2つの解をα,βとするとき、(α-β)² の値を求めよ。
x2+x−12=0の2解を α, β とするとき(α−β)2解答.
答49
注意 解と係数の関係よりα+β=-1、αβ=-12。対称式は基本対称式で表せるので、(α−β)²=(α+β)² -4αβ=(-1)² - 4×(-12)=49。解を実際に求める必要はない。▨
問題 4.12. 2次方程式x2−3x−5=0 の2つの解をα,βとするとき、α4+β4の値を求めよ。
x2−3x−5=0の2解を α, β とするときα4+β4解答.
答311
注意 解と係数の関係よりα+β=3、αβ=-5。対称式は基本対称式で表せるので、α4+β4=(α²+β²)² -2(αβ)² で、α²+β²=(3)² - 2×(-5)=19 だから (19)² - 2×(-5)²=311。解を実際に求める必要はない。▨
問題 4.13. 2次方程式x2+x−1=0 の2つの解をα,βとするとき、α4+β4の値を求めよ。
x2+x−1=0の2解を α, β とするときα4+β4解答.
答7
注意 解と係数の関係よりα+β=-1、αβ=-1。対称式は基本対称式で表せるので、α4+β4=(α²+β²)² -2(αβ)² で、α²+β²=(-1)² - 2×(-1)=3 だから (3)² - 2×(-1)²=7。解を実際に求める必要はない。▨
問題 4.14. 3次方程式x3−3x2+3x−3=0 の3つの解をα,β,γとするとき、α²β² +β²γ² +γ²α² の値を求めよ。
x3−3x2+3x−3=0の3解を α, β, γ とするときα2β2+β2γ2+γ2α2解答.
答−9
注意 解と係数の関係よりα+β+γ=3、αβ+βγ+γα=3、αβγ=3。3文字の基本対称式は3つ。α²β²+β²γ²+γ²α²=(αβ+βγ+γα)² -2αβγ(α+β+γ)=(3)² - 2×(3)×(3)=-9。▨
問題 4.15. 2次方程式x2+5x+1=0 の2つの解をα,βとするとき、1/α+1/βの値を求めよ。
x2+5x+1=0の2解を α, β とするときα1+β1解答.
答−5
注意 解と係数の関係よりα+β=-5、αβ=1。対称式は基本対称式で表せるので、1/α+1/β=(α+β)/(αβ)=(-5)/(1)=-5。解を実際に求める必要はない。▨