结式消元法 与 对可约判别法的思考的进展

明天考高代，今天必要复习！

等等，这是什么题目？

还能这样搞！

经过查阅，这是结式消元法。

一些资料记录在此：

代数方程组求解 - maTHμ - 计算机代数系统 (mathmu.github.io)

高次方程问题 - 知乎 (zhihu.com)

我立即想起了之前的关于艾森斯坦判别法的问题：我想建立多项式的平移不变量来直接判别一系列平移等价的多项式的可约性，但并不知道这个不变量该如何建立，索性我们先退而求其次——先建立尽可能多的平移不变量。

经过计算可以发现，f(x+t)的系数(bi)可以用f(x)的系数(ai)和关于t的多项式表示，

所以我们面临：

b0=f0(t)

b1=f1(t)

......

bn=fn(t)

希望建立一个多元函数g，使得g(b0,b1...bn)=g(a0,a1...an)，对于任意平移量t都成立。

当时就意识到了，这是n+1个变元关于参数t的参数方程，我们势必要在以上参数方程中消去t！这正好是一个和上图中的习题模式类似的问题，只不过此处要求消去n+1个参数表达式，所以我们希望建立多个多项式结式，来达到这n+1元参数方程的消参问题。

于是开始查阅资料

 在以上第一个链接中发现了相关描述，我们可以将这种消元法推广到n个变元的情形。

在北京邮电大学的主页上还见到了以下信息

他居然提到了这么多的结式！！！狂暴开学，看有没有我需要的。(暂时没搜到)

但是遇到了这个

 多项式组怎么求结式？ - 知乎 (zhihu.com) 

看他的描述是解决了n个多项式的结式？？(但我要先去吃饭了)