题目内容

已知定义域为[0，1]的函数f（x）同时满足：①对于任意的x∈[0，1]，总有f（x）≥0；②f（1）=1；③当x₁，x₂≥0，x₁+x₂≤1时有f（x₁+x₂）≥f（x₁）+f（x₂）．
（1）求f（0）的值；
（2）求函数f（x）的最大值；
（3）证明：当x∈（ $数学公式$ ，1]时，f（x）＜2x；当x∈[0， $数学公式$ ]时，f（x）≤ $数学公式$ f（2x）．

解：（1）令x₁=1，x₂=0，则f（1+0）≥f（1）+f（0），∴f（0）≤0，
又∵于任意的x∈[0，1]，总有f（x）≥0，∴f（0）≥0，
∴f（0）=0
（2）任取0≤x₁＜x₂≤1，可知x₂-x₁∈（0，1]，则f（x₂）-f（x₁）≥f（x₂-x₁）≥0
故f（x₂）≥f（x₁），∴定义域为[0，1]的函数f（x）为增函数，
于是当0≤x≤1时，有f（x）≤f（1）=1，
故当x=1时，f（x）有最大值1．
（3）证明：当x∈（ $\text{[math]}$ ，1]时，由（2）知f（x）≤1，而2x＞2× $\text{[math]}$ =1
∴f（x）＜2x
当x∈[0， $\text{[math]}$ ]时，2x≤1，f（2x）≥f（x）+f（x）=2f（x），
∴f（x）≤ $\text{[math]}$ f（2x）
分析：（1）利用赋值法，令x₁=1，x₂=0，利用函数性质③即可求得f（0）的值；
（2）利用函数单调性的定义，任取0≤x₁＜x₂≤1，利用性质③和①证明f（x₂）≥f（x₁），从而证明函数在定义域上为增函数，利用单调性求函数的最值即可；
（3）利用结论（2）即可证明当x∈（ $\text{[math]}$ ，1]时，f（x）＜2x，利用函数性质③即可证明当x∈[0， $\text{[math]}$ ]时，f（x）≤ $\text{[math]}$ f（2x）．
点评：本题综合考查了抽象函数表达式反映的函数性质，及利用抽象表达式求值、证明的方法，恰当的利用函数性质进行变形和放缩是解决本题的关键