Page 1 / 12
一般实系数三次方程的简明新求根公式和判别法
—— 谢国芳 Email: roixie@163.com
目次
1. 一般三次方程的简化
2. 简约三次方程的解法和卡丹(Cardan)公式的推导
3. 卡丹公式的缺陷和简约实系数三次方程的新求根公式和判别法
4. 一般实系数三次方程的新求根公式和判别法
1 一般三次方程的简化
对于一般形式的三次方程
, 两边同除以
,即可化为首项系数为1的三次方程
,
然后作变量代换
, (1)
可消去二次项,将它化为下面的形式:
, (2)
其中
,
. (3)
下面我们把形如式(2)的三次方程称为简约三次方程.
2 简约三次方程的解法和卡丹(Cardan)公式的推导
在方程(2)中,设
(4)
代入并展开整理后得到
(5)
若选取
使得
,即
(6)
方程(5)就简化为
(7)
式(6)两边立方得
结合式(7)可知
是下面这个二次方程的两个根:
解得
.
鉴于
的对称性,不妨设
,
其解为
,
其中
, (
即三次单位根)
,
,
立方根
,
满足约束条件
(8)
显然只有如下的配对才能满足式(6):
,
,
代入式(4),我们就得到方程
的三个根:
(9)
这正是著名的卡丹(J. Cardan,也译作卡当或卡尔丹、卡尔达诺)公式.
3 卡丹公式的缺陷和简约实系数三次方程的新求根公式和判别法
卡丹公式在理论上解决了三次方程的求解问题,可以说是一个在数学史上赫赫有名、意义非凡的公式,但在实际应用中却遭受“冷遇”,虽然它是一个精确的求根公式,但在实际应用中人们往往宁可采用其他近似的数值方法(如二分法、牛顿切线法和各种迭代法等)而不愿意用它来求解三次方程,造成这一奇怪现象的原因在很大程度上不能不归咎于卡丹公式本身。
作为三次方程的求根公式,卡丹公式确实存在不少缺陷,大致说来有下面这几个方面:
第一,它仅仅是针对没有二次项的三次方程
的求根公式,对于一般形式的三次方程
,需要经过变换从
先求出相应参数
的值后才能套用公式求解,显然,这在实际应用中是很不方便的.(拿二次方程的情形作类比,卡丹公式相当于仅仅是没有一次项的二次方程
的求根公式,而对于一般形式的二次方程
,人们必须自行设法变换到
的形式后才能求解.)
第二,即使限于没有二次项的三次方程
,卡丹公式的复杂结构和冗长笨重的
达式也令人望而生畏,特别是对于比较复杂的数值,由于需要反复地乘方开方,计算相当繁复.
第三,当
时[1],虽然这时候方程的三个根全都是实数,但套用卡丹公式却必须计算复数的立方根,这是一件相当别扭和麻烦的事情.
针对卡丹公式的上述缺陷,下面我们将通过引入几个辅助参数将它彻底“改造”, 得到一个新的求根公式,并顺便推导出相应的根的判别法则,它们是接下去我们推导出一般三次方程
的简明求根公式和判别法的“跳板”.
定理1 对于实系数三次方程
,定义
关键比(key ratio)
, (10)
则有如下根的判别法则和求根公式:
(1) 当
时,方程有一个实根和两个共轭虚根:
(11)
其中
.
(2) 当
,
时,方程亦有一个实根和两个共轭虚根:
(12)
其中
.
(3) 当
,
时,方程有两个相等的实根(即一个二重实根)和另一个与之不等的实根,此时仍可用求根公式(12)求解.
当
时,
,代入式(12)即得
,
. (13)
当
时,
,代入式(12)即得
,
. (14)
(4) 当
,
时,方程
有三个互异的实根:
(15)
其中
.
证明: 首先我们把求根公式(9)改写一下. 由约束条件(8)可得
, 代入式(9)即得方程
的三个根为:
(16)
其中
.
(一)若
,则
代入式(16)即得式(11),显然其中的
为实根,
为共轭虚根.
(二)若
,则
(17)
下面我们分
和
两种情形讨论.
(1)若
,则
为实数,
也为实数,式(17)即
,
代入式(16)即得式(12),易见其中的
为实根,当
时
为共轭虚根,当
即
时
为两个相等的实根(参见式(13)、(14)).
(2)若
,则
,
为虚数,这时式(17)即
,
因
,故可设
(
),即
,于是
代入式(16)即得
,
显然
全都是实根,并且易证它们两两不等.
实际上可证
.
因为反余弦函数的值域为
,故由
且
可知
,
,
因此
,
,
由此即可判定各根的范围:
,
,
显然
.
4 一般实系数三次方程的新求根公式和判别法
为了将上一节我们得到的求根公式和判别法推广到一般的实系数三次方程
,只要把相应的简约三次方程
的关键比
直接用系数
表出即可.
将由式(3)给出的
值代入式(10)可得
如果约定
,则[2]
, (18)
我们可以把它称为三次方程
的关键比.
定义参数
,由式(3)可知
,故
和
的符号相反,根据定理1,并注意到
(参见式(1)),我们就得到了如下的结果[3].
一般实系数三次方程的新求根公式和判别法
对于实系数三次方程
,定义参数[4]
,
, (19)
则有如下根的判别法则和求根公式[5]:
(1) 当
时,方程有一个实根和两个共轭虚根:
(20)
其中
.
(2) 当
,
时,方程也有一个实根和两个共轭虚根:
(21)
其中
.
(3) 当
,
时,方程有一个两重实根和一个单重实根,此时仍可用求根公式(21)求解[6].
当
时,
,代入式(21)即得
,
. (22)
当
时,
,代入式(21)即得
,
. (23)
(4) 当
,
时,方程有三个互异的实根:
(24)
其中
. 我们可以把上式称为一般实系数三次方程的三角求根公式.
(5) 当
(即关键比的分母为0)时[7],方程
可以配成完全立方求解,两边同除以
,再利用
可将它改写成
解得
(25)
其中
为三次单位根(
,
).
易见当
时,
为实根.
,
为共轭虚根.
当
时,
,即方程有一个三重实根
.
例题1 判别方程
根的情况并求解.
解:
,
,
,
,
,
由
,
可知该方程有三个互异的实根,可用三角求根公式(24)求解.
,
,
,
.
例题2 判别方程
根的情况并求解.
解:
,
由
可知该方程有一个实根和两个共轭虚根,可用求根公式(20)求解.
,
,
例题3 判别方程
根的情况并求解.
解:
,
由
,
可知该方程有一个实根和两个共轭虚根,可用求根公式(21)求解.
,
,
【注解】
[1]
等价于
,
(
为由式(10)定义的关键比),即下文简约三次方程的
求根公式和判别法的情形(4).
[2] 当
时我们仍以式(18)作为关键比
的定义,这样做的好处是可以保持求根公式不变(参见注3). 倘若当
时我们把关键比
定义成式(18)的右边乘以
,则我们必须同时改变各求根公式中平方根因子
和
前面的符号(因为
,
).
[3] 虽然下面的各求根公式是在
的约定下导出的,但实际上它们对于
的情形也同样成立,只要注意在变换
下(从式(19)可见在该变换下
不变,
),由这些求根公式得到的三个根不变(虽然根的编号可能改变),就能证明这一点.
[4] 参数
(注意它和二次方程判别式
的相似性)可称为实系数三次方程
的第一判别式(first discriminant).
[5] 注意下面这几个求根公式和二次方程求根公式形式上的相似性(这很方便记忆).
[6] 也可以用三角求根公式(24)求解:当
时,
,代入可得
,
,此即式(23);当
时,
,代入可得
,
,和式(23)的差别只是根的编号不同.
[7] 这对应于简约三次方程
的一次项系数
的情形(参见式(3)).
参考文献
[1](美)斯狄瓦(John Stillwell)著;袁向东,冯绪宁译.数学及其历史[M].北京:高等教育出版社,2011.3:74~83.
[2](美)伊夫斯(Howard Eves)著;欧阳绛译.数学史概论[M].哈尔滨:哈尔滨工业大学出版社,2008.12:264~270.
[3] (美)保罗.J.纳欣(Paul J. Nahin)著;朱惠霖译.虚数的故事[M].上海:上海教育出版社,2008.12: 1~28.
[4] (美)约翰.德比希(John Derbyshire)著;冯速译.代数的历史:人类对未知量的不舍追踪[M].北京:人民邮电出版社,2010.8.
作者简介:
谢国芳,浙江绍兴人,独立语言学者和数学研究者,复旦大学物理系本科毕业,曾获李政道奖学金赴美就读于哥伦比亚大学物理系研究生院攻读理论物理,后来兴趣转向语言学和外语学习,回国从事独立的语言学和外语学习方法研究,创立了“外语解密学习法”,近年来也进行独立的数学和数学史研究,致力于外语文化和大众数学普及工作,通晓英、法、德、西、俄、日、韩等多国外语。著有《解密英语——学外语从零点到绝顶的最速路经》、《日语汉字读音规律揭秘》、《破解韩国语单词的奥秘》等,建有以传播外语和数学知识与文化为宗旨的网站“语数之光”。已发表的数学和物理论文有:
1. 《D 函数的一种初等推导及应用》(1996年01期《大学物理》)
2. 《量子角动量理论新探》(1998年06期《大学物理》)
3.
《球坐标D函数与
的傅里叶级数表示》
(2001年01期《大学物理》)
4. 《一般三次方程的简明新求根公式和根的判别法则》 (2012年第21期《数学学习与研究》)
_1400336653.unknown
_1400336718.unknown
_1400336750.unknown
_1400336782.unknown
_1400336798.unknown
_1400336806.unknown
_1400336814.unknown
_1400336818.unknown
_1400336820.unknown
_1400336822.unknown
_1422194294.unknown
_1422194295.unknown
_1400336823.unknown
_1400336821.unknown
_1400336819.unknown
_1400336816.unknown
_1400336817.unknown
_1400336815.unknown
_1400336810.unknown
_1400336812.unknown
_1400336813.unknown
_1400336811.unknown
_1400336808.unknown
_1400336809.unknown
_1400336807.unknown
_1400336802.unknown
_1400336804.unknown
_1400336805.unknown
_1400336803.unknown
_1400336800.unknown
_1400336801.unknown
_1400336799.unknown
_1400336790.unknown
_1400336794.unknown
_1400336796.unknown
_1400336797.unknown
_1400336795.unknown
_1400336792.unknown
_1400336793.unknown
_1400336791.unknown
_1400336786.unknown
_1400336788.unknown
_1400336789.unknown
_1400336787.unknown
_1400336784.unknown
_1400336785.unknown
_1400336783.unknown
_1400336766.unknown
_1400336774.unknown
_1400336778.unknown
_1400336780.unknown
_1400336781.unknown
_1400336779.unknown
_1400336776.unknown
_1400336777.unknown
_1400336775.unknown
_1400336770.unknown
_1400336772.unknown
_1400336773.unknown
_1400336771.unknown
_1400336768.unknown
_1400336769.unknown
_1400336767.unknown
_1400336758.unknown
_1400336762.unknown
_1400336764.unknown
_1400336765.unknown
_1400336763.unknown
_1400336760.unknown
_1400336761.unknown
_1400336759.unknown
_1400336754.unknown
_1400336756.unknown
_1400336757.unknown
_1400336755.unknown
_1400336752.unknown
_1400336753.unknown
_1400336751.unknown
_1400336734.unknown
_1400336742.unknown
_1400336746.unknown
_1400336748.unknown
_1400336749.unknown
_1400336747.unknown
_1400336744.unknown
_1400336745.unknown
_1400336743.unknown
_1400336738.unknown
_1400336740.unknown
_1400336741.unknown
_1400336739.unknown
_1400336736.unknown
_1400336737.unknown
_1400336735.unknown
_1400336726.unknown
_1400336730.unknown
_1400336732.unknown
_1400336733.unknown
_1400336731.unknown
_1400336728.unknown
_1400336729.unknown
_1400336727.unknown
_1400336722.unknown
_1400336724.unknown
_1400336725.unknown
_1400336723.unknown
_1400336720.unknown
_1400336721.unknown
_1400336719.unknown
_1400336686.unknown
_1400336702.unknown
_1400336710.unknown
_1400336714.unknown
_1400336716.unknown
_1400336717.unknown
_1400336715.unknown
_1400336712.unknown
_1400336713.unknown
_1400336711.unknown
_1400336706.unknown
_1400336708.unknown
_1400336709.unknown
_1400336707.unknown
_1400336704.unknown
_1400336705.unknown
_1400336703.unknown
_1400336694.unknown
_1400336698.unknown
_1400336700.unknown
_1400336701.unknown
_1400336699.unknown
_1400336696.unknown
_1400336697.unknown
_1400336695.unknown
_1400336690.unknown
_1400336692.unknown
_1400336693.unknown
_1400336691.unknown
_1400336688.unknown
_1400336689.unknown
_1400336687.unknown
_1400336670.unknown
_1400336678.unknown
_1400336682.unknown
_1400336684.unknown
_1400336685.unknown
_1400336683.unknown
_1400336680.unknown
_1400336681.unknown
_1400336679.unknown
_1400336674.unknown
_1400336676.unknown
_1400336677.unknown
_1400336675.unknown
_1400336672.unknown
_1400336673.unknown
_1400336671.unknown
_1400336661.unknown
_1400336666.unknown
_1400336668.unknown
_1400336669.unknown
_1400336667.unknown
_1400336663.unknown
_1400336665.unknown
_1400336662.unknown
_1400336657.unknown
_1400336659.unknown
_1400336660.unknown
_1400336658.unknown
_1400336655.unknown
_1400336656.unknown
_1400336654.unknown
_1400336621.unknown
_1400336637.unknown
_1400336645.unknown
_1400336649.unknown
_1400336651.unknown
_1400336652.unknown
_1400336650.unknown
_1400336647.unknown
_1400336648.unknown
_1400336646.unknown
_1400336641.unknown
_1400336643.unknown
_1400336644.unknown
_1400336642.unknown
_1400336639.unknown
_1400336640.unknown
_1400336638.unknown
_1400336629.unknown
_1400336633.unknown
_1400336635.unknown
_1400336636.unknown
_1400336634.unknown
_1400336631.unknown
_1400336632.unknown
_1400336630.unknown
_1400336625.unknown
_1400336627.unknown
_1400336628.unknown
_1400336626.unknown
_1400336623.unknown
_1400336624.unknown
_1400336622.unknown
_1400336605.unknown
_1400336613.unknown
_1400336617.unknown
_1400336619.unknown
_1400336620.unknown
_1400336618.unknown
_1400336615.unknown
_1400336616.unknown
_1400336614.unknown
_1400336609.unknown
_1400336611.unknown
_1400336612.unknown
_1400336610.unknown
_1400336607.unknown
_1400336608.unknown
_1400336606.unknown
_1400336597.unknown
_1400336601.unknown
_1400336603.unknown
_1400336604.unknown
_1400336602.unknown
_1400336599.unknown
_1400336600.unknown
_1400336598.unknown
_1400336593.unknown
_1400336595.unknown
_1400336596.unknown
_1400336594.unknown
_1400336591.unknown
_1400336592.unknown
_1400336590.unknown