lnx和1/x在（1,3）内均为连续函数,所以f(x)连续
f(1)=0-1=-11,f(3)>0
必存在一个x使f(x)=0