码迷,mamicode.com
首页 > 其他好文 > 详细

[问题2014A01] 解答一(第一列拆分法,由张钧瑞同学提供)

时间:2014-10-12 11:16:07      阅读:200      评论:0      收藏:0      [点我收藏+]

标签:http   ar   strong   sp   2014   art   问题   on   amp   

[问题2014A01] 解答一(第一列拆分法,由张钧瑞同学提供)

(1)  当 \(a=0\) 时,这是高代书复习题一第 33 题,可用升阶法和 Vander Monde 行列式来求解,其结果为

\[|A|=\prod_{1\leq i<j\leq n}(x_j-x_i)\Big(\sum_{i=1}^nx_1\cdots\hat{x}_i\cdots x_n\Big),\]

其中 \(\hat{x}_i\) 表示 \(x_i\) 不在其中.

(2)  当 \(a\neq 0\) 时,我们有

\[|A|=\frac{1}{a}\begin{vmatrix} a & x_1(x_1-a) & x_1^2(x_1-a) & \cdots & x_1^{n-1}(x_1-a) \\ a & x_2(x_2-a) & x_2^2(x_2-a) & \cdots & x_2^{n-1}(x_2-a) \\ \vdots & \vdots & \vdots & \vdots & \vdots \\ a & x_n(x_n-a) & x_n^2(x_n-a) & \cdots & x_n^{n-1}(x_n-a) \end{vmatrix}\]

\[=\frac{1}{a}\begin{vmatrix} x_1-(x_1-a) & x_1(x_1-a) & x_1^2(x_1-a) & \cdots & x_1^{n-1}(x_1-a) \\ x_2-(x_2-a) & x_2(x_2-a) & x_2^2(x_2-a) & \cdots & x_2^{n-1}(x_2-a) \\ \vdots & \vdots & \vdots & \vdots & \vdots \\ x_n-(x_n-a) & x_n(x_n-a) & x_n^2(x_n-a) & \cdots & x_n^{n-1}(x_n-a) \end{vmatrix}.\]

按第一列拆分成两个行列式之差,有

\[|A|=\frac{1}{a}\begin{vmatrix} x_1 & x_1(x_1-a) & x_1^2(x_1-a) & \cdots & x_1^{n-1}(x_1-a) \\ x_2 & x_2(x_2-a) & x_2^2(x_2-a) & \cdots & x_2^{n-1}(x_2-a) \\ \vdots & \vdots & \vdots & \vdots & \vdots \\ x_n & x_n(x_n-a) & x_n^2(x_n-a) & \cdots & x_n^{n-1}(x_n-a) \end{vmatrix}-\frac{1}{a}\begin{vmatrix} x_1-a & x_1(x_1-a) & x_1^2(x_1-a) & \cdots & x_1^{n-1}(x_1-a) \\ x_2-a & x_2(x_2-a) & x_2^2(x_2-a) & \cdots & x_2^{n-1}(x_2-a) \\ \vdots & \vdots & \vdots & \vdots & \vdots \\ x_n-a & x_n(x_n-a) & x_n^2(x_n-a) & \cdots & x_n^{n-1}(x_n-a) \end{vmatrix}.\]

对于上面第一个行列式,将第一列乘以 \(a\) 加到第二列上;然后将第二列乘以 \(a\) 加到第三列上;\(\cdots\);然后将第 \(n-1\) 列乘以 \(a\) 加到第 \(n\) 列上;最后将第 \(i\) 行提出公因子 \(x_i\),可化为 Vander Monde 行列式. 对于上面第二个行列式,将第 \(i\) 行提出公因子 \(x_i-a\),可化为 Vander Monde 行列式. 因此,我们有

\[|A|=\frac{1}{a}x_1\cdots x_n\begin{vmatrix} 1 & x_1 & x_1^2 & \cdots & x_1^{n-1} \\ 1 & x_2 & x_2^2 & \cdots & x_2^{n-1} \\ \vdots & \vdots & \vdots & \vdots & \vdots \\ 1 & x_n & x_n^2 & \cdots & x_n^{n-1} \end{vmatrix}\]

\[-\frac{1}{a}(x_1-a)\cdots(x_n-a)\begin{vmatrix} 1 & x_1 & x_1^2 & \cdots & x_1^{n-1} \\ 1 & x_2 & x_2^2 & \cdots & x_2^{n-1} \\ \vdots & \vdots & \vdots & \vdots & \vdots \\ 1 & x_n & x_n^2 & \cdots & x_n^{n-1} \end{vmatrix}\]

\[=\frac{1}{a}\Big(x_1\cdots x_n-(x_1-a)\cdots(x_n-a)\Big)\prod_{1\leq i<j\leq n}(x_j-x_i).\]

  \(a\neq 0\) 时的结果,虽然 \(a\) 表面上出现在分母中 (只是为了看上去简洁),但其实它是一个关于 \(a\) 的多项式 (展开后即知),此时发现令 \(a=0\),马上可以得到 \(a=0\) 时的结果. 这说明 \(a\neq 0\) 时的结果和 \(a=0\) 时的结果可以统一起来. 为什么会发生这种情况呢?感兴趣的同学可以参考如下教学论文《文字行列式求值中的两个技巧》。

[问题2014A01] 解答一(第一列拆分法,由张钧瑞同学提供)

标签:http   ar   strong   sp   2014   art   问题   on   amp   

原文地址:http://www.cnblogs.com/torsor/p/4019085.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!