Suite arithmétique : \(u_{n+1} = u_n + r\) avec \(r\) la raison.
- Initialiser le premier terme
- Itérer la relation de récurrence
- Calculer chaque terme à partir du précédent
- Observer le comportement
Variables u, r, i, n : réels
Début
u ← 5 // u₀ = 5
r ← 3 // raison
n ← 10 // nombre de termes à simuler
Afficher("u₀ = ", u)
Pour i de 1 à n-1 Faire
u ← u + r // uₙ₊₁ = uₙ + r
Afficher("u", i, " = ", u)
FinPour
Fin
u₀ = 5
u₁ = 5 + 3 = 8
u₂ = 8 + 3 = 11
u₃ = 11 + 3 = 14
u₄ = 14 + 3 = 17
Pour une suite arithmétique : \(u_n = u_0 + nr\)
Ici : \(u_n = 5 + 3n\)
| n | uₙ |
|---|---|
| 0 | 5 |
| 1 | 8 |
| 2 | 11 |
| 3 | 14 |
| 4 | 17 |
| 5 | 20 |
| 6 | 23 |
| 7 | 26 |
| 8 | 29 |
| 9 | 32 |
Si r > 0 : la suite est croissante et tend vers +∞
Si r < 0 : la suite est décroissante et tend vers -∞
La suite arithmétique de premier terme 5 et de raison 3 est croissante et diverge vers +∞.
• Itération : Chaque terme est calculé à partir du précédent
• Récurrence : Relation entre termes successifs
• Comportement : Dépend du signe de la raison
La suite arithmétique croît linéairement avec n
Le comportement dépend uniquement du signe de la raison
Suite géométrique : \(u_{n+1} = q \cdot u_n\) avec \(q\) la raison.
Variables u, q, i, n : réels
Début
u ← 2 // u₀ = 2
q ← 0.8 // raison
n ← 8 // nombre de termes à simuler
Afficher("u₀ = ", u)
Pour i de 1 à n-1 Faire
u ← q * u // uₙ₊₁ = q·uₙ
Afficher("u", i, " = ", u)
FinPour
Fin
u₀ = 2
u₁ = 0.8 × 2 = 1.6
u₂ = 0.8 × 1.6 = 1.28
u₃ = 0.8 × 1.28 = 1.024
u₄ = 0.8 × 1.024 = 0.8192
Pour une suite géométrique : \(u_n = u_0 \cdot q^n\)
Ici : \(u_n = 2 \cdot (0.8)^n\)
Si |q| < 1 : la suite converge vers 0
Si q > 1 et u₀ > 0 : la suite diverge vers +∞
Si q < -1 : la suite diverge sans tendance
| n | uₙ |
|---|---|
| 0 | 2.000 |
| 1 | 1.600 |
| 2 | 1.280 |
| 3 | 1.024 |
| 4 | 0.819 |
| 5 | 0.655 |
| 6 | 0.524 |
| 7 | 0.419 |
La suite géométrique de premier terme 2 et de raison 0.8 converge vers 0.
• Itération : Chaque terme est multiplié par la raison
• Convergence : Si |q| < 1, la suite tend vers 0
• Comportement : Dépend du module de la raison
La suite géométrique converge exponentiellement vers 0 si |q| < 1
La vitesse de convergence dépend de la valeur de |q|
Suite logistique : \(u_{n+1} = 2u_n(1-u_n)\) avec \(u_0 = 0.3\).
Variables u, i, n : réels
Début
u ← 0.3 // u₀ = 0.3
n ← 15 // nombre de termes à simuler
Afficher("u₀ = ", u)
Pour i de 1 à n-1 Faire
u ← 2 * u * (1 - u) // uₙ₊₁ = 2uₙ(1-uₙ)
Afficher("u", i, " = ", u)
FinPour
Fin
u₀ = 0.3
u₁ = 2 × 0.3 × (1 - 0.3) = 2 × 0.3 × 0.7 = 0.42
u₂ = 2 × 0.42 × (1 - 0.42) = 2 × 0.42 × 0.58 = 0.4872
u₃ = 2 × 0.4872 × (1 - 0.4872) = 2 × 0.4872 × 0.5128 ≈ 0.5002
| n | uₙ |
|---|---|
| 0 | 0.3000 |
| 1 | 0.4200 |
| 2 | 0.4872 |
| 3 | 0.5002 |
| 4 | 0.5000 |
| 5 | 0.5000 |
| 6 | 0.5000 |
La suite semble converger vers 0.5
Pour vérifier, on cherche les points fixes : \(x = 2x(1-x)\)
\(x = 2x - 2x^2 \Rightarrow x - 2x + 2x^2 = 0 \Rightarrow x(2x - 1) = 0\)
Donc \(x = 0\) ou \(x = 0.5\)
La dérivée de \(f(x) = 2x(1-x)\) est \(f'(x) = 2 - 4x\)
Au point fixe \(x = 0.5\) : \(f'(0.5) = 0\), donc stable
Au point fixe \(x = 0\) : \(f'(0) = 2\), donc instable
La suite logistique converge vers 0.5, qui est un point fixe stable.
• Itération : Chaque terme dépend du précédent par une relation non linéaire
• Points fixes : Solutions de \(x = f(x)\)
• Stabilité : Déterminée par la dérivée en ce point
La suite logistique modélise des phénomènes de croissance limitée
Des comportements complexes peuvent émerger de relations simples
Suite de Syracuse : \(u_{n+1} = \begin{cases} u_n/2 & \text{si } u_n \text{ est pair} \\ 3u_n+1 & \text{si } u_n \text{ est impair} \end{cases}\)
Variables u, i, n : entiers
Début
u ← 7 // u₀ = 7
n ← 20 // nombre maximum d'itérations
Afficher("u₀ = ", u)
Pour i de 1 à n-1 Faire
Si u MOD 2 = 0 Alors // u est pair
u ← u / 2
Sinon // u est impair
u ← 3*u + 1
FinSi
Afficher("u", i, " = ", u)
Si u = 1 Alors // Conjecture de Syracuse
Afficher("La suite atteint 1 après ", i, " itérations")
Sortir de la boucle
FinSi
FinPour
Fin
u₀ = 7 (impair) → u₁ = 3×7+1 = 22
u₁ = 22 (pair) → u₂ = 22/2 = 11
u₂ = 11 (impair) → u₃ = 3×11+1 = 34
u₃ = 34 (pair) → u₄ = 34/2 = 17
u₄ = 17 (impair) → u₅ = 3×17+1 = 52
u₅ = 52 (pair) → u₆ = 52/2 = 26
u₆ = 26 (pair) → u₇ = 26/2 = 13
u₇ = 13 (impair) → u₈ = 3×13+1 = 40
u₈ = 40 (pair) → u₉ = 40/2 = 20
u₉ = 20 (pair) → u₁₀ = 20/2 = 10
u₁₀ = 10 (pair) → u₁₁ = 10/2 = 5
u₁₁ = 5 (impair) → u₁₂ = 3×5+1 = 16
u₁₂ = 16 (pair) → u₁₃ = 16/2 = 8
u₁₃ = 8 (pair) → u₁₄ = 8/2 = 4
u₁₄ = 4 (pair) → u₁₅ = 4/2 = 2
u₁₅ = 2 (pair) → u₁₆ = 2/2 = 1
La suite atteint 1 après 16 itérations
À partir de 1 : 1 → 4 → 2 → 1 → 4 → 2 → 1 (cycle)
Conjecture : Pour tout entier positif, la suite atteint 1
Non prouvée à ce jour
Comportement erratique : croissance rapide puis décroissance
Difficulté de prédiction du comportement à long terme
La suite de Syracuse partant de 7 atteint 1 après 16 itérations, illustrant la conjecture non résolue.
• Itération conditionnelle : Deux règles selon la parité
• Comportement chaotique : Difficile à prédire
• Problème ouvert : Conjecture non prouvée
La suite de Syracuse illustre des comportements complexes à partir de règles simples
Des suites simples peuvent poser des problèmes mathématiques non résolus
Suite de Héron : \(u_{n+1} = \frac{u_n + \frac{a}{u_n}}{2}\) pour approcher \(\sqrt{a}\).
Variables u, a, u_prec, precision : réels
Variables i, max_iter : entiers
Début
a ← 5 // On veut √5
u ← 10 // u₀ = 10 (estimation initiale)
precision ← 0.0001
max_iter ← 20
Afficher("u₀ = ", u)
Pour i de 1 à max_iter Faire
u_prec ← u
u ← (u + a/u) / 2 // Formule de Héron
Afficher("u", i, " = ", u)
Si |u - u_prec| < precision Alors
Afficher("Convergence atteinte après ", i, " itérations")
Afficher("√", a, " ≈ ", u)
Sortir de la boucle
FinSi
FinPour
Fin
u₀ = 10
u₁ = (10 + 5/10)/2 = (10 + 0.5)/2 = 5.25
u₂ = (5.25 + 5/5.25)/2 = (5.25 + 0.952)/2 ≈ 3.101
u₃ = (3.101 + 5/3.101)/2 = (3.101 + 1.612)/2 ≈ 2.357
u₄ = (2.357 + 5/2.357)/2 = (2.357 + 2.121)/2 ≈ 2.239
u₅ = (2.239 + 5/2.239)/2 = (2.239 + 2.233)/2 ≈ 2.236
√5 ≈ 2.236067977...
La suite converge rapidement vers cette valeur
| n | uₙ | Écart à √5 |
|---|---|---|
| 0 | 10.000000 | 7.763932 |
| 1 | 5.250000 | 3.013932 |
| 2 | 3.101190 | 0.865122 |
| 3 | 2.356734 | 0.120666 |
| 4 | 2.239138 | 0.003070 |
| 5 | 2.236069 | 0.000001 |
Convergence quadratique (double le nombre de décimales correctes à chaque itération)
Très efficace pour le calcul de racines carrées
La suite de Héron converge rapidement vers √5 ≈ 2.236, illustrant une méthode itérative efficace.
• Itération : Chaque terme s'approche de la racine
• Convergence : Quadratique, donc très rapide
• Estimation initiale : Peut être arbitraire, la convergence est assurée
La méthode de Héron converge très rapidement vers la racine carrée
La convergence quadratique signifie que la précision double à chaque itération
- Identifier la relation : Reconnaître le type de suite
- Initialiser : Définir la valeur de départ
- Itérer : Appliquer la relation de récurrence
- Observer : Analyser le comportement des termes
- Conclure : Déterminer la nature de la convergence ou divergence
- Les suites arithmétiques ont un comportement linéaire
- Les suites géométriques convergent si |q| < 1
- Les suites récurrentes peuvent avoir des comportements complexes
- La simulation aide à conjecturer le comportement asymptotique
- Il faut distinguer comportement observé et preuve mathématique