请列出一个最难相信但确实有根式解的一元五次方程？ 第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
相关话题
如何证明方程 x³＋y³＝2020 没有整数解？解方程的实质意义是什么？
交换环的子环是否一定是交换环？
能否彻底从代数角度定义微分和积分？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
如何看待《华裔教授发现二次方程「极简」解法：丢掉公式，全球教科书可能都要改了》？
一般五次及其以上的一元多项式方程有三角函数解吗？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
如下这个递推公式是否能直接解出来，如果不能，或者有没有更简洁的递推公式？
前一个讨论
下一个讨论
相关的话题
n整除Phi(p^n-1)，怎么证明？SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
为什么方程 x³－1＝0 的解不是 x＝1，且 x 是 3 重根？
n整除Phi(p^n-1)，怎么证明？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
请列出一个最难相信但确实有根式解的一元五次方程？
如何简要解释为什么五次多项式方程没有根式解？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
(xⁿ - 1)/(x - 1) = y² 这个不定方程蕴含了哪些知识？
如何证明有理数加法群不是有限生成群？
为什么实系数多项式方程的虚数解总是成对出现？
有限维线性空间的有限是怎么理解？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
二次函数无实根的概率是多少？
交换环的子环是否一定是交换环？
函数方程 f(xy)=f(x)+f(y) 的严格解是什么？解是否唯一？
如何证明Q[³√5]是域？
为什么函数的解被称为「根」？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
一个一般的二次型等于0，这个方程应该如何求通解？
如何简要解释为什么五次多项式方程没有根式解？
解方程的实质意义是什么？
高斯素数有类似于素数定理的分布律吗？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
integral domain为啥叫整环？
数学上是否存在 X，使 X=X+1，且 X=X^X？即：是否存在一些情况，使方程中的 X 不能移项？
由 x²+x+1=0 得到 3=0 错在何处？