Exercice -- suite et fonction
Jean-Michel Sarlat (jm-sarlat@melusine.eu.org) - 22 avril 20031 | Énoncé | |
2 | Corrigé |
1 - Énoncé

2 - Corrigé
maxima >>
On commence par introduire la fonction qui sert à définir la suite
.
(C2) h(x):=1/4*(3*x^2-2*(a+b)*x+a*b+2*(a+b));

Partie A
1/ Si la suite converge vers
alors, sachant que l'on a
, que
est une fonction continue en tout point de
donc en
, nécessairement:
.
(C3) 4*(h(x)-x)=0,expand;

2/ est le membre de gauche de l'équation précédente.
(C4) f(x):=4*h(x)-4*x;

On détermine :
(C5) g(x):=integrate(f(t),t,2,x);

On factorise l'expression obtenue.
(C6) factor(g(x));

admet trois zéros qui sont
,
et
.
3/ Le théorème de Rolle s'applique à sur les deux segments
et
, sa dérivée
s'annule donc une fois à l'intérieur de ces deux segments et comme elle ne s'annule au plus que deux fois (polynôme de degré 2), on a là ses deux zéros distincts,
est l'un d'eux.
Partie B
On particularise la fonction dans ce cas où
et
.
(C7) f2(x):=ev(f(x),a=2,b=2);

(C8) factor(f2(x));

1/ Comme on le voit dans la factorisation précédente, l'équation ou encore
n'admet qu'une seule solution:
, ce qui permet de justifier que lorsque la suite
converge, elle converge nécessairement vers
.
2/ Le signe de étant toujours positif, on peut en déduire que
est croissante quelle que soit la valeur de
.
3/ Une étude des variations de sur
montre que l'intervalle
est stable. Si
est dans cet intervalle alors (récurrence) tous les termes de
y seront, la suite est donc bornée. Comme elle est croissante elle converge et sa limite est
.
4/ Toujours d'après l'étude des variations de , on peut établir que si
n'appartient pas à
alors tous les termes de la suite
, à partir du rang
, sont strictement supérieurs à
. La suite
ne peut alors converger vers
, seule limite possible, puisqu'elle est croissante. Dans ce cas elle diverge.
5/ Si ou
, alors la suite est stationnaire à partir du rang
et vaut
.
Voici, pour finir, une représentation de la fonction permettant de mieux visualiser les scénarios de la partie B.


Autres réalisations de ce document : index.pdf, index.ps.
Source index.txt mouliné par petitParseur(Z+B) le mardi 22 avril 2003.