发现数学新定理

发现数学新定理，全面论证阿贝尔定理的错误

一元五次或更高次的一元方程没有一般的代数求根公式存在，被数学史上称之为阿贝尔定理，可惜原来是一个错误定理。下面让我来论证他的错误性。 为了让诸位更清楚我的论证过程 首先我把我的大致论证思路作一个简单介绍。我是这样想的，能不能找出一条方程求根公式的推导规律呢？结果发现完全可能，原来有二个没有被人类认识的数学新定理可以帮我们的忙。一个是同解方程判别定理。这个定理的大意是：任意二个一元高次方程，要知道它们是否互为同解方程，都可通过二个方程的系数关系来判别。判别式可通过韦达定理推算出来。判别式等于零，它们必互为同解方程。否则必不是同解方程。

第二个是公解方程式必可求定理。大意是：二个互为同解的一元高次方程，一定可推导出它们的公解方程式。后来，我就想如何利用二个数学新定理应用到一元高次方程求根公式的推导上来。结果我们把方程求根问题转移到求另一同解方程的系数问题。而另一同解方程系数有二个或二个以上，只要围绕判别式等于零的函数关系，对另一方程系数取值，都可得到和原方程有同解的方程。为使待求的同解方程的所有系数都可求出，我试图将其中一个系数通过配方的办法配成在一个括号里，那么，要达到这个目的其它系数该取什何值呢，结果解一个降了次的方程式。而配在一个括号里的那个系数可通过已求出的系数，方程移项开方的办法求出。那么同解方程就算出来了。再根据定理公解方程式必求定理算出那个相同的解。

如何推出验证二方程是否为同解方程的判别式来呢，我是这样做的，假设其中一个方程的所有根分别为未知数X1，X2，X3等等把这些未知根分别代入到另一方程等式左边，每个未知根代入的情况当成一个因式，各因式相乘再展开，展开后，把它们按阿贝尔族形式的分类排列，再通过韦达定理根与系数的关系，将未知根X1，X2，X3等等全部换算成方程的系数已知数，这样系数组成的判别式就出来了，判别式等于零时，二个方程必是同解方程。否则必不是同解方程。顺便说明一下，利用判别定理还可以对高次方程组进行快速消元。

那么第二个定理是如何推导出来的呢，我们知道二个方程之间有几种如下情况：一种是二个一元方程之间公共着多个解，即一个方程的所有解，完全存在在另一个方程中，这种情况其实就是一个方程的左边能完全整除另一方程左边。二种是一个方程和另一方程有多个或一个相同的解，但不完全含另一方程的所有解。这种情况其实就是一个方程左边不能完全整除另一方程左边，它必出现余式，而余式不是以常数出现，如果把余式写成等于零的方程，则余式等于零的方程必含有二个方程公共相同根存在，这是因为较高次方程的左边，均可化成二部分，即可整除另一方程左边的部分和剩下不可以再除的余式部分，而可整除部分用另一方程任意一根代入都是零，而余式部分却不同，它用二方程之间的任意一个同解根代入必为零，否则二个方程不存在同解，因此，余式等于零的方程中，含有二个方程的所有公共根，而此方程方次，比另一方程至少要低。第三种就是二个方程没有同解。没有同解的方程，对我们研究推导公式，无任何邦助，不再讨论。而第一种情况，我们无法降次求解，我们需要的是第二种情况。如果第二种情况下，余式等于零的方程中除含二方程同解根之外还含杂根，我们还可以消除杂根，具体方法是，把余式等于零的方程变成最高次项系数变成1的形式，而先前二个

方程中方次较低的方程左边又可以化成二部分，一部分是能整除变更后的余式方程左边，及不可再除的余式，同理，不可再除的余式取为零，变成方程式，它同样含所有同解根的，情况同前类似，以此类推，一直可推出不再含杂根的公解方程式。

因为有二个新定理可以利用，利用判别定理，我们就可以围绕判别式等于零来求另一个和原方程有同解的方程的系数，只要另一方程在通常情况下，不含原方程所有的解，则根据公解方程式必可求定理，得出一个降了次的方程式。一元三次方程和一元四次方程求根公式推导过程较简单，只要推导出它们分别与一元二次方程有同解的方程来，再通过公解方程的求法，便求出求根公式，一元五次方程要复杂很多，涉及如何将多元方程组利用多余的变量的设置化成特殊高次方程组的过程，思考这个问题我花了五年时间终于在2004年找到规律，下面是推导一元五次方程求根公式的说明。

同上理，我只要找到一个和一元五次方程有同解的一元高次方程，且这个高次方程通常情况下不包含一元五次方程所有根在内，根据公解方程必可求定理，我们就可以得出一个低于五次方的一元方程。我们假设有一个一元十一次方程和这个一元五次方程是同解方程。因此把求方程根的问题转到求另一方程系数问题，二个方程分别必可写成最高次方系数均为1的基本形式。而从高至低方程系数均用字母表示，先推导出二个方程有同解的判别式，推导过程如下；

用一元五次方程的五个未知根X1，X2，X3，X4，X5分别代入一元十一次方程左边，各根代入的情况作一个因式，共五个因式相乘，展开，按阿贝尔族的排列形式，根据韦达定理，根与系数的等量代换，所有按阿贝尔族排列的都可换算成一元五次方程的系数来表示，因此可推算出判别二方程是否为同解方程的系数组成的判别式。

在推导判别式时，一元十一次方程的系数，在每个因式中都是以一次方形式出现，五个因式相乘展开的结果必是十一元五次代数式，而X1，X2，X3，X4，X5都可变成用一元五次方程的系数来表示，围绕判别式等于零这个中心来对一元十一次方程的系数取值，都可得到与一元五次方程有同解的方程。维绕判别式等于零组成的方程来求一元十一次方程的所有系数，我可以这样做，在判别式等于零方程里，从十一个系数中选择一个系数配成特殊可解的一元五次方程形式，由因为我们有其他十个系数的值可以任我来设值，要配成特殊一元五次方形式应当没有多大问题，那么啥样的一元五次方程可以用之前人类已掌握的知识解决呢？一种是未知数全在一个括号5次方内的，第二种为系数之间有另存在一种特殊关系的，第三种是能参照一元三次方程公式创始人做法的特殊一元五次方程，通过多次尝试，淘汰前二种可能，再试一试能否变成最后那种方程。有人会问那是一种怎样的方程呢？在此我必须要介绍一下那种特殊方程，即方程的五次方项系数为1，方程四次方项和二次方项的系数是0，方程立方项系数的平方是-5倍于一次方项系数，这种特殊方程可沿用推导一元三次方公式的类似办法解决。在此顺便说明一下，有一种特殊的一元七次方程也可以利用此种办法推导公式暂且不论。由于版面不支持上标下标，会把上标下标与横标相混淆，请大家花些时间自已去验证一下。