lg(2/(1-x)+a)证明单调性