用定义证明f(x)=x+k/x在(0,√k)是减函数