Question

設(shè)M是由滿足下列條件的函數(shù)f（x）構(gòu)成的集合：“①方程f（x）-x=0有實(shí)數(shù)根；②函數(shù)f（x）的導(dǎo)數(shù)f′（x）滿足0＜f′（x）＜1．”
（Ⅰ）判斷函數(shù)f(x)=

x

2

+

sinx

4

是否是集合M中的元素，并說(shuō)明理由；
（Ⅱ）令g（x）=f（x）-x，判斷g（x）的單調(diào)性（f（x）∈M）；
（Ⅲ）設(shè)x₁＜x₂，證明：0＜f（x₂）-f（x₁）＜x₂-x₁．

Answer 1

分析：（I）由求導(dǎo)公式算出f′(x)=

1

2

+

1

4

cosx，結(jié)合余弦函數(shù)的值域得到f′(x)∈[

1

4

，

3

4

]，可得f（x）滿足條件②，再由方程f （x）-x=0有實(shí)數(shù)根x=0，可得f（x）滿足條件①，由此可得函數(shù)f(x)=

x

2

+

sinx

4

是集合M中的元素．
（II）算出g'（x）=f'（x）-1，根據(jù)題意得g'（x）＜0，由此可得g（x）為單調(diào)減函數(shù)；
（III）運(yùn)用導(dǎo)數(shù)研究函數(shù)的單調(diào)性，可得f（x）為增函數(shù)且g（x）=f（x）-x為減函數(shù)，由此將x₁＜x₂代入得到f（x₁）＜f（x₂）且g（x₁）＞g（x₂），再進(jìn)行化簡(jiǎn)整理即可證出原不等式成立．

解答：解：（Ⅰ）∵f(x)=

x

2

+

sinx

4

，∴求導(dǎo)數(shù)，得f′(x)=

1

2

+

1

4

cosx，
由cosx∈[-1，1]，可得f′(x)∈[

1

4

，

3

4

]，滿足條件0＜f′（x）＜1，
又∵當(dāng)x=0時(shí)，f （0）=0，∴方程f （x）-x=0有實(shí)數(shù)根x=0．
因此，函數(shù)f(x)=

x

2

+

sinx

4

是集合M中的元素．
（Ⅱ）∵g（x）=f（x）-x，∴求導(dǎo)數(shù)得：g'（x）=f'（x）-1
∵函數(shù)f（x）的導(dǎo)數(shù)f′（x）滿足0＜f′（x）＜1，
∴g'（x）=f'（x）-1＜0，可得g（x）為單調(diào)減函數(shù)；
（Ⅲ）∵函數(shù)y=f（x）滿足f'（x）＞0，∴f（x）為增函數(shù)，
又∵x₁＜x₂，∴f（x₁）＜f（x₂），可得f（x₂）-f（x₁）＞0．
又∵由（II）的結(jié)論，得g（x）=f（x）-x為單調(diào)減函數(shù)，
∴g（x₁）＞g（x₂），可得f（x₁）-x₁＞f（x₂）-x₂，
即f（x₁）-x₁-f（x₂）+x₂＞0，整理得f（x₂）-f（x₁）＜x₂-x₁，
綜上所述，0＜f（x₂）-f（x₁）＜x₂-x₁成立．

點(diǎn)評(píng)：本題給出函數(shù)的特殊定義，判斷f(x)=

x

2

+

sinx

4

是否符合該定義，并依此定義證明不等式恒成立．著重考查了利用導(dǎo)數(shù)研究函數(shù)的單調(diào)性、運(yùn)用函數(shù)的單調(diào)性證明不等式和不等式的等價(jià)變形等知識(shí)，屬于中檔題．