Question

設(shè)f（x）的定義域?yàn)椋?，+∞），f（x）的導(dǎo)函數(shù)為f'（x），且對(duì)任意正數(shù)x均有f′(x)＞

f(x)

x

，
（1）判斷函數(shù)F(x)=

f(x)

x

在（0，+∞）上的單調(diào)性；
（2）設(shè)x₁，x₂∈（0，+∞），比較f（x₁）+f（x₂）與f（x₁+x₂）的大小，并證明你的結(jié)論；
（3）設(shè)x₁，x₂，…x_n∈（0，+∞），若n≥2，比較f（x₁）+f（x₂）+…+f（x_n）與f（x₁+x₂+…+x_n）的大小，并證明你的結(jié)論．

Answer 1

分析：（1）通過f′(x)＞

f(x)

x

推出

xf′(x)-f(x)

x

＞0，說明F′（x）=

xf′(x)-f(x)

x2

＞0，即可得到F(x)=

f(x)

x

在（0，+∞）上是增函數(shù)．
（2）設(shè)x₁，x₂∈（0，+∞），0＜x₁＜x₁+x₂，而F(x)=

f(x)

x

在（0，+∞）上是增函數(shù)，推出

f(x1)

x1

＜

f(x1+x2)

x1+x2

，
然后推出 f（x₁）+f（x₂）＜f（x₁+x₂）．即可．
（3）法一：類似（2）的方法通過函數(shù)的單調(diào)性證明：設(shè)₁，x₂，…x_n∈（0，+∞），f（x₁）+f（x₂）+…f（x_n）＞f（x₁+x₂+…+x_n）
法二：利用數(shù)學(xué)歸納法，利用（2）的驗(yàn)證n=2時(shí)猜想成立，然后假設(shè)n=k時(shí)猜想成立，然后證明n=k+1時(shí)猜想也成立即可．

解答：解：（1）由于f′(x)＞

f(x)

x

得，

xf′(x)-f(x)

x

＞0，而x＞0，
則xf′（x）-f（x）＞0，
則F′（x）=

xf′(x)-f(x)

x2

＞0，因此F(x)=

f(x)

x

在（0，+∞）上是增函數(shù)．
（2）由于x₁，x₂∈（0，+∞），則0＜x₁＜x₁+x₂，而F(x)=

f(x)

x

在（0，+∞）上是增函數(shù)，則F（x₁）＜F（x₁+x₂），即

f(x1)

x1

＜

f(x1+x2)

x1+x2

，
∴（x₁+x₂）f（x₁）＜x₁f（x₁+x₂）（1），同理 （x₁+x₂）f（x₂）＜x₂f（x₁+x₂）（2）
（1）+（2）得：（x₁+x₂）[f（x₁）+f（x₂）]＜（x₁+x₂）f（x₁+x₂），而x₁+x₂＞0，
因此 f（x₁）+f（x₂）＜f（x₁+x₂）．
（3）證法1：由于x₁，x₂∈（0，+∞），則0＜x₁＜x₁+x₂+…+x_n，而F(x)=

f(x)

x

在（0，+∞）上是增函數(shù)，則F（x₁）＜F（x₁+x₂+…+x_n），
即

f(x1)

x1

＜

f(x1+x2+…+xn)

x1+x2…+xn

，
∴（x₁+x₂+…+x_n）f（x₁）＜x₁f（x₁+x₂+…+x_n）
同理 （x₁+x₂+…+x_n）f（x₂）＜x₂f（x₁+x₂+…+x_n），
…，
（x₁+x₂+…+x_n）f（x_n）＜x_nf（x₁+x₂+…+x_n）
以上n個(gè)不等式相加得：（x₁+x₂+…+x_n）[f（x₁）+f（x₂）+…f（x_n）]＜（x₁+x₂+…+x_n）f（x₁+x₂+…+x_n）
而x₁+x₂+…+x_n＞0，f（x₁）+f（x₂）+…f（x_n）＜f（x₁+x₂+…+x_n）．
證法2：數(shù)學(xué)歸納法
①當(dāng)n=2時(shí)，由（2）知，不等式成立；
②當(dāng)n=k（n≥2）時(shí)，不等式f（x₁）+f（x₂）+…f（x_n）＜f（x₁+x₂+…+x_n）成立，
即f（x₁）+f（x₂）+…f（x_k）＜f（x₁+x₂+…+x_k）成立，
則當(dāng)n=k+1時(shí)，f（x₁）+f（x₂）+…f（x_k）+f（x_k+1）＜f（x₁+x₂+…+x_k）+f（x_k+1）
再由（2）的結(jié)論，f（x₁+x₂+…+x_k）+f（x_k+1）＜f[（x₁+x₂+…+x_k）+x_k+1]f（x₁+x₂+…+x_k）+f（x_k+1）＜f（x₁+x₂+…+x_k+x_k+1）
因此不等式f（x₁）+f（x₂）+…f（x_n）＜f（x₁+x₂+…+x_n）對(duì)任意n≥2的自然數(shù)均成立

點(diǎn)評(píng)：本題考查函數(shù)的單調(diào)性，函數(shù)值的大小比較，單調(diào)性的應(yīng)用，數(shù)學(xué)歸納法的應(yīng)用，注意數(shù)學(xué)歸納法的證明必須用上假設(shè)，考查邏輯推理能力，轉(zhuǎn)化思想．