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