Otro:
$$
\begin{align}
x\log_2\left(1+\frac ax\right)&=b\tag{1}\\
1+\frac ax&=e^{b\log(2)/x}\tag{2}\\
1+\frac ax&=2^{-b/a}e^{\large\frac{b\log(2)}a\left(1+\frac ax\right)}\tag{3}\\
\color{#00A000}{-\frac{b\log(2)}a\left(1+\frac ax\right)}e^{\color{#00A000}{\large-\frac{b\log(2)}a\left(1+\frac ax\right)}}&=-\frac{b\log(2)}a2^{-b/a}\tag{4}\\
-\frac{b\log(2)}a\left(1+\frac ax\right)&=\mathrm{W}\!\left(-\frac{b\log(2)}a2^{-b/a}\right)\tag{5}\\
x&=\bbox[5px,border:2px solid #F0C060]{\frac{-ab\log(2)}{b\log(2)+a\mathrm{W}\!\left(-\frac{b\log(2)}a2^{-b/a}\right)}}\tag{6}\\
&=\bbox[5px,border:2px solid #F0C060]{\frac{-\lambda a}{\lambda+\mathrm{W}\!\left(-\lambda e^{-\lambda}\right)}}\tag{7}
\end{align}
$$
Explicación:
$(2)$: multiplicar por $\frac{\log(2)}x$ y exponentiate
$(3)$: agregar $\frac{b\log(2)}a$ para el exponente y se dividen por $2^{b/a}$
$(4)$: multiplicar ambos lados por $-\frac{b\log(2)}ae^{\large-\frac{b\log(2)}a\left(1+\frac ax\right)}$
$(5)$: aplicar $\mathrm{W}$
$(6)$: resolver algebraicamente para $x$
$(7)$: sustituto $\lambda=\frac{b\log(2)}a$
Tenga en cuenta que a $(7)$, parece que $\mathrm{W}\!\left(-\lambda e^{-\lambda}\right)=-\lambda$, haciendo que el denominador $0$. Sin embargo, cuando el argumento de $\mathrm{W}$ es negativo, hay dos ramas. Por lo tanto, tenemos que usar la otra rama de $\mathrm{W}$, de modo que el denominador no es $0$.