Commençons par déterminer les premières valeurs prises par . Comme et que la fonction est strictement croissante et positive, . Puisque et , ou . La propriété écarte la première alternative (1 n'est pas un point fixe de ) et si , alors , ce qui contredit la stricte croissance de . Ainsi, . Dès lors . Vérifions par récurrence que
=2\times 3^n \,\,\,\textrm{et} \,\,\,f(2\times 3^n)=3^{n+1},) pour tout naturel . La propriété est claire pour puisque nous avons déjà montré que et . Faisons l'hypothèse d'induction que les propriétés sont vérifiées pour et montrons que c'est encore le cas pour . Nous avons . D'autre part, , ce qui permet d'achever le raisonnement par induction. Remarquons à présent que
<f(3^n+1)<\cdots<f(3^n+3^n-1)<f(2\times 3^n)=3^{n+1}.) Il y a termes distincts à déterminer, à savoir avec et seulement naturels dans l'intervalle . Ainsi par monotonie, nous avons
=2\times 3^n +r) pour tous naturels et tels que . Et en prenant l'image par de chaque côté, on déduit encore que
=3\times(3^n+r)) pour les mêmes valeurs de et . Ces deux dernières conditions (avec f(0)=0) déterminent de manière univoque. Réciproquement, il est évident que cette fonction vérifie les critères de l'énoncé. Observons finalement que , avec , de sorte que
=3\times(3^6+549)=3834.)
|