Aller au contenu

Sommation/Définition et premiers calculs

Leçons de niveau 14
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Définition et premiers calculs
Icône de la faculté
Chapitre no 1
Leçon : Sommation
Retour auSommaire
Chap. suiv. :Changement d'indice

Exercices :

Mise en route
Exercices :Calculs élémentaires
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Sommation : Définition et premiers calculs
Sommation/Définition et premiers calculs
 », n'a pu être restituée correctement ci-dessus.

Ce premier chapitre donne les définitions de base ainsi que le calcul de sommes élémentaires à bien connaître.


Les trois notations de somme données précédemment sont équivalentes mais, selon le contexte, on peut être amené à préférer l'une d'entres elles.

Nous allons voir ci-après une première technique de calcul d'une somme.

Sommation par télescopage

[modifier | modifier le wikicode]
Début d’un théorème
Fin du théorème

Pour pouvoir utiliser la technique précédente, le plus délicat est de déterminer la fonction f.

Nous allons voir trois exemples fondamentaux d'utilisation du théorème précédent :

Premier exemple

Soit à calculer :

(k joue le même rôle que i. On dit que c’est une variable muette.)

La fonction f à déterminer sera ici un polynôme, nous le noterons donc p.

On doit donc déterminer un polynôme p vérifiant, pour les besoins du théorème, la relation :

Si nous essayons de trouver un polynôme du premier degré vérifiant cette relation, c’est un échec (Le lecteur est invité à le faire.). Essayons avec un polynôme de deuxième degré. Soit :

Nous devons déterminer a, b, c tels que :

En développant et en faisant passer tous les termes dans le premier membre, on obtient :

Cette relation devant être vraie pour tout k, nous obtenons :

Dont la solution est :

Le polynôme recherché est donc :

c, ayant été éliminée des calculs, n'a pas d'importance. Pour simplifier, on a pris c = 0.

Par télescopage, on obtient donc :

Nous retiendrons :


Deuxième exemple

Soit à calculer :

On doit donc déterminer un polynôme p vérifiant, pour les besoins du théorème, la relation :

Si nous essayons de trouver un polynôme du premier ou du deuxième degré vérifiant cette relation, c’est un échec (Le lecteur est invité à le faire.). Essayons avec un polynôme du troisième degré. Soit :

Nous devons déterminer a, b, c, d tels que :

En développant et en faisant passer tous les termes dans le premier membre, on obtient :

Cette relation devant être vraie pour tout k, nous obtenons :

Dont la solution est :

Le polynôme recherché est donc :

d, ayant été éliminée des calculs, n'a pas d'importance. Pour simplifier, on a pris d = 0.

Par télescopage, on obtient donc :

Nous retiendrons :


Troisième exemple

Soit à calculer :

On doit donc déterminer un polynôme p vérifiant, pour les besoins du théorème, la relation :

Si nous essayons de trouver un polynôme du premier, deuxième ou troisième degré vérifiant cette relation, c’est un échec (Le lecteur est invité à le faire.). Essayons avec un polynôme du quatrième degré. Soit :

Nous devons déterminer a, b, c, d, e tel que :

En développant et en faisant passer tous les termes dans le premier membre, on obtient :

Cette relation devant être vraie pour tout k, nous obtenons :

Dont la solution est :

Le polynôme recherché est donc :

e, ayant été éliminée des calculs, n'a pas d'importance. Pour simplifier, on a pris e = 0.

Par télescopage, on obtient donc :

Nous retiendrons :


Établissement des formules à l'aide des dénombrements

[modifier | modifier le wikicode]

Quelquefois, pour démontrer une formule de sommation, on se sert des dénombrements. On imagine une situation concrète et on effectue un calcul de dénombrement de deux façons possibles. L'une des deux façons faisant appel à la sommation que l’on veut démontrer et l'autre façon n'utilisant aucune sommation. En égalisant les deux calculs, nous obtenons la formule à démontrer.

Exemple d'application.

descriptif indisponible
Wikipedia-logo-v2.svg
Wikipédia possède un article à propos de « Identité de Vandermonde ».
descriptif indisponible
Wikipedia-logo-v2.svg
Wikipédia possède un article à propos de « Preuve par double dénombrement ».

Soit à démontrer la formule de Vandermonde :

,

dans laquelle l'indice k varie a priori dans , mais le terme correspondant de la somme n'est non nul que si l'on a à la fois

et ,

c'est-à-dire

.

Pour établir cette formule, nous supposerons que nous avons une urne contenant n boules blanches et m boules noires. On se propose de dénombrer les parties ayant r éléments de l’ensemble des boules de l'urne. Pour cela, on peut procéder de deux façons différentes.

Dans une première façon, on peut se baser sur les couleurs et dire que le nombre de parties contenant r boules est la somme du nombre de parties contenant k boules blanches et r – k boules noires, en donnant à k toutes les valeurs entières possibles. Soit :

.

Dans une seconde façon, on oublie les couleurs et l'on dénombre directement les parties ayant r éléments parmi les n + m boules de l'urne. Soit :

.

Puisque ces deux expressions sont égales, la formule est démontrée. (Pour une autre méthode, voir l'exercice 5-4.)