Sylvester矩阵、子结式、辗转相除法的三者关系(第五部分)

书中玉

已于 2024-05-27 11:34:43 修改

阅读量864

点赞数 14

文章标签：矩阵线性代数算法

于 2024-05-22 06:41:46 首次发布

本文链接：https://blog.csdn.net/tianwangwxm/article/details/139106355

版权

4.执行辗转相除法第四步

$F_{4} = Q_{4,2} \times F_{2} + F_{0}\ \ \ \ \ \ \ \ \ \ \deg\left( F_{4} \right) = 4\ \ \ \ \ \ \deg\left( F_{2} \right) = 2\ \ \ \ \ \ \deg\left( F_{0} \right) = 0$

$1)^{8 \times 7 + 7 \times 6 + 6 \times 4 + 4 \times 2}|S| = \begin{matrix} \begin{matrix} F_{7} \\ F_{7} \\ F_{6} \\ F_{6} \\ F_{6} \\ F_{4} \\ F_{4} \\ F_{4} \\ F_{4} \\ F_{2} \\ F_{2} \\ F_{2} \\ F_{2} \\ F_{4} \\ F_{4} \end{matrix} & \left| \begin{matrix} b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} \end{matrix} \right| \end{matrix} = \begin{matrix} \begin{matrix} F_{7} \\ F_{7} \\ F_{6} \\ F_{6} \\ F_{6} \\ F_{4} \\ F_{4} \\ F_{4} \\ F_{4} \\ F_{2} \\ F_{2} \\ F_{2} \\ F_{2} \\ F_{1} \\ F_{1} \end{matrix} & \left| \begin{matrix} b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & f_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & f_{0} \end{matrix} \right| \end{matrix}$

对应子结式 $S_{1}、S_{0}$ ：

$S_{1} = ( - 1)^{7 \times 6}detpol\begin{pmatrix} \begin{matrix} F_{7} \\ F_{7} \\ F_{7} \\ F_{7} \\ F_{7} \\ F_{7} \\ F_{7} \\ F_{0} \\ F_{0} \\ F_{0} \\ F_{0} \\ F_{0} \\ F_{0} \end{matrix} & \begin{pmatrix} b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} \\ a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} \end{pmatrix} \end{pmatrix} = ( - 1)^{7 \times 6 + 6 \times 5 + 5 \times 3 + 3 \times 1}detpol\begin{pmatrix} \begin{matrix} F_{7} \\ F_{7} \\ F_{6} \\ F_{6} \\ F_{6} \\ F_{4} \\ F_{4} \\ F_{4} \\ F_{4} \\ F_{2} \\ F_{2} \\ F_{2} \\ F_{1} \end{matrix} & \begin{pmatrix} b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & f_{0} & 0 \end{pmatrix} \end{pmatrix}$

$S_{0} = ( - 1)^{8 \times 7}detpol\begin{pmatrix} \begin{matrix} F_{7} \\ F_{7} \\ F_{7} \\ F_{7} \\ F_{7} \\ F_{7} \\ F_{7} \\ F_{7} \\ F_{0} \\ F_{0} \\ F_{0} \\ F_{0} \\ F_{0} \\ F_{0} \\ F_{0} \end{matrix} & \begin{pmatrix} b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} \\ a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & a_{8} & a_{7} & a_{6} & a_{5} & a_{4} & a_{3} & a_{2} & a_{1} & a_{0} \end{pmatrix} \end{pmatrix} = ( - 1)^{8 \times 7 + 7 \times 6 + 6 \times 4 + 4 \times 2}detpol\begin{pmatrix} \begin{matrix} F_{7} \\ F_{7} \\ F_{6} \\ F_{6} \\ F_{6} \\ F_{4} \\ F_{4} \\ F_{4} \\ F_{4} \\ F_{2} \\ F_{2} \\ F_{2} \\ F_{2} \\ F_{1} \\ F_{1} \end{matrix} & \begin{pmatrix} b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & b_{7} & b_{6} & b_{5} & b_{4} & b_{3} & b_{2} & b_{1} & b_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & c_{6} & c_{5} & c_{4} & c_{3} & c_{2} & c_{1} & c_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & d_{4} & d_{3} & d_{2} & d_{1} & d_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & e_{2} & e_{1} & e_{0} \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & f_{0} & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & f_{0} \end{pmatrix} \end{pmatrix}$