三、代数方程的根的隔离

[傅立叶-布当判别法] f(x)=0为实系数n次代数方程,a,b为二实数,适合a<bf(a)0,f(b)0,f(x)的各阶导数为

f(x),(x),L ,f (n)(x)

若序列 { f(a),(a),L ,f (n)(a)}

的变号次数*p,序列

{ f(b),(b),L ,f (n)(b)}

的变号次数为q,则pq,且ab之间的f(x)=0的实根个数(一个k重根按k个根计算)等于pq,或者比pq少一个正偶数.

特别,当p-q=0时,(a,b)内无实根,当pq=1时,(a,b)内只有一个实根.

[笛卡儿符号法则]

f(x)=a0xn+a1xn-1+L +an=0 (a00,an0)

为实系数n次代数方程,若系数序列

{a0,a1,L ,an}

的变号次数为p,则方程f(x)=0的正根个数(一个k重根按k个根计算)等于p,或者比p少一个正偶数.

特别,当p=0时,无正根,当p=1时,有且仅有一个单正根.

上面两个定理没有解答这样的问题:一个给定的实系数方程是否有实根,有几个实根,并且在给定的区间(a,b)内有几个实根.斯图姆解决了这些问题.

[斯图姆判别法] f(x)为区间(a,b)内的无重根的实系数多项式,a,b为二实数,适合a<b,f(a)0,f(b)0,f0(x)表示f(x),以f1(x)表示f(x)的导数(x).f1(x)f(x),并以f2(x)表示由这个除法所得到的余式反号后的多项式,然后用f2(x)f1(x),并以f3(x)表示余式反号后的多项式,

(*序列的变号次数定义如下:设两个相邻数都不为零,它们的符号相反,则称两数之间有一次变号,否则变号次数为零.如果遇到零时则应考虑该数后面第一个非零数是否变号.也就是说把序列中的一切零去掉再考虑变号次数. )

这样继续下去,最后一个记作fs(x) (等于非零常数).这样得到的函数序列

{f0(x),f1(x),f2(x),L ,fs(x)} (1)

称为在区间(a,b)内以f(x), (x)为基的一个斯图姆组.

若序列

{f0(a),f1(a),f2(a),L ,fs(a)}

的变号次数为p,序列

{f0(b),f1(b),f2(b),L ,fs(b)}

的变号次数为q,则f(x)=0在区间(a,b)内的实根个数等于p-q.

应用斯图姆判别法可以查清实系数代数方程的根在实轴上的分布情况.特别,可以求出一组区间,使得每个区间内只含有方程的一个根.

关于代数方程f(z)=0的复根个数可参看第十章,§4,二的辐角原理.

[卢斯判别法] 假设实系数多项式

f(z)=zn+a1zn1+L +an1z+an

f0(t)=t na2tn2+a4tn4-a6tn6+L

f1(t)=a1tn1a3tn3+a5tn5L

为基的斯图姆组为

{f0(t),f1(t),f2(t),L ,fs(t)} (2)

f(z)=0在虚轴及右半平面上没有根的充分必要条件是:斯图姆组(2)内s=n,且每个多项式的次数比前一个低一次,首项系数都是正数.

若斯图姆组(2)内s=n,则组内每个多项式的次数比前一个低一次,f(z)=0在虚轴上没有根,在右半平面的根的个数等于首项系数组成的序列的变号次数.

f(z)=0在右半平面上没有根而在虚轴上有p个根的充分必要条件是:斯图姆组(2)内s=n-p,且每个多项式的次数比前一个低一次,首项系数都是正数,且最后的p次方程

fnp(z)=0p个实根.这些实根就是f(z)=0在虚轴上的p个根的虚部.

如果考虑f(z)=0在单位圆上和单位圆外的根数问题,只要作线性变换

z=

化为对g()=0在虚轴上和右半平面上根数的讨论.对此用卢斯判别法可以解决.

[胡尔威茨判别法] 实系数多项式

f(z)=zn+a1zn1+L +an

的一切根都位于左半平面上的充分必要条件是系数a1>0,并且多项式

f0(t)=tna2tn2+a4tn4+L

f1(t)=a1tn1a3tn3+a5tn5L

的根都是互相间隔的实根.