定义域：（0,+无穷）
y'=x-1/x=(x^2-1)/x=(x+1)(x-1)/x
单减区间：（0,1）