- Série de Grandi
-
La série 1 − 1 + 1 − 1 + …
ou
est parfois appelée la série de Grandi, du nom du mathématicien, philosophe et prêtre Luigi Guido Grandi, qui en donna une analyse célèbre en 1703. Il s'agit d'une série divergente, c'est-à-dire que la suite de ses sommes partielles n'a pas de limite. Mais sa somme de Cesàro, i.e. la limite des moyennes de Cesàro de cette même suite, existe et vaut 1⁄2.
Sommaire
Heuristiques
Une méthode évidente pour traiter la série
- 1 − 1 + 1 − 1 + 1 − 1 + 1 − 1 + …
est de la traiter comme une série télescopique et d'effectuer les soustractions localement :
- (1 − 1) + (1 − 1) + (1 − 1) + … = 0 + 0 + 0 + … = 0.
Cependant un autre parenthèsage, analogue, conduit à un résultat apparemment contradictoire :
- 1 + (−1 + 1) + (−1 + 1) + (−1 + 1) + … = 1 + 0 + 0 + 0 + … = 1.
Ainsi, en appliquant les parenthèses à la série de Grandi de différentes manières, on peut obtenir les « valeurs » 0 ou 1 (des variantes de cette idée, appelées tour de passe-passe d'Eilenberg-Mazur (en), sont parfois utilisées en théorie des nœuds ou en algèbre).
En traitant la série de Grandi comme une série géométrique divergente (en), on peut utiliser les mêmes méthodes algébriques qui évaluent les séries convergentes géométriques pour obtenir une troisième valeur :
- S = 1 − 1 + 1 − 1 + …, donc
- 1 − S = 1 − (1 − 1 + 1 − 1 + …) = 1 - 1 + 1 - 1 + … = S,
ayant pour résultat S = 1⁄2. On arrive à la même conclusion en calculant -S, soustrayant le résultat de S, et en résolvant 2S=1.
Les manipulations ci-dessus ne considèrent pas ce que la somme de la série signifie réellement. Cependant, dans la mesure où il est important de pouvoir parenthéser les séries comme on veut, et surtout, de faire de l'arithmétique sur elles, on peut arriver à deux conclusions :
- la série 1 − 1 + 1 − 1 + … n'a pas de somme
- … mais sa somme devrait être égale à 1⁄2.
En fait, les deux affirmations peuvent être précisées et prouvées, mais seulement en utilisant des concepts mathématiques bien définis qui furent développés au XIXe siècle. A la fin du XVIIe siècle avec l'introduction du calcul infinitésimal, mais avant l'avènement de la réaction moderne, les tensions entre les réponses ont alimenté une dispute violente et sans fin entre mathématiciens.
Divergence
En mathématiques modernes, la somme d'une série infinie est définie comme étant la limite de la suite de ses sommes partielles, si elle existe. La suite des sommes partielles de la série de Grandi est 1, 0, 1, 0, …, ce qui n'approche clairement aucun nombre (même si cela aboutit à des valeurs d'adhérence de 0 et 1). Ainsi, selon la définition moderne de la convergence d'une série, la série de Grandi est divergente. D'ailleurs, selon cette définition, une série convergente doit nécessairement voir son terme général tendre vers 0, ce qui n'est pas le cas pour la série de Grandi, puisque celui-ci vaut alternativement -1 ou 1.
On peut montrer qu'il n'est pas valide de faire sur une série des opérations, inoffensives en apparence mais nombreuses, comme réordonner certains termes, sauf si la série est absolument convergente. Si elle ne l'est pas, ces opérations peuvent modifier le résultat de la sommation. On peut facilement prouver qu'un réordonnancement des termes d'une série de Grandi peut la rendre convergente vers n'importe quel nombre entier, et pas seulement 0 ou 1.
Article connexe
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Grandi's series » (voir la liste des auteurs)
- (en) Keith Devlin (en), Mathematics, the science of patterns, Scientific American Library, 1994 (ISBN 0-7167-6022-3), p. 77
- (en) Harry F. Davis, Fourier Series and Orthogonal Functions, Dover, 1989 (ISBN 0-486-65973-9), p. 152
- (en) Morris Kline (en), « Euler and Infinite Series », dans Mathematics Magazine, vol. 56, no 5, novembre 1983, p. 307-314 [lien DOI]
- (en) Konrad Knopp (en), Theory and Application of Infinite Series, Dover, 1990 (1re éd. 1922) (ISBN 0-486-66165-2), p. 457
Wikimedia Foundation. 2010.
