resous e^x = y pour x
Résolvons dans ℝ : ex = 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(ex) = ln(y)
ⓘ Pour x réel, ln(exp(x)) = x ; lorsque ln(x) est défini, exp(ln(x)) = x : ln(ex) = x
Solution obtenue : x = ln(y)
Résolvons en y : y > 0
Solution trouvée : y > 0
▶Solution :   { x = ln(y) ; y > 0 }