用函数单调性证明f(x)=2^x—log1/2(x)在(0,+∞)上是增函数