三次方程是未知项总次数最高为3的整式方程,一元三次方程一般形式为
其中
是属于一个域的数字,通常这个域为R或C。
本条目只解释一元三次方程,而且简称之为三次方程。
中国唐朝数学家王孝通在武德九年(626年)前后所著的《缉古算经》中建立了25个三次多项式方程和提出三次方程实根的数值解法。
波斯数学家欧玛尔·海亚姆(1048年-1123年)通过用圆锥截面与圆相交的方法构建了三次方程的解法。他说明了怎样用这种几何方法利用三角法表得到数字式的答案。
中国南宋的数学家秦九韶在他1247年编写的《数书九章》一书中提出了高次方程的数值解法秦九韶算法,提出“商常为正,实常为负,从常为正,益常为负”的原则。
在十六世纪早期,意大利数学家费罗找到了能解一种三次方程的方法,也就是形如
的方程。事实上,如果我们允许
是复数,所有的三次方程都能变成这种形式,但在那个时候人们不知道复数。
尼科洛·塔尔塔利亚被认为是最早得出三次方程一般解的人。1553年他在一场数学竞赛中解出所有三次方程的问题。随后卡尔丹诺拜访了塔尔塔利亚请教三次方程解法并得到了启发。卡尔丹诺注意到塔尔塔利亚的方法有时需要他给复数开平方。他甚至在《数学大典》里包括了这些复数的计算,但他并不真正理解它。拉斐尔·邦贝利(Rafael Bombelli)详细地研究了这个问题,并因此被人们认为是复数的发现者。
红色字体部分为判别式
。
当
时,方程有一个实根和两个共轭复根;
当
时,方程有三个实根:当
时,方程有一个三重实根;
当
时,方程的三个实根中有两个相等;
当
时,方程有三个不等的实根。
,其中
。
若令
,则
![x_{1}=-{\frac {b}{3a}}+2{\sqrt {-\beta }}\cos \left](https://wikimedia.org/api/rest_v1/media/math/render/svg/2eff64fef380c6b55822a2d059f620320418d01d)
![x_{2}=-{\frac {b}{3a}}+2{\sqrt {-\beta }}\cos \left](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d8114ff094e6107e7d04f9033c6aaf245e223e6)
![x_{3}=-{\frac {b}{3a}}+2{\sqrt {-\beta }}\cos \left](https://wikimedia.org/api/rest_v1/media/math/render/svg/7311682e035cebd9fb4d5c2ddf85b039b0b4fb23)
令
为域,可以进行开平方或立方运算。要解方程只需找到一个根
,然后把方程
除以
,就得到一个二次方程,而我们已会解二次方程。
在一个代数封闭域,所有三次方程都有三个根。复数域就是这样一个域,这是代数基本定理的结果。
解方程步骤:
接下来,
和
是
和
的立方根,适合
,
,最后得出
。
在域
里,若
和
是立方根,其它的立方根就是
和
,当然还有
和
,其中
,是1的一个复数立方根。
因为乘积
固定,所以可能的
是
,
和
。因此三次方程的其它根是
和
。
最先尝试解的三次方程是实系数(而且是整数)。因为实数域并非代数封闭,方程的根的数目不一定是3个。所遗漏的根都在
里,就是
的代数闭包。其中差异出现于
和
的计算中取平方根时。取立方根时则没有类似问题。
可以证明实数根数目依赖于辅助方程的判别式
,
注意到实系数三次方程至少有一实根存在,这是因为非常数多项式在
和
的极限是无穷大,对奇次多项式这两个极限异号,又因为多项式是连续函数,所以从介值定理可知它在某点的值为0。
解
。
我们依照上述步骤进行:
该方程的另外两个根:
这是一个历史上的例子,因为它是邦别利考虑的方程。
方程是
。
从函数
算出判别式的值
,知道这方程有三实根,所以比上例更容易找到一个根。
前两步都不需要做,做第三步:
,
,
。
和
是
的根。这方程的判别式已算出是负数,所以只有实根。很吊诡地,这方法必须用到复数求出全是实数的根。这是发明复数的一个理由:复数是解方程必需工具,即使方程或许只有实根。
我们解出
和
。取复数立方根不同于实数,有两种方法:几何方法,用到辐角和模(把辐角除以3取模的立方根);代数方法,分开复数的实部和虚部:现设
。
得到
和
,也就是
,而
是其共轭:
。
归结得
,可以立时验证出来。
其它根是
和
,其中
。
当
是负,
和
共轭,故此
和
也是(要适当选取立方根,记得
);所以我们可确保
是实数,还有
和
。
,其中系数皆为实数。
重根判别式:
;
总判别式:
。
。
让
,得:
;
;
。
让
,得:
;
。
让
,得:
;
;
。
设![{\displaystyle y=ax^{3}+bx^{2}+cx+d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55ccfaf11d566eeb7b4fb1add8a2eb419194a258)
将其微分,可得![\frac{dy}{dx} = 3ax^2+2bx+c](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c88a7d092647d12b32cd528363f28d52f9e1694)
设
,可得
在
中的极值(极大值或极小值)
满足:
![3ax_e^2+2bx_e+c=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/4703caf83be6818bc9bd54644e5c8c7127b22331)
![x_e=\frac{-2b \pm \sqrt{4b^2-12ac}}{6a}=\frac{-b \pm \sqrt{b^2-3ac}}{3a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4fb2f39a41a377a0f79d215a2e4ce8e39e68cb8)
将
代入
,可得
的极值
:
![y_{e}=a\left({\frac {-b\pm {\sqrt {b^{2}-3ac}}}{3a}}\right)^{3}+b\left({\frac {-b\pm {\sqrt {b^{2}-3ac}}}{3a}}\right)^{2}+c\left({\frac {-b\pm {\sqrt {b^{2}-3ac}}}{3a}}\right)+d](https://wikimedia.org/api/rest_v1/media/math/render/svg/a42da8522c2b84e3a29e1a7c901b9f3c1f217ea4)
![y_e=d+\frac{2 b^3-9 a b c\pm\left(2 b^2-6a c\right) \sqrt{b^2-3 a c}}{27 a^2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04d72b0a05f79967e8e95ae692c2b39551a32a18)
![\frac{d^2y}{dx^2}=6ax+2b](https://wikimedia.org/api/rest_v1/media/math/render/svg/05735b8df9ce9dd142f982be69ec800e5cc402d1)
设
,可得
。
![x=-\frac{b}{3a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e42b5cff19054597de4974d3868654c9705efff)
由函数取极值的充分条件可知:
,
是
的极大值点;
,
是
的极小值点;
,
是
的拐点。
可知:
,
的驻点为极大值点;
,
的驻点为极小值点;
,
的驻点为拐点。