一元三次方程重根判别式_一元三次方程的求根公式

一元三次方程重根判别式_一元三次方程的求根公式一元二次方程的回顾和启示学过初中数学都知道对于任何一个实系数一元二次方程 通过配方可以得到 根据判别式的符号 可以判断方程实根的个数 并且可以得到求根公式要么是个不同的实根 要么是个二重实根 要么是对共轭虚根 计算重数的情况下都是个根 记两根为可以直接验证韦达定理 两根之和以及两根之积 判别式 求根公式看上去复杂 但如果把上述两式代入求根公式 注 如果

一元二次方程的回顾和启示

学过初中数学都知道对于任何一个实系数一元二次方程

equation?tex=ax%5E2%2Bbx%2Bc%3D0%2C~a+%5Cneq+0 ,通过配方可以得到

equation?tex=%5Cleft%28x%2B%5Cfrac%7Bb%7D%7B2a%7D%5Cright%29%5E2%3D%5Cfrac%7Bb%5E2-4ac%7D%7B4a%5E2%7D ,根据判别式

equation?tex=%5CDelta%3Db%5E2-4ac 的符号,可以判断方程实根的个数,并且可以得到求根公式

equation?tex=+x%3D%5Cfrac%7B-b%5Cpm%5Csqrt%7Bb%5E2-4ac%7D%7D%7B2a%7D%3D-%5Cfrac%7Bb%7D%7B2a%7D%5Cpm%5Cfrac%7B%5Csqrt%7B%5CDelta%7D%7D%7B2a%7D%5C%5C

要么是

equation?tex=2 个不同的实根

equation?tex=%5CDelta%3E0 ,要么是

equation?tex=1 个二重实根

equation?tex=%5CDelta%3D0 ,要么是

equation?tex=1 对共轭虚根

equation?tex=%5CDelta%3C0 ;计算重数的情况下都是

equation?tex=2 个根。

记两根为

equation?tex=+x_1%3D%5Cfrac%7B-b%2B%5Csqrt%7Bb%5E2-4ac%7D%7D%7B2a%7D+%2C~+x_2%3D%5Cfrac%7B-b-%5Csqrt%7Bb%5E2-4ac%7D%7D%7B2a%7D+%5C%5C

可以直接验证韦达定理:

两根之和

equation?tex=x_1%2Bx_2%3D-%5Cfrac%7Bb%7D%7Ba%7D+ 以及两根之积

equation?tex=x_1x_2%3D%5Cfrac%7Bc%7D%7Ba%7D,判别式

equation?tex=+%5CDelta%3Da%5E2%28x_1-x_2%29%5E2 .

求根公式看上去复杂,但如果把上述两式代入求根公式

equation?tex=x%3D-%5Cfrac%7Bb%7D%7B2a%7D%5Cpm%5Csqrt%7B%5Cleft%28-%5Cfrac%7Bb%7D%7B2a%7D%5Cright%29%5E2-%5Cfrac%7Bc%7D%7Ba%7D%7D%3D%5Cfrac%7Bx_1%2Bx_2%7D%7B2%7D%5Cpm%5Csqrt%7B%5Cleft%28%5Cfrac%7Bx_1-x_2%7D%7B2%7D%5Cright%29%5E2%7D%3D%5Cfrac%7Bx_1%2Bx_2%7D%7B2%7D%5Cpm%5Cfrac%7Bx_1-x_2%7D%7B2%7D%5C%5C .

注:如果

equation?tex=x_1%2C~x_2 是共轭虚根,

equation?tex=x_1-x_2 就是纯虚数,对负数

equation?tex=%5Cleft%28%5Cfrac%7Bx_1-x_2%7D%7B2%7D%5Cright%29%5E2 开方不能得到

equation?tex=%5Cfrac%7B%7Cx_1-x_2%7C%7D%7B2%7D .

几何意义:记

equation?tex=s%3D%5Cfrac%7Bx_1%2Bx_2%7D%7B2%7D%3D-%5Cfrac%7Bb%7D%7B2a%7D 是两根的平均值,乘积为

equation?tex=p%3Dx_1x_2%3D%5Cfrac%7Bc%7D%7Ba%7D . 如果

equation?tex=x_1%2C~x_2 都是实根,则

equation?tex=d%3D%5Cfrac%7B%7Cx_1-x_2%7C%7D%7B2%7D%3D%5Csqrt%7Bs%5E2-p%7D 是根到平均值的距离。

求根公式就可以改写成

equation?tex=x%3D-%5Cfrac%7Bb%7D%7B2a%7D%5Cpm%5Csqrt%7B%5Cleft%28-%5Cfrac%7Bb%7D%7B2a%7D%5Cright%29%5E2-%5Cfrac%7Bc%7D%7Ba%7D%7D%3Ds%5Cpm%5Csqrt%7Bs%5E2-p%7D%3Ds%5Cpm+d%5C%5C

两根到平均值

equation?tex=s 的距离

equation?tex=d%3D%5Cfrac%7B%7Cx_1-x_2%7C%7D%7B2%7D 还可以通过下列方式得到:

不妨设

equation?tex=x_1%3Ds%2Bd%2C~+x_2%3Ds-d ,用平方差公式得到

equation?tex=%28s%2Bd%29%28s-d%29%3Ds%5E2-d%5E2%3Dp ,立即可以算出

equation?tex=d%3D%5Csqrt%7Bs%5E2-p%7D .

可以看到在实根的情况下

equation?tex=s%3D%5Cfrac%7Bx_1%2Bx_2%7D%7B2%7D 是实数轴上两根的中点,而

equation?tex=d%3D%5Cfrac%7B%7Cx_2-x_1%7C%7D%7B2%7D 是两根到中点的距离。

如果

equation?tex=%5CDelta%3C0

equation?tex=z_1%3D-%5Cfrac%7Bb%7D%7B2a%7D%2B%5Cfrac%7B%5Csqrt%7B-%5CDelta%7D%7D%7B2a%7Di

equation?tex=z_2%3D-%5Cfrac%7Bb%7D%7B2a%7D-%5Cfrac%7B%5Csqrt%7B-%5CDelta%7D%7D%7B2a%7Di 是共轭虚根,绝对值(长度)相等

equation?tex=s%3D%5Cfrac%7Bz_1%2Bz_2%7D%7B2%7D%3D-%5Cfrac%7Bb%7D%7B2a%7D 在复平面上是

equation?tex=z_1

equation?tex=z_2 连线的中点(在实轴上),刚好对应由

equation?tex=z_1

equation?tex=z_2 作为两邻边的菱形对角线的交点,是菱形水平方向对角线的一半,而

equation?tex=d%3D%5Cpm%5Cfrac%7Bz_1-z_2%7D%7B2%7D%3D%5Cfrac%7B%5Csqrt%7B-%5CDelta%7D%7D%7B2a%7Di 是中点到两根的有向距离,是菱形竖直方向对角线的一半。

如果考虑一般的复系数一元二次方程呢?任何两个复数

equation?tex=z_1

equation?tex=z_2 都可能是方程的两根,因为由韦达定理可以构造出

equation?tex=z%5E2-%28z_1%2Bz_2%29z%2Bz_1z_2%3D0%5C%5C

所以

equation?tex=s%3D%5Cfrac%7Bz_1%2Bz_2%7D%7B2%7D 就是两根连线的中点,但不一定在实轴上,以

equation?tex=z_1

equation?tex=z_2 为邻边构成的是一个更一般的平行四边形,

equation?tex=s 是对角线的交点,是其中一条对角线的一半,而

equation?tex=d%3D%5Cpm%5Cfrac%7Bz_1-z_2%7D%7B2%7D 是交点到两根的有向距离,是另外一条对角线的一半。

一元三次方程根的构造

对于实系数一元三次方程

equation?tex=ax%5E3%2Bbx%5E2%2Bcx%2Bd%3D0%2C~a%5Cneq+0 ,自然会想能不能用配方法?

当然可以,只不过这里并不是配成完全平方而是配成完全立方:

equation?tex=x%5E3%2B%5Cfrac%7Ba%7D%7Bb%7Dx%5E2%2B%5Cfrac%7Bc%7D%7Ba%7Dx%2B%5Cfrac%7Bd%7D%7Ba%7D%3D0%5CLeftrightarrow+x%5E3%2B3%5Cleft%28+%5Cfrac%7Bb%7D%7B3a%7D%5Cright%29+x%5E2%3D-%5Cfrac%7Bc%7D%7Ba%7Dx-%5Cfrac%7Bd%7D%7Ba%7D%5C%5C

根据前两项两边同时加上

equation?tex=3+%5Cleft%28%5Cfrac%7Bb%7D%7B3a%7D%5Cright%29%5E2x

equation?tex=%5Cleft%28%5Cfrac%7Bb%7D%7B3a%7D%5Cright%29%5E3 可以把左边变成完全立方,也就是

equation?tex=%5Cleft%28x%2B%5Cfrac%7Bb%7D%7B3a%7D%5Cright%29%5E3%3D%5Cfrac%7Bb%5E2-3ac%7D%7B3a%5E2%7Dx%2B%5Cfrac%7Bb%5E3-27a%5E2d%7D%7B27a%5E3%7D+%5C%5C

这时右边等于

equation?tex=%5Cfrac%7Bb%5E2-3ac%7D%7B3a%5E2%7D%5Cleft%28x%2B%5Cfrac%7Bb%7D%7B3a%7D%5Cright%29-%5Cfrac%7Bb%5E3-3abc%7D%7B9a%5E3%7D%2B%5Cfrac%7Bb%5E3-27a%5E2d%7D%7B27a%5E3%7D%3D%5Cfrac%7Bb%5E2-3ac%7D%7B3a%5E2%7D%5Cleft%28x%2B%5Cfrac%7Bb%7D%7B3a%7D%5Cright%29%2B%5Cfrac%7B9abc-2b%5E3-27a%5E2d%7D%7B27a%5E3%7D

equation?tex=x 的一次项,不能像一元二次方程配方后可以直接开平方根得到方程的根。但这提示我们可以作变量替换

equation?tex=t%3Dx%2B%5Cfrac%7Bb%7D%7B3a%7D 把根整体平移

equation?tex=%5Cfrac%7Bb%7D%7B3a%7D 个单位,得到更简单的没有2次项的方程

equation?tex=t%5E3%2B%5Cfrac%7B3ac-b%5E2%7D%7B3a%5E2%7Dt%2B%5Cfrac%7B2b%5E3-9abc%2B27a%5E2d%7D%7B27a%5E3%7D%3D0%5C%5C

(或者用直接用待定系数法确定平移量)

equation?tex=p%3D%5Cfrac%7B3ac-b%5E2%7D%7B3a%5E2%7D%2C~q%3D%5Cfrac%7B2b%5E3-9abc%2B27a%5E2d%7D%7B27a%5E3%7D

方程简化为

equation?tex=t%5E3%2Bpt%2Bq%3D0 . 从这里可以看出,配方法能做到的只是消去比方程次数低一次的那项(次高次项),结合韦达定理可以知道,只不过是找到了方程的三个根的平均值,做一个平移,让新得到的方程的三个根的平均值为0.

这里有很多种变量替换的方法求解

equation?tex=t%5E3%2Bpt%2Bq%3D0 .

一、卡尔达诺方法(Cardano’s method)

引入两个新的变量

equation?tex=u%2C~v

equation?tex=t%3Du%2Bv,代入可得

equation?tex=%28u%2Bv%29%5E3%2Bp%28u%2Bv%29%2Bq%3D0%5CLeftrightarrow+u%5E3%2Bv%5E3%2B%283uv%2Bp%29%28u%2Bv%29%2Bq%3D0%5C%5C

equation?tex=3uv%2Bp%3D0 ,方程变为

equation?tex=u%5E3%2Bv%5E3%2Bq%3D0 .

只要

equation?tex=u%2C~v 满足

equation?tex=uv%3D-%5Cfrac%7Bp%7D%7B3%7D

equation?tex=u%5E3%2Bv%5E3%3D-q ,那么

equation?tex=t%3Du%2Bv 就是

equation?tex=t%5E3%2Bpt%2Bq%3D0 的根。

由第一个方程可得

equation?tex=v%3D-%5Cfrac%7Bp%7D%7B3u%7D ,代入第二个方程得

equation?tex=u%5E3-%5Cfrac%7Bp%5E3%7D%7B27u%5E3%7D%2Bq%3D0 .

两边同时乘以

equation?tex=u%5E3 可得

equation?tex=u%5E6%2Bqu%5E3-%5Cfrac%7Bp%5E3%7D%7B27%7D%3D0

equation?tex=u%5E3 的一元二次方程,由求根公式可得

equation?tex=u%5E3%3D-%5Cfrac%7Bq%7D%7B2%7D%5Cpm%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%2C+~v%5E3%3D-%5Cfrac%7Bq%7D%7B2%7D%5Cmp%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%5C%5C

立方根有三个,这里取其中一个

equation?tex=u%3D%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D%2B%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%5C%5C

equation?tex=uv%3D-%5Cfrac%7Bp%7D%7B3%7D 得对应的

equation?tex=v 可以表示成

equation?tex=v%3D%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D-%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%5C%5C

得到方程的一个根为

equation?tex=t_1%3Du%2Bv%3D%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D%2B%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%2B%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D-%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%5C%5C

equation?tex=%5Comega%3De%5E%7B%5Cfrac%7B2%5Cpi+i%7D%7B3%7D%7D%3D-%5Cfrac%7B1%7D%7B2%7D%2B%5Cfrac%7B%5Csqrt%7B3%7D%7D%7B2%7Di 为单位原根满足

equation?tex=%5Comega%5E3%3D1%2C~+%5Comega%5Cneq1 (

equation?tex=%5Comega%5E2%2B%5Comega%2B1%3D0 ),可以得到另外两个根分别为

equation?tex=t_2%3D%5Comega+u%2B%5Comega+%5E2v%2C~t_3%3D%5Comega%5E2u%2B%5Comega+v .

注意到

equation?tex=uv%3D-%5Cfrac%7Bp%7D%7B3%7D

equation?tex=t%3Du-%5Cfrac%7Bp%7D%7B3u%7D ,因此也可以用下面的替换来推导出求根公式:

二、韦达替换(Vieta’s substitution)

equation?tex=t%3Dw-%5Cfrac%7Bp%7D%7B3w%7D ,代入可得

equation?tex=%5Cleft%28w-%5Cfrac%7Bp%7D%7B3w%7D%5Cright%29%5E3%2Bp%5Cleft%28w-%5Cfrac%7Bp%7D%7B3w%7D%5Cright%29%2Bq%3D0%5CLeftrightarrow+w%5E3-%5Cfrac%7Bp%5E3%7D%7B27w%5E3%7D%2Bq%3D0%5C%5C

注意到

equation?tex=w%5E6%2Bqw%5E3-%5Cfrac%7Bp%5E3%7D%7B27%7D%3D0

equation?tex=w%5E3 的一元二次方程,所以

equation?tex=w%5E3%3D-%5Cfrac%7Bq%7D%7B2%7D%5Cpm%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%5CRightarrow+w%3D%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D%5Cpm%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%5C%5C

代回可得

equation?tex=t%3Dw-%5Cfrac%7Bp%7D%7B3w%7D%3D%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D%5Cpm%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%2B%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D%5Cmp%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%5C%5C

上面两种办法都通过变量替换推导求根公式,经过长期解具体方程总结得出一般规律,比如发现三次方程的根可以表示成两个立方根之和,有了这个根的形式的预判,求根公式就呼之欲出了。再后来Lagrange通过离散傅立叶变换统一求解低次方程,但这方法无法推广到5次方程。

三、拉格朗日方法(Lagrange’s Method)

对于一般的二次方程, 根可以表示为:

equation?tex=x_1%3D%5Cfrac%7B1%7D%7B2%7D%5B%28x_1%2Bx_2%29%2B%28x_1-x_2%29%5D%5C%5C

equation?tex=x_2%3D%5Cfrac%7B1%7D%7B2%7D%5B%28x_1%2Bx_2%29-%28x_1-x_2%29%5D%5C%5C

其中

equation?tex=x_1%2Bx_2 是根的对称多项式,

equation?tex=x_1-x_2 虽然本身不是,但平方后也是根的对称多项式,可以用基本对称多项式表出

equation?tex=%28x_1-x_2%29%5E2%3D%28x_1%2Bx_2%29%5E2-4x_1x_2 . 再根据韦达定理,可以推出求根公式。

equation?tex=x%3D%5Cfrac%7B1%7D%7B2%7D%5Cleft%5Bx_1%2Bx_2%5Cpm%5Csqrt%7B%28x_1-x_2%29%5E2%7D%5Cright%5D%5C%5C

对于一般的一元三次方程,记

equation?tex=%5Comega%3De%5E%7B%5Cfrac%7B2%5Cpi+i%7D%7B3%7D%7D ,根可以表示为:

equation?tex=x_1%3D%5Cfrac%7B1%7D%7B3%7D%5B%28x_1%2Bx_2%2Bx_3%29%2B%28x_1%2B%5Comega+x_2%2B%5Comega%5E2x_3%29%2B%28x_1%2B%5Comega%5E2x_2%2B%5Comega+x_3%29%5D

equation?tex=x_2%3D%5Cfrac%7B1%7D%7B3%7D%5B%28x_1%2Bx_2%2Bx_3%29%2B%5Comega%5E2%28x_1%2B%5Comega+x_2%2B%5Comega%5E2+x_3%29%2B%5Comega%28x_1%2B%5Comega%5E2x_2%2B%5Comega+x_3%29%5D

equation?tex=x_3%3D%5Cfrac%7B1%7D%7B3%7D%5B%28x_1%2Bx_2%2Bx_3%29%2B%5Comega%28x_1%2B%5Comega+x_2%2B%5Comega%5E2x_3%29%2B%5Comega%5E2%28x_1%2B%5Comega%5E2+x_2%2B%5Comega+x_3%29%5D

equation?tex=s_1%3Dx_1%2B%5Comega+x_2%2B%5Comega%5E2+x_3

equation?tex=s_2%3Dx_1%2B%5Comega%5E2+x_2%2B%5Comega+x_3 本身不是对称多项式,但两者立方后得到

equation?tex=s_1%5E3%3Dx_1%5E3%2Bx_2%5E3%2Bx_3%5E3%2B3%5Comega%28x_1%5E2x_2%2Bx_2%5E2x_3%2Bx_3%5E2x_1%29%2B3%5Comega%5E2%28x_1x_2%5E2%2Bx_2x_3%5E3%2Bx_3x_1%5E2%29%2B6x_1x_2x_3

equation?tex=s_2%5E3%3Dx_1%5E3%2Bx_2%5E3%2Bx_3%5E3%2B3%5Comega%5E2%28x_1%5E2x_2%2Bx_2%5E2x_3%2Bx_3%5E2x_1%29%2B3%5Comega%28x_1x_2%5E2%2Bx_2x_3%5E3%2Bx_3x_1%5E2%29%2B6x_1x_2x_3

然后两者相加可得立方和

equation?tex=s_1%5E3%2Bs_2%5E3+%3D2%28x_1%5E3%2Bx_2%5E3%2Bx_3%5E3%29-3%28x_1%5E2+x_2%2B+x_1x_2%5E2%2Bx_2%5E2x_3%2Bx_2x_3%5E2%2Bx_3%5E2x_1%2Bx_3x_1%5E2%29%2B12x_1x_2x_3

是根的对称多项式,乘积

equation?tex=s_1s_2%3Dx_1%5E2%2Bx_2%5E2%2Bx_3%5E2-%28x_1x_2%2Bx_2x_3%2Bx_3x_1%29

是根的对称多项式,乘积的立方

equation?tex=s_1%5E3s_2%5E3%3D%28s_1s_2%29%5E3 也是根的对称多项式。

对于一般的一元三次方程

equation?tex=ax%5E3%2Bbx%5E2%2Bcx%2Bd%3D0%2C~a%5Cneq+0

对称多项式

equation?tex=s_1%5E3%2Bs_2%5E3

equation?tex=s_1%5E3s_2%5E3 可以由基本对称多项式

equation?tex=%5Csigma_1%3Dx_1%2Bx_2%2Bx_3%3D-%5Cfrac%7Bb%7D%7Ba%7D

equation?tex=%5Csigma_2%3Dx_1x_2%2Bx_2x_3%2Bx_3x_1%3D%5Cfrac%7Bc%7D%7Ba%7D

equation?tex=%5Csigma_3%3Dx_1x_2x_3%3D-%5Cfrac%7Bd%7D%7Ba%7D

多项式表出,因此是方程系数的多项式。

也就是存在多项式

equation?tex=P

equation?tex=Q 使得

equation?tex=s_1%5E3%2Bs_2%5E3%3DP%28a%2Cb%2Cc%2Cd%29

equation?tex=s_1%5E3s_2%5E3%3DQ%28a%2Cb%2Cc%2Cd%29 . 容易看出

equation?tex=s_1%5E3

equation?tex=s_2%5E3 是一元二次方程

equation?tex=z%5E2-Pz%2BQ%3D0 (预解式)的两根,可以用二次方程求根公式得到,再代回下列三式就可以得到三次方程的三个根:

equation?tex=x_1%3D%5Cfrac%7B1%7D%7B3%7D%5Cleft%5Bx_1%2Bx_2%2Bx_3%2B%5Csqrt%5B3%5D%7B%28x_1%2B%5Comega+x_2%2B%5Comega%5E2x_3%29%5E3%7D%2B%5Csqrt%5B3%5D%7B%28x_1%2B%5Comega+x_2%2B%5Comega%5E2x_3%29%5E3%7D%5Cright%5D

equation?tex=x_2%3D%5Cfrac%7B1%7D%7B3%7D%5Cleft%5Bx_1%2Bx_2%2Bx_3%2B%5Comega%5Csqrt%5B3%5D%7B%28x_1%2B%5Comega+x_2%2B%5Comega%5E2x_3%29%5E3%7D%2B%5Comega%5E2%5Csqrt%5B3%5D%7B%28x_1%2B%5Comega+x_2%2B%5Comega%5E2x_3%29%5E3%7D%5Cright%5D

equation?tex=x_3%3D%5Cfrac%7B1%7D%7B3%7D%5Cleft%5Bx_1%2Bx_2%2Bx_3%2B%5Comega%5E2%5Csqrt%5B3%5D%7B%28x_1%2B%5Comega+x_2%2B%5Comega%5E2x_3%29%5E3%7D%2B%5Comega%5Csqrt%5B3%5D%7B%28x_1%2B%5Comega+x_2%2B%5Comega%5E2x_3%29%5E3%7D%5Cright%5D

对于约简后的一元三次方程

equation?tex=t%5E3%2Bpt%2Bq%3D0 ,和Cardano和Vieta方法殊途同归,得到相同的求根公式。

equation?tex=t_1%3D%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D%2B%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%2B%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D-%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D

equation?tex=t_2%3D%5Comega%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D%2B%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%2B%5Comega%5E2%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D-%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D

equation?tex=t_3%3D%5Comega%5E2%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D%2B%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%2B%5Comega%5Csqrt%5B3%5D%7B-%5Cfrac%7Bq%7D%7B2%7D-%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D

equation?tex=p%2C~q 都用根表示代进去化简,可以得到平方根下的表达式为

equation?tex=%5Cbegin%7Balign%7D+%26%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D+%3D%5Cfrac%7Bt_1%5E2t_2%5E2t_3%5E2%7D%7B4%7D%2B%5Cfrac%7B%28t_1t_2%2Bt_2t_3%2Bt_3t_1%29%5E3%7D%7B27%7D%5C%5C+%3D%26%5Cfrac%7Bt_1%5E2t_2%5E2%28t_1%2Bt_2%29%5E2%7D%7B4%7D%2B%5Cfrac%7B%5Bt_1t_2-%28t_1%2Bt_2%29%5E2%5D%5E3%7D%7B27%7D%5C%5C+%3D%26%5Cfrac%7B4t_1%5E3t_2%5E3%2B15t_1%5E2t_2%5E2%28t_1%2Bt_2%29%5E2%2B12+t_1+t_2%28t_1%2Bt_2%29%5E4-4%28t_1%2Bt_2%29%5E6%7D%7B108%7D+%5Cend%7Balign%7D

equation?tex=%5Cbegin%7Balign%7D+%5CDelta%3D%26%28t_1-t_2%29%5E2%28t_2-t_3%29%5E2%28t_3-t_1%29%5E2%3D%28t_1-t_2%29%5E2%282t_2%2Bt_1%29%5E2%282t_1%2Bt_2%29%5E2%5C%5C+%3D%26%5B%28t_1%2Bt_2%29%5E2-4t_1t_2%5D%5B2%28t_1%2Bt_2%29%5E2%2Bt_1t_2%5D%5E2%5C%5C+%3D%26%5B%28t_1%2Bt_2%29%5E2-4t_1t_2%5D%5B4%28t_1%2Bt_2%29%5E4%2B4t_1t_2%28t_1%2Bt_2%29%5E2%2Bt_1%5E2t_2%5E2%5D%5C%5C+%3D%264%28t_1%2Bt_2%29%5E6-12t_1t_2%28t_1%2Bt_2%29%5E4-15t_1%5E2t_2%5E2%28t_1%2Bt_2%29%5E2-4t_1%5E3t_2%5E3+%5Cend%7Balign%7D

展开后刚好是

equation?tex=%5Cfrac%7Bq%5E2%7D%7B4%7D%2B%5Cfrac%7Bp%5E3%7D%7B27%7D 的分子的相反数,也就是

equation?tex=%5CDelta%3D-%284p%5E3%2B27q%5E2%29 ,称之为方程的判别式,可以用来判断方程是否有重根。

如果

equation?tex=%5CDelta%3D0

equation?tex=4p%5E3%2B27q%5E2%3D0 ,非实的复根一定成对出现,所以只可能是实根是重根,剩下一个根也不可能是非实的复根,所以三个根都是实根;最特殊的情况是1个三重实根(

equation?tex=p%3Dq%3D0 )。

如果

equation?tex=%5CDelta%3C0

equation?tex=4p%5E3%2B27q%5E2%3E0 ,一定是只有1个实根,两个非实的共轭复根;

如果

equation?tex=%5CDelta%3E0

equation?tex=4p%5E3%2B27q%5E2%3C0 ,一定是3个不同实根。

对于一般的三次方程

equation?tex=ax%5E3%2Bbx%5E2%2Bcx%2Bd%3D0 ,判别式

equation?tex=%5CDelta%3Da%5E4%28x_1-x_2%29%5E2%28x_2-x_3%29%5E2%28x_3-x_1%29%5E2%3D18abcd%2Bb%5E2c%5E2-27a%5E2d%5E2-4ac%5E3-4b%5E3d

四、三角解法 (Trigonometric Method) 和几何意义

如果实系数方程

equation?tex=t%5E3%2Bpt%2Bq%3D0 有三个不同的实根 (

equation?tex=%5CDelta%3E0%2C~4p%5E3%2B27q%5E2%3D-%5CDelta%3C0 ,一定有

equation?tex=p%3C0 ),用求根公式表示出来会有虚数

equation?tex=%5Csqrt%7B%5Cfrac%7Bp%5E2%7D%7B4%7D%2B%5Cfrac%7Bq%5E3%7D%7B27%7D%7D%3D%5Csqrt%7B-%5Cfrac%7B%5CDelta%7D%7B108%7D%7D%3D%5Cfrac%7Bi%5Csqrt%7B3%5CDelta%7D%7D%7B18%7D%5C%5C

但如果用三角函数表示出来,不仅可以避免复数,还可以看出三个根的分布。

为了利用三倍角公式

equation?tex=%5Ccos+3%5Ctheta%3D4%5Ccos%5E3%5Ctheta-3%5Ccos%5Ctheta ,待定系数可设

equation?tex=t%3Du%5Ccos%5Ctheta

代入可得

equation?tex=u%5E3%5Ccos%5E3%5Ctheta%2Bpu%5Ccos%5Ctheta%2Bq%3D0

只需要满足系数成比例,也就是

equation?tex=%5Cfrac%7Bu%5E3%7D%7Bpu%7D%3D%5Cfrac%7B4%7D%7B-3%7D ,解得

equation?tex=u%3D2%5Csqrt%7B-%5Cfrac%7Bp%7D%7B3%7D%7D%3E0 .

原方程变为

equation?tex=%5Ccos3%5Ctheta%3D4%5Ccos%5E3%5Ctheta-3%5Ccos%5Ctheta%3D%5Cfrac%7B3q%7D%7B2p%7D%5Csqrt%7B-%5Cfrac%7B3%7D%7Bp%7D%7D .

equation?tex=%5Ctheta_k%3D%5Cfrac%7B1%7D%7B3%7D%5Carccos%5Cleft%28%5Cfrac%7B3q%7D%7B2p%7D%5Csqrt%7B-%5Cfrac%7B3%7D%7Bp%7D%7D%5Cright%29-%5Cfrac%7B2k%5Cpi%7D%7B3%7D%2C~k%3D0%2C1%2C2 .

当然也可以取为

equation?tex=%5Coverline%7B%5Ctheta_k%7D%3D-%5Ctheta_k%2C+~k%3D0%2C1%2C2.

equation?tex=t_k%3D2%5Csqrt%7B-%5Cfrac%7Bp%7D%7B3%7D%7D%5Ccos%5Ctheta_k%2C+~k%3D0%2C1%2C2.

圆心在y轴上任意一点,半径为

equation?tex=r%3D2%5Csqrt%7B-%5Cfrac%7Bp%7D%7B3%7D%7D 的圆上,三个点分别对应

equation?tex=%5Ctheta_k%2C~k%3D0%2C1%2C2 ,三个根是这三个点在横轴上的投影。对于一般情形圆心需要平移

equation?tex=-%5Cfrac%7Bb%7D%7B3a%7D ,刚好在三次函数

equation?tex=y%3Dax%5E3%2Bbx%5E2%2Bcx%2Bd 图像的拐点处。

方程有3个不同的实的单根,对应函数图像与横轴的3个交点(均斜穿过横轴);函数图像有2个转折点(turning points),对应一个局部最大和一个局部最小。

五、三次函数的图像

三次函数

equation?tex=f%28x%29%3Dax%5E3%2Bbx%5E2%2Bcx%2Bd 转折点的数量取决于其导函数

equation?tex=f%27%28x%29%3D3ax%5E2%2B2bx%2Bc 的判别式

equation?tex=4b%5E2-12ac .

或者通过水平方向的平移消掉二次项和竖直方向上的拉伸压缩(或者还需要沿横轴的反射)把首项系数变为1,可以得到

equation?tex=f%28x%29%3Dx%5E3%2Bpx%2Bq

equation?tex=f%27%28x%29%3D3x%5E2%2Bp ,判别式是

equation?tex=-12p ,事实上,我们有

equation?tex=p%3D%5Cfrac%7B3ac-b%5E2%7D%7B3a%5E2%7D .

可以看出如果

equation?tex=b%5E2-3ac%3E0+~%28p%3C0%29 那么函数图像一定有两个转折点(局部最大和局部最小);

equation?tex=b%5E2-3ac%3D0 则会有一个不是转折点的临界点;

equation?tex=b%5E2-3ac%3C0 则没有临界点(没有水平切线)。

下面不妨记

equation?tex=%5CDelta%3E0 为情形(1),这种情形一定有

equation?tex=b%5E2-3ac%3E0~%284p%5E3%2B27q%5E2%3C0%5CRightarrow+p%3C0%29 ,

e.g.

equation?tex=y%3D%28x%2B1%29%28x%2B2%29%28x-3%29%3Dx%5E3-7x-6 .

equation?tex=%5CDelta%3C0 时,有一个实根和一对非实的共轭复根,对应函数图像与x轴的1个交点(斜穿过横轴);根据转折点的数量又分为三种情形

情形(2):

equation?tex=b%5E2-3ac%3E0~%284p%5E3%2B27q%5E2%3E0+~%5C%26+~p%3C0%29

2个转折点,对应一个局部最大和一个局部最小,

e.g.

equation?tex=y%3D%28x-2%29%28x%5E2%2B2x%2B3%29%3Dx%5E3-x-6

情形(3):

equation?tex=b%5E2-3ac%3D0~%284p%5E3%2B27q%5E2%3E0~%5C%26+~p%3D0%29

1个非转折点的临界点,函数在定义域

equation?tex=%5Cmathbb%7BR%7D 上单调,e.g.

equation?tex=y%3D%28x%2B1%29%28x%5E2-x%2B1%29%3Dx%5E3%2B1

equation?tex=y%3D%28x-1%29%28x%5E2%2Bx%2B1%29%3Dx%5E3-1 .

情形(4):

equation?tex=b%5E2-3ac%3C0~%284p%5E3%2B27q%5E2%3E0~%5C%26~p%3E0%29

0个临界点,函数在定义域

equation?tex=%5Cmathbb%7BR%7D 上单调,e.g.

equation?tex=y%3Dx%28x%5E2%2B1%29%3Dx%5E3%2Bx .

equation?tex=%5CDelta%3D0 时,又对应两种情况:

情形(5):

equation?tex=b%5E2-3ac%3E0~%284p%5E3%2B27q%5E2%3D0+~%5C%26+~p%3C0%29

1个二重实根和1个实单根,函数图像在二重根处与横轴相切不穿过,在单根处斜穿过,一定有两个转折点,对应一个局部最大和一个局部最小,e.g.

equation?tex=y%3D%28x-1%29%5E2%28x%2B2%29%3Dx%5E3-3x%2B2 .

情形(6):

equation?tex=b%5E2-3ac%3D0~%284p%5E3%2B27q%5E2%3D0+~%5C%26+~p%3D0%29

1个三重实根,函数图像在三重实根处与x轴相切穿过,没有转折点,函数在定义域

equation?tex=%5Cmathbb%7BR%7D 上单调,e.g.

equation?tex=y%3Dx%5E3 .

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请联系我们举报,一经查实,本站将立刻删除。

发布者:全栈程序员-站长,转载请注明出处:https://javaforall.net/201698.html原文链接:https://javaforall.net

(0)
上一篇 2026年3月20日 上午8:49
下一篇 2026年3月20日 上午8:49


相关推荐

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

关注全栈程序员社区公众号