En mathématiques, est une série numérique dont les termes sont des puissances successives de 2 avec des signes alternés. En tant que série géométrique, elle est caractérisée par son premier terme, 1, et sa raison, −2.

En tant que suite de nombres réels, elle diverge. Elle n'a donc pas de somme, au sens classique du terme. En analyse p-adique, la série est associée à une valeur finie, à savoir 1/3, qui est la limite de la série utilisant la métrique 2-adique.

Arguments historiques Gottfried Leibniz a étudié la série alternée divergente dès 1673. Il affirmait qu'en soustrayant soit à gauche soit à droite, on pouvait atteindre l'infini positif ou négatif, et donc les deux réponses sont fausses et le tout devrait être fini : Normalement, la nature choisit le milieu si aucun des deux n'est permis, ou plutôt s'il ne peut être déterminé lequel des deux est permis, et que le tout est égal à une quantité finie. Leibniz n'a pas clairement affirmé que la série avait une somme, mais il a déduit une association avec 1/3 en suivant la méthode de Mercator, . La citation vient de De progressionibus intervallorum tangentium a vertice, en latin : . L'attitude selon laquelle une série pourrait être égale à une quantité finie sans que la suite des sommes partielles ne converge réellement vers cette valeur serait courante au , bien qu'aucune distinction ne soit faite dans les mathématiques modernes .

Après que Christian Wolff a lu le traitement de la série de Grandi par Leibniz au milieu de l'année 1712, Wolff fut si satisfait de la solution qu'il chercha à étendre la méthode de la moyenne arithmétique à plus de séries divergentes telles que La première référence de Wolff à la lettre publiée dans les Acta Eruditorum apparait dans une lettre écrite à Halle datée du 12 juin 1712 ; Gerhardt .. De manière succincte, si on exprime une somme partielle de cette série en fonction de l'avant-dernier terme, on obtient soit ou . La moyenne de ces valeurs est , et en supposant que à l'infini donne comme somme de la série. L'intuition de Leibniz l'empêcha de pousser sa solution aussi loin, et il répondit que l'idée de Wolff était intéressante, mais invalide pour plusieurs raisons. Les moyennes arithmétiques des sommes partielles voisines ne convergent pas vers une valeur particulière, et pour tous les cas finis, on a et non . En général, les termes d'une série sommable devraient décroître vers 0 ; même pourrait être exprimée comme une limite de cette série. Leibniz conseille à Wolff de reconsidérer sa position afin de « produire quelque chose de digne de la science et de lui-même »La citation est l'interprétation de Moore () ; la lettre de Leibniz est dans Gerhardt , datée du 13 juillet 1712 à Hanovre..

Méthodes modernes

Série géométrique Toute méthode de sommation possédant les propriétés de régularité, de linéarité et de stabilité permettra d'obtenir la somme d'une série géométrique

Dans ce cas, a = 1 et r = −2, donc la somme est 1/3.

Sommation d'Euler Dans ses Institutiones de 1755, Leonhard Euler a utilisé ce qu'on appelle aujourd'hui la transformée d'Euler de , arrivant à la série convergente . Puisque cette deuxième série converge vers , Euler en déduit que . Ses idées de calcul de séries ne suivent pas l'approche moderne ; on dirait aujourd'hui que est sommable au sens d'Euler et sa somme d'Euler est . droite|vignette|300x300px|Extrait des Institutiones La transformée d'Euler commence par la suite de termes positifs :

La suite des différences finies directes est alors

qui est exactement la même suite. Par conséquent, les suites itérées de différences directes commencent toutes par pour tout . La transformée d'Euler est la série

Il s'agit d'une série géométrique convergente dont la somme est selon la formule habituelle.

Sommation de Borel La somme de Borel de est également ; lorsque Émile Borel introduit la formulation limite de sa méthode de sommation en 1896, ce fut l'un de ses premiers exemples après 1 − 1 + 1 − 1 + ⋯ ..

Métrique p-adique La suite de sommes partielles associée à dans la métrique 2-adique est

et lorsqu'il est exprimé en base 2 en utilisant le complément à deux,

et la limite de cette séquence est dans la métrique 2-adique. Ainsi .

Voir aussi

1 + 2 + 4 + 8 + ⋯

Notes

Références

Catégorie:Série géométrique Catégorie:Série divergente Catégorie:Pages avec des traductions non relues