请列出一个最难相信但确实有根式解的一元五次方程？ 第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ⁿ - 1)/(x - 1) = y² 这个不定方程蕴含了哪些知识？
这个多项式问题从何入手进行求解？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
数字上加一横是什么意思？
如何证明下面的近世代数问题？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
数学上是否存在 X，使 X=X+1，且 X=X^X？即：是否存在一些情况，使方程中的 X 不能移项？
为什么感觉群论学起来比数学分析之类难好多？
前一个讨论
下一个讨论
相关的话题
能否求出n次对称群中置换的最大阶？如何简要解释为什么五次多项式方程没有根式解？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
如何证明dimQ（R）=dimQ（C）？
带有根号的微分方程应当怎么解？例如微分方程：dy/dx=根号下（x-y+3) ？
如何证明方程 x³＋y³＝2020 没有整数解？
数字上加一横是什么意思？
是否存在一个次数不低于 2 的整系数多项式，在任何素数处的取值都是素数？
请问你见过的最强的公式是什么？
怎么样通俗易懂地向小学生介绍群论的思想？
一个UFD是PID的条件是什么?
有限维线性空间的有限是怎么理解？
为什么方程 x³－1＝0 的解不是 x＝1，且 x 是 3 重根？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
如何把微信群/QQ群构造成一个阿贝尔群？
二次函数无实根的概率是多少？
为什么实系数多项式方程的虚数解总是成对出现？
请问陪集、左陪集、商群、正规子群该如何理解？
不使用范畴论，如何刻画一个线性映射是“自然”的？
请问对于一个函数方程怎样证明解是唯一的呢，比如说柯西方程真的就那一个解吗？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
请列出一个最难相信但确实有根式解的一元五次方程？
请问x=1/a*y’’’+y’这个微分方程怎么解?
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
虚数是负数的平方根，为什么是在三次方程中才出现的呢？
请问这个参数方程是怎么写出来的？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
是否存在一个次数不低于 2 的整系数多项式，在任何素数处的取值都是素数？