这道题第一次看到我脑子里冒出来的念头是五次方程没有通用的求根公式这题怕不是要硬刚数值解但再扫一眼系数——1、10、20、-4——这组数字太“整齐”了整整齐齐到像是在暗示什么。我试着因式分解试了(x²axb)(x³cx²dxe)这种常规套路折腾半天没戏。转头换个角度把x⁵10x³20x这一串看成某个展开式的“残骸”思路一下就通了。这篇文章就把我完整的求解过程、踩过的坑、验证方法、以及这类“可解五次方程”背后的套路全部写出来希望能帮你以后再看到类似题目时第一反应不是“完蛋”而是“哦又是熟悉的配方”。1. 拿到方程先别急着展开这是一道“结构题”1.1 为什么“五次方程”三个字会让人心凉半截先说个背景。初中解二次方程有求根公式三次、四次也有卡尔达诺公式、费拉里公式这些“硬解”工具但到了五次及以上数学家阿贝尔和伽罗瓦已经证明一般的五次方程没有根式解。换句话说你不可能像二次方程那样靠一堆加减乘除和开方运算把五次方程的根用一个“万能公式”表达出来。但这道题不一样。它不是“一般”的五次方程。你看它的结构x⁵ 10x³ 20x - 4 0。缺了x⁴项缺了x²项只有奇次项和常数项。这种残缺本身就是一种信号——很可能是某个特殊构造的多项式被故意“拆”成了这个形态。所以拿到这类题目第一件事不是抄起计算器而是观察系数之间的关系找“隐藏的结构”。我当时脑海中快速过了一遍常见的可解模式能因式分解成低次整系数多项式乘积、能通过换元降次、能用三角代换、能凑成某个已知展开式。逐一排除后我把注意力放在了一个技巧上设x t - 2/t。这个换元看起来有点突兀但它背后的逻辑完全可以讲清楚。1.2 从系数里读出“隐藏结构”来我们把目光锁定在这组系数上1, 10, 20, -4。0次项是-4这个4很有说法。如果做了换元x t - a/t那么a的选取通常和常数项有密切关系。我想要的是一个“干净的”关于t的高次方程最好能在换元后让中间项全部抵消只剩t⁵和1/t⁵以及常数项然后变成关于t⁵的二次方程——那就直接解出来了。试一下x t - 2/t。为什么要选2因为常数项-4里有个44的算术平方根是2。这是个经验判断但也算有据可循当常数项是-c时换元x t - c/t会把常数项吸收进t和1/t的对称结构中。更关键的是展开(t - 2/t)³和(t - 2/t)⁵时中间项的系数会按照二项式系数排列如果原方程的三次项和一次项系数恰好匹配就能完美抵消。展开给你看。设x t - 2/t那么x³ t³ - 3t²·(2/t) 3t·(4/t²) - 8/t³ t³ - 6t 12/t - 8/t³x⁵ t⁵ - 10t³ 40t - 80/t 80/t³ - 32/t⁵看到这儿你应该已经有点感觉了x³展开后有t³、-6t、12/t、-8/t³x⁵展开后有t⁵、-10t³、40t、-80/t、80/t³、-32/t⁵。如果x⁵这一长串和10x³、20x叠加那些t³项、t项、1/t项、1/t³项能不能正好抵掉我们来验算。2. 核心代换为什么偏偏是x t - 2/t2.1 代换背后的“系数匹配”原理很多人学换元法只记住了“令x t - 2/t”但不理解为什么这个换元能成立。其实关键在于换元之后原方程关于x的多项式会变成一个关于t的分式方程而设计好的系数能让分式方程的分母“集体消失”只在最后留下t⁵和1/t⁵两项。我手把手算一遍10x³ 10t³ - 60t 120/t - 80/t³20x 20t - 40/t把x⁵、10x³、20x、-4全部加起来这一步在原方程里就是x⁵10x³20x-4t⁵项只有一个t⁵t³项来自x⁵的是-10t³来自10x³的是10t³直接抵消t项来自x⁵的是40t来自10x³的是-60t来自20x的是20t40-60200又抵消1/t项来自x⁵的是-80/t来自10x³的是120/t来自20x的是-40/t-80120-400抵消1/t³项来自x⁵的是80/t³来自10x³的是-80/t³抵消1/t⁵项只有-32/t⁵常数项-4把剩下的合起来x⁵ 10x³ 20x - 4 t⁵ - 32/t⁵ - 4所以原方程就被等价地改写成了t⁵ - 32/t⁵ - 4 0这个结果是不是特别漂亮五次方程只剩了三个“零件”。因为关于t的其他所有项都被系数设计抵消掉了题目里的10和20不是随便写的它们恰好让t³、t、1/t、1/t³的系数全部归零最终逼迫方程“现出原形”。2.2 为什么是“二次方程降维打击”拿到t⁵ - 32/t⁵ - 4 0之后它的结构就非常清晰了。分母不能为零t0显然不满足原方程实际上原方程x的根可能对应t的某个取值但t0会导致xt-2/t无意义所以不用担心两边同时乘以t⁵t¹⁰ - 4t⁵ - 32 0如果你把t⁵看成一个整体y那就是y² - 4y - 32 0。一元二次方程求根公式一上y (4 ± √(16128)) / 2 (4 ± 12) / 2所以y 8或y -4即t⁵ 8或t⁵ -4。这一步是整个解法的“降维打击”时刻一个五次方程经过换元变成了一个关于t⁵的二次方程。这也解释了为什么我们说这道题是“可解”的——它本质上是一个披着五次方程外衣的二次方程。3. 完整求根实录从t到x的五步走3.1 求解t⁵ 8五个复数根一个都不能少t⁵ 8写成复数的极坐标形式是t⁵ 8e^{i·0}。一个复数的五次方根在复数平面上均匀分布在以原点为圆心、半径是8^{1/5}的圆上辐角间隔2π/5。8^{1/5} 2^{3/5}因为8 2³开五次方就是2^{3/5}。于是t_k 2^{3/5} · e^{2πik/5}k 0, 1, 2, 3, 4这里e^{2πik/5}就是五次单位根。如果你习惯写成三角函数形式那就是2^{3/5}(cos(2kπ/5) i·sin(2kπ/5))。这一步很多人容易漏掉复数根只取k0那个实根t 2^{3/5}。但原方程x⁵10x³20x-4是五次多项式在复数域上一共有五个根计重数所以t也必须取满五个根最后回代才能得到x的全部五个根。3.2 求解t⁵ -4注意辐角的“偏移”再看t⁵ -4。写成极坐标-4 4e^{iπ}因为模长是4辐角是π。所以五个根为t_k 4^{1/5} · e^{i(π 2πk)/5} 2^{2/5} · e^{i(2k1)π/5}k 0, 1, 2, 3, 4关于这个结果有一个细节值得单独拎出来讲因为辐角里多了一个π所以实际辐角是(2k1)π/5不是2kπ/5。换句话说这五个根均匀分布在一个半径是2^{2/5}的圆上但角度是从π/5、3π/5、5π/5π、7π/5、9π/5这样走和t⁵8那组根在角度上正好错开了一个π/5的位置。这个“错开”很关键后面回代时会看到它如何保证了x根的唯一性。3.3 回代x t - 2/t为什么10个t只给出5个x现在问题来了t⁵8给了5个tt⁵-4又给了5个t一共10个t。但x是五次方程的根最多只有5个这里难道是多了不是多了而是映射t → x t - 2/t不是一对一的它有一个“二对一”的对称性。仔细看如果t是一个解那么s -2/t会怎样s也满足某个五次方程并且x(s) s - 2/s (-2/t) - 2/(-2/t) -2/t t t - 2/t x(t)所以t和-2/t这两个不同的t值回代后会给出同一个x这就是为什么10个t值最终只会产生5个不同的x。再验证一下分组关系如果t⁵ 8那么s -2/t计算s⁵s⁵ (-2/t)⁵ -32/t⁵ -32/8 -4正好落在t⁵-4那一组里。也就是说t⁵8那组里的每一个t都能对应到t⁵-4那组里的某一个s-2/t它们俩回代出同一个x。完美配对5对刚好5个x。所以最终我们可以用任意一组t来表达x。取t⁵8那组令ω e^{2πi/5}则x_k 2^{3/5}ωᵏ - 2^{2/5}ω⁻ᵏk 0, 1, 2, 3, 4这就是原方程的全部五个根。4. 验证结果用代数和数值两条路检验4.1 最优雅的验证你根本不用把x的具体值代进去每次算完题我都习惯验根。这道题有个特别优雅的验根方式不需要暴力代入x_k的复数值而是利用我们换元时的等式关系。还记得我们推导过x⁵ 10x³ 20x - 4 t⁵ - 32/t⁵ - 4如果某个x是由t回代得到的那么只要t⁵ 8就有t⁵ - 32/t⁵ - 4 8 - 32/8 - 4 8 - 4 - 4 0如果t⁵ -4同样t⁵ - 32/t⁵ - 4 -4 - 32/(-4) - 4 -4 8 - 4 0这就证明了所有从t⁵8或t⁵-4回代出来的x都是原方程的根。整个过程干净利落不需要做任何复杂的复数乘法。4.2 数值近似用牛顿法把实数根逼出来除了代数验证我还想看看这个方程的实数根到底长什么样因为原方程显然至少有一个实数根。观察f(x) x⁵ 10x³ 20x - 4它的导数f(x) 5x⁴ 30x² 20对于任意实数x5x⁴ ≥ 030x² ≥ 0再加20恒大于0。所以f(x)在实数范围内严格单调递增最多只有一个实数根。而f(0) -4 0f(1) 11020-4 27 0说明这个唯一实根在(0,1)之间。用牛顿法迭代从x₀ 0.2起步x_{n1} x_n - (x_n⁵ 10x_n³ 20x_n -4) / (5x_n⁴ 30x_n² 20)用一段简单的Python代码就能跑出高精度结果x 0.2 for i in range(5): f x**5 10*x**3 20*x - 4 fp 5*x**4 30*x**2 20 x x - f / fp print(x)输出的序列大致是0.196213、0.1962087、0.1962087……稳定下来。也就是说实数根约等于0.1962087。有意思的是这个数值解和我们前面精确解里的k0那一支完全吻合x₀ 2^{3/5} - 2^{2/5} ≈ 1.5157166 - 1.3195079 0.1962087两边一对照说明公式解没问题。这里的2^{3/5}-2^{2/5}就是最简洁的精确表达你不用写成一长串小数。4.3 用韦达定理验证根的对称性既然有了根的显式表达式我们还可以用韦达定理做一次“宏观”校验。原多项式是x⁵10x³20x-4它缺了x⁴项和x²项。这意味着五个根的和应该为0五个根的积应该是4因为常数项是-4对五次多项式而言常数项等于(-1)⁵×所有根的积 -e₅所以e₅4。看我们解的x_k aωᵏ - bω⁻ᵏ这里a2^{3/5}b2^{2/5}k0,1,2,3,4ω⁵1Σx_k aΣωᵏ - bΣω⁻ᵏ a·0 - b·0 0因为五个五次单位根之和为0。验证通过。再看所有根的平方和。用公式p₂ (Σx_k)² - 2Σ_{ij}x_ix_j。由于Σx_k 0而x_i x_j两两乘积之和等于多项式里x³项系数的相反数这里我直接用显式计算Σx_k² Σ(a²ω^{2k} - 2ab b²ω^{-2k}) 5·(-2ab) -10ab -10·2 -20因为Σω^{±2k}都等于02和5互质所以ω²仍然是本原五次单位根。而韦达定理告诉我们根的平方和等于e₁² - 2e₂ 0 - 2·10 -20。两边完全一致。这种验证方式能让你对“复数根”的存在和分布更有实感。5. 这类方法还能怎么用可解五次方程的套路5.1 从特殊到一般反推一个“可解五次方程”的构造法解完这道题我最大的收获不是答案本身而是看出了一个通用套路。这个方程能够求解本质上是因为它被设计成了“换元后只剩t⁵、常数项、1/t⁵”的形式。我们完全可以反过来构造一连串类似的高次方程。设x t - c/t其中c是一个待定常数。那么x的任何幂次展开后t的中间项系数都是由二项式系数和c的幂次决定的。如果想要x⁵ px³ qx - r 0这种形式的方程在换元后只剩t⁵ - c⁵/t⁵ - r 0就需要让所有中间项抵消。这会给p、q、c、r加上特定关系。用这个逻辑我们就可以设计出无穷多道“看起来很难、其实一个换元就秒杀”的题目。比如把c取成3展开(t - 3/t)⁵和10(t - 3/t)³之类的组合看看哪些系数能抵消就能配出一道新的方程。或者反过来给你任意一个方程你可以先试着找是否存在c使得x t - c/t换元后中间项都消掉。这个找c的过程本质上是在解一个“方程组的匹配问题”。所以以后再遇到x⁵ ax³ bx - c 0这种缺偶次项的五次方程不要急着放弃先试试有没有常数d使得换元x t - d/t后t³项、t项、1/t项、1/t³项能全部抵消。如果成功题目大概率就会退化成关于t⁵的二次方程。5.2 识别“隐藏二次结构”的实战信号做多了这种题我总结出几个判断标准分享给你第一方程缺了部分低次项。缺项往往意味着有对称结构比如缺x⁴、缺x²说明根的集合关于某些变换封闭。这道题就是典型的“奇次多项式常数项”换元后天然有很多抵消机会。第二系数之间存在“倍数关系”。这道题里10和20分别是1、5、2的某种组合。具体点说(t - 2/t)⁵展开后t³项系数是-10t项系数是40如果三次项系数选10一次项系数选20正好形成100%抵消。系数不是随机选的而是按展开式反推出来的。第三常数项的绝对值往往是个完全幂次数。这里的4 2²-32 (-2)⁵它们和换元参数2紧密相关。如果你看到常数项是64、125这类数配合合适的p和q很可能也是这种套路。当然不是所有“缺项五次方程”都能这么解。我试过x⁵ 7x³ 3x - 2 0折腾半天也没找到合适的c。这就像硬币的两面能解的方程背后必然有一个精心设计的结构但设计者不会让每个方程都那么好说话。5.3 遇到硬茬时的备用方案万一你真的碰到一道“设计得不够好”的方程或者考试里给的是带参数的五次方程我还有几个备用思路一是尝试因式分解。如果方程有有理根用有理根定理先筛一遍。这道题的常数项-4可能的有理根是±1、±2、±4代进去全都不行果断排除。二是尝试把x²看成整体。原方程有个特点x⁵和x³都可以提一个x出来x(x⁴10x²20) - 4 0。这虽然不能直接解但能帮助我们观察内层x⁴10x²20的判别式10²-4×1×20100-8020说明x²有实解。可惜外层还挂着一个x和-4所以这个方法在这道题里帮不上忙。三是实在不行就用数值方法。牛顿法、二分法都能得到高精度的近似解。数学上“求根”可以指精确的闭式解也可以指数值解。实际工程中数值解往往比精确解更有用。但作为解数学题找到换元那一刻的快乐是数值解给不了的。我个人在实际操作中的体会是这道题真正的难点不在计算而在于敢不敢去想“用t-2/t换元”。很多学生看到五次方程就条件反射地认为“一定没有公式解”然后放弃思考。但数学题的有趣之处恰恰在于每个看似无解的问题背后都可能藏着一个巧妙的视角转换。我建议你读完这篇文章后自己动手把这组展开重新算一遍再试着设计一道属于自己的“可解五次方程”。等你亲手把一道随机的高次方程通过换元降成二次方程你就会明白“结构”永远比“硬算”值钱。