Suites et récurrence

Epreuve d'enseignement de spécialité Session 13 septembre 2021 Exercice 2 - Exercice 1

45 min
70
Soit ff la fonction définie sur l'intervalle ]13;+[\left]-\frac{1}{3};+\infty\right[ par f(x)=4x1+3xf\left(x\right)=\frac{4x}{1+3x}.
ff est dérivable sur ]13;+[\left]-\frac{1}{3};+\infty\right[ .
On considère la suite (un)\left(u_{n}\right) définie par : u0=12u_{0} =\frac{1}{2} et pour tout entier naturel nn, un+1=f(un)u_{n+1} =f\left(u_{n} \right) .
Question 1

Calculer u1u_{1} .

Correction
pour tout entier naturel nn, un+1=f(un)u_{n+1} =f\left(u_{n} \right) avec f(x)=4x1+3xf\left(x\right)=\frac{4x}{1+3x}. De plus, nous savons que u0=12u_{0} =\frac{1}{2} .
Ainsi :
u0+1=f(u0)u_{0+1} =f\left(u_{0} \right) équivaut successivement à :
u1=f(u0)u_{1} =f\left(u_{0} \right)
u1=4×121+3×12u_{1} =\frac{4\times\frac{1}{2}}{1+3\times\frac{1}{2}}
u1=21+32u_{1} =\frac{2}{1+\frac{3}{2}}
u1=222+32u_{1} =\frac{2}{\frac{2}{2}+\frac{3}{2}}
u1=252u_{1} =\frac{2}{\frac{5}{2}}
u1=2×25u_{1} =2\times \frac{2}{5}
Ainsi :
u1=45u_{1} =\frac{4}{5}
Question 2
On admet que la fonction ff est croissante sur l’intervalle ]13;+[\left]-\frac{1}{3};+\infty\right[ .

Montrer par récurrence que, pour tout entier naturel nn, on a : 12unun+12\frac{1}{2} \le u_{n} \le u_{n+1} \le 2

Correction
Pour tout entier naturel nn, posons la propriété Pn:12unun+12P_{n} :\frac{1}{2} \le u_{n} \le u_{n+1} \le 2
Etape d’initialisation\purple{\text{Etape d'initialisation}}
On a vu précédemment que u0=12u_{0} =\frac{1}{2} et u1=45u_{1} =\frac{4}{5}.
Ainsi : 12u0u12\frac{1}{2} \le u_{0} \le u_{1} \le 2
La propriété P0P_{0} est vraie.
Etape d’heˊreˊditeˊ\purple{\text{Etape d'hérédité}}
On suppose qu'il existe un entier kk tel que la propriété PkP_{k} soit vraie c'est-à-dire : 12ukuk+12\frac{1}{2} \le u_{k} \le u_{k+1} \le 2 et vérifions si la propriété est également vraie au rang k+1k+1 c'est-à-dire : 12uk+1uk+22\frac{1}{2} \le u_{k+1} \le u_{k+2} \le 2
Par hypothèse de récurrence,
12ukuk+12\frac{1}{2} \le u_{k} \le u_{k+1} \le 2 , or f:x4x1+3xf:x\mapsto \frac{4x}{1+3x} une fonction croissante sur ]13;+[\left]-\frac{1}{3};+\infty\right[ et donc croissante en particulier sur [12;2]\left[\frac{1}{2};2\right]. L'ordre est donc conservé , ainsi :
f(12)f(uk)f(uk+1)f(2)f\left(\frac{1}{2}\right) \le f\left(u_{k}\right) \le f\left(u_{k+1}\right) \le f\left(2\right) . Comme f(x)=4x1+3xf\left(x\right)=\frac{4x}{1+3x} alors : f(uk)=uk+1f\left(u_{k} \right)=u_{k+1} et f(uk+1)=uk+2f\left(u_{k+1} \right)=u_{k+2} . Il vient alors que :
f(12)uk+1uk+2f(2)f\left(\frac{1}{2}\right) \le u_{k+1} \le u_{k+2} \le f\left(2\right) .
De plus : f(12)=4×121+3×12=45f\left(\frac{1}{2}\right)=\frac{4\times\frac{1}{2}}{1+3\times\frac{1}{2}}=\frac{4}{5} et f(2)=4×21+3×2=87f\left(2\right)=\frac{4\times2}{1+3\times2}=\frac{8}{7}
Ainsi :
1245uk+1uk+2872\red{\frac{1}{2} \le}\frac{4}{5} \le u_{k+1} \le u_{k+2} \le \frac{8}{7}\red{\le 2}
Finalement : 12uk+1uk+22\frac{1}{2} \le u_{k+1} \le u_{k+2} \le 2
Ainsi la propriété Pk+1P_{k+1} est vraie.
Conclusion\purple{\text{Conclusion}}
Puisque la propriété P0P_{0} est vraie et que nous avons prouvé l'hérédité, on peut en déduire, par le principe de récurrence que pour tout entier naturel nn, on a PnP_{n} vraie, c'est à dire que pour tout entier naturel nn, 12unun+12\frac{1}{2} \le u_{n} \le u_{n+1} \le 2
Question 3

En déduire que la suite (un)\left(u_{n}\right) est convergente.

Correction
  • Une suite décroissante et minorée est convergente, elle admet donc une limite finie.
  • Une suite croissante et majorée est convergente, elle admet donc une limite finie.
On vient de démontrer que la suite (un)\left(u_{n} \right) vérifie : 12unun+12\frac{1}{2} \le u_{n} \le u_{n+1} \le 2 .
Comme unun+1 u_{n} \le u_{n+1} alors la suite (un)\left(u_{n} \right) est croissante\text{\purple{croissante}} .
De plus, la suite (un)\left(u_{n} \right) est majoreˊe\text{\purple{majorée}} par 22 c'est à dire un2u_{n} \le 2 .
D'après le théorème de convergence des suites monotones , on peut affirmer que la suite (un)\left(u_{n} \right) est convergente et admet donc une limite que l'on note \ell.
Question 4

On appelle \ell la limite de la suite (un)\left(u_{n}\right). Déterminer la valeur de \ell.

Correction
D'après les hypothèses, nous savons que ff est dérivable et donc continue sur ]13;+[\left]-\frac{1}{3};+\infty\right[ .
De plus, un+1=f(un)u_{n+1} =f\left(u_{n} \right) .
D'après la question précédente, la suite (un)\left(u_{n} \right) est convergente et admet donc une limite que l'on note \ell.
La fonction f:x4x1+3xf:x\mapsto \frac{4x}{1+3x} est continue sur ]13;+[\left]-\frac{1}{3};+\infty\right[.
D'après le théorème du point fixe, \ell est solution de l'équation
f()=f\left(\ell\right)=\ell

f()=f\left(\ell\right)=\ell équivaut successivement à :
41+3=\frac{4\ell}{1+3\ell} =\ell
41+3=1\frac{4\ell}{1+3\ell} =\frac{\ell}{1}
4×1=(1+3)×4\ell\times 1=\left(1+3\ell\right)\times \ell
4=+324\ell=\ell+3\ell^{2}
432=04\ell-\ell-3\ell^{2} =0
3l2+3=0-3l^{2} +3\ell=0
(3+3)=0\ell\left(-3\ell+3\right)=0
Il s'agit d'une équation produit nul.
  • D’une part :\text{\red{D'une part :}} =0\ell=0
  • D’autre part :\text{\red{D'autre part :}} 3+3=0-3\ell+3=0 qui donne 3=3-3\ell=-3 . D'où : =33=1\ell=\frac{-3}{-3}=1
  • Comme 12\ell\ge \frac{1}{2} , on ne retient que la solution =1\ell=1 . La suite (un)\left(u_{n}\right) converge vers 11.
    Question 5
    def seuil (E)\left(E\right)
     U0,5U\leftarrow 0,5
     N0N\leftarrow 0
     while 1u<E1-u<E
         u=u={\color{blue}{{\ldots \ldots \ldots \ldots }}}
         n=n={\color{blue}{{\ldots \ldots \ldots \ldots }}}
     return nn

    Recopier et compléter la fonction Python ci-dessus qui, pour tout réel positif EE, déterminer la plus petite valeur PP tel que : 1uP<E1−u_{P} < E.

    Correction
    def seuil (E)\left(E\right)
     U0,5U\leftarrow 0,5
     N0N\leftarrow 0
     while 1u<E1-u<E
         u=4u1+3uu={\color{blue}{\frac{4u}{1+3u}}}
         n=n+1n={\color{blue}{n+1}}
     return nn

    Question 6

    Donner la valeur renvoyée par ce programme dans le cas où E=104E = 10^{−4}

    Correction
    En utilisant la calculatrice, on obtient u70,99993 u_{7} \approx 0,99993 ce qui vérifie donc 1u7<1041−u_{7} < 10^{−4}
    Le programme renverra dans ce cas n=7n = 7.
    Question 7
    On considère la suite (vn)\left(v_{n}\right) définie, pour tout entier naturel nn, par : vn=un1unv_{n} =\frac{u_{n} }{1-u_{n} }

    Montrer que la suite (vn)\left(v_{n}\right) est géométrique de raison 44 .
    En déduire, pour tout entier naturel nn, l’expression de vnv_{n} en fonction de nn.

    Correction
    Nous savons que f(x)=4x1+3xf\left(x\right)=\frac{4x}{1+3x} et un+1=f(un)u_{n+1} =f\left(u_{n} \right).
    On peut donc écrire que : un+1=f(un)=4un1+3unu_{n+1} =f\left(u_{n} \right)=\frac{4u_{n}}{1+3u_{n}} .
    Maintenant, nous allons détailler le raisonnement pour répondre à la question .
    vn=un1unv_{n} =\frac{u_{n} }{1-u_{n} }
    vn+1=un+11un+1v_{n+1} =\frac{u_{n+1} }{1-u_{n+1} }
    vn+1=4un1+3un14un1+3unv_{n+1} =\frac{\frac{4u_{n} }{1+3u_{n} } }{1-\frac{4u_{n} }{1+3u_{n} } }
    vn+1=4un1+3un1+3un1+3un4un1+3unv_{n+1} =\frac{\frac{4u_{n} }{1+3u_{n} } }{\frac{1+3u_{n} }{1+3u_{n} } -\frac{4u_{n} }{1+3u_{n} } }
    vn+1=4un1+3un1+3un4un1+3unv_{n+1} =\frac{\frac{4u_{n} }{1+3u_{n} } }{\frac{1+3u_{n} -4u_{n} }{1+3u_{n} } }
    vn+1=4un1+3un1un1+3unv_{n+1} =\frac{\frac{4u_{n} }{1+3u_{n} } }{\frac{1-u_{n} }{1+3u_{n} } }
  • ABCD=AB×DC\frac{\frac{A}{B} }{\frac{C}{D} } =\frac{A}{B} \times \frac{D}{C}
  • vn+1=4un1+3un×1+3un1unv_{n+1} =\frac{4u_{n} }{1+3u_{n} } \times \frac{1+3u_{n} }{1-u_{n} }
    vn+1=4un1+3un×1+3un1unv_{n+1} =\frac{4u_{n} }{\red{\cancel{1+3u_{n}}} } \times \frac{\red{\cancel{1+3u_{n}} }}{1-u_{n} }
    vn+1=4un1unv_{n+1} =\frac{4u_{n} }{1-u_{n} }
    vn+1=4×un1unv_{n+1} =4\times \frac{u_{n} }{1-u_{n} }
    D'où :
    vn+1=4×vnv_{n+1} =4\times v_{n}

    Ainsi la suite (vn)\left(v_{n} \right) est géométrique de raison q=4q=4 et de premier terme v0=u01u0=12112v_{0} =\frac{u_{0} }{1-u_{0} }=\frac{\frac{1}{2} }{1-\frac{1}{2} } donc v0=1v_{0} =1
    • L'expression de vnv_{n} en fonction de nn est donnée par la formule
      vn=v0×qnv_{n} =v_{0} \times q^{n}
    Ainsi :
    vn=1×4nv_{n} =1\times 4^{n}
    que l'on va écrire vn=4nv_{n} = 4^{n}
    Question 8

    Démontrer que, pour tout entier naturel nn, on a : un=vn1+vnu_{n} =\frac{v_{n} }{1+v_{n} }

    Correction
    Pour tout entier naturel nn, on a : vn=un1unv_{n} =\frac{u_{n} }{1-u_{n} }
    Nous allons exprimer unu_{n} en fonction de vnv_{n} .
    vn=un1unv_{n} =\frac{u_{n} }{1-u_{n} }
    vn1=un1un\frac{v_{n}}{1} =\frac{u_{n} }{1-u_{n} }
  • ABCD=AB×DC\frac{\frac{A}{B} }{\frac{C}{D} } =\frac{A}{B} \times \frac{D}{C}
  • vn(1un)=un×1v_{n} \left(1-u_{n} \right)=u_{n} \times 1
    vnvn×un=un×1v_{n} -v_{n} \times u_{n} =u_{n} \times 1
    vn×unun=vn-v_{n} \times u_{n} -u_{n} =-v_{n} . Nous allons factoriser le membre de gauche par unu_{n} .
    un(vn1)=vnu_{n} \left(-v_{n} -1\right)=-v_{n}
    un=vnvn1u_{n} =\frac{-v_{n} }{-v_{n} -1}
    D'où :
    un=vnvn+1u_{n} =\frac{v_{n} }{v_{n} +1}

    Question 9

    Montrer alors que, pour tout entier naturel nn , on a : un=11+0,25nu_{n} =\frac{1}{1+0,25^{n} }

    Correction
    D'après les questions précédentes, pour tout entier naturel nn, on a démontré que : un=vnvn+1u_{n} =\frac{v_{n} }{v_{n} +1} et vn=4nv_{n} = 4^{n} .
    Cela donne :
    un=4n4n+1u_{n} =\frac{4^{n} }{4^{n} +1} . On va diviser le numérateur et le dénominateur par 4n {\color{blue}{4^{n}}}. Ce qui donne :
    un=4n4n4n+14nu_{n} =\frac{\frac{4^{n} }{{\color{blue}{4^{n}}}} }{\frac{4^{n} +1}{{\color{blue}{4^{n}}} } }
    un=4n4n4n4n+14nu_{n} =\frac{\frac{4^{n} }{4^{n} } }{\frac{4^{n} }{4^{n} } +\frac{1}{4^{n} } }
    un=11+14nu_{n} =\frac{1}{1+\frac{1}{4^{n} } }
    un=11+1n4nu_{n} =\frac{1}{1+\frac{1^{n} }{4^{n} } } car nous savons que 1n=11^{n}=1 .
    anbn=(ab)n\frac{a^{n} }{b^{n} } =\left(\frac{a}{b} \right)^{n}
    un=11+(14)nu_{n} =\frac{1}{1+\left(\frac{1}{4} \right)^{n} }
    Finalement :
    un=11+0,25nu_{n} =\frac{1}{1+0,25^{n} }

    Question 10

    Calculer la limite de la suite (un)\left(u_{n}\right).

    Correction
    • Si 1<q<1-1<q<1 alors limn+qn=0\lim\limits_{n\to +\infty } q^{n} =0.
    • Si q>1 q >1 alors limn+qn=+\lim\limits_{n\to +\infty } q^{n} =+\infty.
    Comme 1<0,25<1-1<0,25<1 alors limn+0,25n=0\lim\limits_{n\to +\infty } 0,25^{n} =0
    Il en résulte donc que
    limn+11+0,25n=1\lim\limits_{n\to +\infty }\frac{1}{1+0,25^{n} }=1