

Le calcul des premiers termes de cette suite donne, successivement :
ce qui nous amène naturellement à conjecturer que :
Vue la manière dont cette suite a été définie, il s’agira d’une récurrence d’ordre 2.
Et comme l’initialisation est faite (largement), on peut passer à l’hérédité.
Supposons donc qu’on ait et
pour un certain
Alors :

On calcule facilement :





On calcule ensuite :

Une récurrence vient d’être initialisée. Supposons que, pour un certain on ait :
Comme est multiple de
alors
et donc
puisque

On va utiliser la :
Proposition
Soit une suite de réels strictement positifs.
Si , alors :
Ce résultat est une conséquence immédiate du lemme de Cesàro, appliqué à la suite
Cela dit, posons pour tout :

On observe que :
Remarque
Posons . Le nombre entier :
Etant donnés objets et
cases numérotées de 1 à
cet entier indique le nombre de façons de placer :
objets dans la case 1,
objets dans la case 2,
- etc …,
- les
objets restants dans la case
Lorsque (et donc
on retrouve le coefficient binomial ordinaire :

Si l’un des deux entiers ou
vaut 0 ou 1, le résultat est évidemment vrai.
Supposons maintenant que
Alors car
Il s’ensuit que
Par ailleurs puisque :

Selon la formule du pion :

()








L’inégalité est vraie pour
(c’est une égalité).
Supposons-la vraie pour un certain Alors :
()
Or, la suite de terme général



On a prouvé par récurrence que :
Voici maintenant une autre preuve, plus élégante.
On observe que :

Il en résulte que :

Commençons par établir le corollaire suivant de la formule de Legendre :
Corollaire
Etant donnés et
on note
la somme des chiffres en base
de
Alors :
Preuve (cliquer pour déplier / replier)
Décomposons en base
:

()


Venons-en maintenant à l’exercice. La condition équivaut à
Or, en remplaçant par 2 dans le corollaire ci-dessus :



Ainsi, pour tout :



La formule de Legendre donne :




Soit donc et soit
Alors :





On constate, à chaque fois, la positivité de :

On notera que la fonction est à valeurs dans
.
Cette fonction a été utilisée par le mathématicien russe P. Tchebytchev pour établir le théorème selon lequel, pour tout :




Si un point n’est pas clair ou vous paraît insuffisamment détaillé, n’hésitez pas à poster un commentaire ou à me joindre via le formulaire de contact.