Solution pour le challenge 16
Méthode 1
Commençons par calculer, pour tout réel non multiple de , la somme :
Il s’agit de la partie réelle de :
On reconnaît une somme géométrique de raison différente de 1, puisque :
Par conséquent :
et la suite est donc bornée :
Il en résulte que la suite est aussi bornée, puisque pour tout :
Passons maintenant à :
Tout réel appartenant à est minoré par son carré. On voit ainsi que, pour tout :
Comme la suite de terme général est bornée (prendre dans ce qui précède), on conclut que :
Méthode 2
Cette méthode est plus « géométrique » que la précédente.
Pour tout entier notons l’intervalle
D’une part, pour tout :
et d’autre part, est de longueur dont contient au moins un entier (et probablement un seul pour une majorité d’indices mais là n’est pas la question). Notons le plus petit :
On constate que :
ce qui prouve que :
La suite est croissante et possède une suite extraite qui diverge vers . Elle diverge donc, elle aussi, vers
Pour consulter l’énoncé, c’est ici