Ich vermute auch, dass 1.) anders lautet, denn die LamberW-Funktion hattet Ihr bestimmt noch nicht - oder?
Hier der exakte Lösungsweg:
2a^{x+1}-a*x = b*x | +a*x dann /2
a^{x+1}=(a+b)/2*x
a*e^{log[a]*x}=(a+b)/2*x
e^{log[a]*x}=(a+b)/(2a)*x
http://www.lamprechts.de/gerd/LambertW-Beispiele.html
Fall §5 mit a=log(a) , c=0, b=(a+b)/(2a)
ergibt
x=-LambertW[n,-2*a*log(a)/(a+b)]/log(a) mit n=-2, -1, 0, 1
(theoretisch sind bis zu 4 Lösungen mit komplexen Zahlen denkbar die man durch Probe beim konkreten Fall überprüfen muss)
Ohne n bedeutet das n=0, was meist eine reelle Lösung ergibt.