证明 反比例函数的单调性