请选择 进入手机版 | 继续访问电脑版

数学之家

建站
数学爱好者的家园
 找回密码
 注册

QQ登录

只需一步,快速开始

查看: 295|回复: 0

[已解决] 蓝以中下册 多元多项式环 219页 习题二12 解答

[复制链接]
发表于 2016-8-3 21:13:45 | 显示全部楼层 |阅读模式
习题二12:
  在域$K$上$n$元多项式环$K[x_1,x_2,\cdots,x_n]$内证明初等对称多项式
$$\sigma_1,\sigma_2,\cdots,\sigma_n$$
  与方幂和
$$s_1,s_2,\cdots,s_n$$
  满足
$$s_m=\left| {\begin{array}{*{20}{c}}
{\sigma_1}&{1}&{}&{}&{}&{}\\
{2\sigma_2}&{\sigma_1}&{\ddots}&{}&{}&{}\\
{3\sigma_3}&{\sigma_2}&{\ddots}&{\ddots}&{}&{}\\
{4\sigma_4}&{\sigma_3}&{\ddots}&{\ddots}&{\ddots}&{}\\
{\vdots}&{\vdots}&{\ddots}&{\ddots}&{\ddots}&{1}\\
{m\sigma_m}&{\sigma_{m-1}}&{\cdots}&{\sigma_3}&{\sigma_2}&{\sigma_1}
\end{array}} \right|_{m \times m},其中m=1,2,\cdots,n$$



解:
  对$m$作数学归纳法
$$m=1$$
  时有
$$s_1=\sigma_1$$
  现设命题对
$$m<k$$
  均成立,则当
$$m=k \le n$$
  时,把行列式按最后一行展开,利用归纳假设,有
$$\begin{eqnarray*}
原行列式&=&(-1)^{k+1}k\sigma_k\left| {\begin{array}{*{20}{c}}
{1}&{}&{}&{}&{}\\
{\sigma_1}&{1}&{}&{}&{}\\
{\sigma_2}&{\sigma_1}&{1}&{}&{}\\
{\vdots}&{}&{\ddots}&{\ddots}&{}\\
{\sigma_{k-2}}&{\sigma_{k-3}}&{\cdots}&{\sigma_1}&{1}
\end{array}} \right|\\
&+&\sum\limits_{i=2}^k(-1)^{k+i}\sigma_{k-i+1}\left| {\begin{array}{*{20}{c}}
{\sigma_1}&{1}&{}&{}&{}&{}&{}&{}\\
{2\sigma_2}&{\sigma_1}&{\ddots}&{}&{}&{}&{}&{}\\
{\vdots}&{}&{\ddots}&{1}&{}&{}&{}&{}\\
{(i-1)\sigma_{i-1}}&{\cdots}&{\cdots}&{\sigma_1}&{}&{}&{}&{}\\
{i\sigma_i}&{}&{}&{}&{1}&{}&{}&{}\\
{\vdots}&{}&{}&{}&{\sigma_1}&{1}&{}&{}\\
{\vdots}&{}&{}&{}&{}&{\ddots}&{\ddots}&{}\\
{(k-1)\sigma_{k-1}}&{\cdots}&{\cdots}&{\cdots}&{\cdots}&{\cdots}&{\sigma_1}&{1}
\end{array}} \right|\\
&=&(-1)^{k+1}k\sigma_k+\sum\limits_{i=2}^k(-1)^{k+i}\sigma_{k-i+1}s_{i-1}\\
&=&\sigma_1s_{k-1}-\sigma_2s_{k-2}+\cdots+(-1)^k\sigma_{k-1}s_1+(-1)^{k+1}k\sigma_k\\
&=&s_k
\end{eqnarray*}$$
  最后一步使用了$Newton$公式。
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

QQ|网站统计|手机版|小黑屋|数学之家    

GMT+8, 2019-4-19 02:30 , Processed in 1.500000 second(s), 27 queries .

Powered by Discuz! X3.1

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表