Série géométrique

Preuve sans mots de l'égalité
1/2 + 1/4 + 1/8 + 1/16 + ⋯ = 1

Illustration de l'égalité
1/4 + 1/16 + 1/64 + 1/256 + ⋯ = 1/3 :
chacun des carrés violets mesure 1/4 de la surface du grand carré le plus proche (1/2×Modèle:Nobr = 1/4, 1/4×1/4 = 1/16, etc.). Par ailleurs, la somme des aires des carrés violets est égale à un tiers de la superficie du grand carré.

En mathématiques, une série géométrique est une série définie par une suite géométrique, c'est-à-dire que le ratio de deux termes successifs de la série est constant. Par exemple la série numérique :

$\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\frac{1}{16}+\cdots$

est une série géométrique de raison 1/2, parce que chaque terme est le produit du précédent par 1/2.

Le calcul explicite des sommes partielles d'une série géométrique permet d'étudier simplement sa convergence. On peut définir les séries géométrique de nombres réels, de nombres complexes et généraliser à n'importe quelle algèbre de Banach.

Définition dans le corps des réels

Soit $(u_n{)}_{n\in \mathbb{N}}$ une suite géométrique à valeurs réelles de terme initial $u_0=a\in ℝ$ et de raison $q\in ℝ$. La suite $(S_n{)}_{n\in \mathbb{N}}$ des sommes partielles de cette suite est définie par

$S_n=\sum _{0\le k\le n}{u}_k=u_0+u_1+u_2+u_3+\cdots +u_n$

Accessoirement, on peut en déduire l'élément suivant de la suite $(u_k)$ :

$u_{n+1}=S_{n+1}-S_n=(a+q{S}_n)-S_n=a+(q-1)S_n.$

Terme général

Sachant que le terme général de la suite géométrique Modèle:Math est Modèle:Mvar, et en excluant le cas Modèle:Math qui donne Modèle:Math, le terme général de la suite Modèle:Math des sommes partielles de la série s'écrit :

$S_n=a\sum _{0\le k\le n}{q}^k=a\frac{1-q^{n+1}}{1-q}$.

De manière plus générale, pour une suite géométrique de raison Modèle:Mvar et dont on veut connaître la somme partielle entre les naturels Modèle:Mvar et Modèle:Mvar (Modèle:Math), la formule est la suivante :

$S=S_j-S_{i-1}=a\sum _{k=i}^j{q}^k=a\frac{q^i-q^{j+1}}{1-q}$.

Exemple numérique

On cherche à calculer la somme des puissances k-ièmes de 2 pour k entier allant de 0 à 8. C'est la somme des 9 premiers termes de la suite géométrique de raison 2 et de premier terme 1 :

$S_8=1+2+4+8+16+32+64+128+256$.

La formule de la section précédente s'écrit ici :

$S_8=1\times \frac{1-512}{1-2}=511$.

Preuve par récurrence

L'identité est vraie pour n = 0. Supposons-la vérifiée au rang n. Alors,

$S_{n+1}=S_n+a{q}^{n+1}=a\frac{1-q^{n+1}}{1-q}+a{q}^{n+1}=a\frac{1-q^{n+1}+q^{n+1}-q^{n+2}}{1-q}=a\frac{1-q^{n+2}}{1-q}$,

ce qui montre l'assertion au rang n + 1.

Preuve directe

Pour un entier naturel Modèle:Mvar fixé, on multiplie Modèle:Mvar par Modèle:Mvar, puis on soustrait le résultat obtenu à Modèle:Mvar :

$\begin{array}{ccccccccccccccc}{S}_n& =& a& +& aq& +& a{q}^2& +& \cdots & +& a{q}^{n-1}& +& a{q}^n& & \\ q{S}_n& =& & & aq& +& a{q}^2& +& \cdots & +& a{q}^{n-1}& +& a{q}^n& +& a{q}^{n+1}\\ S_n-q{S}_n& =& a& & & & & & & & & & & -& a{q}^{n+1}\end{array}$

(c'est une somme télescopique). On obtient donc

$(1-q)S_n=a(1-q^{n+1})$,

c'est-à-dire :

$S_n=a\frac{1-q^{n+1}}{1-q}$.

Preuve utilisant des règles de proportionnalité

C'est la démarche employée par Euclide dans le Livre IX de ses Éléments, théorème 33 proposition XXXV, pour des nombres entiers positifs. Il utilise une propriété qu'il a également démontrée : quand plusieurs fractions sont égales, elles sont aussi égales à la fraction obtenue en faisant la somme des numérateurs divisée par la somme des dénominateurs.

Or, dans une suite géométrique, il y a égalité des rapports entre deux termes consécutifs mais aussi égalité du rapport entre la différence de deux termes consécutifs et le premier d'entre eux. En langage mathématique, cela donne

$\frac{u_0-u_1}{u_0}=\frac{u_1-u_2}{u_1}=\frac{u_2-u_3}{u_2}=\cdots =\frac{u_n-u_{n+1}}{u_n}=1-q$

puis, en sommant les numérateurs entre eux et les dénominateurs entre eux :

$1-q=\frac{u_0-u_1+u_1-u_2+u_2-u_3+\cdots +u_n-u_{n+1}}{u_0+u_1+u_2+\cdots +u_n}=\frac{u_0-u_{n+1}}{S_n}$

Une telle démonstration reste valable tant que les termes de la suite sont non nuls et la somme est non nulle.

Convergence et divergence

On cherche à trouver les cas où la série géométrique est convergente, c'est-à-dire où la [[Limite d'une suite|suite Modèle:Math est convergente]]. On va distinguer trois cas (tout en éliminant le cas Modèle:Math qui est sans intérêt) :

• Si $|q|<1$, alors $q^n$ tend vers 0, donc la suite Modèle:Math est convergente, de limite$a\frac{1-0}{1-q}=\frac{a}{1-q}.$Ce calcul permet de résoudre le paradoxe d'Achille et de la tortue énoncé par les Grecs anciens. Il justifie aussi l'égalité [[Développement décimal de l'unité|Modèle:Math]] (pour Modèle:Math et Modèle:Math).
• Si $|q|=1$, on a deux cas. Si q = 1, alors Modèle:Math et si q = –1, alors Modèle:Math pour n impair et Modèle:Math pour n pair. La suite diverge dans les deux cas.
• Si $|q|>1$, la suite $(q^n)$ diverge et a fortiori Modèle:Math diverge grossièrement.

Ces sommes sont dites géométriques, parce qu'elles apparaissent en comparant des longueurs, des aires, des volumes, etc. de formes géométriques dans différentes dimensions.

On dispose donc du résultat général suivantModèle:,Modèle:,Modèle:,Modèle:, :

Généralisation au corps des complexes

Les résultats s'étendent très naturellement au corps des nombres complexes.

Une série géométrique de premier terme $a\in ℂ$ et de raison $q\in ℂ$ est la série de terme général $a{q}^n$.

Une condition nécessaire et suffisante de convergence est, si a est non nul, que la raison q soit un complexe de module strictement inférieur à 1.

Les séries géométriques sont les exemples les plus simples de séries entières dont on dispose. Leur rayon de convergence est 1, et le point 1 est une singularité (et plus précisément, un pôle).

Séries géométriques dans les algèbres de Banach unitaires

Si $(A,\Vert .\Vert )$ désigne une algèbre de Banach unitaire (réelle ou complexe), d'élément unité e, la série géométrique de raison $u\in A$ et de premier terme e est la série de terme général $u^n$.

La sous-multiplicativité donne : $\Vert u^n\Vert \le \Vert u{\Vert }^n$ pour tout entier naturel non nul n.

Lorsque $\Vert u\Vert <1$, la série géométrique réelle de terme général $\Vert u{\Vert }^n$ est convergente, donc la série vectorielle de terme général $u^n$ est absolument convergente.

Notons s sa somme ($s\in A$) ; elle commute avec u. Alors :

$(e-u)s=s(e-u)=s-us=\sum _{n=0}^{+\mathrm{\infty }}{u}^n-\sum _{n=0}^{+\mathrm{\infty }}{u}^{n+1}=\sum _{n=0}^{+\mathrm{\infty }}{u}^n-\sum _{n=1}^{+\mathrm{\infty }}{u}^n=e.$

Donc $e-u$ est inversible dans A dès que $\Vert u\Vert <1$, et son inverse est $s=\sum _{n=0}^{+\mathrm{\infty }}{u}^n$.

C'est un résultat fondamental ; en voici quelques conséquences, énoncées sans démonstration :

• l'ensemble des éléments inversibles de $A$ (son groupe des unités) est un ouvert ;
• dans le cas où A est une algèbre de Banach complexe, le spectre de tout élément x de A — l'ensemble des complexes $\lambda$ tels que $\lambda e-x$ ne soit pas inversible — est une partie fermée non vide et bornée de ℂ ;
• sur son domaine de définition, l'application $\lambda \mapsto (\lambda e-x{)}^{-1}$ est développable en série entière.

Bibliographie

• Éric J.-M. Delhez, Analyse Mathématique, Tome II, Université de Liège, Belgique, Modèle:Date-, Modèle:P..
• Modèle:Ouvrage
• Modèle:Dieudonné1