Miniature de la vidéo numéro 5 de la série Démo Sans Mots, qui porte sur les séries géométriques.

Série géométrique – DSM#5

La vidéo : Série géométrique

Dans ce volet de « Démo Sans Mots« , nous parlerons de série géométrique. Cet article sera plus technique que les précédents.

Cette démonstration de Benjamin Klein et Irl Bivens a été publiée dans le Mathematics Magazine, (Vol. 61, No. 4, p. 219) en octobre 1988.

Somme de termes d’une suite géométrique

Avant d’attaquer pleinement le sujet, penchons-nous d’abord sur quelques préliminaires.

Pour ceux qui ne le savent pas, le mot « géométrique » utilisé ici ne veut pas dire que l’on utilise des cercles ou des rectangles. Il veut plutôt dire qu’on utilise des nombres obtenus les uns après les autres en multipliant par un même nombre q, appelée raison. Cette suite de nombres est ainsi appelée suite géométrique.

Ce que l’on fait dans cette vidéo, c’est calculer la somme de tous ses nombres, jusqu’à l’infini. Mais commençons doucement en en prenant qu’un nombre fini. Disons n. Et notons S_n la somme de ces n termes.

Écrivons maintenant cette addition en entier, puis écrivons cette même addition en multipliant tous ses termes par q.

    \begin{equation*} 	\setlength{\arraycolsep}{3pt} 	\renewcommand{\arraystretch}{1.5} 	\begin{array}{*{15}{c}} 		S_n			&=&	1	&+&	q	&+&	q^2	&+&	\ldots	&+&	q^{n-1}	&+&	q^n	& &			 		\\ 		qS_n		&=&		& &	q	&+&	q^2	&+&	\ldots	&+&	q^{n-1}	&+&	q^n	&+&	q^{n+1}	 		\\ 		\hline 		S_n - qS_n	&=&	1	& &		& &		& &			& &			& &		&-&	q^{n+1}	 	\end{array} \end{equation*}

Ce jeu d’écriture nous permet de facilement calculer S_n - qS_n comme ci-dessus. On obtient ainsi que (1 - q) S_n = 1 - q^{n+1}, c’est-à-dire que S_n = \frac{1 - q^{n+1}}{1 - q}.

Des arguments sous-entendus

Nous avons maintenant tous les outils nécessaires pour justifier rigoureusement certains arguments qui sont sous-entendus dans cette démonstration visuelle : la convergence de la série, l’alignement des points et l’origine de la formule.

Convergence de la série

Avant de chercher à calculer notre somme, il faut d’abord savoir si elle existe. En effet, il n’est pas évident que la somme d’une infinité de termes soit un nombre fini, et ce n’est d’ailleurs pas le cas en général.

En fait, dans notre cas, il nous suffit de partir du cas vu dans la partie précédente avec un nombre fini de termes, puis de regarder ce qui se passe en en prenant de plus en plus. Dans notre cas, puisque 0<q<1, on a que q^n tend vers 0, donc la suite des S_n est bien convergente de limite

    \[\lim_{n \to +\infty} S_n = \lim_{n \to +\infty} \frac{1 - q^n}{1 - q} = \frac{1 - 0}{1 - q} = \frac{1}{1 - q}\]

Nous venons ainsi de démontrer notre résultat, mais il nous reste encore un peu de travail pour justifier la démonstration visuelle. Nous noterons S = \sum_{n=0}^\infty q^n cette limite dans la suite. On parle de plus de série géométrique.

Alignement des points

Pour ce deuxième point, nous allons avoir besoin de nommer les points de la figure. Je vous propose les notations ci-dessous.

Rendered by QuickLaTeX.com

Notre objectif est de montrer que les points C, B_0, B_1, B_2, … sont alignés. Plus exactement, nous allons montrer que pour n’importe quelle valeur d’un entier i, les points B_0, B_i et C sont alignés. Pour cela, nous allons montrer que les triangles A_0 B_0 C et A_i B_i C sont semblables.

Commençons par un calcul intermédiaire, avec la longueur A_i C.

    \[A_i C =  q^i + q^{i+1} + q^{i+2} + \ldots = q^i (1 + q + q^2 + \ldots) = q^i S\]

Nous pouvons maintenant montrer que les rapports \frac{A_i B_i}{A_0 B_0} et \frac{A_i C}{A_0 C} sont égaux.

    \[\frac{A_i B_i}{A_0 B_0} = \frac{q^i}{1} = q^i\qquad\text{et}\qquad\frac{A_i C}{A_0 C} = \frac{q^i S}{S} = q^i\]

Finalement, on a \frac{A_i B_i}{A_0 B_0} = \frac{A_i C}{A_0 C} et les triangles A_0 B_0 C et A_i B_i C sont rectangles respectivement en A_0 et en A_i. Ces triangles sont donc semblables, donc les angles \widehat{A_0 C B_0} et \widehat{A_i C B_i} sont égaux, et les points B_0, B_i et C sont alignés.

Origine de la formule

La seule chose qu’il nous reste à faire, c’est d’expliquer d’où vient la formule maintenant qu’on a la figure. Et il suffit de remarquer que les triangles D B_0 B_1 et A_0 C B_0 sont semblables. Ils ont donc des côtés qui ont des longueurs proportionnelles.

    \[\frac{A_0 C}{D B_0} = \frac{A_0 B_0}{B_1 D}\quad\Leftrightarrow\quad\frac{S}{1} = \frac{1}{1 - q}\quad\Leftrightarrow\quad\sum_{n=0}^\infty q^n = S = \frac{1}{1 - q}\]

Laisser un commentaire