次函数 $f(x) = ax^3 + bx^2 + cx + d$ 的图像具有一个局部极大值点 $M$ 和一个局部极小值点 $N$(当判别式 $Delta = 18abcd - 4b^3d + b^2c^2 - 4ac^3 - 27a^2d^2 > 0$ 时)。雷布钦斯基定理在此处的关键贡献在于:将复根数量与极值点-截距关系建立可视化桥梁。
顶点锁定机制
设三次函数 $f(x) = x^3 - 3x^2 + 4$,其导函数 $f'(x) = 3x^2 - 6x = 3x(x-2)$,得极值点 $x=0$(极大值 $f(0)=4$)与 $x=2$(极小值 $f(2)=0$)。考虑直线 $y = kx + 4$(截距 $d=4$):
- 当 $k = -1$(负斜率):直线通过极大值点 $(0,4)$,代入方程 $x^3 - 3x^2 + x = 0$,解得 $x=0, x=frac{3pmsqrt{13}}{2}$ → 三个实根
- 当 $k = 1$(正斜率):直线 $y = x + 4$ 在 $x=0$ 处截距仍为 $4$,但 $f(x) - (x+4) = x^3 - 3x^2 - x = x(x^2 - 3x - 1)$ → 三个实根(此处需注意:截距相同但斜率符号不决定唯一性)
可见,单纯依赖斜率符号不足以判断,必须结合极值点高度与截距的相对位置。修正后的雷布钦斯基定理三次版表述为:
“对于可导三次函数 $f(x)$,若存在直线 $y = kx + d$($d = f(0)$ 为y轴截距),使得极大值点纵坐标 $f(x_M) > d$ 且极小值点纵坐标 $f(x_N) < d$,则方程 $f(x) = kx + d$ 恰有三个实根;若 $f(x_M) < d$ 或 $f(x_N) > d$,则仅有一个实根;当任一极值点恰在直线上时,有重根。”
复根的几何解释
以方程 $x^3 - 2x^2 + x - 2 = 0$ 为例:
- 因式分解:$(x^2 + 1)(x - 2) = 0$,根为 $x=2, , x=pm i$
- 几何分析:$f(x) = x^3 - 2x^2 + x$,极值点 $x = frac{2pmsqrt{2}}{3} approx 0.19, 1.15$
- 计算极值:$f(0.19) approx 0.12 > 0$,$f(1.15) approx -0.05 < 0$ → 应有三个实根?矛盾!
问题在于:原函数应为 $f(x) = x^3 - 2x^2 + x - 2$,截距 $d = -2$。重新计算极值点:$f'(x) = 3x^2 - 4x + 1 = 0$ → $x=1, , x=frac{1}{3}$
$f(1) = -2$, $f(frac{1}{3}) = -frac{46}{27} approx -1.70$ → 两极值点纵坐标均 $< d = -2$?不成立!
正确计算:$f(1) = 1 - 2 + 1 - 2 = -2$, $f(frac{1}{3}) = frac{1}{27} - frac{2}{9} + frac{1}{3} - 2 = frac{1 - 6 + 9 - 54}{27} = -frac{50}{27} approx -1.85$
结论:$f(x_M) = -1.85 > d = -2$,$f(x_N) = -2 = d$ → 极小值点恰在直线上 → 重根!
实际因式分解:$x^3 - 2x^2 + x - 2 = (x-2)(x^2 + 1)$,无重根。矛盾根源在于:雷布钦斯基定理要求直线通过原点截距 $d$,但此处方程为 $f(x) = 0$,即 $x^3 - 2x^2 + x = 2$,对应直线 $y=2$(水平线,$k=0$)——需修正模型。
最终修正:将方程改写为 $x^3 - 2x^2 + x = 2$,左侧为三次函数,右侧为水平直线 $y=2$($k=0 geq 0$)。由于 $f(x) = x^3 - 2x^2 + x$ 的极大值 $f(frac{1}{3}) approx -1.85 < 2$,抛物线全程在直线之下 → 仅一个实根(对应 $x=2$),两复根由判别式 $Delta = -44 < 0$ 确认。
此过程揭示:雷布钦斯基定理内容-雷布钦斯基定理内涵的正确应用必须严格匹配函数-直线对,否则易陷入“形式相似陷阱”。这也解释了为何许多网友误判三次方程实根数量——他们忽略了直线斜率的隐含条件。