ATLAS Ouvrir dans l'atlas →

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

Exercice 5

CalculConjectureDémonstration

La suite (un)(u_n) est définie par : u1=0u_1 = 0 et un+1=12−unu_{n+1} = \dfrac{1}{2 - u_n}

1. Calculer u2,u3,u4u_2, u_3, u_4.

2. Que peut-on faire comme conjecture sur l'expression de unu_n en fonction de nn ?

3. Démontrer cette conjecture par récurrence et donner la valeur exacte de u2021u_{2021}.

Corrigé

1. On applique la relation de récurrence : u2=12−u1=12−0=12;u3=12−12=132=23;u4=12−23=143=34u_2=\frac{1}{2-u_1}=\frac{1}{2-0}=\frac{1}{2} \qquad ; \qquad u_3=\frac{1}{2-\frac{1}{2}}=\frac{1}{\frac{3}{2}}=\frac{2}{3} \qquad ; \qquad u_4=\frac{1}{2-\frac{2}{3}}=\frac{1}{\frac{4}{3}}=\frac{3}{4}

u2=12  ;  u3=23  ;  u4=34\boxed{u_2=\frac{1}{2} \;;\; u_3=\frac{2}{3} \;;\; u_4=\frac{3}{4}}

2. En écrivant u1=01u_1=\dfrac{0}{1}, on constate que le numérateur et le dénominateur augmentent tous deux de 11 à chaque rang, ce qui conduit à conjecturer : ∀n⩾1,  un=n−1n\boxed{\forall n\geqslant 1,\; u_n=\frac{n-1}{n}}

3. Démontrons par récurrence la propriété suivante : ∀n⩾1,Pn:« un=n−1n »\forall n\geqslant 1,\quad P_n : «\,u_n=\frac{n-1}{n}\,»

Initialisation : Pour n=1n=1 : 1−11=0=u1\dfrac{1-1}{1}=0=u_1. Donc P1P_1 est vraie.

Hérédité : Soit k⩾1k\geqslant 1. Supposons que uk=k−1ku_k=\dfrac{k-1}{k}. Alors : uk+1=12−uk=12−k−1k=12k−(k−1)k=kk+1=(k+1)−1k+1\begin{aligned} u_{k+1} &= \frac{1}{2-u_k}=\frac{1}{2-\frac{k-1}{k}}\\ &= \frac{1}{\frac{2k-(k-1)}{k}}=\frac{k}{k+1}\\ &= \frac{(k+1)-1}{k+1} \end{aligned} ce qui prouve Pk+1P_{k+1}.

Conclusion : Par principe de récurrence, un=n−1nu_n=\dfrac{n-1}{n} pour tout n⩾1n\geqslant 1, et en particulier : u2021=20202021\boxed{u_{2021}=\frac{2020}{2021}}

Dans l'édifice

Thèmes

récurrence, suite définie par récurrence, conjecture, suite explicite

Notions

suite

Ouvrir dans l'atlas interactif →