resous 2^x = y pour x
Résolvons dans ℝ : 2x = y
Le logarithme n'étant défini que pour un nombre strictement positif, appliquons la fonction ln des deux côtés, à condition que y > 0 :
ln(2x) = ln(y)
ⓘ Sur le domaine réel de l'expression initiale, la base est strictement positive : le logarithme de la puissance est l'exposant multiplié par le logarithme de la base : ln(2x) = x·ln(2)
x·ln(2) = ln(y)
ⓘ On divise les deux membres par ln(2)
Solution trouvée : x = ln(y)ln(2)
Cherchons y dans : y > 0
Solution obtenue : y > 0
▶Solution :   { x = ln(y)ln(2) ; y > 0 }