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

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

等等，这是什么题目？

还能这样搞！

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

一些资料记录在此：

代数方程组求解 - 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&