已知函数f(x)=x+lgx证明f(x)=3在区间(1,10)上有实数解若x。是方程f(x)=3的一个实数解.且x。