$$kt = \frac1{b_0 - a_0}\ln \left(\frac{a_0(b_0 - x)}{b_0(a_0 - x)}\right)$$
Multiplions par $(b_0 - a_0)$ :
$$(b_0 - a_0) \times kt =\ln \left(\frac{a_0(b_0 - x)}{b_0(a_0 - x)}\right)$$
Elimination du logarithme néperien par un exponentiel :
$$e^{(b_0 - a_0)kt}=\frac{a_0(b_0 - x)}{b_0(a_0 - x)}$$
Multiplication par $\dfrac{b_0}{a_0}$ :
$$\frac{b_0}{a_0}e^{(b_0 - a_0)kt}=\frac{b_0 - x}{a_0 - x}$$
Multiplication par $(a_0 - x)$ :
$$(a_0 - x) \frac{b_0}{a_0}e^{(b_0 - a_0)kt}=b_0 - x$$
Développons $(a_0 - x)$ :
$$\left(\frac{b_0}{a_0}e^{(b_0 - a_0)kt}a_0\right) - \left(x\frac{b_0}{a_0}e^{(b_0 - a_0)kt}\right)=b_0 - x$$
Simplification du $\dfrac{a_0}{a_0}$
$$\left(b_0e^{(b_0 - a_0)kt}\right) - \left(\frac{xb_0}{a_0}e^{(b_0 - a_0)kt}\right)=b_0 - x$$
Additionnons le terme en $xb_0$ pour avoir tout les $x$ d’un coté :
$$b_0e^{(b_0 - a_0)kt} =b_0 - x+\frac{xb_0}{a_0}e^{(b_0 - a_0)kt}$$
On factorise $x$ dans le but de l’isoler :
$$b_0e^{(b_0 - a_0)kt} =b_0 + x\left(- 1+\frac{b_0}{a_0}e^{(b_0 - a_0)kt}\right)$$
Le terme $b_0$ fait tâche, on le soustrait :
$$b_0e^{(b_0 - a_0)kt} - b_0= x\left(- 1+\frac{b_0}{a_0}e^{(b_0 - a_0)kt}\right)$$
On factorise en $b_0$ à gauche histoire de faire propre :
$$b_0\left(e^{(b_0 - a_0)kt} - 1\right)= x\left(- 1+\frac{b_0}{a_0}e^{(b_0 - a_0)kt}\right)$$
On isole $x$ en divisant par le terme en $-1 + \frac{b_0}{a_0}$
$$\frac{b_0\left(e^{(b_0 - a_0)kt} - 1\right)}{\left(- 1+\frac{b_0}{a_0}e^{(b_0 - a_0)kt}\right)}= x$$
On reformule juste le $-1$ après le terme positif :
$$\frac{b_0\left(e^{(b_0 - a_0)kt} - 1\right)}{\frac{b_0}{a_0}e^{(b_0 - a_0)kt}- 1}= x$$
Je suis pas sur qu’on puisse faire plus long et plus détaillé . Je m’y suis juste essayé pour le challenge, je ne suis pas matheux j’ai fais des opérations très simple j’voulais pas faire trop de truc que je ne comprenais pas …