请列出一个最难相信但确实有根式解的一元五次方程？ 第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
相关话题
二次函数无实根的概率是多少？如果引进新的运算，一元五次方程会不会有通用的求根公式？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
一个一般的二次型等于0，这个方程应该如何求通解？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
三次方程怎么求解？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
(G/H)×H是否同构于G？
一个一般的二次型等于0，这个方程应该如何求通解？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
前一个讨论
下一个讨论
相关的话题
能否求出n次对称群中置换的最大阶？为什么感觉群论学起来比数学分析之类难好多？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
有没有休闲级别、能读懂的讲「群论」的书籍？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
如何理解抽象代数的用途？
能否彻底从代数角度定义微分和积分？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
如何求解 e^x=x^e 这个方程？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
integral domain为啥叫整环？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
虚数是负数的平方根，为什么是在三次方程中才出现的呢？
能不能定义一个数 I，与 0 的乘积等于 1？
为什么实系数多项式方程的虚数解总是成对出现？
如何证明有理数加法群不是有限生成群？
如何证明 √2 + √3 + √5 是无理数？
如何理解 Van-Kampen 定理？
如何证明方程 x³＋y³＝2020 没有整数解？
高斯素数有类似于素数定理的分布律吗？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
三次方程怎么求解？
数学中，有哪些方程和思想让你体会到了美感？
一个UFD是PID的条件是什么?
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
为什么实系数多项式方程的虚数解总是成对出现？
如何证明有理数加法群不是有限生成群？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
为什么方程 x³－1＝0 的解不是 x＝1，且 x 是 3 重根？