Solution pour le challenge 13
L’idée est de former des « paquets de termes consécutifs identiques ».
En effet, lorsque l’entier parcourt l’ensemble , l’expression prend constamment la valeur .
Il est donc naturel de regrouper les termes correspondants pour obtenir :
Mais la somme interne comporte termes, tous égaux à , et donc :
c’est-à-dire, en séparant en deux sommes :
Or :
et
donc, finalement :
Pour consulter l’énoncé, c’est ici