解:Sylvester矩阵为:
Syl(f1,f2) 。文献综述
Sylvester矩阵有分块表示法,利用Syl(f1,…fn+1)的天然分块结构来表示Syl(f1,…fn+1)。我们把上个例题用分块表示法,可以写成:
S0 ,S1= 。所以Syl(f1,f2) 。
2 Maple中的sylvester结式
2。1 构建两个多项式的sylvester矩阵
sylvester矩阵函数(P,Q)由两个同样不确定的多项式sylvester矩阵P和Q组成。
sylvester矩阵函数(P,Q,x)中,当P和Q是多元多项式,P和Q中主要不确定的可以通过可选参数x来指定。
如果S:=sylvester矩阵(P,Q,x),n=deg(P)+deg(Q),S是一个n×n矩阵,
Sj,j+i=coeff(P,x,deg(P)-i)其中i=0…deg(P),j=1…deg(Q);
Sdeg(Q)+j,j+i=coeff(Q,x,deg(Q)-i)其中i=0…deg(Q),j=1…deg(P) [3]。
sylvester矩阵的行列式等于结式(P,Q,x)。
Maple中的sylvester结式与判别式的关系(2):http://www.youerw.com/shuxue/lunwen_201211.html