学文网【摘要】本文把多项式相乘的过程分解为矩阵形式，简化多项式相乘的运算.并引进从给定条件把矩阵简化为方阵的方法，使得分母有理化和极小多项式问题一般化.
【关键词】多项式；分母有理化；极小多项式
1.多项式相乘的矩阵形式
（ax+b）（cx+d）=acx2+ad+bcx+bd就是一个多项式相乘的简单例子.虽然多项式相乘可以用卷积来计算，可是卷积的性质还是没有矩阵那么好.
（ax+b）（cx+d）=acx2[]+bcx+adx+bd=x2x1a0ba0bcd.
如是者不管两个多项式有多长，都能分解成三个矩阵的乘积.
ax2+bx+cdx+e=x3x2x1a0bacb0cde.
以下会用到矩阵的逆和特征多项式来求解问题，但是用到这些性质之前先把矩阵化成方阵.这里首先说明矩阵上消元的方法.这相当于在x2=2时，
把（ax+b）（cx+d）=ad+bcx+bd+2ac也表达成矩阵乘积的问题.
x2x1a0ba0bcd=x1ba0+2ab+2×0cd=x1ba2abcd=x1bc+ad2ac+bd.
我们看到第二步已经把中间的矩阵化为方阵，最后算出来的与结果一致.
2.分母有理化
将11+232+334表为1，32，34的线性组合.对于这个问题在《近世代数》中提供了四种解法，当中用了辗转相除法、待定系数法、线性方程组求解.其中解2不能避免多项式相乘的复杂运算.[1]以下用书中的解2求解上述问题.
a3=2，1+2a+3a2x+ya+za2=1，则x+ya+za2为问题所需要的解.
1aa2a3a4100210321032003=1aa2a3100216321032=1aa2164216321.于是就得到解2中的线性方程组，求解之，问题就解决了.这里就用到了矩阵的逆.
1aa2164216321xyz=1aa2100，
xyz=164216321-1100=-18911161.
此解法也适用于书[1]中的例7，即a3=a-1，8+6a+a2x+ya+za2=1.
800-6801-6801-6001800-68-11-6901-68-16-69-71-69，8-16-69-71-69-1100=1427394727x+ya+za2=142739+47a+27a2.
于是对于分母有理化问题就转化成了求多项式相乘方阵的逆的问题.
3.极小多项式
这里先引入一个简单的问题：若x2+ax+b=0，u=cx+d，构造u的极小多项式.
假设关于u的方程有u1=cx1+d，u2=cx2+d两个解.
u1=cx1+d，u2=cx2+d.u1+u2=c（x1+x2）+2d=2d-ac.u1u2=（cx1+d）（cx2+d）=c2x1x2+cd（x1+x2）+d2=bc2-acd+d2.
关于u的方程为u2+ac-2du+bc2-acd+d2=0，方程左边就是极小多项式.
如是者，所有关于u的基本对称多项式都要求出来，这样会很麻烦.但事实上，只需要计算u在多项式相乘时的方阵，并求出其特征多项式，问题就一下子解决了.
c0dc0dd-acc-bcd，
λ-d-ac-cbcλ-d=λ2+2d-acλ+d2-acd+bc2.
以下证明：设x为多项式方程的根，u（x）在多项式相乘时的方阵为U，U的特征多项式为fλ，则fu（x）=0.
对∑n-1r=0k2，rxr=u（x）∑n-1r=0k1，rxr进行矩阵分解：
xn-1xn-2…1k2，n-1k2，n-2…k2，1T=xn-1xn-2…1Uk1，n-1k1，n-2…k1，1Tu（x）=u（x）×1，u（x）2=u（x）×u（x），u（x）m=u（x）×u（x）m-1，如此类推：
u（x）m=xn-1xn-2…1Um00…1T
设U的特征多项式为fλ=∑nm=0cmλm，则有fU=∑nm=0cmUm=0.
fu（x）=∑nm=0cmu（x）m=xn-1xn-2…1∑nm=0cmUm00…1T=0.
问题得证，于是通过特征多项式就能构造出一个关于u的方程.这个方程不一定是极小的，但一般都是极小的.
再以书[1]中习题5-3第4题为例：设a是x3-2x+2的根，求a2-1的极小多项式.
100010-1010-1000-1010101-2-1000-1101-2100-2-1，λ-10-12λ-1002λ+1=λ3-λ2-λ-3结果就是a2-13-a2-12-a2-1-3=0.
于是对于极小多项式问题就转化成了求多项式相乘方阵的特征多项式的问题.
【参考文献】
[1]韩士安，林磊.近世代数[M].北京：科学出版社，2009.
转载请注明出处学文网 » 多项式相乘的矩阵形式