定义在R上的函数f x 满足 任意 f x1 f x2 对任意 都有