华南农业大学数学与信息学院 黄一德 田秀蓉
我们把本文的主要结果写成一个定理。
证明不等式(1),需要用到下面几条事实。
当0<t<1时,
e(1-t)<e1-t,
2-t<e1-t。
这些不等式可以直接证明,也可以参考文献 [2] 的5.3节不等式1,18,40,41。
四次多项式
p1(t)=(e-2)+(3e-2)t-3et2+et3-2et4
有两个实数根:
r'1=-0.1023,r1=0.7658
和一对共轭复根:
-0.0818-1.2962i,-0.0818+1.2962i。
当r'1<t<r1时,p1(t)>0。
六次多项式
p2(t)=3e-8+(6e-8)t-11et2+8et3-7et4+2et5-et6
有两个实数根:
r'2=-0.0175,r2=0.3591
和两对共轭复根:
0.7229-1.3983i,0.7229+1.3983i;
0.1063-1.9087i,0.1063+1.9087i。
当r'2<t<r2时,p2(t)>0。
三次多项式
p3(t)=-1+4t-4t2+2t3
有一个实数根:
r3=0.3522
和一对共轭复根:
0.8239+0.8607i,0.8239-0.8607i。
当t>r3时,p3(t)>0。
五次多项式
p4(t)=-4+19t-21t2+15t3-6t4+t5
有一个实数根:
r4=0.2832
和两对共轭复根:
0.5296-1.4198i,0.5296+1.4198i;
2.3289-0.8534i,2.3289+0.8534i。
当t>r4时,p4(t)>0。
我们不需要知道多项式p1(t),p2(t),p3(t),p4(t)的根的准确值,只需要知道r'1<r'2<0<r4<r3<r2<r1就够了。
令x1=et,0<t<1,那么a=e-tt,上条不等式可以改写为:
下面证明当0<t<1时,F'(t)<0,即证明F1(t)>0。
情形1:0<t<r2,
因此,在[r3,1]上F1(t)是减函数,从而当r3≤t<1时,F1(t)>F1(1)=0。
上面证明了当0<t<1时,F'(t)<0,所以在区间(0,1)上,F(t)是减函数,从而当0<t<1时,F(t)>F(1)=0。
所以在区间(0,1)上,f(t)是减函数,从而当0<t<1时,f(t)>f(1)=0。
把δ作用于不等式(1)的不等号两边,再开平方,即得不等式(3)。
因为函数θ(x)=eax,x∈(-∞,+∞)是增函数,所以把θ作用于不等式(3)的不等号两边,即得不等式(4)。
(1)x2-x1的上下界还有
但不等式(3)的最弱的上下界都分别比这个上下界强。
(2)x1x2和x1+x2的大小有如下关系:
利用这个不等式,可以从x1+x2的上下界得到x1x2的上下界,或从x1x2的上下界得到x1+x2的上下界。但经验证,这种方法对定理的结果几乎没有改进作用,因此本文不详细讨论这个不等式。唯一略有改进的地方是,从不等式(2)的下界可得x1x2的一个新下界:
仅当a<0.0747486400610507时,
即仅当此时,这个新下界比不等式(1)的下界好。