最后更新: 2024-11-03 16:02 ● 参与者查看: 28 次纠错分享参与项目词条搜索

实数列的变号数

在史笃姆函数序列中, 以实数 $a$ 代 $x$, 得到一系列实常数:

$$
f(a), f_1(a), f_2(a), \ldots, f_k(a), \ldots, f_s
$$

这些数有正、有负，也可能有零. 丢开那些具体数字，只考查各项的符号，就成为一系列符号的排列，例如

$$
+\quad+\quad-\quad+\quad+\quad-\quad+\quad+-\quad-+
$$

如果在这个排列中，两个相邻的符号相反，我们就说这一排列有一个变号.整个排列中变号的总数，就叫做它的变号数. (4.13) 的变号数是 6 .

如果在实数列中含有零，那么，它的变号数就指去掉零以后，剩下的各数组成的数列的变号数. 例如

$$
++-0+2+0+\infty--
$$

的变号数，就是指

$$
+\quad+\quad+\quad+\quad-\quad+\quad-
$$

的变号数，显然它们的变号数是 5 .
给出一个多项式的史笃姆函数序列以后，用实数 $a$ 代人，得实数列

$$
f(a), f_1(a), f_2(a), \ldots, f_k(a), \ldots, f_s
$$

我们把这一数列的变号的个数记为 $W(a)$.

## （四）史笃姆定理及其证明
定理 2 (史管姆定理)
如果用 $-M, M$ 代人没有重根的多项式 $f(x)$ 的史笃姆函数序列，所得实数列的变号数分别为 $W(-M)$ 与 $W(M)$, 那么, 多项式 $f(x)$ 在 $[-M, M]$内就有 $W(-M)-W(M)$ 个实根。

例 4.19 求多项式 $f(x)=x^3-10 x+2$ 的实根个数及各个根所在的位置.
解: 由例 4.17 知 $f(a)$ 的根都在 $[-13,13]$ 之内, 又由例 4.18 知 $f(x)$ 的史笃姆函数序列为

$$
f(x)=x^3-10 x+2, \quad f_1(x)=3 x^2-10, \quad f_2(x)=10 x-8, \quad f_3=1
$$

在根界 $[-13,+13]$ 内, 取点计算变号数, 变号的情况列表如下:
 ![图片](/uploads/2024-11/efb621.jpg)
 
 从中根据史笃姆定理就可以断定, 多项式 $f(x)=x^3-10 x+2$ 共有 $W(-13)-$ $W(13)=8$ 个实根；同时还可以进一步得出，这三个实根分别在 $(-4,-3),(0,1)$ ， $(3,4)$ 三个区间之中.

以下我们分几个步骤来证明史笃姆定理。(以下供选学)
第一个问题：会不会出现类似以下的排列

$$
++\quad+0+1-
$$

即中间有一个零, 而其左右同号, 如果有这种情况, 这个零就不能随便算作正的或负的了. 我们来证明这种情况不会产生, 即:
史笃姆函数序列中以一个实常数代人，居中间出现一个零，则其左右必为一正一负，既不会出现相邻的两个零，也不会在零的左右出现两个同是正号或两个同是负号。

证明: 若以 $a$ 代人 $f_k(x)$, 得 $f_k(a)$ 为零, 则 $(x-a) \mid f_k(x)$.
此时如果又有 $f_{k+1}(x)=0$, 即 $(x-a) \mid f_{k+1}(x)$, 则 $x-a$ 为 $f_k(x)$ 与 $f_{k+1}(x)$的公因式, 由此可知 $x-a$ 也是 $f(x)$ 与 $f^{\prime}(x)$ 的公因式, 因而 $a$ 是 $f(x)$ 的重根，这与假设矛盾. 所以 $f_{k+1}(a) \neq 0$ 。同理 $f_{k-1}(a) \neq 0$ 。

又因为

$$
f_{k-1}(x)=q_k(x) f_k(x)-f_{k+1}(x)
$$

所以

$$
f_{k-1}(a)=q_k(a) f_k(a)-f_{k+1}(a)
$$

现在 $f_k(a)=0$, 所以必然有

$$
f_{k-1}(a)=-f_{k+1}(x)
$$

如果在运算过程中, $f_{k-1}(x), f_{k+1}(x)$ 乘过不同的正常数, 可能使 $f_{k+1}(x)$ 与 $f_{k-1}(a)$ 的绝对值不等，但符号总是相反的。可见一个零的左右的两个符号必相反.

第二个问题：怎么会产生变号个数的变化？当 $x$ 经过某一个 $f_k(x)$ 的根而不是 $f(x)$ 的根时，变号的个数会不会有变化？

变号数的变化来源于各个符号的变化. 若 $x$ 由 $a$ 渐增到 $b$, 完全没有经过 $f(x)$ 及 $f_k(x)$ 的任一个根（如例 4.19 中 $x$ 由 -3 增加到 -2 ，或由 -1 增加到 0 ，或由 2 增加到 3），则所有的符号都没有变，因而变号个数也不会变.

关于 $x$ 通过 $f_k(x)$ 的某一个根, 但不是 $f(x)$ 的根的情况, 我们来证明:
若 $x$ 通过 $f_k(x)$ 的某一个根, 但不是 $f(x)$ 的根时, 史笃姆函数序列的值只改变变号的位置，不改变变号的个数。

如在例 4.19 中: $x$ 从 -2 到 -1 通过 $f_1(x)$ 的根, 史笃姆函数序列的值的符号，就从

$$
+\quad+\quad-\quad+
$$

改变为 +--+

变号的位置从第 2 到第 3 改变为从第 1 到第 2 ; 但变号的个数仍是 2 .证明: $f_k(x)$ 与 $f_{k+1}(x)$ 没有公共的根, 设 $\alpha$ 是 $f_k(x)$ 的一个根, 则 $f_{k-1}(\alpha) \neq 0$, $f_{k+1}(\alpha) \neq 0$ 。我们考虑 $x$ 从 $\alpha-\varepsilon$ 经过 $\alpha$ 变到 $\alpha+\varepsilon$ 的过程, $\varepsilon$ 取得如此之小, 以至 $f_{k-1}(x), f_{k+1}(x)$ 都没有一个根在 $(\alpha-\varepsilon, \alpha+\varepsilon)$ 内, 由中间值定理这总是可行的。
$f_k(\alpha)=0$, 已证明 $f_{k-1}(\alpha)$ 与 $f_{k-2}(\alpha)$ 异号, 因此可能有下列四种情况:
 ![图片](/uploads/2024-11/8f8cee.jpg)
 可以看到, 在任何一种情况下, 史笃姆函数序列只改变变号的位置, 不改变变号的个数。

第三个问题：至此产生变号个数起变化的其他可能都已排除，那就只有一个可能会改变变号个数： $x$ 经过 $f(x)$ 的根. 因此我们就问： $x$ 从小到大渐增地变化, 每经过 $f(x)$ 的一个根时, 变号的个数如何变化呢? 以下就解决并证明这一问题。
$x$ 从小到大渐地增变化, 每通过 $f(x)$ 的一个根时, 史笃姆函数序列的值的变号就减少一个.

证明：我们只在 $f(x)$ 的根 $\alpha$ 邻近的一个区域 $(\alpha-\varepsilon, \alpha+\varepsilon)$ 内考虑 $f(x)$ 及 $f_1(x)$ (即 $\left.f^{\prime}(x)\right)$ 的局部性质. 因为 $f(x)=0$, 则 $f^{\prime}(x) \neq 0$. 我们取足够小的 $\varepsilon$,使 $f^{\prime}(x)$ 在 $(\alpha-\varepsilon, \alpha+\varepsilon)$ 内符号不变: $f^{\prime}(x)>0$ 时, $f(x)$ 递增, 这说明 $f(x)$由负变正; 反之, $f^{\prime}(x)<0$ 时, $f(x)$ 递减, 说明 $f(x)$ 由正变负. 情况列表如下:
 ![图片](/uploads/2024-11/16e33f.jpg)
 可见在任何情况下, x 从小做大每经过 $f(x)$ 的一个根, 史笃姆函数序列的值总是减少一个变号.

综合以上三条，史笃姆定理即获证。
我们在叙述求实多项式实根位置的史笃姆方法及证明史笃姆定理时都强调这样一个假设：实多项式 $f(x)$ 没有重根。对于这个条件的限制在应用上和理论上都会使我们感到不满足. 从应用上说，是否在使用史笃姆方法以前要验证 $f(x)$ 有没有重根? 从理论上说, 如果 $f(x)$ 有重根, 史笃姆定理会受到些什么损害？

我们来回答这两个问题.
第一, 从应用上说, 这个条件完全不会增加我们的计算量. 因为求史笃姆函数序列的过程实际是用辗转相除法求 $f(x)$ 及 $f^{\prime}(x)$ 的最高公因式过程. 如果 $f(x)$ 有重根, 在上述运算中必然会看出. 发现重根以后, 我们把有关因式除掉（这些因式为零时的值就是 $f(x)$ 的重根），再研究其没有重根部分的因式。这时, 多项式的次数至少降低二次, 对运算更有利.

第二，从理论上讲，如果有重根，史笃姆定理的结论同样正确，不过这时 $f_s(x)$ 是一个次数不小于 1 的多项式，不可以写成 $f_s^{\prime}$ 而计算根的个数的时候，重根 $\alpha$ 不论是多少重根，只作为 1 个根计数。即史笃姆函数序列的值在 $x$ 由小到大经过 $f(x)$ 的 $m$ 重根 $\alpha$ 时, 变号数不是减少 $m$ 个, 而是只减少 1 个.我们不另作详细证明, 只举以下一例说明.
例 4.20 求多项式

$$
f(x)=x^5-x^4-2 x^3+2 x^2+x-1=(x-1)^3(x+1)^2
$$

的史笃姆函数序列中变号的变化情况.
解: 先求 $f(x)$ 的史笃姆序列及根界

$$
\begin{aligned}
& f_1(x)=5 x^4-4 x^3-6 x^2+4 x+1=(x-1)^2(x+1)(5 x+1) \\
& f_2(x)=x^3-x^2-x+1=(x-1)^2(x+1) \\
& f_3(x)=0
\end{aligned}
$$

根界: $M=8, \quad \therefore \quad f(x)$ 的根在 $[-8,+8]$ 中. 变号情况列表如下:
 ![图片](/uploads/2024-11/2de3cf.jpg)
 可知 $f(x)$ 在 $(-2,0)$ 有一个根. （实际是二重根 -1$)$; 在 $(0,2)$ 有一个根，（实际是三重根1）。

综上所述，我们可以看到史笃姆定理可以彻底地解决实系数多项式的实根的个数、定位等问题. 因而, 史笃姆定理也被称为实数范围内的代数基本定理.

上一篇：实系数多项式实根的界和定位

下一篇：实系数多项式实根的计算

本文对您是否有用？有用 (0) 无用 (0)