Vous savez sans doute qu'il y aura l'an prochain une épreuve de travaux pratiques au baccalauréat série S. Des sujets expérimentaux ont été testés dans plusieurs lycées et je vous propose de regarder le sujet 25 de la liste. Soit $(v)$ la suite définie par : $\displaystyle{u_n=\dfrac1n \sum_{k=1}^{k=n}k(k-1)}$ pour tout $n$ entier naturel non nul. Déclarons la suite : \begin{maxin} \begin{verbatim} > u[n]:=(1/n)*sum(k*(k-1), k, 1, n); \end{verbatim} \end{maxin} Calculons et représentons graphiquement les seize premiers termes de cette suite: Représentons graphiquement les résultats obtenus: \begin{maxin} \begin{verbatim} > xx:makelist(n, n, 1, 16); \end{verbatim} \end{maxin} \begin{maxout} \[\left[ 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 13 , 14 , 15 , 16 \right] \] \end{maxout} \begin{maxin} \begin{verbatim} > yy:makelist(u[n], n, 1, 16); \end{verbatim} \end{maxin} \begin{maxout} \[\left[ 0 , 1 , \frac{8}{3} , 5 , 8 , \frac{35}{3} , 16 , 21 , \frac{80}{3} , 33 , 40 , \frac{143}{3} , 56 , 65 , \frac{224}{3} , 85 \right] \] \end{maxout} \begin{maxin} \begin{verbatim} > plot2d([discrete, xx, float(yy)]); \end{verbatim} \end{maxin} \maxplot{fig01.pdf} Définissons maintenant la suite $(v)$ de la manière suivante: pour tout $n\in\mathbb N^{*}$, $v_n=3u_n$. Calculons et représentons graphiquement les seize premiers termes de cette suite: Représentons graphiquement les résultats obtenus: \begin{maxin} \begin{verbatim} > v[n]:=3*u[n]$ \end{verbatim} \end{maxin} \begin{maxin} \begin{verbatim} > zz:makelist(v[n], n, 1, 16); \end{verbatim} \end{maxin} \begin{maxout} \[\left[ 0 , 3 , 8 , 15 , 24 , 35 , 48 , 63 , 80 , 99 , 120 , 143 , 168 , 195 , 224 , 255 \right] \] \end{maxout} \begin{maxin} \begin{verbatim} > plot2d([discrete, xx, zz]); \end{verbatim} \end{maxin} \maxplot{fig02.pdf} Nous remarquons, au regard du graphique obtenu, qu'il doit y avoir une fonction polynôme du second degré derrière cela. La suite $(v)$ serait-elle définie par :$v_n=f(n)$ où $f$ serait une fonction polynomiale du second degré? \begin{maxin} \begin{verbatim} > f(n):=a*n^2+b*n+c; \end{verbatim} \end{maxin} Essayons de trouver $a$, $b$ et $c$ en résolvant un système linéaire obtenu en égalisant $f(n)$ à $v_n$ pour trois valeurs de~$n$. \begin{maxin} \begin{verbatim} > linsolve([v[1]=f(1), v[2]=f(2), v[3]=f(3)], [a, b, c]); \end{verbatim} \end{maxin} \begin{maxout} \[\left[ a=1 , b=0 , c=-1 \right] \] \end{maxout} Déterminons les seize premières valeurs de $f(n)$ et de $v_n$. \begin{maxin} \begin{verbatim} > f(n):=n^2-1; \end{verbatim} \end{maxin} \begin{maxin} \begin{verbatim} > makelist(f(n), n, 1, 16); \end{verbatim} \end{maxin} \begin{maxout} \[\left[ 0 , 3 , 8 , 15 , 24 , 35 , 48 , 63 , 80 , 99 , 120 , 143 , 168 , 195 , 224 , 255 \right] \] \end{maxout} \begin{maxin} \begin{verbatim} > makelist(v[n], n, 1, 16); \end{verbatim} \end{maxin} \begin{maxout} \[\left[ 0 , 3 , 8 , 15 , 24 , 35 , 48 , 63 , 80 , 99 , 120 , 143 , 168 , 195 , 224 , 255 \right] \] \end{maxout} Nous pouvons conjecturer que $v_n=f(n)=n^2-1$. Ceci nous permet de supposer que $u_n=\dfrac13(n^2-1)$, pour tout $n\in\mathbb N^{*}$. Reste à démontrer ce résultat rigoureusement, par récurrence pourquoi pas.