

Distinguer deux cas selon la parité de ![]()

On peut commencer par dénombrer les entiers de
qui sont multiples de ![]()
Ce sont les
pour entier naturel
inférieur ou égal à … à quoi, au fait ?

Comparer, pour tout
les nombres
et
En déduire la périodicité de la fonction « partie fractionnaire ». Après cela, il ne devrait pas rester grand chose à faire…

Rappel : l’encadrement
est valable pour tout réel ![]()
En encadrant
pour chaque
on parvient à un encadrement de la somme.

En pensant à une identité remarquable, on peut coincer (strictement)
entre deux entiers consécutifs.

Avant toutes choses, il faut bien sûr avoir les idées claires sur la fonction arctangente. Rappelons que, pour tout
on note
l’unique réel
vérifiant ![]()
Il en résulte que
pour tout
Et si
n’appartient pas à cet intervalle… (mais appartient tout de même à
? Il faut tâcher de s’y ramener et le plus simple consiste à lui retrancher un multiple convenable de ![]()

Comparer, cela signifie bien sûr : déterminer lequel des deux est plus grand que l’autre … à moins qu’ils ne soient égaux ? Une piste pour démarrer : par définition de la partie entière, on a déjà
or la fonction racine carrée est croissante … je vous laisse poursuivre …

Il n’est pas très difficile de prouver que si
est à valeurs dans
alors c’est l’application nulle.
Et sinon… ? Eh bien, sinon, c’est à vous !

Posons, pour tout
:
![]()
Pour la première question, il faut montrer que
admet en 0 une limite finie et la calculer.
Je vous suggère d’expliciter
sans utiliser de parties entières, puis de calculer ![]()
Pour la deuxième question, on pourra s’appuyer sur l’exercice n° 8 de cette fiche.
