lgx+lg(7-x)=1的解集