令y=xln(1/2)=-xln2,则x=-y/ln2;代入方程2^x=-7x;
2=e^ln2;所以方程左边=2^x=(e^ln2)^x=e^(xln2)=e^(-y);
方程右边=-7x=-7*(-y/ln2)=7y/ln2;
原方程化为e^(-y)=7y/ln2,方程两边取倒数得e^y=ln2/(7y)即ye^y=ln2/7;
由“已知关于x的方程xe^x=a的解存在,将该方程的解x记为lwa”得ye^y=ln2/7的解为y=lw(ln2/7);
所以x=-y/ln2=-lw(ln2/7)/ln2.