一般实系数三次方程谢国芳求根公式的推导方法1（从卡丹公式出发的推导）

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