一类特殊多项式系统阳的结式矩阵毕业论文.doc

一类特殊多项式系统的结式矩阵 The resultant matrix for a special polynomial system 摘 要 本文是研究一类特殊多项式系统的结式矩阵。主要证明了：从双次数矩形支集 SKIPIF 1 0 的4个角上分别切去4个矩形子支集时， SKIPIF 1 0 -结式Dixon矩阵公式仍然成立。 首先给出了一些基本的概念和3个双次数多项式的Dixon矩阵；然后把论文的主要结论以定理的形式正式给出，定理的证明分为3部分：第一部分证明了当 SKIPIF 1 0 角上切去的矩形子支集中的单项式系数为0时， SKIPIF 1 0 相应的行与列为0；第二部分证明了去掉 SKIPIF 1 0 的零行与零列之后，剩下的矩阵为方阵且它的元素仍是Dixon系数矩阵中的元素，这样就得到的 SKIPIF 1 0 子矩阵就是 SKIPIF 1 0 ；第三部分证明了 SKIPIF 1 0 ，且它与 SKIPIF 1 0 -结式有相同的阶数，因此 SKIPIF 1 0 就是多项式支集为 SKIPIF 1 0 的 SKIPIF 1 0 的 SKIPIF 1 0 -结式；最后通过例子验证这些结论。 关键词：Dixon矩阵；多项式支集； SKIPIF 1 0 -结式 ABSTRACT This paper studies the resultant for a special polynomial system. It prove that the Dixon matrix formulation for SKIPIF 1 0 -resultants survives when four corner rectangular sub-supports are cut off from the bi-degree rectangular support SKIPIF 1 0 . First, it has defined some notations and terminologies and presented the Dixon resultant formulation for three bi-degree polynomials in two variables. Then it states the main result of the paper formally as a theorem. The proof of the theorem is divided into three parts. Part 1 identifies the zero rows and columns of the Dixon coefficient matrix. Part 2 ensures that the required number of non-zero rows and columns remain in the Dixon coefficient matrix. Part 3 asserts that the determinant of SKIPIF 1 0 is non-zero and has the right degree, thus it is the SKIPIF 1 0 -resultant for SKIPIF 1 0 whose monomial support is SKIPIF 1 0 . Last, it illustrates the various results with examples. Key Words：Dixon matrix; monomial support; SKIPIF 1 0 -resultant 目 录 TOC \o 1-2 \h \z \u HYPERLINK \l _To绪 论 PAGEREF _To\h 1 HYPERLINK \l _To1预备知识 PAGEREF _To\h 3 HYPERLINK \l _To1.1 PAGEREF _To\h 3 HYPERLINK \l _To