Question

20、集合M是具有以下性质的函数f（x）的全体：对任意的s＞0，t＞0，都有f（s）＞0，f（t）＞0，且f（s）+f（t）＜f（s+t）．
（1）试判断函数f₁（x）=log₂（x+1），f₂（x）=2^x-1是否属于M；
（2）证明：对任意的x＞0，x+m＞0（m∈R，m≠0），m[f（x+m）-f（x）]＞0；
（3）证明：对于任意给定的正数ε＞0，总存在正数δ＞0，当x∈（0，δ]时，f（x）＜ε．

Answer 1

分析：（1）对于函数f₁（x）=log₂（x+1），直接代入验证，对于函数f₂（x）=2^x-1，通过f₂（s）+f₂（t）-f₂（s+t）验证；（2）令x+m=s，x=t，则s＞0，t＞0，不妨设s＞t＞0，则有f（s）-f（t）＞f（s-t）＞0，从而结论成立；
（3）利用（2）的结论：函数为单调增函数，即可证得．

解答：解：（1）对于函数f₁（x）=log₂（x+1），f₁（s）+f₁（t）=log₂（s+1）+log₂（t+1）=log₂（s+1）（t+1）=log₂（st+s+t+1）＜f₁（s+t）；对于函数f₂（x）=2^x-1，f₂（s）+f₂（t）-f₂（s+t）=2^s-1+2^t-1-2^s+t+1=（2^s-1）（1-2^{t），∵s＞0，t＞0}，∴f₂（s）+f₂（t）-f₂（s+t）＜0，故函数f₁（x）=log₂（x+1），f₂（x）=2^x-1属于M；
（2）证明：令x+m=s，x=t，则s＞0，t＞0，不妨设s＞t＞0，则有f（s）-f（t）＞f（s-t）＞0．从而有（s-t）[f（s）-f（t）]＞0，故结论成立；
（3）由（2）知，函数为单调增函数，所以有总存在正数δ＞0，当x∈（0，δ]时，f（x）≤f（δ）＜ε．

点评：本题考查新定义，求解的关键是，认识新定义反映出的本质，充分利用好所给的性质，属于中档题．