Solution pour le challenge 52
En expérimentant avec de petites valeurs de on conjecture que cette somme est égale à
Posons donc :
et montrons que Voici quatre méthodes (la quatrième méthode conduit à une formule beaucoup plus générale …).
Méthode 1 (proposée par Hervé CLAVIER, enseignant)
Pour tout :
En posant il vient :
Or :
ce qui fait apparaître une sommation télescopique. Il reste après simplification :
d’où finalement :
Méthode 2 (probabiliste)
On considère dans ce qui suit, une urne contenant boules numérotées de 1 à (avec
On effectue une succession de tirages d’une boule, avec remise, et l’on note la variable aléatoire indiquant le rang du tirage au cours duquel, pour la première fois, on obtient une boule déjà obtenue auparavant.
Une boule donnée peut réapparaître dès le second tirage et, au plus tard, lors du -ème tirage. On voit donc facilement que l’ensemble des valeurs atteintes par est :
Pour tout l’événement se réalise lorsque les premières boules tirées portent des numéros tous distincts, et dans ce cas seulement. Il existe au total tirages équiprobables des premières boules, parmi lesquels sont tels que les boules tirées soient toutes distinctes. Ainsi :
Comme :
(union disjointe), il vient :
Si ceci nous donne :
et cette dernière expression est encore valable pour puisque :
En effet, aux premiers lancers sont associés tirages équiprobables, parmi lesquels produisent des numéros tous distincts.
Au final, la relation :
prend la forme :
Méthode 3 (un parfum de fonction 𝚪)
On sait (voir l’exercice n° 3 de cette fiche) que pour tout :
et donc, après le changement de variable :
Il en résulte que :
soit , où l’on a posé :
Intégrons par parties en posant :
On obtient :
et donc comme souhaité.
Méthode 4 (une formule plus générale)
On commence par le :
Lemme
Etant donné un entier et des réels :
Note : on utilise la convention usuelle selon laquelle un produit indexé par l’ensemble vide est égal à 1.
Cette formule se prouve aisément par récurrence, ou bien en observant que la sommation peut être rendue télescopique. En effet, pour tout :
L’entier étant fixé, si l’on choisit
alors l’application du lemme ci-dessus donne :
c’est-à-dire :
ou encore :
Pour consulter l’énoncé, c’est ici