结式的若干应用(1).docx

2005年10月 宁波职业技术学院学报

2005年10月 宁波职业技术学院学报 0ct．2005

第9卷第5期 JOURNAL0FNINGBOPOLYTECHNIC Vbl．9No．5

结式的若干应用

解烈军，裘旭浩

(宁波大学理学院，浙江宁波j15211)

摘要：结式是多项式理论中的一个重要概念。本文从7个方面阐述了结式的应用，包括判断2个多项式的公共零点，判定多项式是否有重根，计算多项式的判别式，寻找代数数满足的方程，平面有理曲线的隐式化，非线性代数方程组求解和不等式机器证明中半代数系统边界曲面的获得等。

关键词：结式；多项式；应用

中图分类号：0171 文献标识码：B 文章编号：167l一2153(2005)05—0072—03

1基本概念 恐，，瓦一，J

g(五，而，．．．，‘)=∑吃k”’，Do≠o，且‰∈K【xl，

卜。

为了叙述方便，下面先介绍结式的概念和符号。 X2，，xn-1】

这里约定，若非特别说明，本文中出现的多项

对它们关于主变元％求结式R(武x，，X2，，％)，烈x，，

式颤x)和反x)定义如下：￡为复数域

x：，，x。)，x。)，显然，计算结果是关于变元x。，

，(工)=∑q∥“∈￡[工]，g(工)=∑岛工“一。∈￡[石】 x2，，xn一。的函数，不含变元K。从这个角度来看，

结式其实可以消元，利用结式进行消元的方法，我

ao≠0，bo≠0。 们称之为结式消元法。

定义1多项式f(x)和g(x)关于变元x的SylveSter结式是一个m+n阶行列式： 2结式的应用

2．1判断两个多项式的公共零点

％¨

q％一 析行 定理1多项式叔x)和反x)有公共零点的充要条

件是尺旺吕习=0。

％一Ⅱ”％

％甄 例躺方程组愀Z苗3叫2¨～在

‰岛一q‰一 析行

‰～易 、，●●●，●，●●●J、●●●●●Lr，●●J 复数域内的解的个数。

一‰．‰ 一轨 ．％

分析：显然，相当于确定多项式武x)和反习公共零空白处全为0，记为尺仨吕习，简称结式。 点的个数，由于尺伍吕习=73≠0，所以顶耐和反习互

定义2设K为数域，对于多元多项式环Ⅺx。， 素，也即方程组解个数为0。

X2’，％】中的两个多项式和缸，x2，，xn】和dx。， 2．2判断多项式的重根

x2，，xn】，取定Xn为主变元，将其余n—1个变元视 依据定理1，容易知道：

为参数，则它可以表示为： 推论1将其x)关于变元x的导函数记为，’，多

，(玉，而，，矗)：兰q_“，a。≠o，且a。∈K【xl， 项式dx)有重根的充要条件是：R(‘f’，x)=0。

收稿日期：2005—04一11

作者简介：解烈军(1974一)，男，浙江余姚人，宁波大学理学院讲师，在读硕士研究生。

·72‘ 2005年第5期

万方数据

解烈军、裘旭浩：结式的若干应用例2求t值使得武x)=文一3f+攻一1有重根。 曲线的直角坐标方程形式为

解烈军、裘旭浩：结式的若干应用

例2求t值使得武x)=文一3f+攻一1有重根。 曲线的直角坐标方程形式为

分析：依据推论，当R(‘f’，习=(4抖15)(卜3)2=0 4文一4xy+护一23x+7y+19=0

例6给定三次有理曲线P(f)如下：a(f)=f3—

时，妖x)有重根，从而得到f—-等或f=3。

2产+抖2，b(幻=2护一3铲+挣1，c(幻=乎+l，求P(幻的隐式

2．5计算多项式的判别式 方程。

定义5多项式矗习的判别式 分析：令其D=b(幻一c(幻x=2p+(一3一力乎+件(一

!!!!!1p1)

D(，，x)=(一1)2—二月(，，．厂’，x)。 反0=a(D—c(力x=护+(一2一均产+抖(一x+2)

口0

例5计算三次多项式其x)=ax3+bX2+Ⅸ+d的判 于是P(f)的隐式方程为：F(x，y)=R(f’g，t)=29—别式。 73x+29y+24严+8lJ砀，2—64jo厂2—96j(J件79x2+16少一

分析：R(‘f，x)=27a3铲一18a2db(卜a酽乎+4矽ad 34F=0

+4矛c3，据判别式定义有 2．6求解非线性代数方程组

D(，，工)暑(一1)——i一土(27n3d2—18口2d扫c一以62c2+463口d+4Ⅱ2c3) 以二元方程为例进行分析：

；一27n2d2+18Ⅱf舾r+厅2c2—463d一4dc3 J，(训)=o (1)

【g(工，y)=o

2．4计算代数数满足的方程

定义4设口∈￡，若存在某个整系数多项式武x)2a—产+alx“一1++a。一lx+a。=0，(妇≥l，ao≠0)使得f(口)=0，则称a为代数数。

例4计算代数数√3+√互+√石满足的方程。

分析：引进函数‘=(s