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