Exercice 3 · Bac Mathématiques Polynésie jour 1 - Remplacement 2025

Thème : Suites : récurrence, convergence et limites · Tiré du sujet Jour 1 - Remplacement (2025)

Énoncé

Exercice 3. (5 points)

On considère la suite (un)(u_n) définie par u0=5u_0 = 5 et, pour tout entier naturel nn:

un+1=2+ln⁡(un2−3).u_{n+1} = 2 + \ln(u_n^2 - 3).

On admet que cette suite est bien définie.

Partie A: Exploitation de programmes Python

1.

Recopier et compléter le script Python ci-dessous pour que suite(k) qui prend en paramètre un entier naturel kk, renvoie la liste des kk premières valeurs de la suite (un)(u_n).

Remarque: On précise que, pour tout réel strictement positif aa, log(a) renvoie la valeur du logarithme népérien de aa.

def suite(k):

L = []

u = 5

for i in range(......):

L.append(u)

u=........................

return(......)

2.

On a exécuté suite(9) ci-dessous. Émettre deux conjectures: l'une sur le sens de variation de la suite (un)(u_n) et l'autre sur son éventuelle convergence.

>>> suite(9)

[5, 5.091042453358316, 5.131953749864703,

5.150037910978289, 5.157974010229213, 5.1614456706362954,

5.162962248594583, 5.163624356938671, 5.163913344065642]

3.

On a ensuite créé la fonction mystere(n) donnée ci-dessous et exécuté mystere(10000) ce qui a renvoyé 1.

Cet affichage contredit-il la conjecture émise sur le sens de variation de la suite (un)(u_n) ? Justifier.

def mystere(n):

L = suite(n)

c = 1

for i in range(n - 1):

if L[i] > L[i + 1]:

c = 0

return c

>>> mystere(10000)

1

Partie B: Étude de la convergence de la suite (un)(u_n)

On considère la fonction gg définie sur [2 ; +∞[[2\,;\,+\infty[ par: g(x)=2+ln⁡(x2−3)g(x) = 2 + \ln(x^2 - 3).

On admet que gg est dérivable sur [2 ; +∞[[2\,;\,+\infty[ et on note g′g' sa fonction dérivée.

1.

Démontrer que la fonction gg est croissante sur [2 ; +∞[[2\,;\,+\infty[.

2. a.

Démontrer par récurrence que, pour tout entier naturel nn: 4≤un≤un+1≤64 \le u_n \le u_{n+1} \le 6.

2. b.

En déduire que la suite (un)(u_n) converge.

Partie C: Étude de la valeur de la limite

On considère la fonction ff définie sur [2 ; +∞[[2\,;\,+\infty[ par: f(x)=2+ln⁡(x2−3)−xf(x) = 2 + \ln(x^2 - 3) - x.

On admet que ff est dérivable sur [2 ; +∞[[2\,;\,+\infty[ et on note f′f' sa fonction dérivée.

On donne le tableau de variations de ff suivant. On ne demande aucune justification.

1. a.

Montrer que l'équation f(x)=0f(x) = 0 admet exactement deux solutions sur [2 ; +∞[[2\,;\,+\infty[ que l'on notera α\alpha et β\beta avec α<β\alpha < \beta.

1. b.

Donner la valeur exacte de α\alpha et une valeur approchée à 10−310^{-3} près de β\beta.

2.

On note ℓ\ell la limite de la suite (un)(u_n). Justifier que f(ℓ)=0f(\ell) = 0 et déterminer ℓ\ell.

Énoncé: Exercice 3 · Bac Mathématiques Polynésie jour 1 - Remplacement 2025

Corrigé

Corrigé établi d’après les éléments de correction officiels

1. Recopier et compléter le script Python : argument de range

Réponse : ```python k ```

1. Recopier et compléter le script Python : u =

Réponse : ```python 2 + log(u**2 - 3) ```

1. Recopier et compléter le script Python : return

Réponse : ```python L ```

2. Émettre deux conjectures : sens de variation

Réponse : croissante

2. Émettre deux conjectures : convergence

Réponse : La suite semble convergente vers une valeur proche de 5,164.

3. Cet affichage contredit-il la conjecture émise sur le sens de variation de la suite ? Justifier.

Réponse : Non, cela ne la contredit pas (au contraire, cela l'appuie).

Partie B - 1. Expression de g'(x)

Réponse : 2xx2−3\frac{2x}{x^2 - 3}

Partie B - 1. Démontrer que la fonction g est croissante sur [2 ; +∞[

Réponse : Sur [2 ; +∞[[2\,;\,+\infty[, x>0x > 0 et x2−3>0x^2 - 3 > 0, donc g′(x)>0g'(x) > 0, d'où gg est strictement croissante.

Partie B - 2. a. Démontrer par récurrence que, pour tout entier naturel n : 4 ≤ u_n ≤ u_{n+1} ≤ 6

Réponse : Initialisation : u0=5∈[4 ; 6]u_0 = 5 \in [4\,;\,6]. u1=g(u0)=2+ln⁡(52−3)=2+ln⁡(22)≈5,09∈[4 ; 6]u_1 = g(u_0) = 2 + \ln(5^2 - 3) = 2 + \ln(22) \approx 5{,}09 \in [4\,;\,6]. De plus, on a bien u1≥u0u_1 \ge u_0. Donc la propriété est vraie au rang 0. Hérédité : Supposons la propriété vraie au rang nn : 4≤un≤un+1≤64 \le u_n \le u_{n+1} \le 6. Comme gg est croissante sur [2 ; +∞[[2\,;\,+\infty[, on a : g(4)≤g(un)≤g(un+1)≤g(6)g(4) \le g(u_n) \le g(u_{n+1}) \le g(6) Or g(un)=un+1g(u_n) = u_{n+1} et g(un+1)=un+2g(u_{n+1}) = u_{n+2}. De plus g(4)=2+ln⁡(13)≈4,56≥4g(4) = 2 + \ln(13) \approx 4{,}56 \ge 4 et g(6)=2+ln⁡(33)≈5,50≤6g(6) = 2 + \ln(33) \approx 5{,}50 \le 6. On en déduit donc 4≤un+1≤un+2≤64 \le u_{n+1} \le u_{n+2} \le 6. La propriété est donc héréditaire. Conclusion : Par récurrence, 4≤un≤un+1≤64 \le u_n \le u_{n+1} \le 6 pour tout n∈Nn \in \mathbb{N}.

Partie B - 2. b. En déduire que la suite (u_n) converge

Réponse : (un)(u_n) est croissante et majorée par 6, donc convergente (théorème de convergence monotone).

Partie C - 1. a. Montrer que l'équation f(x) = 0 admet exactement deux solutions sur [2 ; +∞[

Réponse : D'après le tableau de variations, on voit une première solution à f(2)=0f(2) = 0. Donc α=2\alpha = 2. Par ailleurs : - ff est continue sur [3 ; +∞[[3\,;\,+\infty[ - f(3)=ln⁡(6)−1≈0,79>0f(3) = \ln(6) - 1 \approx 0{,}79 > 0 - lim⁡x→+∞f(x)=−∞\lim_{x \to +\infty} f(x) = -\infty D'après le théorème des valeurs intermédiaires (ou corollaire), l'équation f(x)=0f(x) = 0 possède donc une seconde solution β\beta sur l'intervalle [3 ; +∞[[3\,;\,+\infty[.

Partie C - 1. b. Valeur exacte de α

Réponse : 2

Partie C - 1. b. Valeur approchée à 10^-3 près de β

Réponse : 5,164

Partie C - 2. Justifier que f(ℓ) = 0

Réponse : Si ℓ=lim⁡un\ell = \lim u_n, par passage à la limite dans un+1=g(un)u_{n+1} = g(u_n) (continuité de gg), on a ℓ=g(ℓ)  ⟺  g(ℓ)−ℓ=0  ⟺  f(ℓ)=0\ell = g(\ell) \iff g(\ell) - \ell = 0 \iff f(\ell) = 0.

Partie C - 2. Déterminer ℓ

Réponse : β\beta (soit environ 5,164)

L’explication pas à pas, faite avec l’IA, est réservée aux membres Premium. Premium

Résous-le ici : correction automatique, indices et corrigé détaillé.

‹ Exercice 4 - Question 3 : Suites · Polynésie 2025 (jour 1) · Exercice 4 - Affirmation 5 · Polynésie 2025 (jour 2) ›

Plus d’exercices de Suites : récurrence, convergence et limites