证明函数fx=-根号x在定义域上位减函数