请列出一个最难相信但确实有根式解的一元五次方程？ 第1页
1
huang-de-ping-82 网友的相关建议:
------------------- 21-12-13 更新 -------------------
自己打破自己的“标准”。
有一个系数相对简单，但并不是整数的例子（当然可以化为整数，但系数就太大了些）
方程 的实根是
四个有理数的五次方根之和，形式上比其余一堆根号5的解简洁多了。
------------------- 原答案 --------------------------
给“最难相信”定几个标准：
- 方程在有理域不可约
- 系数是整数，而且尽可能小
- 不能是 这种平凡的形式
有了以上标准，可以给出以下几个例子
- 当方程为 时，解为
这个方程的构造还相对容易，注意到第一个解满足 这种形式。
接下来这类方程的求根公式就没那么容易了。
2. 方程为 时，解为
参考资料
1991,D.S. Dummit, Solving Solvable Quintics
da-ba-li-bi-na-ou-guan 网友的相关建议:
这个不难吧，构造一个（x+a）×（bx^4+cx^3+dx^2+ex+f）=0，其中abcdef均为有理数，那这个方程必然根式可解不管这几个系数多大
Huxley-84-43 网友的相关建议:
估算一个上界。思路是每一轮都寻求一条最短线段，将当前包含天使的多边形，按面积等分成两个新的子多边形。再假设天使的运气足够好，每次都瞬移到等分效率较低的子多边形。
直观看出，取平行于正三角形一条边的线段来等分其面积，等分效率最高。令此线段长度 ，三角形边长 ，则：
这样，初始正三角形被分成一个新的小正三角形和一个等腰梯形，易见等腰梯形的等分效率远高于新的小正三角形，于是根据假设，天使将瞬移到新的小正三角形当中。如此循环，至于无穷，天使将被锁定在初始正三角形的一个顶点。计算魔鬼走过的耗时路程：
记魔鬼速度 ，则捉住天使的时间：
这个题目如此离散，不借助于数值离散优化不易得到全局最优解，建议大家来改进这个上界吧。
按照 @yyx 说的圆弧线等分正三角形以及后续的扇形，上界可以改进为：
1
相关话题
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
如何证明下面的群是奇数阶Abel群？
如下这个递推公式是否能直接解出来，如果不能，或者有没有更简洁的递推公式？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
如何求解 e^x=x^e 这个方程？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
请问费马大定理写成方程形式是否可以证明？
前一个讨论
下一个讨论
相关的话题
请问陪集、左陪集、商群、正规子群该如何理解？怎么样通俗易懂地向小学生介绍群论的思想？
如何简要解释为什么五次多项式方程没有根式解？
高等代数中线性变换的核的基怎么求？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
如何求解 e^x=x^e 这个方程？
高斯素数有类似于素数定理的分布律吗？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
(xⁿ - 1)/(x - 1) = y² 这个不定方程蕴含了哪些知识？
数字上加一横是什么意思？
函数方程 f(xy)=f(x)+f(y) 的严格解是什么？解是否唯一？
剩余类环的所有理想怎么求？
两条直线方程相加的几何意义是什么？
两条直线方程相加的几何意义是什么？
(xⁿ - 1)/(x - 1) = y² 这个不定方程蕴含了哪些知识？
两条直线方程相加的几何意义是什么？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
如何理解 Van-Kampen 定理？
线性方程组的解的结构怎么理解？
对于抽象代数中的这个互素后的怎么证明比较合适?
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
怎样求空间中直线绕轴旋转的方程？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
请列出一个最难相信但确实有根式解的一元五次方程？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
负数与负数相乘为什么会得正？