Question

定义：对于函数f（x），x∈M⊆R，若f（x）＜f'（x）对定义域内的x恒成立，则称函数f（x）为?函数．
（Ⅰ）证明：函数f（x）=e^x1nx为?函数．
（Ⅱ）对于定义域为（0，+∞）的?函数f（x），求证：对于定义域内的任意正数x₁，x₂，…，x_n，均在f（1n（x₁+x₂+…+x_n））＞f（1nx₁）+f（1nx₂）．+…+f（1nx_n）

Answer 1

证明：（Ⅰ）∵f（x）=e^xlnx，
∴，
因为x＞0，
所以，
所以f'（x）＞f（x）
所以函数f（x）=e^x1nx为?函数．…（6分）
解：（Ⅱ）构造函数，
即g（x）在R上递增，…（8分）
所以g（ln（x₁+x₂+…x_n））＞g（lnx₁），g（lnx₁），g（ln（x₁+x₂+…+x_n））＞g（lnx₂），…，g（ln（x₁+x₂+…+x_n））＞g（lnx_n）
得到
…
相加后，得到：f（ln（x₁+x₂+…+x_n））＞f（lnx₁）+f（lnx₂）+…+f（lnx_n）．…（12分）
分析：（I）求出f（x）的导函数，得到f'（x）＞f（x），得证．
（II）构造函数，判断出g（x）在R上递增，l利用函数的单调性及不等式的性质得到证明．
点评：本题考查利用导函数的符号判断函数的单调性及考查不等式的性质，是 一道新定义的题目，是高考中的热点问题．