代数学笔记10.1: 关于对称多项式的理解和三次预解式的推导
写在前面
之前学习的时候天真的以为对称多项式求解初等对称多项式表示是直接套用公式就行的, 也没有深入理解对称多项式基本定理
的推导过程.
直接拿来主义倒是能够解决一部分问题, 但是还是会有点小问题无法处理, 今天拿起高等代数课本重新看了看, 才算真正掌握了对称多项式的初等对称多项式表示方法, 以及用来计算推导四次方程的三次预解式(之前的blog中采用了CAS计算, 方便但是不知其所以然, 苦恼)
老师上课时候讲解了一些内容, 但是有些跳跃, 还是要自己细细品味才能悟出其中的道理.
对称多项式
n
n
n元多项式
f
(
x
1
,
x
2
,
⋯
,
x
n
)
f(x_1,x_2,\cdots,x_n)
f(x1,x2,⋯,xn), 如果对于任意的
i
,
j
,
(
1
≤
i
<
j
≤
n
)
i,j,\ (1\le i<j\le n)
i,j, (1≤i<j≤n), 都有
f
(
x
1
,
⋯
,
x
i
,
⋯
,
x
j
,
⋯
,
x
n
)
=
f
(
x
1
,
⋯
,
x
j
,
⋯
,
x
i
,
⋯
,
x
n
)
.
f(x_1,\cdots,x_i,\cdots,x_j,\cdots,x_n)=f(x_1,\cdots,x_j,\cdots,x_i,\cdots,x_n).
f(x1,⋯,xi,⋯,xj,⋯,xn)=f(x1,⋯,xj,⋯,xi,⋯,xn).
则称该多项式为对称多项式.
对称多项式基本定理
对于任意一个
n
n
n元对称多项式
f
(
x
1
,
x
2
,
⋯
,
x
n
)
f(x_1,x_2,\cdots,x_n)
f(x1,x2,⋯,xn)都有一个
n
n
n元多项式
φ
(
y
1
,
y
2
,
⋯
,
y
n
)
\varphi(y_1,y_2,\cdots,y_n)
φ(y1,y2,⋯,yn)使得
f
(
x
1
,
x
2
,
⋯
,
x
n
)
=
φ
(
σ
1
,
σ
2
,
⋯
,
σ
n
)
.
f(x_1,x_2,\cdots,x_n)=\varphi(\sigma_1,\sigma_2,\cdots,\sigma_n).
f(x1,x2,⋯,xn)=φ(σ1,σ2,⋯,σn).
其中
σ
i
\sigma_i
σi为初等对称多项式, 如下表示
{
σ
1
=
x
1
+
x
2
+
⋯
+
x
n
,
σ
2
=
x
1
x
2
+
x
1
x
3
+
⋯
+
x
n
−
1
x
n
,
⋯
σ
n
=
x
1
x
2
⋯
x
n
.
\begin{cases} \sigma_1=x_1+x_2+\cdots+x_n,\\ \sigma_2=x_1x_2+x_1x_3+\cdots+x_{n-1}x_n,\\ \cdots\\ \sigma_n=x_1x_2\cdots x_n. \end{cases}
⎩⎪⎪⎪⎨⎪⎪⎪⎧σ1=x1+x2+⋯+xn,σ2=x1x2+x1x3+⋯+xn−1xn,⋯σn=x1x2⋯xn.
证明(将对称多项式表示为初等对称多项式的多项式的方法)
设
f
(
x
1
,
x
2
,
⋯
,
x
n
)
f(x_1,x_2,\cdots,x_n)
f(x1,x2,⋯,xn)(按字典序排列的)首项为
a
x
1
l
1
x
2
l
2
⋯
x
n
l
n
,
a
≠
0.
(1)
ax_1^{l_1}x_2^{l_2}\cdots x_n^{l_n},\quad a\ne0.\tag{1}
ax1l1x2l2⋯xnln,a=0.(1)
(
1
)
(1)
(1)式作为
f
(
x
1
,
x
2
,
⋯
,
x
n
)
f(x_1,x_2,\cdots,x_n)
f(x1,x2,⋯,xn)的首项, 一定有
l
i
≥
l
2
≥
⋯
≥
l
n
≥
0
)
l_i\ge l_2\ge\cdots\ge l_n\ge0)
li≥l2≥⋯≥ln≥0).
不然, 设有