ATLAS Ouvrir dans l'atlas →

ExerciceTerminale, chapitre 1 — Suites numériques · Raisonnement par récurrence

Exercice 2

Démonstration

Soit uu la suite définie par u0=10u_0 = 10 et pour tout n∈ℕn \in \mathbb{N}, un+1=un+5u_{n+1} = \sqrt{u_n + 5}.

Montrer à l'aide d'un raisonnement par récurrence que pour tout n∈ℕn \in \mathbb{N}, 2≤un≤102 \leq u_n \leq 10.

Corrigé

Démontrons par récurrence la propriété suivante : ∀n∈ℕ,Pn:« 2⩽un⩽10 »\forall n\in\mathbb{N},\quad P_n : «\,2\leqslant u_n\leqslant 10\,»

Initialisation : Pour n=0n=0 : u0=10u_0=10 et 2⩽10⩽102\leqslant 10\leqslant 10. Donc P0P_0 est vraie.

Hérédité : Soit k∈ℕk\in\mathbb{N}. Supposons que 2⩽uk⩽102\leqslant u_k\leqslant 10. En ajoutant 55 à chaque membre, puis en appliquant la fonction racine carrée, croissante sur [0 ;+∞[[0\,;+\infty[ : 2⩽uk⩽10  ⟹  7⩽uk+5⩽15  ⟹  7⩽uk+1⩽152\leqslant u_k\leqslant 10 \implies 7\leqslant u_k+5\leqslant 15 \implies \sqrt{7}\leqslant u_{k+1}\leqslant\sqrt{15} Or 7⩾4=2\sqrt{7}\geqslant\sqrt{4}=2 et 15⩽100=10\sqrt{15}\leqslant\sqrt{100}=10, donc 2⩽uk+1⩽102\leqslant u_{k+1}\leqslant 10, ce qui prouve Pk+1P_{k+1}.

Conclusion : Par principe de récurrence : ∀n∈ℕ,  2⩽un⩽10\boxed{\forall n\in\mathbb{N},\; 2\leqslant u_n\leqslant 10}

Dans l'édifice

Thèmes

récurrence, suite définie par récurrence, encadrement, suite bornée, majoration, minoration

Notions

suite

Ouvrir dans l'atlas interactif →