lnx+x=a的解为
超越解x=F(a)=W(e^a)
其中W(z)为朗伯W函数,是一种满足z=W(z)*e^W(z)的超越函数