该式的取值范围只和M、x有关,其取值区间 [-(M+x-1) , x-M]
因为有0<t<1,0<D<1<M<x,
所以,令1>1-D=C>0 , x-M=k >0 ,1>1-t=u>0, x-1=y>0,
则,
讨论上界,
t(M-x)(1-D)-M+x+D-xD
= - ktC + k + (1-x)D
= - ktC + k - y(1-C)
= - ktC + k - y+yC , 有C<1,所以Cy<y
< - ktC + k =k(1-tC) , 因为,0<1-tC<1,所以
<k=x-M
讨论下界,
t(M-x)(1-D)-M+x+D-xD
= - ktC + k - y+yC , 因为 k= x-M >0,x>k
> - x +k -y+yC= -M-yD,因为0<D<1,所以-yD>-y
> -M-y=-(M+x-1)
话说楼主好厉害啊,这样的式子怎么构造出来的?
感谢楼下的。
顺便感受了下,其实不等式也是很严格的,出错确实是因为思维不严谨导致的。
比如,这楼的大部分同学包括我,假设了楼主知道这个式子非负即正,在一个错误基础上基本上是得不出正确
解答的。真是了不得。