Suite arithmétique

Modèle:Exemple flottant En mathématiques, une suite arithmétique est une suite (le plus souvent une suite de réels) dans laquelle chaque terme permet de déduire le suivant en lui ajoutant une constante appelée raison.

Cette définition peut s'écrire sous la forme d'une relation de récurrence, pour chaque indice Modèle:Math :

Cette relation est caractéristique de la progression arithmétique ou croissance linéaire. Elle décrit bien les phénomènes dont la variation est constante au cours du temps, comme l'évolution d'un compte bancaire à intérêts simples.

Les suites arithmétiques satisfont une formule générale pour le calcul des termes ainsi que pour la série associée.

Terme général

Si (E, +) est un groupe — ou même seulement un ensemble muni d'une loi associative — et si <math>(u_n )_{n\in\N}</math> est une suite arithmétique de E de raison r alors, pour tout entier naturel Modèle:Math :

Plus généralement, si la suite n'est définie qu'à partir de l'indice Modèle:Math et si n ≥ p ≥ Modèle:Math alors : Modèle:Retrait

Une suite arithmétique est donc entièrement déterminée par la donnée de son premier terme Modèle:Math et de sa raison r.

Réciproquement, une suite définie à partir de l'indice Modèle:Math par Modèle:Retrait est arithmétique de raison r.

En analyse réelle ou complexe, la suite arithmétique est donc l'aspect discret de la fonction affine.

Sens de variation et convergence

Ce paragraphe concerne les suites arithmétiques à valeurs réelles et utilise le fait que les réels forment un corps archimédien.

Si r > 0, la suite est croissante ; si r < 0, la suite est décroissante et si r = 0 la suite est constante.

En général (si r est non nul), la suite arithmétique est divergente. Cependant elle admet une limite :

si la raison est positive (r > 0), la limite est Modèle:Math ;
si la raison est négative (r < 0), la limite est Modèle:Math ;
si la raison est nulle (r = 0), la suite est constante et converge donc vers la constante.

Somme des termes

Modèle:Article détaillé

Si E = ℝ ou ℂ et si <math>(u_n )_{n\in\N}</math> est une suite arithmétique de E alors, toute somme de termes consécutifs est égale au nombre de ces termes multiplié par la moyenne des deux termes extrêmes.

Par exemple :

<math>u_0+u_1+\cdots+u_n=(n+1){u_0+u_n\over 2}=(n+1){2u_0+nr\over 2}.</math>

Le cas particulier Modèle:Math = 0 et r = 1 est la formule donnant la somme des entiers de 1 à n, dont diverses preuves sont présentées dans les deux articles détaillés. Il permet de montrer le cas général :

<math>u_p+u_{p+1}+\cdots+u_n=(n-p+1){u_p+u_n\over 2}=(n-p+1){2u_p+(n-p)r\over 2}.</math>

Modèle:Démonstration

Cette formule se généralise à toute suite à valeurs dans un espace vectoriel sur un corps commutatif de caractéristique différente de <math>2</math>.

Suites arithmétiques remarquables

Ensemble des entiers naturels

L'ensemble ℕ des nombres entiers naturels est une suite arithmétique infinie, de raison 1.