Leçon
La théorie — Outil de sommation sigma
La notation sigma est une écriture compacte pour exprimer une somme. ∑ indique : prenez l'expression située à sa droite, faites varier l'indice sur chaque nombre entier de la borne inférieure jusqu'à la borne supérieure — bornes incluses — et additionnez les résultats obtenus.
Les quatre parties d'une expression sigma : le symbole de sommation, avec la borne supérieure écrite au-dessus, l'indice et la borne inférieure en dessous, suivis du terme à additionner.
- Le symbole de sommation. Il ne possède aucune valeur — il indique d'effectuer une addition.
- La borne supérieure
n, au-dessus du sigma : la dernière valeur de l'indice, incluse. - L'indice et sa borne inférieure,
k = m, sous le sigma : là où commence le comptage, également incluse. - Le terme
f(k), à droite : évalué une fois pour chaque valeur de l'indice, et ce sont ses résultats qui sont additionnés.
Ce que signifie chaque symbole
k- l'indice — un compteur qui prend successivement chaque valeur entière. Mathématiquement, son nom est muet au sein de la somme, de sorte que
ioujsignifieraient exactement la même chose ; ici, c'est toujoursk, et la colonne du tableau ci-dessus est intituléeIndex (k). m- la borne inférieure, écrite sous le sigma sous la forme
k = m. C'est la première valeur de l'indice, et elle est incluse — il s'agit du champ de ci-dessus. n- la borne supérieure, écrite au-dessus du sigma. La dernière valeur que prend l'indice, également incluse, ce qui explique pourquoi aller de 1 à 10 donne dix termes au lieu de neuf. Il s'agit du champ à ci-dessus.
f(k)- le terme — l'expression évaluée une fois pour chaque valeur de l'indice. Ici, il est choisi parmi cinq propositions :
k,k^2,2k+1,1/ket(-1)^k.
D’où vient la formule
- Puisque les deux bornes sont incluses, le nombre de termes n'est pas
n − m. Écrivez les valeurs de l'indice :m,m + 1, et ainsi de suite jusqu'àn. - Soustrayez
mde chaque élément pour que la liste commence à zéro :0,1, … ,n − m. Le changement d'étiquettes modifie le nom des éléments, pas leur nombre. - Une liste allant de 0 à
n − mcontientn − m + 1éléments. Ainsi, aller de 1 à 10 donne dix termes et de 0 à 12 en donne treize — c'est ce qu'indique le Nombre de termes ci-dessus dans chaque cas.
- Suppose
- Des valeurs d'indice entières, progressant pas à pas, et en nombre fini : les deux bornes sont arrondies à des entiers et restreintes à l'intervalle −30 à 30 pour éviter que la page ne se bloque. Le terme est choisi parmi cinq prédéfinitions plutôt que saisi au clavier, ce qui en fait un démonstrateur de la notation plutôt qu'une calculatrice de sommation générale.
- Ne tient plus quand
- Choisissez
1/ket faites démarrer l'indice à 0 : le premier terme n'est pas défini. Il n'est pas ignoré silencieusement — le calcul s'arrête là : le résultat indiqueundefined, le Nombre de termes tombe à1, et le tableau de décomposition s'arrête à cette unique ligne. Le développement écrit affiche toujoursundef + 1/1 + 1/2 + ⋯, ce qui reflète exactement la réalité — un seul terme non défini rend l'ensemble de la somme non définie, quel que soit le nombre de termes réguliers qui le suivent.
Exercice
Vérifiez-vous
Prédisez d’abord la réponse, puis utilisez les commandes ci-dessus pour vérifier. N’affichez la solution qu’après vous être engagé sur une hypothèse : c’est ce qui en fait un exercice.
-
Le préréglage nombres impairs somme 2k+1 de k = 0 à 12 et annonce 169 sur 13 termes. Les autres préréglages affichent une forme close sous leur total ; celui-ci n’en affiche aucune. Trouvez le motif vous-même — fixez la borne supérieure à 4, puis 9, puis 19.
Afficher la réponse
25, 100 et 400, sur 5, 10 et 20 termes. La somme des n premiers nombres impairs vaut exactement n², à chaque fois, et 169 est 13². Imaginez un carré bâti en couches en forme de L : un point, puis un L de trois points autour, puis un L de cinq points autour — après n couches vous tenez un carré n × n, et chaque couche ajoutée était le nombre impair suivant. L’outil connaît les formes closes de k et k² et les affiche ; celle-ci, il ne la reconnaît pas, donc vous n’obtenez que le total. -
Le préréglage harmonique somme 1/k de 1 à 8 et obtient 2.717857, avec une note disant que les sommes partielles ne convergent vers aucune limite finie. Devinez jusqu’où doit aller la borne supérieure pour que la somme dépasse 5 — puis vérifiez.
Afficher la réponse
83. Le terme 82 la laisse à 4.990020 et le terme 83 la fait basculer à 5.002068. Atteindre 6 demande 227 termes, et 226 s’arrête à 5.999961 — quatre millionièmes trop bas. Remarquez que 227 ÷ 83 = 2.73, soit presque exactement e : les sommes partielles suivent ln n, donc chaque pas supplémentaire de +1 coûte environ e ≈ 2.718 fois plus de termes que tout ce qui précède. Franchir 10 demande 12367 termes ; l’outil le fera si vous le lui demandez. Voilà à quoi ressemble « ne converge pas » vu de l’intérieur — ça ne cesse jamais de monter, mais ça ralentit géométriquement, et c’est pourquoi huit termes ne vous ont mené qu’à 2.7.
Problème entièrement résolu
-
La somme des carrés que l'appariement de 1 à 10 ne peut pas atteindre 6 étapes
Faites la somme de 1 à 10 par appariement plutôt que par addition, puis utilisez la même astuce pour obtenir la somme des carrés — ce que l'appariement ne permet pas d'atteindre.
-
Écrivez la somme. Dix termes, c'est suffisamment peu pour les ajouter directement, ce qui est précisément la raison pour laquelle c'est la mauvaise approche.
-
Ajoutez la somme à son propre inverse. Chaque colonne donne le même total, et il y en a n — ainsi, la somme doublée forme un rectangle.
-
Le résultat général. Remarquez que l'argument double la somme au lieu de la plier en deux, c'est pourquoi il n'a pas besoin de cas séparé pour n impair — contrairement à la version qui apparie les termes aux deux extrémités.
-
Passons aux carrés. Partez d'une différence de cubes consécutifs, qui se développe en quelque chose contenant k².
-
Faites la somme des deux côtés. Le membre de gauche se réduit par télescopage à un seul terme ; le membre de droite contient la somme recherchée plus la somme que vous avez déjà.
-
Une puissance de plus et le schéma se referme sur lui-même.
Réponse
55, puis 385, puis 3025 — et le troisième est le carré du premier. L'argument par appariement est célèbre et c'est aussi une impasse : il fonctionne parce que les termes sont linéaires, et il n'y a aucun moyen de regrouper des carrés en paires égales. Ce qui le remplace, c'est le télescopage. Écrivez une différence de cubes consécutifs, faites-en la somme, et presque tout s'annule ; la somme des carrés surgit des décombres. Le même mécanisme appliqué une puissance plus haut donne la somme des cubes, et aboutit à 55² — la somme des n premiers cubes est le carré de la somme des n premiers nombres, pour tout n. Ce n'est pas une coïncidence que l'on peut voir en observant les nombres, et c'est pourquoi le télescopage vaut la peine d'être appris même si l'appariement permet d'obtenir la première réponse plus rapidement.
-
Références (3)
- Where the Σ sign comes from — Euler’s own text: L. Euler, Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum, vol. 1. Academiae Imperialis Scientiarum Petropolitanae, 1755 (E212).
- And the history of the notation itself: Florian Cajori, A History of Mathematical Notations, Volume II. The Open Court Publishing Company, 1929.
- The conventions this page relies on — inclusive limits, index changes, and why an empty sum is 0: R. L. Graham, D. E. Knuth & O. Patashnik, Concrete Mathematics, 2nd ed., chapter 2 (“Sums”). Addison-Wesley, 1994. ISBN 978-0-201-55802-9.