前些时间发表了三次方程的一般求解 ,并通过了维基百科链接到了这里来,想不到带来了很多的人气,看到大家还是比较需要这方面的资料的。在此之前曾经承诺过会把4次方程的求根公式也写出来,现在终于有时间了,就此一写,希望能够为大家带来帮助。

$$ax^4+bx^3+cx^2+dx+e=0(a!=0)$$

仍然是这两句话:网上的资料中,一是缺乏描述专业数学公式的相关程序(很多网站都是这样);二是语言过于专业,不能大众化(如维基百科)。如果一开始我就去看wiki,那么我保证我到现在还不能弄懂。

话说卡丹从塔塔利亚的口中得到了三次方程的求根公式之后,他又有了一个不平凡的遭遇。一天,一个叫“费拉里”的人成为了他家中的仆人。然而,这个“仆人”却表现出了高超的数学能力,因此,卡丹和费拉里的关系很快地从主仆关系转变为师生关系。通过听卡尔达诺讲课,学习了拉丁语、希腊语和数学,后来,还作出了一项空前的成就,那就是发现了“四次方程的根式求解方法”!

分析过程:

与卡丹的三次方程解法同出一辙,费拉里先把一般的四次方程
$ax^4+bx^3+cx^2+dx+e=0$,
通过设$y=x+{b}/{4a}$,变成关于y的四次方程
$y^4+py^2+qy+r=0$ ———(A)

在这道方程中,增加一个额外的变量z,并作以下变换:
$(y^2+p+z)^2=(p+2z)y^2-qy+(p^2-r+2pz+z^2)$ ———(B)

可以证明,(A)(B)等价。

如果我们可以把(B)的右边也变成完全平方形式,那么原方程就可以变成关于y的一元二次方程了。究竟怎样才能够把(B)的右边变成我们希望的完全平方形式呢?这取决于z。

我们知道,如果存在一道二次三项式$ax^2+bx+c(a!=0)$,使得这一道二次三项式为完全平方式的充分条件为$b^2-4ac=0$。而(B)右端正是这样的一条二次三项式,因此我们不妨令
$q^2-4(p+2z)(p^2-r+2pz+z^2)=0$ ———(C)

那么就实现了我们的目的,而(C)是关于z的三次方程,是可以求解的。这样,我们求出了z后,可以把(B)两端同时开方,变为关于y的两道二次方程。这样可以求出4个y(一般情形),进而求出4个x。

因此,根式求解4次方程的一般步骤为:
1. 通过设$y=x+{b}/{4a}$,变成关于y的四次方程$y^4+py^2+qy+r=0$。
2. 解方程$q^2-4(p+2z)(p^2-r+2pz+z^2)=0$。
3. 解方程$(y^2+p+z)^2=(p+2z)y^2-qy+(p^2-r+2pz+z^2)$
4. 解方程$y=x+{b}/{4a}$。

可以想象,四次方程一般情形的求根公式会有多么的复杂!因此,似乎还没有这样的能人把这条公式写出来(或者说没有人愿意去写)!只是借助计算机写了出来

一元4次方程的4个根:
(1)

(2)

(3)

(4)

可以参考下:
http://planetmath.org/encyclopedia/QuarticFormula.html

http://www.wolframalpha.com/input/?i=a+x%5E4%2Bb+x%5E3%2Bc+x%5E2%2Bd+x%2Be+%3D+0

最后,现在看来,卡丹这个“伯乐”发现了费拉里这匹“千里马”,使得他能够在数学上绽放光彩!

转载到请包括本文地址:https://kexue.fm/archives/114

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

如果您需要引用本文,请参考:

苏剑林. (Sep. 06, 2009). 《四次方程的根式求解(通俗版) 》[Blog post]. Retrieved from https://kexue.fm/archives/114

@online{kexuefm-114,
        title={四次方程的根式求解(通俗版)},
        author={苏剑林},
        year={2009},
        month={Sep},
        url={\url{https://kexue.fm/archives/114}},
}