f(x)=lnx,x1>x2>0,存在x0使f`(x0)=f(x1)-f(x2) /x1-x2.求证x1>x0>x2