对于任何复数z，都有：z=w（z）e^w(z) 注意取值范围是复数哦（过一会才可以求在-1处的值）显然这函数是多值函数，就暂时取x为实数 可以得出几个性质 w（x*e^x）=xw(x)*e^w(x)=xlnw(x)=lnx-w(x)w(xlnx)=w(X)+lnw(x)这些通过定义易知该函数显然为超越函数，则可知当为一非0的代数数时，w（x）为超越数：反之亦然（证明过程我不会……因为证明超越数实在太困难了……）