Olympiades · Académie Bordeaux · 2013 · Série S
Pour tout entier naturel \(n\), on désigne par \(s(n)\) la somme des chiffres de l'écriture décimale de \(n\). Ainsi \(s(2013)=2+0+1+3=6\).
On se propose de déterminer l'ensemble E des couples ( \(a, b\) ) d'entiers naturels qui vérifient les trois conditions suivantes :
(C1) \(\quad b
(C2) \(\quad b\) est un multiple de 9
(C3) \(\quad a=(s(b))^{2}\)
Soit la suite ( \(u_{n}\) ) définie sur \(\mathbf{N}^{*}\) par \(u_{n}=\frac{10^{n-1}}{n^{2}}\).
Pour tout entier \(n \geqslant 1, u_{n+1}-u_{n}=\frac{10^{n+1}}{(n+1)^{2}}-\frac{10^{n}}{n^{2}}=\frac{10^{n}}{n^{2}(n+1)^{2}}\left(9 n^{2}-2 n-1\right)\).
Comme \(n \geqslant 1, n^{2} \geqslant n\) donc \(9 n^{2}-2 n-1 \geqslant 7 n-1 \geqslant 7-1 \geqslant 6>0\) d'où \(u_{n+1}-u_{n}>0\). La suite ( \(u_{n}\) ) est donc croissante.
De plus \(u_{k} \leqslant 81\) et \(u_{5}=\frac{10^{4}}{25}=400>81\), donc \(k<5\). Ainsi \(k \leqslant 4\) puisque \(k\) est un entier.
Comme \(a \leqslant 81 k^{2}\) et \(k \leqslant 4\), on a \(a \leqslant 81 \times 4^{2}\) donc \(a \leqslant 1296\).
