{"cells":[{"metadata":{},"cell_type":"markdown","source":"![En tête general](https://raw.githubusercontent.com/PythonLycee/PyLyc/master/img/En_tete_general.png)\n\n\n© Copyright Franck CHEVRIER 2019-2022 https://www.python-lycee.com.
\nLes activités partagées sur Capytale sont sous licence Creative Commons.\n\n Pour exécuter une saisie Python, sélectionner la cellule et valider avec SHIFT+Entrée.\n"},{"metadata":{},"cell_type":"markdown","source":"# Sommes d'entiers"},{"metadata":{},"cell_type":"markdown","source":"### Sommaire\n\n1. Somme des premiers entiers naturels
\n2. Somme des carrés des premiers entiers naturels
\n3. Somme des cubes des premiers entiers naturels
\n"},{"metadata":{},"cell_type":"markdown","source":"## 1. Somme des premiers entiers naturels"},{"metadata":{},"cell_type":"markdown","source":"Pour tout entier naturel $n$ non nul, on pose :\n$$\\displaystyle S_n=1+2+...+n=\\sum\\limits_{k=1}^{n}{k} $$\n
\n\n__1.1. Écrire une fonction Python somme_entiers qui reçoit n en argument et renvoie la valeur de $S_n$.__
\n$\\quad\\;$On pourra utiliser une boucle for et un accumulateur."},{"metadata":{"trusted":false},"cell_type":"code","source":"#Écrire ici la fonction somme_entiers\n ","execution_count":null,"outputs":[]},{"metadata":{"trusted":false},"cell_type":"code","source":"#Tester ici la fonction somme_entiers\n","execution_count":null,"outputs":[]},{"metadata":{},"cell_type":"markdown","source":"__1.2.a. Activer la cellule ci-dessous.__
\n$\\quad\\quad$__Observer la figure fournie, qui illustre que le calcul de $2\\times S_n$ peut se ramener à un simple produit.__\n"},{"metadata":{"trusted":false},"cell_type":"code","source":"#Sélectionner cette zone puis SHIFT+ENTREE\nfrom IPython.display import HTML ; HTML(\"\"\"\"\"\")","execution_count":null,"outputs":[]},{"metadata":{},"cell_type":"markdown","source":"$\\quad\\;$__b. En utilisant cette méthode, calculer à la main $S_{10}$.__
\n$\\quad\\quad$__Vérifier ensuite le résultat à l'aide de la fonction somme_entiers__.\n"},{"metadata":{"trusted":false},"cell_type":"code","source":"#Utiliser cette zone de saisie pour la vérification\n","execution_count":null,"outputs":[]},{"metadata":{},"cell_type":"markdown","source":"$\\quad\\;$__c. Conjecturer une expression de $S_n$ en fonction de $n$.__\n"},{"metadata":{},"cell_type":"markdown","source":"__1.3. On souhaite maintenant démontrer la formule conjecturée à la question 1.2.c :__
\n\n
\nVersion 1ère Spé Math\n\n
\nAdditionner terme à terme l'expression de $2 \\times S_n$ donnée ci-dessous, et en déduire l'expression de $S_n$ en fonction de $n$
\n$$\\begin{matrix} 2 \\times S_n & =& & 1 &+ & 2 &+ & 3 &+ & ... &+ & (n-1) &+ & n \\\\\n & & + & n &+ & (n-1) &+ & (n-2) &+ & ... &+ & 2 &+ & 1 \n\\end{matrix}$$ \n
\n Version Tale Spé Math\n\n"},{"metadata":{},"cell_type":"markdown","source":"__1.4. À l'aide de la formule obtenue, calculer $S_{100}=1+2+...+100$ puis vérifier le résultat à l'aide de la fonction Python somme_entiers.__\n"},{"metadata":{"trusted":false},"cell_type":"code","source":"#Utiliser cette zone de saisie pour la vérification\n","execution_count":null,"outputs":[]},{"metadata":{},"cell_type":"markdown","source":"__1.5. Dans cette question, on pose pour $n \\in \\mathbb{N}^*$:__
\n Démontrer par récurrence la formule conjecturée en 1.2.c.\n
\nVersion 1ère Spé Math\n\n
\n
Pour tout $n \\in \\mathbb{N}^*$, on pose $\\displaystyle v_n=\\frac{n(n+1)(2n+1)}{6}$.
\n\n
\n- Déterminer la valeur de $v_1$ et démontrer que $v_{n+1}=v_n+(n+1)^2$ pour tout $n \\in \\mathbb{N}^*$.
\n- On admet que si deux suites ont le même premier terme et vérifient la même relation de récurrence, alors elles sont égales.
\n
Conclure.
\n Version Terminale Spé Math\n"},{"metadata":{},"cell_type":"markdown","source":"## 3. Somme des cubes des premiers entiers naturels"},{"metadata":{},"cell_type":"markdown","source":"Pour tout entier naturel $n$ non nul, on pose:
\n Démontrer par récurrence la formule conjecturée en 2.2.c.\n
\nVersion 1ère Spé Math\n\n
\n
Pour tout $n \\in \\mathbb{N}^*$, on pose $\\displaystyle w_n=\\frac{n^2(n+1)^2}{4}$.
\n\n
\n- Déterminer la valeur de $w_1$ et démontrer que $w_{n+1}=w_n+(n+1)^3$ pour tout $n \\in \\mathbb{N}^*$.
\n- On admet que si deux suites ont le même premier terme et vérifient la même relation de récurrence, alors elles sont égales.
\n
Conclure.
\n Version Terminale Spé Math\n\n\n\n "},{"metadata":{},"cell_type":"markdown","source":"![Aryabhata](https://raw.githubusercontent.com/PythonLycee/PyLyc/master/img/Aryabhata.jpg)\n\n
\n Démontrer la formule par récurrence.\n