f est la fonction linéaire
x↦−2x qui peut s'écrire également sous la forme
f(x)=−2x .
Pour déterminer l'antécédent de
5 par
f, il nous faut
résoudre l'équation f(x)=5.
f(x)=5 équivaut successivement à :
−2x=5−2−2x=−25 On divise chaque membre par le nombre devant le x qui ici vaut −2. x=−25 Il en résulte que
−25 est l'antécédent de
5 par
f.