已知定义域为[0，1]的函数f（x）同时满足：①对于任意的x∈[0，1]，总有f（x）≥0；②f（1）=1；③当x1，x

解题思路：（1）利用赋值法，令x1=1，x2=0，利用函数性质③即可求得f（0）的值；（2）利用函数单调性的定义，任取0≤x1＜x2≤1，利用性质③和①证明f（x2）≥f（x1），从而证明函数在定义域上为增函数，利用单调性求函数的最值即可；（3）利用结论（2）即可证明当x∈（12，1]时，f（x）＜2x，利用函数性质③即可证明当x∈[0，12]时，f（x）≤12f（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∈（[1/2]，1]时，由（2）知f（x）≤1，而2x＞2×[1/2]=1
∴f（x）＜2x
当x∈[0，[1/2]]时，2x≤1，f（2x）≥f（x）+f（x）=2f（x），
∴f（x）≤[1/2]f（2x）

点评：
本题考点： 函数恒成立问题．

考点点评： 本题综合考查了抽象函数表达式反映的函数性质，及利用抽象表达式求值、证明的方法，恰当的利用函数性质进行变形和放缩是解决本题的关键

teyteyrytry百度地图

0*0

1.1
2.5
3.no prove

1.1
2.5
3.no prove