已知f(x)=1/x(x>0).用三段论证明y=f(x)是定义域上的减函数