Question

（2012•自貢一模）已知函數(shù)f（x）定義域?yàn)閇O，1]，且同時(shí)滿足：
①對(duì)于任意x∈[0，1]，總有f（x）≥3；
②f（1）=4；
③若x₁≥0，x₂≥0，x₁+x₂≤1，則有f（x₁+x₂）≥f（x₁）+f（x₂）-3．
（I）求f（0）的值；
（II）求函數(shù)f（x）的最大值；
（III）設(shè)數(shù)列{a_n}的前n項(xiàng)和為S_n，滿足a₁=1，S_n=-

1

2

（a_n-3），n∈N⁺．求證：f（a₁）+f（a₂）+…+f（a_n）＜3n+

3

2

．

Answer 1

分析：（I）利用賦值法，令x₁=x₂=0，結(jié)合f（x）≥3對(duì)一切x∈[0，1]恒成立，我們可以求出f（0）；
（Ⅱ）先證明f（x）在[0，1]上遞增，利用f（1）=4，即可求得f（x）的最大值為；
（Ⅲ）先求數(shù)列{a_n}的通項(xiàng)，再證明f（a_n）≤3+

1

3n-1

，利用疊加，即可證得結(jié)論．

解答：（Ⅰ）解：令x₁=x₂=0，則有f（0）≥2f（0）-3，即f（0）≤3　
又對(duì)任意任意x∈[0，1]，總有f（x）≥3，∴f（0）=3　　　　　　（3分）
（Ⅱ）解：任取x₁，x₂∈[0，1]，x₁＜x₂，則
f（x₂）=f[x₁+（x₂-x₁）]≥f（x₁）+f（x₂-x₁）-3
∵0＜x₂-x₁≤1，∴f（x₂-x₁）≥3
∴f（x₂）≥f（x₁）+3-3
∴f（x₂）≥f（x₁），即f（x）在[0，1]上遞增．
∴當(dāng)x∈[0，1]時(shí)，f（x）≤f（1）=4，∴f（x）的最大值為4　　　（6分）
（Ⅲ）證明：當(dāng)n＞1時(shí)，a_n=S_n-S_n-1=-

1

2

（a_n-3）+

1

2

（a_n-1-3），
∴

an

an-1

=

1

3

　（7分）
∴數(shù)列{a_n}是以1為首項(xiàng)，公比為

1

3

的等比數(shù)列，
∴an=

1

3n-1

　　（8分）
∵f（1）=f[3^n-1×

1

3n-1

]=f[

1

3n-1

+（3^n-1-1）×

1

3n-1

]≥f（

1

3n-1

）+f[（3^n-1-1）×

1

3n-1

]-3
即　4≥3^n-1f（

1

3n-1

）-3ⁿ+3　　　　　　　　　　　　　　　（10分）
∴f（

1

3n-1

）≤

3n+1

3n-1

=3+

1

3n-1

，
即f（a_n）≤3+

1

3n-1

，（11分）
∴f（a₁）+f（a₂）+…+f（a_n）≤（3+

1

30

）+…+（3+

1

3n-1

）=3n+

3

2

-

1

2×3n-1

＜3n+

3

2

．
∴原不等式成立　（14分）

點(diǎn)評(píng)：本題考查抽象函數(shù)，考查函數(shù)的單調(diào)性，考查函數(shù)的最值，考查數(shù)列與函數(shù)的關(guān)系，考查不等式的證明，綜合性強(qiáng)．