

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.