| 摘 要： | 指明一个实系数多項式P(x)是否有实根常常是一件很重要的事情。我們已經有施斗姆方法能指出P(x)实根的个数,当然也指出了非实复根的个数。下面仅提出一个P(x)有非实复根的充分条件作为三角在代数上的一个应用。定理实系数多項式P(x)=x~n+a_1x~(n-1)+…++a_n当(a_1-a_3+a_5-…)~2+(1-a_2+a_4--…)~2≤1,a_n(?)0时,一定有非实复根。为了証明这个定理,我們先証明两个公式: sin(α_1+α_2+…+α_n)==cos α_1 cos α_2…cos α_n(T_1-T_3+T_5-…),(1)cos(α_1+α_2+…+α_n)==cos α_1 cos α_2…cos α_n(1-T_2+T_4-…),(2)其中T_k为tg α_1,tg α_2,…,tg α_n中每k个相乘相加k=1,2…n。为了証明公式(1),(2)采用如下的归納法:設有两个命題f(n),g(n)。1) 当f(1),g(1)都是真确的。2) 假設f(n-1),g(n-1)都是真确的,可以推出f(n),g(n)也是真确的。则对所有的自然数n,f(n),g(n)都是真确的。
|
