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