对多项式的一些想法

                                        一些形象理解        

多项式是一个容器，能装n个东西，多项式的根是一些化学品，具有如下性质：单独装进去可能会损害容器原有的性质，但特定几种药品调和，就不会损害容器。 若fx是有理系数多项式，就不可能只把根号2这个根塞进去，那样容器会炸掉。但把±根号2放在一起，x²—2这个多项式就能安全盛放他俩。

多项式的约化过程可以理解为：寻找一种对根的分类，使得每一类的根都能彼此调和而不损害容器。而一个根的最小多项式也可以理解为：寻找最少的同类根来调和，使得它们能被某个尽量小的容器存放下。

       一个新想法      

 4.23同学分享了文章代数数的和差积仍然是代数数吗？ - 知乎 (zhihu.com)

受到启发，萌生了这样的想法：定义一个代数数$\alpha$的最小多项式的所有根构成的集合为包含$\alpha$的“代数共轭组”。一个代数数的代数共轭组的元素个数称为该代数数的“阶”？那么一个n阶代数数与一个m阶代数数的和、差、积、商的代数数阶各是多少？是否可以去研究代数共轭组的结构？

对于可约判别法的思考

课上学了艾森斯坦判别法，但这个判别法有着明显的弊端。贴出一点之前写下的思考。

         在此文之后，我遵循 助教的提示去查看了其他的多项式判别法，发现其中一条似乎有用：Perron判别法，它断言只要首一整系数多项式次高项占优，则有理不可约。虽然它要求了首一、整系数，但仍然很有研究的必要。这是一个和Eisenstein截然不同的判别法，E要求的是找到素数p、描述的是系数的约化性质，而Perron判别法描述的是系数的大小性质。

        那么我们瞬间来了精神：能不能去通过平移一个首一整系数多项式，使得平移后的多项式满足Perron判别法呢？如果能找到一个满足perron判别法的平移量，那么这一族多项式就都不可约了！虽然和Eisenstein一样都需要去待定平移量，但是E待定平移量后要去处理数论的约束条件，P判别法待定平移量后相当于处理一个含绝对值的多项式函数是否在某点取到正值这一分析味道的约束条件，起码，交给计算机来做的话还是后者更可行一些(?)(尽管计算机判别可约可能已经有方法了hhh，再取了解一下)

        根据一些验算，对于有理多项式f(x)=...，利用泰勒公式，它平移后的表达式其实是f(x+t)=(f在t处的k阶导数)×x^k/k!，处理这个东西有没有chance？

        关于判别法的第二点思考，来自于尤承业解析几何课本。它大意是，同一个几何图形，在坐标变换下有不同的方程，但是所有这些方程有一些不变量，表达了图形本质的特征。抓住这个不变量，就可以不把图形方程标准化而直接把握图形(二次曲线)的类型。

        那么多项式的平移就类似一个坐标变换，我们能不能找出一个多项式的平移不变量，来直接判别多项式的可约性呢？换句话说，我们要建立一个平移后的系数(当然是含有平移量t的)的表达式，使得这个表达式与t无关，我们大概率就弄成了，首先来试着做一下这件事情。

        以下是一个手稿，懒得敲出来了。

经过实验发现二次多项式中，判别式Δ=b²-4c是这样一个平移不变量，Δ的正负表征了实可约性，进一步，Δ是否是有理数的平方则表征了Q可约性。更高次数的还没试。同时容易发现，如果的多项式的根总是带有一个根号的话，那么根号里的东西大概率是随多项式的平移而不变的，因为根号不线性，根号里那一坨如果随t改变，那平移前后的根的差很难还是有理数t，平移改变的任务最好还是由求根公式中跟号外的那部分来承担。(一个猜想，不一定对。)

总的来说，第二个思路就是：对于含平移量t的系数表达式，建立一种消参方式g(a0,a1...an-1)，使得g的表达式中总与t无关，那么这或许对于判别可约是有用的。直觉上感觉这个思路可能会被Galios理论限制在次数比较低的情形下。

4.24看了一下漏掉的习题课录像，发现一个多项式的判别式其实就是满足“是多项式系数的表达式，且与平移量无关”这样一个式子。我们能基于判别式给出方程的可约性吗？(一道高代习题：三次方程的判别式的正负可以直接判出根的情况。但是次数高了恐怕判别式的正负就不那么好用)是不是需要搞多个判别式来联合判别呢？