Corrigé bac mathématiques 2025 — Exercice 2 : Suites, récurrence et algorithme Python
Sujet officiel du baccalauréat, spécialité mathématiques, session 2025. Corrigé rédigé par Ibrahim Alame.
Travailler ce sujet sur Adloun Sujet officiel (PDF) Corrigé complet (PDF)
Énoncé
Partie A
Soit la suite définie par et, pour tout entier naturel , . Soit la suite définie pour tout entier naturel par .
1. Calculer les valeurs exactes de et .
2. Démontrer que la suite est géométrique de raison .
3. Exprimer en fonction de pour tout entier naturel .
4. En déduire que, pour tout entier naturel , .
5. Déterminer la limite de la suite . Justifier la réponse.
Partie B
Soit la suite définie pour tout entier naturel par :
1. Montrer que .
On souhaite écrire une fonction suite, en langage Python, qui renvoie la valeur du terme pour une valeur de donnée. On donne ci-dessous une proposition pour cette fonction suite.
def suite(n):
U=30
W=45
for i in range(1,n+1):
U=U/2+10
W=W/2+U/2+7
return W
2. L'exécution de suite(1) ne renvoie pas le terme . Comment modifier la fonction suite afin que l'exécution de suite(n) renvoie la valeur du terme ?
3. a. Montrer, par récurrence, que pour tout entier naturel on a :
b. On admet que pour tout entier naturel , on a : . Que peut-on en déduire quant à la convergence de la suite ?
Corrigé
Partie A
1. et .
2. Pour tout : La suite est donc géométrique de raison et de premier terme .
3. Pour tout entier naturel : .
4. Pour tout entier naturel : .
5. Comme , on a ( avec ), donc par produit et par somme .
Partie B
1. (avec ).
2. L'exécution de suite(1) renvoie une valeur erronée car la ligne mettant à jour est exécutée avant celle de , alors que le calcul de utilise la valeur précédente de . Il faut donc échanger les lignes 5 et 6 :
def suite(n):
U=30
W=45
for i in range(1,n+1):
W=W/2+U/2+7
U=U/2+10
return W
3. a. Initialisation : Pour , et , donc l'égalité est vraie pour . Hérédité : Soit tel que . Alors : donc l'égalité est vraie au rang . Conclusion : L'égalité est vraie pour et si elle est vraie au rang , elle l'est aussi au rang ; d'après le principe de récurrence, elle est vraie pour tout entier naturel .
b. Pour tout entier naturel , . Comme et que pour tout , , d'après le théorème d'encadrement (théorème des gendarmes) . De plus ( avec ) donc par produit , et par somme . La suite converge donc vers .