resous -e^x = y pour x
Résolvons dans ℝ : -ex = y
ⓘ On divise les deux membres par -1
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)
Cherchons y dans : -y > 0
ⓘ On ajoute y aux deux membres
0 > y
Solution obtenue : y < 0
▶Solution :   { x = ln(-y) ; y < 0 }