证明方程lgx+x=0存在实数解,并给出实数解存在的一个区间(要求区间长度小于1)