|
:<math> \sum_{k=1}^\infty \frac{1}{k^3} \approx 1{,}202\,056\,903. </math>
==Les séries géométriques==
Les séries géométriques sont simplement des séries qui additionnent tous les termes d'une suite géométrique. Toutes ne convergent pas, la plupart divergeant franchement ! Par exemple, la suite géométrique de raison 10 et de premier terme 1 va naturellement diverger, vu que ses termes n'ont de cesse d'augmenter avec le rang. Dans les grandes lignes, il n'y a qu'un seul moyen pour que les termes tendent vers zéro avec le rang : la raison doit être comprise entre -1 et 1. Si c'est le cas, chaque terme sera plus petit (en valeur absolue) que le précédent : les termes diminuant de plus en plus, ils tendent bien vers zéro. Il se trouve que dans ce cas, la série va alors converger. Par contre, une raison de valeur absolue supérieure ou égale à 1 fait diverger la série. Si la raison est égale à 1, la suite est une suite constante, qui va naturellement diverger. Une raison supérieure à 1 va faire que les terme augmentent avec le rang, rendant la série divergente.
Une série géométrique se calcule assez simplement, la formule étant la suivante :
: <math>S_n = u_0 \frac{1}{1 - r}</math>
{{ démonstration | contenu =
Il est possible de démontrer cette formule à partir de la formule de la somme partielle d'une suite géométrique, qui est la suivante :
: <math>S_n = u_0 \frac{1 - r^{n}}{1 - r}</math>
Il suffit de faire tendre n vers l'infini dans cette formule. Le terme : <math>r^n</math> va alors tendre vers 0, ce qui donne :
: <math>S_n = u_0 \frac{1}{1 - r}</math>
CQFD !}}
On voit bien, avec cette formule, qu'une raison égale à 1 fait diverger la série : une raison de 1 donne une division par zéro dans la formule ci-dessus, ce qui signifie que la série diverge.
===La suite de l'inverse des puissances des entiers===
Comme premier exemple de série géométrique, nous allons prendre le cas de l'inverse des puissances d'un nombre entier. Par exemple, nous allons étudier la suite de l'inverse des puissances de deux, l'inverse des puissances de trois, etc. Formellement, nous allons étudier les suites définies par :
Pour commencer, nous allons prendre l'exemple de la suite de l'inverse des puissances de deux définie par :
: <math>u_0 = 1</math>
: <math>u_n = \frac{1}{x^n} = u_{n-1} \times \frac{1}{x}</math>
Ainsi que les suites de la forme
Pour commencer, nous allons prendre l'exemple de la suite de l'inverse des puissances de deux définie par :
: <math>u_0 = \frac{1}{x}</math>
: <math>u_n = \frac{1}{x^n} = u_{x-1} \times \frac{1}{x}</math>
====La suite de l'inverse des puissances de deux====
Pour commencer, nous allons prendre l'exemple de la suite de l'inverse des puissances de deux définie par :
: <math>u_0 = 1</math>
: <math>u_n = \frac{1}{2^n} = u_{n-1} \times \frac{1}{2}</math>
La série associée est la suivante :
: <math> 1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \frac{1}{32} + ...</math>
Si on applique la formule du dessus, on trouve :
: <math>S = \frac{1}{1 - 1/2} = 2</math>
Cette série donne donc un résultat fini quand on fait la somme de tous ses termes : le résultat vaut 2 !
[[File:Geometrische reihe.svg|centre|vignette|upright=2.0|Illustration de la somme de l'inverse des puissance de deux.]]
------------------
On peut aussi étudier la suite précédente, en remplacant le premier terme par 1/2 et en gardant la même relation de récurrence. On obtient alors la suite définie ainsi :
: <math>u_0 = \frac{1}{2}</math>
: <math>u_n = \frac{1}{2^n} = u_{n-1} \times \frac{1}{2}</math>
La formule nous dit que le résultat de la série est tout simplement 1 !
: <math>S = \frac{1}{2} \frac{1}{1 - 1/2} = 1</math>
[[File:Geometric Segment.svg|centre|vignette|upright=2.0|Illustration de la somme de l'inverse des puissance de deux.]]
Mine de rien, cette série est contre-intuitive : l'intuition nous dit que cette suite devrait diverger, pas converger. Historiquement, le premier a avoir été trahit ainsi par son intuition a été le philosophe Zénon, auteur des célèbres paradoxes de Zénon, censés démontrer que le mouvement est une impossibilité (des trucs de philosophes ! ). Le paradoxe le plus connu est le suivant. Imaginons que me tient à une certaine distance d'un arbre. Pour l'atteindre, je dois parcourir la moitié de la distance qui me sépare de celui-ci. Puis, je dois parcourir la moitié du chemin restant. Puis je dois encore parcourir encore une nouvelle moitié, et ainsi de suite à l'infini. Il est impossible que j'atteigne l'arbre, vu que je devrais traverser une infinité de distances, chacune étant une des moitié mentionnée plus haut. On voit que ce paradoxe est résolu par le calcul vu plus haut : la somme des moitiés converge !
[[File:Zeno Dichotomy Paradox.png|centre|vignette|upright=2.0|Paradoxe de la dichotomie de Zénon.]]
====La suite de l'inverse des puissances de quatre====
On peut maintenant passer au dernier exemple, à savoir la suite de l'inverse des puissances de quatre, définie par :
: <math>u_0 = 1</math>
: <math>u_n = \frac{1}{4^n} = u_{n-1} \times \frac{1}{4}</math>
Cette suite est la suivante :
: <math> 1, \frac{1}{4}, \frac{1}{16}, \frac{1}{64},\frac{1}{256}, \frac{1}{1024}, ...</math>
Si on applique la formule du dessus, on trouve :
: <math>S = \frac{1}{1 - 1/4} = 1 + \frac{1}{3}</math>
-------------------
[[File:GeometricSquares.png|vignette|Preuve visuelle de la série de l'inverse des puissances de quatre.]]
On peut aussi étudier la suite précédente, en remplaçant le premier terme par 1/4 et en gardant la même relation de récurrence. On obtient alors la suite définie ainsi :
: <math>u_0 = \frac{1}{4}</math>
: <math>u_n = \frac{1}{4^n} = u_{n-1} \times \frac{1}{4}</math>
La formule nous dit que le résultat de la série est tout simplement 1/3 !
: <math>S = \frac{1}{4} \frac{1}{1 - 1/4} = \frac{1}{3}</math>
Il existe une belle preuve visuelle de ce résultat, illustré dans le schéma à votre droite, qui illustre le calcul <math> \frac{1}{4} + \frac{1}{16} + \frac{1}{64} + \frac{1}{256} + \frac{1}{1024} + ...</math>.
====Le cas général====
[[File:Geometric series triangle.svg|vignette|Preuve visuelle du résultat de la série de l'inverse des puissances de trois.]]
[[File:Geometric sequences.svg|vignette|Exemples de série géométriques convergentes.]]
On peut étudier les cas de l'inverse des puissances de trois, de cinq, de six, et de bien d'autres. Voici ce que l'on obtient pour les premiers entiers naturels :
: <math>\sum_{n=1}^{\infty} \frac{1}{2^n} = 1</math>
: <math>\sum_{n=1}^{\infty} \frac{1}{3^n} = \frac{1}{2}</math>
: <math>\sum_{n=1}^{\infty} \frac{1}{4^n} = \frac{1}{3}</math>
: <math>\sum_{n=1}^{\infty} \frac{1}{5^n} = \frac{1}{4}</math>
: <math>\sum_{n=1}^{\infty} \frac{1}{6^n} = \frac{1}{5}</math>
: <math>\sum_{n=1}^{\infty} \frac{1}{7^n} = \frac{1}{6}</math>
: <math>\sum_{n=1}^{\infty} \frac{1}{8^n} = \frac{1}{7}</math>
: <math>\sum_{n=1}^{\infty} \frac{1}{9^n} = \frac{1}{8}</math>
Il y a là un motif assez évident et l'on peut généraliser la formule suivante :
: <math>\sum_{n=1}^{\infty} \frac{1}{x^n} = \frac{1}{x - 1}</math>
===Les décimaux périodiques===
Certains nombres fractionnaires ont un développement décimal périodique. C'est à dire que si on regarde leurs décimales, on remarque que celles-ci finissent par faire un cycle au bout d'un certain temps. Un même cycle de décimale se répète à l'infini à partir d'un certain rang. Le cas le plus simple est certainement la fraction <math>\frac{1}{3} = 0.33333333333\overline{3}</math>. En voici quelques exemples :
;<math>\begin{array}{l} 1/9 = 0{,}111111\ldots\\ 1/3 = 0{,}333333\ldots\\ 13/6 = 2{,}166666\ldots\\ 1/37 = 0{,}027027\ldots\\26/37 = 0{,}702702\ldots\\2/37 = 0{,}054054\ldots\end{array} </math>
Quand cela arrive, on peut noter ces nombres en surlignant le groupe de décimales qui se répètent. Par exemple, <math>0.7171717171... = 0.71\overline{71}</math>. Ces nombres peuvent s'étudier assez simplement avec le formalisme des séries. On peut, par exemple, retrouver la fraction qui correspond uniquement à partir des décimales. Ces '''nombres décimaux périodiques''' peuvent être vus comme le résultat d'une série géométrique et l'on peut déterminer leur fraction à partir de leur développement décimal à partir de la formule d'une série géométrique.
====Le développement décimal de l'unité====
Le cas le plus étonnant est clairement le cas du nombre <math>0.999999999999\overline{9}</math>. Celui-ci est tout simplement la somme des termes de la suite suivante :
: <math>u_0 = \frac{9}{10}</math>
: <math>u_n = u_{n-1} \times \frac{1}{10}</math>
La suite est la suivante :
<math>0.9, 0.09, 0.009, 0.0009, 0.00009, ...</math>
Si l'on souhaite calculer la série qui correspond, on doit retrouver le résultat initial :
<math>S = 0.99999999999...</math>
Cependant, il est intéressant de regarder le résultat obtenu avec la formule des séries géométriques :
: <math>S = \frac{9}{10} \frac{1}{1 - 1/10} = 1</math>
Les deux résultats doivent être égaux, ce qui donne :
<math>1 = 0.99999999999...</math>
[[File:0.999... = 1 CircleGraphProof.png|vignette|0.999... = 1, illustration.]]
Ce résultat fortement contre-intuitif est cependant vérifiable par une petite démonstration assez simple.
{{ démonstration | contenu =
Partons du nombre :
<math>S = 0.99999999999...</math>
Multiplions-le par l'inverse de la raison de la suite, à savoir 10.
<math>10 S = 9.99999999999...</math>
Soustrayons maintenant le nombre S initial :
<math>10 S - S = 9.99999999999... - 0.99999999999...</math>
<math>9 S = 9 </math>
Donc, on a :
<math>S = 0.99999999999... = 1</math>
CQFD!}}
====Le développement des décimaux à chiffres périodiques====
Après avoir vu le cas du développement de l'unité, on peut passer à des décimaux périodiques de la forme : <math>0.11111111\overline{1}</math> ou <math>0.55555555\overline{5}</math>. Par exemple, le nombre <math>0.77777777777\overline{7}</math> est la somme totale de la série géométrique suivante : <math>0.7 , 0.07, 0.007, 0.0007, </math>. On voit que cet exemple est une suite géométrique de raison l/10 et de premier terme 7/10. La formule d'une série géométrique nous dit que cette série vaut :
: <math>S = \frac{7}{10} \frac{1}{1 - 1/10} = \frac{7}{9}</math>
Si on applique le même raisonnement aux nombres dont un seul chiffre est répété infiniment, on trouve :
: <math>\frac{1}{9} = 0.11111111\overline{1}</math>
: <math>\frac{2}{9} = 0.22222222\overline{2}</math>
: <math>\frac{3}{9} = 0.33333333\overline{3}</math>
: <math>\frac{4}{9} = 0.44444444\overline{4}</math>
: <math>\frac{5}{9} = 0.55555555\overline{5}</math>
: <math>\frac{6}{9} = 0.66666666\overline{6}</math>
: <math>\frac{7}{9} = 0.77777777\overline{7}</math>
: <math>\frac{8}{9} = 0.88888888\overline{8}</math>
: <math>\frac{9}{9} = 0.99999999\overline{9} = 1</math>
On voit clairement qu'il y a un certain motif qui se dégage, un motif suffisamment évident pour ne pas le détailler plus.
{{NavChapitre | book=Les suites et séries
| prev=Les sommes partielles
| prevText=Les sommes partielles
| next=LaLes convergenceséries d'une sériegéométriques
| nextText=LaLes convergenceséries d'une sériegéométriques
}}
| 