Adloun

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 .

Poser une question au tuteur sur ce sujet