怎么判断两个多项式互素_两个多项式的结式及其应用

对于数域

上的两个多项式
,我们通常是通过辗转相除法计算最大公因式,并判断其是否互素。本节我们将介绍一种新方法,判断两个多项式是否互素。

我们先看如下引理

引理:

均为数域
上的非常数的多项式,
的次数为
,
的次数为
,则
在数域
上不互素(即它们的最大公因式不是非零常数)的充要条件是存在次数小于
的多项式
以及次数小于
的多项式
,使得

证:必要性:设

,则
次数大于等于1

,其中
次数小于
,
次数小于
。令
即可得证

充分性:设

,
,则
,即

,故
次数小于
,从而
,即
有一个非常数的公因式

对于两个非常数的多项式

以及
,我们可以设
以及
,则由
立马可得

上式可看成 关于

的线性方程组,这个方程组有
个方程,
个未知量。且为齐次线性方程组

把齐次线性方程组

的系数矩阵行列互换,再把后边n行反号,再取行列式,即可得到

4e9744787609c55adc550c10afdf7282.png

其中含

的共
行,含
的共
行,我们称这样的行列式为多项式
结式,或者 Sylvester行列式,记为
(这里最高项系数总保持均为0,即
)。此时由上面的分析,我们可以得到:
不互素当且仅当线性方程组
有非零解,当且仅当
,即如下定理

定理1:数域

上非常数的两个多项式
不互素当且仅当

我们应用结式来分析以下问题

1.两个多项式是否互素问题

例1:

,则
,即
,则
不互素当且仅当
,即

2.二元高次方程组

对于二元高次方程组

,我们可以令
为常数,这样
均可以看成关于
的多项式
,这时
有公因式,从而不互素,在
最高项系数均不为零的时候令
,这就转化为关于
的一元高次方程,求出
,再代入两个方程求
。另外,在
最高项系数至少有一个为零时另外考虑,还是求出相应的
,再代入两个方程求

例2:对于方程

,我们令
,则

,令
,则

时,
,即

时,
,即

时,
,即

从而解为

or
or

3.多项式是否有重根

定义:对于

次多项式
(其中
),称
为多项式
判别式

容易验证

有重根当且仅当

对于二次多项式

,我们可以计算出
,这与一元二次方程的判别式是一致的。同时,在中学里我们学过,二次多项式的判别式还有一个用途——判断实系数二次多项式是否有实根以及有多少个不等实根。

版权声明:本文为weixin_32302013原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接和本声明。