证明函数f(x)=x+x分之2在区间(0,根号2)上是减函数