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
 parcourt l’ensemble  , l’expression
, l’expression  prend constamment la valeur
 prend constamment la valeur  .
.
Il est donc naturel de regrouper les termes correspondants pour obtenir :
      ![Rendered by QuickLaTeX.com \[S_{n} = \sum_{j=1}^{n-1}\sum_{k=j^{2}}^{\left(j+1\right)^{2}-1}j}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-bd3e154893396627e76ae4e8c6ba3062_l3.png)
 termes, tous égaux à
 termes, tous égaux à  , et donc :
, et donc :      ![Rendered by QuickLaTeX.com \[S_n=\sum_{j=1}^{n-1}j\left(2j+1\right)\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-bad0af0343e7aa124343fade09a12192_l3.png)
c’est-à-dire, en séparant en deux sommes :
      ![Rendered by QuickLaTeX.com \[S_n = 2\sum_{j=1}^{n-1}j^{2}+\sum_{j=1}^{n-1}j\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-8785ee6971458c6114cf9c783b62c309_l3.png)
      ![Rendered by QuickLaTeX.com \[\sum_{j=1}^{n-1}j=\frac{(n-1)n}{2}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-9ea1b9d54d3fa405dada026a00df0ad8_l3.png)
      ![Rendered by QuickLaTeX.com \[\sum_{j=1}^{n-1}j^2=\frac{\left(n-1\right)n\left(2n-1\right)}{6}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-26454f20981b1459e071b0690893a63f_l3.png)
      ![Rendered by QuickLaTeX.com \[\boxed{S_n=\frac{n\left(n-1\right)\left(4n+1\right)}{6}}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-95c1de539bbb1ee162fdeb4edba26bfe_l3.png)
Pour consulter l’énoncé, c’est ici

