Question

已知函數f（x）是在（0，+∞）上每一點處均可導的函數，若xf′（x）＞f（x）在（0，+∞）上恒成立．
（Ⅰ）①求證：函數在（0，+∞）上是增函數；
②當x₁＞0，x₂＞0時，證明：f（x₁）+f（x₂）＜f（x₁+x₂）；
（Ⅱ）已知不等式ln（x+1）＜x在x＞-1且x≠0時恒成立，求證：…．

Answer 1

解（Ⅰ）①∵，∴
∵xf′（x）＞f（x），∴g′（x）＞0在（0，+∞）上恒成立，
從而有在（0，+∞）上是增函數．
②由①知在（0，+∞）上是增函數，當x₁＞0，x₂＞0時，有，
于是有：，
兩式相加得：f（x₁）+f（x₂）＜f（x₁+x₂）
（Ⅱ）由（Ⅰ）②可知：f（x₁）+f（x₂）＜f（x₁+x₂），（x₁＞0，x₂＞0）恒成立
由數學歸納法可知：x_i＞0（i=1，2，3，…，n）時，有：f（x₁）+f（x₂）+f（x₃）+…+f（x_n）＜f（x₁+x₂+x₃+…x_n）（n≥2）恒成立
設f（x）=xlnx，則，則x_i＞0（i=1，2，3，…，n）時，x₁lnx₁+x₂lnx₂+…+x_nlnx_n＜（x₁+x₂+…+x_n）ln（x₁+x₂+…+x_n）（n≥2）（*）恒成立
令，記
又，
又，且ln（x+1）＜x
∴（x₁+x₂+…+x_n）ln（x₁+x₂+…+x_n）＜（x₁+x₂+…+x_n）ln（1-）＜-（x₁+x₂+…+x_n）＜-（-）=- （**）
將（**）代入（*）中，可知：-（）
于是
分析：（I）①先利用導數的四則運算，求函數g（x）的導函數，結合已知證明導函數g′（x）＞0在（0，+∞）上恒成立，即可證明其在（0，+∞）上是增函數；②利用①的結論，且x₁＞0，x₂＞0時，x₁+x₂＞x₁，且x₁+x₂＞x₂，得，從中解出f（x₁）、f（x₂）即可證得結論；（II）構造一個符合條件的函數f（x）=xlnx，利用（I）的結論，得x₁lnx₁+x₂lnx₂+…+x_nlnx_n＜（x₁+x₂+…+x_n）ln（x₁+x₂+…+x_n）（n≥2），令，再將放縮，即可證得所證不等式
點評：本題綜合考查了導數的四則運算，利用導數證明函數的單調性，利用函數的單調性證明不等式，以及利用函數性質構造數列證明數列不等式的方法，難度較大