斯图姆判别法是一种用于判断一元多项式根的算法，它能够帮助我们快速确定多项式根的位置，从而方便我们进行进一步的计算。下面，我将通过实例讲解，带你一步步掌握斯图姆判别法的关键步骤。
什么是斯图姆判别法？
斯图姆判别法是一种基于多项式函数值的递推方法，通过比较连续多项式函数值的符号变化，来判断根的存在性以及根的位置。这种方法特别适用于高次多项式的根的近似求解。
斯图姆判别法的基本原理
假设我们有一个一元多项式 \(f(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0\)，其中 \(a_n \neq 0\)。我们定义一个序列 \(x_0, x_1, x_2, \ldots\)，使得 \(x_0 = 0\)，\(x_{i+1} = \frac{x_i - f(x_i)/f'(x_i)}{2}\)。其中，\(f'(x)\) 是 \(f(x)\) 的导数。
根据斯图姆判别法的原理，如果 \(f(x_i)\) 和 \(f(x_{i+1})\) 的符号相反，即 \(f(x_i)f(x_{i+1}) < 0\)，则 \(f(x)\) 在区间 \([x_i, x_{i+1}]\) 内至少有一个根。
实例讲解
假设我们要解决多项式 \(f(x) = x^3 - 2x^2 + 4x - 4\) 的根问题。
计算多项式的导数： \(f'(x) = 3x^2 - 4x + 4\)
构造初始序列： \(x_0 = 0\) \(x_1 = \frac{x_0 - f(x_0)/f'(x_0)}{2} = \frac{0 - (-4)/4}{2} = 1\)
计算 \(f(x_1)\) 和 \(f(x_2)\)： \(f(x_1) = f(1) = 1^3 - 2 \times 1^2 + 4 \times 1 - 4 = -1\) \(f(x_2) = f(1.5) = 1.5^3 - 2 \times 1.5^2 + 4 \times 1.5 - 4 = 0.875\)
判断根的存在性： 由于 \(f(x_1) = -1\) 和 \(f(x_2) = 0.875\) 符号相反，因此 \(f(x)\) 在区间 \([1, 1.5]\) 内至少有一个根。
继续迭代： \(x_3 = \frac{x_2 - f(x_2)/f'(x_2)}{2} = \frac{1.5 - 0.875/0.75}{2} \approx 1.25\) \(f(x_3) = f(1.25) = 1.25^3 - 2 \times 1.25^2 + 4 \times 1.25 - 4 \approx -0.0625\)
由于 \(f(x_2) = 0.875\) 和 \(f(x_3) = -0.0625\) 符号相反，我们可以继续迭代，直到找到一个足够接近真实根的近似值。
总结
通过以上实例讲解，我们可以看到斯图姆判别法在解决一元多项式根问题中的应用。这种方法简单易行，特别适用于高次多项式的根的近似求解。在实际应用中，我们可以根据具体问题调整迭代次数，以达到所需的精度。