请列出一个最难相信但确实有根式解的一元五次方程？ 第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/a*y’’’+y’这个微分方程怎么解?
请列出一个最难相信但确实有根式解的一元五次方程？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
为什么实系数多项式方程的虚数解总是成对出现？
二次函数无实根的概率是多少？
交换环的所有零因子和 0 组成的集合是一个理想吗？
如何证明任何有限域中的任何元素均可写成两数的平方和？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
如何证明下面的群是奇数阶Abel群？
前一个讨论
下一个讨论
相关的话题
一般五次及其以上的一元多项式方程有三角函数解吗？带有根号的微分方程应当怎么解？例如微分方程：dy/dx=根号下（x-y+3) ？
如何简要解释为什么五次多项式方程没有根式解？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
如何理解有限单群分类定理？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
(G/H)×H是否同构于G？
如何利用群论的知识解决三阶魔方？
能不能定义一个数 I，与 0 的乘积等于 1？
如何证明方程 x³＋y³＝2020 没有整数解？
请问这个参数方程是怎么写出来的？
你有没有推导过一个复杂的却「贴近生活」的公式？
数字上加一横是什么意思？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
n整除Phi(p^n-1)，怎么证明？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
如图，请问二次函数的一般公式是如何推导出来的？
有限维线性空间的有限是怎么理解？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
能不能定义一个数 I，与 0 的乘积等于 1？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
如何简要解释为什么五次多项式方程没有根式解？
(xⁿ - 1)/(x - 1) = y² 这个不定方程蕴含了哪些知识？
如何简要解释为什么五次多项式方程没有根式解？
函数方程 f(xy)=f(x)+f(y) 的严格解是什么？解是否唯一？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
问一下，这几个群是什么群，有什么性质？