用函数的单调性定义域证明函数y(x)=ln1/x在定义域内是单调件函数