证明函数f(x)=1-x分之2是区间(1,+无穷大)上的增函数.