请列出一个最难相信但确实有根式解的一元五次方程？ 第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
相关话题
函数方程 f(xy)=f(x)+f(y) 的严格解是什么？解是否唯一？如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
一般五次及其以上的一元多项式方程有三角函数解吗？
数学中，有哪些方程和思想让你体会到了美感？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
如何看待《华裔教授发现二次方程「极简」解法：丢掉公式，全球教科书可能都要改了》？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
一个范畴问题?
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
前一个讨论
下一个讨论
相关的话题
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？如何直观地理解群论？
一个一般的二次型等于0，这个方程应该如何求通解？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
求指教一道数列方程组问题如何做？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
请列出一个最难相信但确实有根式解的一元五次方程？
怎样求空间中直线绕轴旋转的方程？
如何求解 e^x=x^e 这个方程？
有哪些第一眼就惊艳到你的公式？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
能不能定义一个数 I，与 0 的乘积等于 1？
请问你见过的最强的公式是什么？
高等代数中线性变换的核的基怎么求？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
解方程的实质意义是什么？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
由 x²+x+1=0 得到 3=0 错在何处？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
请问你见过的最强的公式是什么？
这个一元三次方程可以得到以下式子吗，属于因式分解吗？
解方程的实质意义是什么？
高斯素数有类似于素数定理的分布律吗？
如何证明方程 x³＋y³＝2020 没有整数解？
如何证明 √2 + √3 + √5 是无理数？
114514 阶的群有哪几类？
证明在方程 20X^2-19Y^2=2019 中X与Y没有整数解?
如何证明这个群论问题？
如何简要解释为什么五次多项式方程没有根式解？