DS5 Suite 2022 (Fermat)
DS5 Suite 2022 (Fermat)
DS5 Suite 2022 (Fermat)
BON TRAVAIL
————————————————————–
On utilisera la convention ∀x ∈ R, x0 = 1.
Dans la suite du problème, on note Eβ l’ensemble des suites réelles u satisfaisant les conditions u0 > 0, u1 > 0 et la
relation de récurrence (Rβ ).
Les différentes parties traitent de différentes valeurs de β.
I Cas β = 0
Dans cette partie, nous traitons le cas β = 0.
I.1. Déterminer les racines r1 < r2 du trinôme 3r2 − r − 1 = 0.
I.2. Exprimer, en fonction de r1 et r2 , l’ensemble SH des suites réelles x qui vérifient la relation de récurrence
1 1
∀n ∈ N , xn+2 − xn+1 − xn = 0
3 3
I.3. Déterminer une suite solution particulière de la relation de récurrence
xn + xn+1 + 1
∀n ∈ N , xn+2 = (R0 )
3
II.3. Posons, pour tout β ∈ R et tout x ∈ R∗+ , fβ (x) = Fβ (x, x). Montrer que,
1
(a) si β ∈ 0, ,
2
∀x ∈]0, 1[ , fβ (x) > x et ∀x ∈]1, +∞[ , fβ (x) < x ,
1
(b) si β ∈ , +∞ ,
2
∀x ∈]0, 1[ , fβ (x) < x et ∀x ∈]1, +∞[ , fβ (x) > x .
1
1
IV Cas β =
2
Soit u ∈ E 1 .
2
IV.1. Dans cette question, supposons qu’il existe n0 ∈ N tel que un0 = un0 +1 .
(a) Montrer que la suite u est stationnaire et préciser la valeur b de stationnarité.
Posons p0 = min{k ∈ N | ∀j ∈ [[k, +∞[[ , uj = b}.
(b) Justifier que p0 ∈ N est bien défini.
1 √
(c) Soit g la fonction définie pour tout x ∈ R+ par g(x) = (x + b + bx). En étudiant les variations de g,
3
montrer que
∀x ∈ R+ , g(x) = b ⇐⇒ x = b
(d) Supposons que p0 > 1. Calculer g(up0 −1 ). Que peut-on en déduire concernant u ?
IV.3. Supposons que u0 6 u1 et posons p = (u2n )n∈N et i = (u2n+1 )n∈N les sous-suites de u constituées des termes
d’indices pairs et impairs.
1 √ √ √ √
(a) Montrer que, pour tout n ∈ N, un+2 − un = ( un+1 − un )( un+1 + 2 un ). En déduire que le signe au
3
sens large de un+2 − un est le même que celui de un+1 − un .
(b) Montrer que u0 6 u2 6 u3 6 u1 .
(c) Montrer, par récurrence sur n la propriété Q(·) définie pour tout n ∈ N par
(d) Montrer que les suites p et i sont convergentes et de limites positives ou nulles.
Posons `p = lim pn et `i = lim in .
n→+∞ n→+∞
(e) En écrivant la formule démontrée dans la question IV.3(a) pour n ← 2n et en calculant les limites des deux
membres, montrer que `i = `p . Que peut-on en déduire concernant la suite u ?
Dans la suite de cette partie, on admet que sous l’hypothèse u0 > u1 on démontre par des techniques analogues
à celles de la question IV.3 que les suites i et p convergent encore vers la même limite.
IV.4. On admet que l’on dispose de deux fonctions p(u_0, u_1, n) et i(u_0, u_1, n) écrites en python qui renvoient
respectivement les valeurs pn et in . On veut en déduire une fonction approximation(u_0, u_1, epsilon) qui
renvoie une valeur approchée v de la limite de la suite u à epsilon près (c’est-à-dire telle que |v− lim u| 6epsilon).
Écrire une telle fonction en utilisant les propriétés des suites (pn )n∈N et (in )n∈N et une boucle « tant que ».
IV.5. Dans cette question, on suppose que u0 6= u1 .
Posons, pour tout n ∈ N, δn = |un+1 − un |.
un+2 − un+1 1
(a) Après avoir justifié que la suite est bien définie, montrer qu’elle tend vers − (on justifiera
un+1 − un n∈N 2
au passage que lim u > 0) puis en déduire la convergence de (ln δn+1 − ln δn )n∈N .
(b) Soit (sn )n∈N une suite réelle qui converge vers le réel s.
n
1X
Posons, pour tout n ∈ N∗ , mn = sk .
n k=1
Soit ε > 0 fixé.
i. Justifier l’existence de N ∈ N∗ tel que, pour tout n ∈ N,
N
1 X ε
n > N ⇒ |mn − s| 6 (sk − s) +
n k=1 2
Pour tout (a, b) ∈ R2+ et tout n ∈ N, notons un (a, b) le terme d’indice n de la suite de l’ensemble E 1 définie par les
2
conditions initiales u0 = a et u1 = b.
Nous avons vu dans la partie IV que la suite (un (a, b))n∈N converge.
1
Posons `(a, b) = lim un (a, b). On note, en particulier, γ = ` 1, .
n→+∞ 3
V.1. (a) Calculer, pour tout a ∈ R+ , `(a, a) en fonction de a (on pourra déduire ce résultat de la partie IV).
b
(c) Soit λ > 0 un réel fixé.
Montrer que, pour tout n ∈ N, un (λa, λb) = λun (a, b) puis en déduire `(λa, λb) = λ × `(a, b).
Posons, pour tout b ∈ R+ , L(b) = `(1, b).
V.2. (a) Exprimer pour tout (a, b) ∈ R∗+ × R+ , `(a, b) comme le produit d’un nombre avec L(x) où x est un réel positif
ou nul bien choisi.
(b) Soient n ∈ N et (a, b) ∈ R∗+ 2 . Justifier que un (a, b) > 0 et montrer que
un+1 (a, b)
`(a, b) = `(un (a, b), un+1 (a, b)) = un (a, b) × `(1, )
un (a, b)
un+1 (1, x)
En déduire que pour tout n ∈ N, tout x ∈ R∗+ , L(x) = un (1, x) × L( ).
un (1, x)
(c) Montrer que pour tout a, b ∈ R+ , u2 (a, b) = u2 (b, a) puis en déduire que pour tout x > 0, L(x) =
u2 (1, x) u2 (x, 1)
xL( ) = xL( ).
x x
(d) Soient 0 6 b 6 b0 . Montrer que, pour tout n ∈ N, un (1, b) 6 un (1, b0 ). Que peut-on en déduire concernant la
fonction L ?
n
X
V.3. Posons, pour tout b ∈ R+ , pour tout n ∈ N, Sn (b) = 1 + (uk+1 (1, b) − uk (1, b)). Soit b ∈ R+ fixé.
k=0
(a) Justifier que, L(b) = lim Sn (b).
n→+∞
(b) Montrer que, pour tout n ∈ N,
" p #
−1 un+1 (1, b)
un+2 (1, b) − un+1 (1, b) = (un+1 (1, b) − un (1, b)) 1 + p p
3 un+1 (1, b) + un (1, b)
puis en déduire que |un+2 (1, b) − un+1 (1, b)| 6 K|un+1 (1, b) − un (1, b)| où K est une constante réelle indé-
pendante de n et b vérifiant K ∈]0, 1[ que l’on précisera.
(c) Montrer que, pour tout n ∈ N,
|un+1 (1, b) − un (1, b)| 6 K n |b − 1|
(d) En déduire que, pour tout n ∈ N, pour tout p ∈ N,
K n+1
|Sn+p (b) − Sn (b)| 6 |b − 1|
1−K
puis conclure que, pour tout n ∈ N,
K n+1
|L(b) − Sn (b)| 6 |b − 1|
1−K
(e) Soit x ∈ R+ fixé.
i. Montrer que, pour tout x0 ∈ R+ ,
K n+1
|L(x) − L(x0 )| 6 (|x − 1| + |x0 − 1|) + |Sn (x) − Sn (x0 )|
1−K
ii. Justifier que, pour tout n ∈ N, b 7→ un (1, b) est continue sur R+ .
iii. En déduire que L est continue en x.
V.4. On cherche à approcher les
valeursparticulières de L.
1 1
On rappelle que γ = ` 1, =L .
3 3
1
(a) Montrer que L(0) = γ.
3
(b) En utilisant la relation établie dans la question V.2(c), montrer que L(x) ∼ γx ce qui équivaut à
x→+∞
L(x)
lim = γ.
x→+∞ x
L(x)
Version MPSI 1 En utilisant la relation établie dans la question V.2(c), montrer que lim = γ ce que
x→+∞ x
nous formaliserons prochainement en L(x) ∼ γx.
Correction
I Cas β = 0
Dans cette partie, nous traitons le cas β = 0.
I.1. Déterminer les racines r1 < r2 du trinôme 3r2 − r − 1 = 0.
Le discriminant du trinôme est (−1)2 − 4 × 3 × (−1) = 13 > 0 donc le trinôme admet deux racines réelles
distinctes √ √ /1
1 − 13 1 + 13
r1 = < = r2 .
6 6
I.2. Exprimer, en fonction de r1 et r2 , l’ensemble SH des suites réelles x qui vérifient la relation de récurrence
1 1
∀n ∈ N , xn+2 − xn+1 − xn = 0
3 3
La question est équivalente à la recherche d’une solution particulière de la relation de récurrence linéaire d’ordre
2, à coefficients constants,
1 1 1
∀n ∈ N , xn+2 − xn+1 − xn = × 1n
3 3 3
Le second membre est de la forme d’une suite polynomiale (P (n)) fois la suite géométrique (1n ) (avec pour tout
1
n ∈ N, P (n) = ). La raison de la suite géométrique est 1, or 1 n’est pas racine de l’équation caractéristique
3
1 1 1
associée à la relation de récurrence linéaire d’ordre 2 car 12 − × 1 − = 6= 0 donc on cherche une solution
3 3 3
particulière sous la forme (Q(n) × 1n ) avec Q une fonction polynôme de même degré que P c’est-à-dire de degré
0, donc Q est une constante.
1 1 1
(c1n )n∈N est une sol. partic. de (R0 ) ⇐⇒ ∀n ∈ N , c1n+2 − c1n+1 − c1n =
3 3 3
1 1 1
⇐⇒ c− c− c=
3 3 3
1 1
⇐⇒ c=
3 3
⇐⇒ c=1
Ainsi, la suite constante de valeur 1 est une solution particulière de la relation de récurrence (R0 ). /2
L’ensemble des suites solutions de (R0 ) est le plan affine passant par une solution particulière de (R0 ) et dirigé
par le plan vectoriel des solutions de l’équation homogène. /1,5
La suite u appatient à E0 donc elle vérifie (R0 ) si bien qu’il existe (λ, µ) ∈ R2 tels que
∀n ∈ N , un = λr1n + µr2n + 1
I.5. Conclure cette partie par la description explicite des éléments de l’ensemble E0 .
Les éléments de E0 sont les suites dont l’expression explicite a été déterminée dans la question précédente avec
la condition u0 > 0 et u1 > 0. /1
r2 (a − 1) − (b − 1) n b − 1 − r1 (a − 1) n
(a, b) ∈ R2 .
Ainsi, E0 = r1 + r2 + 1 +
r2 − r1 r2 − r1 n∈N
√
I.6. Calculer b 13c et en déduire que 0 < −r1 < r2 < 1. Que dire de la limite des suites de E0 ?
√ √ √
9 < 13 < 16 donc, par stricte croissance de ·, 3 < 13 < 4 donc b 13c = 3 . /1
√
En utilisant l’encadrement 3 < 13 < 4,
√
1 − 13 1−4 1−3 1 1 1 1
? r1 = donc < r1 < donc − < r1 < − donc < −r1 < ,
6√ 6 6 2 3 3 2
1 + 13 1+3 1+4 2 5
? r2 = donc < r2 < donc < r2 < ,
6 6 6 3 6
1 2 1 1 2 5
or < donc < −r1 < < < r2 <
2 3 3 2 3 6
d’où 0 < −r1 < r2 < 1. /1,5
Les réels |r1 | = −r1 et |r2 | = r2 appartiennent à ]0, 1[ donc ln |r1 | < 0 et ln |r2 | < 0 si bien que
|r1 | |r2 |
r1n = (−1)n |r1 |n = (−1)n e| n ln
{z } n→+∞−→ 0 , r2n = |r2 |n = e| n ln
{z } n→+∞−→ 0
| {z }
−→ 0
bornée n→+∞ −→ 0
n→+∞
/1,5
Ainsi, toutes les suites de E0 convergent vers 1.
II Généralités lorsque β ∈ R+
II.1. Soit u ∈ Eβ . On sait donc que u0 > 0 et u1 > 0.
(a) On suppose de plus que u0 + u1 > 0 (et uniquement dans cette sous-question II.1(a)). Montrer que, pour
Considérons la propriété P(·) définie pour tout n ∈ [[2, +∞[[ par
(b) Supposons qu’il existe n0 > 2 tel que un0 = 0. Que dire de u ?
Puisque n0 > 2, d’après la question précédente, si u0 + u1 > 0, alors un0 > 0 ce qui est une contradiction.
Par conséquent, u0 + u1 6 0 or, par hypothèse dans le problème, u0 > 0 et u1 > 0 donc u0 + u1 > 0 si bien
que u0 + u1 = 0 d’où u0 = u1 = 0 et une récurrence immédiate en considérant la propriété Q(·) définie pour
tout n ∈ N par
Q(n) : « un = 0 et un+1 = 0 ».
permet de conclure à la nullité de tous les termes de la suite u. /2
Ainsi, s’il existe n0 > 2 tel que un0 = 0, alors u est la suite nulle.
x + y + (xy)β
II.2. Posons, pour tout β ∈ R+ et tout (x, y) ∈ (R∗+ )2 , Fβ (x, y) = .
3
Soient (x, y) ∈ (R+ ) et (x , y ) ∈ (R+ ) tels que x 6 x et y 6 y . Comparer Fβ (x, y) et Fβ (x0 , y 0 ) pour β > 0.
2 0 0 2 0 0
x + y + (xy)β x0 + y 0 + (x0 y 0 )β
Fβ (x, y) = 6 = Fβ (x0 , y 0 ).
3 3
II.3. Posons, pour tout β ∈ R et tout x ∈ R∗+ , fβ (x) = Fβ (x, x). Montrer que,
1
(a) si β ∈ 0, ,
2
∀x ∈]0, 1[ , fβ (x) > x et ∀x ∈]1, +∞[ , fβ (x) < x ,
1
Notons ` la limite de u.
Une récurrence immédiate (analogue à celle de la question II.1(a)) montre que
∀n ∈ N , un > 0.
En passant à la limite sur cette inégalité (ce qui est autorisé car les deux membres sont des suites convergentes),
on obtient ` > 0. /1
La convergence de u = (un )n∈N vers ` implique
? celle de ses sous-suites (un+1 )n∈N et (un+2 )n∈N vers la même limite `,
? lim (un un+1 )β = `2β car, avec la convention 0β = 0 pour β > 0, t 7→ tβ est continue sur R+ donc en `.
n→+∞
Par conséquent, /1
un + un+1 + (un un+1 )β
∀n ∈ N , un+2 =
| {z } 3
−→ `
| {z }
n→+∞ ` + ` + (`2 )β
−→
n→+∞ 3
donc, par unicité de la limite,
`=0
`=0
3` = 2` + `2β ⇒ ` = `2β ⇒ ou ⇒ ou
` = `2β
et ` > 0,
ln ` = 2β ln ` et ` > 0,
`=0
`=0
ou
⇒ (1 − 2β) ln ` = 0 et ` > 0, ⇒ ou ⇒ ` ∈ {0, 1}
| {z }
ln ` = 0 et ` > 0,
6=0 car β 6= 1
2
P(n) : « un 6 A et un+1 6 A ».
6 2A 6A 2β
car t 7→ tβ croiss. sur R+
z }| {
(un un+1 )β
z }| {
un + un−1 + 2A + A2β 2A + A
un+2 = 6 6 =A.
3 3 |{z} 3
A > 1 et 2β < 1
donc 0 6 A2β 6 A
• Soit n ∈ N fixé.
L’ensemble {uk | k ∈ [[n, +∞[[} est
— une partie de R,
— non vide (car elle contient un ),
— majorée par A d’après la question précédente car ∀k ∈ [[n, +∞[[, uk 6 A,
donc il admet une borne supérieure. /1,5
Ainsi, la suite (vn )n∈N est bien définie.
• Soit n ∈ N fixé. Par définition de la borne supérieure d’une partie, c’est un majorant de cette partie,
donc vn est un majorant de {uk | k ∈ [[n, +∞[[}
or {uk | k ∈ [[n + 1, +∞[[} ⊂ {uk | k ∈ [[n, +∞[[},
donc vn est un majorant de {uk | k ∈ [[n + 1, +∞[[},
or la borne supérieure de {uk | k ∈ [[n + 1, +∞[[} est le plus petit de ses majorants,
donc vn+1 = sup{uk | k ∈ [[n + 1, +∞[[} 6 vn . /1,5
Ainsi, la suite (vn )n∈N est décroissante.
• Soit n ∈ N fixé.
un ∈ {uk | k ∈ [[n, +∞[[} donc un 6 sup{uk | k ∈ [[n, +∞[[} = vn .
De plus une récurrence immédiate (analogue à celle de la question II.1(a)) montre que
∀j ∈ N , uj > 0
donc
vn+2 = sup{uj | j ∈ [[n + 2, +∞[[} 6 fβ (vn )
∀n ∈ N , vn+2 6 fβ (vn )
on obtient
`v 6 fβ (`v ) (1)
Par l’absurde, supposons que `v > 1.
Alors l’inégalité établie dans la question II.3 donne, pour x ← `v (> 1) :
fβ (`v ) < `v
Posons a = min(1, u2 , u3 ).
• L’hypothèse u0 + u1 > 0 permet d’affirmer (question II.1(a)) que u2 > 0 et u3 > 0 donc a > 0.
• Considérons la propriété P(·) définie pour tout n ∈ [[2, +∞[[ par
> 2a >a 2β
car t 7→ tβ croiss. sur R+
z }| {
(un un+1 )β
z }| {
un + un−1 + 2a + a2β 2a + a
un+2 = > > =a.
3 3 |{z} 3
a ∈]0, 1[ et 2β < 1
donc a2β > a
• Soit n ∈ N fixé.
L’ensemble {uk | k ∈ [[n, +∞[[} est
— une partie de R,
— non vide (car elle contient un ),
— minorée par a d’après la question précédente car ∀k ∈ [[n, +∞[[, uk > a,
donc il admet une borne inférieure. /1
Ainsi, la suite (wn )n∈N est bien définie.
• Soit n ∈ N fixé. Par définition de la borne inférieure d’une partie, c’est un minorant de cette partie,
donc wn est un minorant de {uk | k ∈ [[n, +∞[[}
or {uk | k ∈ [[n + 1, +∞[[} ⊂ {uk | k ∈ [[n, +∞[[},
donc wn est un minorant de {uk | k ∈ [[n + 1, +∞[[},
or la borne inférieure de {uk | k ∈ [[n + 1, +∞[[} est le plus grand de ses minorants,
donc wn+1 = inf{uk | k ∈ [[n + 1, +∞[[} > wn . /1
Ainsi, la suite (wn )n∈N est croissante.
• Soit n ∈ N fixé.
D’après la question III.2,
∀k ∈ N , uk 6 A
donc wn = inf{uk | k ∈ [[n, +∞[[} 6 un 6 A. /1
Ainsi, la suite (wn )n∈N est croissante et majorée (par A) donc convergente.
• Posons `w = lim wn .
n→+∞
Soit n ∈ N fixé.
Nous avons déjà signalé que a minore {uk | k ∈ [[n, +∞[[} donc il est inférieur au plus grand des minorants
de cet ensemble qui est sa borne inférieure :
En passant à la limite sur l’inégalité (autorisé car les deux membres ont une limite finie)
∀n ∈ N , a 6 wn
on obtient
a 6 `w . /1
? D’une part,
donc
∀n ∈ N , wn 6 vn
si bien qu’en passant à la limite sur cette inégalité (autorisé car les deux membres ont une limite finie), /1,5
`w 6 `v (2)
on obtient
`w > fβ (`w ) (3)
Par l’absurde, supposons que `w < 1.
Alors l’inégalité établie dans la question II.3 donne, pour x ← `v (∈]0, 1[car 0 < a 6 `w < 1) : /1,5
fβ (`w ) > `w
1 6 `w 6 `v 6 1
donc, `w = `v = 1.
Soit n ∈ N fixé.
On a un ∈ {uk | k ∈ [[n, +∞[[} donc
Par conséquent,
∀n ∈ N , wn 6 un 6 vn
or les deux suites extrêmes convergent vers la même limite finie puisque `w = `v = 1 (questions III.3 et III.4),
donc le théorème d’existence de limite par encadrement permet d’affirmer que /1,5
la suite u converge et sa limite est 1.
1
IV Cas β =
2
Soit u ∈ E 1 .
2
IV.1. Dans cette question, supposons qu’il existe n0 ∈ N tel que un0 = un0 +1 .
(a) Montrer que la suite u est stationnaire et préciser la valeur b de stationnarité.
√
q
un + un+1 + un un+1 2un0 + u2n0 2un0 + |un0 |
un+2 = = = = un0 .
3 3 3 |{z}
un0 > 0
car la suite u est > 0
L’ensemble {k ∈ N | ∀j ∈ [[k, +∞[[ , uj = b} est une partie de N non vide (car elle contient n0 d’après la
question précédente) donc elle admet un plus petit élément. /0,5
Ainsi, p0 ∈ N est bien défini.
1 √
(c) Soit g la fonction définie pour tout x ∈ R+ par g(x) = (x + b + bx). En étudiant les variations de g,
3
montrer que
∀x ∈ R+ , g(x) = b ⇐⇒ x = b
La fonction g est définie sur R+ , continue sur R+ et dérivable sur R∗+ de dérivée
√ !
0 1 b
∀x ∈]0, +∞[ , g (x) = 1+ √ >0
3 2 x
(d) Supposons que p0 > 1. Calculer g(up0 −1 ). Que peut-on en déduire concernant u ?
ce qui permet d’utiliser l’équivalence établie dans la question précédente pour affirmer que up0 −1 = b,
or ∀j ∈ [[p0 , +∞[[, uj = b (par def de p0 ),
donc ∀j ∈ [[p0 − 1, +∞[[, uj = b,
d’où p0 − 1 ∈ {k ∈ N | ∀j ∈ [[k, +∞[[ , uj = b},
donc p0 − 1 > min{k ∈ N | ∀j ∈ [[k, +∞[[ , uj = b} = p0 ,
ce qui implique −1 > 0 d’où une contradiction. /1
Ainsi, p0 < 1 donc p0 = 0 donc u est la suite constante de valeur un0 .
IV.2. Montrer que, pour tout c ∈ R+ , il existe une unique suite u ∈ E 1 stationnaire à la valeur c.
2
? Analyse.
Soit u ∈ E 1 une suite stationnaire à la valeur c fixée.
2
Alors il existe n0 ∈ N tel que un0 = c = un0 +1 ce qui permet d’appliquer le résultat de la question IV.1 afin
de conclure que u est la suite constante de valeur c.
Par conséquent, il existe au plus une suite de E 1 stationnaire à la valeur c.
2
? Synthèse.
Une récurrence immédiate permet de montrer que la suite de E 1 définie par les conditions initiales u0 = c et
2
u1 = c est la suite constante de valeur c,
donc la suite constante de valeur c est une suite de E 1 stationnaire à la valeur c.
2
Par conséquent, il existe au moins une suite de E 1 stationnaire à la valeur c.
2 /2
Ainsi, pour tout c ∈ R+ , il existe une unique suite u ∈ E 1 stationnaire à la valeur c (c’est la suite constante de valeur c).
2
IV.3. Supposons que u0 6 u1 et posons p = (u2n )n∈N et i = (u2n+1 )n∈N les sous-suites de u constituées des termes
d’indices pairs et impairs.
1 √ √ √ √
(a) Montrer que, pour tout n ∈ N, un+2 − un = ( un+1 − un )( un+1 + 2 un ). En déduire que le signe au
3
sens large de un+2 − un est le même que celui de un+1 − un .
Soit n ∈ N fixé.
1 √
un+2 − un = un+1 + un + un un+1 − 3un
3
1 √
= un+1 − un + un un+1 − un
3
1 √ √ √ √ √
= un+1 2 − un 2 + un ( un+1 − un ) car un > 0 et un+1 > 0
3
1 √ √ √ √ √ √ √
= ( un+1 − un )( un+1 + un ) + un ( un+1 − un )
3
1 √ √ √ √
= ( un+1 − un )( un+1 + 2 un )
3
1 √ √ √ √
Ainsi, ∀n ∈ N, un+2 − un = ( un+1 − un )( un+1 + 2 un ). /1
3
√ √ √
La fonction · étant croissante, le signe (au sens large) de un+1 − un est le même que celui de un+1 − un ,
√ √
or un+1 + 2 un > 0,
√ √ √ √
donc le signe de ( un+1 − un )( un+1 + 2 un ) est celui de un+1 − un , /1
donc le signe de un+2 − un au sens large est le même que celui de un+1 − un .
? Sachant que 0 6 u0 6 u1 ,
√ √
u0 + u1 + u0 u1 u1 + u1 + u1 u1 u1 + u1 + |u1 |
u2 = 6 = = u1 (u1 > 0)
3 3 3
donc u2 6 u1 .
De plus, d’après la question précédente, le signe de u2 −u0 est celui de u1 −u0 or par hypothèse, u1 −u0 > 0
donc u0 6 u2 .
? Sachant que u2 6 u1 ,
√ √
u1 + u2 + u1 u2 u2 + u2 + u2 u2 u2 + u2 + |u2 |
u3 = > = = u2 (u2 > 0)
3 3 3
donc u2 6 u3 .
De plus, d’après la question précédente, le signe de u3 − u1 est celui de u2 − u1 or d’après le premier point
ci-dessus, u2 − u1 6 0 donc u3 6 u1 . /2
Ainsi, u0 6 u2 6 u3 6 u1 .
(c) Montrer, par récurrence sur n la propriété Q(·) définie pour tout n ∈ N par
(d) Montrer que les suites p et i sont convergentes de limites positives ou nulles.
(e) En écrivant la formule démontrée dans la question IV.3(a) pour n ← 2n et en calculant les limites des deux
membres, montrer que `i = `p . Que peut-on en déduire concernant la suite u ?
Dans la suite de cette partie, on admet que sous l’hypothèse u0 > u1 on démontre par des techniques analogues
à celles de la question précédente que les suites i et p convergent vers la même limite.
IV.4. On admet que l’on dispose de deux fonctions p(u_0, u_1, n) et i(u_0, u_1, n) écrites en python qui renvoient
respectivement les valeurs pn et in . On veut en déduire une fonction approximation(u_0, u_1, epsilon) qui
renvoie une valeur approchée v de la limite de la suite u à epsilon près (c’est-à-dire telle que |v− lim u| 6epsilon).
Écrire une telle fonction en utilisant les propriétés des suites (pn )n∈N et (in )n∈N et une boucle « tant que ».
• Supposons qu’il existe n0 ∈ N tel que un0 = un0 +1 , alors d’après la question IV.1(a), u est stationnaire
donc d’après la question IV.2, u est une suite constante donc u0 = u1 ce qui contredit les hypothèses de
cette question.
Donc, pour tout n ∈ N, un 6= un+1 et donc : /1
un+2 − un+1
la suite est bien définie.
un+1 − un n∈N
• D’après la question IV.3, la suite u converge et sa limite ` est la limite commune des deux suites adjacentes
(pn ) et (in ). La suite u étant à termes positifs ou nuls, en passant à la limite sur l’inégalité ∀n ∈ N, un > 0,
on obtient ` > 0.
— Si u0 6 u1 , la suite (pn )n∈N est croissante (question IV.3(d)) et converge vers ` donc 0 = ` =
sup{pn | n ∈ N} donc
∀n ∈ N , 0 6 u2n = pn 6 ` = 0
donc (pn ) est la suite nulle donc p0 = u0 = 0, or u1 6= 0 donc u1 > 0 donc u0 + u1 > 0 donc
(question II.1(a)) p1 = u2 > 0 d’où une contradiction avec la nullité de la suite (pn ).
— Si u0 > u1 , la suite (in )n∈N est croissante (admis par l’énoncé à la fin de la question IV.3) et converge
vers ` donc 0 = ` = sup{in | n ∈ N} donc
∀n ∈ N , 0 6 u2n+1 = in 6 ` = 0
donc (in ) est la suite nulle donc i0 = u1 = 0, or u0 6= 0 donc u0 > 0 donc u0 + u1 > 0 donc
(question II.1(a)) i1 = u3 > 0 d’où une contradiction avec la nullité de la suite (in ). /1
Par conséquent, la suite u converge vers une limite ` > 0.
• Puis le calcul donne, pour n ∈ N :
1 √ 1 √ 1 √ √ √ √
un+2 −un+1 = (un +un+1 + un un+1 −3un+1 ) = (un −2un+1 + un un+1 ) = ( un − un+1 )( un +2 un+1 )
3 3 3
√ √ √ √ √ √
Et comme un+1 − un = ( un+1 − un )( un+1 + un ), en simplifiant par un+1 − un :
√ √ √ √
un+2 − un+1 un + 2 un+1 `+2 ` 1 √
=− √ √ −→ − √ √ =− (continuité de · en `)
un+1 − un 3( un + un+1 ) n→+∞ 3( ` + `) 2
√ √ √ √
√ 1 1
en utilisant que un + un+1 −→ `=2 `⇒ √
`+ √ −→ √ est vraie car nous /2
n→+∞ u + un+1 n→+∞ 2 `
√ n
savons que ` > 0 (justifié dans le point précédent !) donc 2 ` 6= 0 ce qui permet d’appliquer le théorème
disant que l’inverse d’une suite qui converge vers une valeur non nulle converge vers la limite inverse.
1 1
• Enfin, par continuité de ln en et de t 7→ |t| en − : /1
2 2
un+2 − un+1
ln δn+1 − ln δn = ln −→ ln 1 = − ln 2
un+1 − un n→+∞ 2
(b) Soit (sn )n∈N une suite réelle qui converge vers le réel s.
n
1X
Posons, pour tout n ∈ N∗ , mn = sk .
n k=1
Soit ε > 0 fixé.
i. Justifier l’existence de N ∈ N∗ tel que, pour tout n ∈ N,
N
1 X ε
n > N ⇒ |mn − s| 6 (sk − s) +
n k=1 2
N N
!
1 X X
La suite (sk − s) converge vers 0 ( (sk − s) est une constante).
n k=1
k=1
n∈N∗
N
1 X ε
Donc il existe N 0 ∈ N ∗ tel que pour tout n > N 0 , (sk − s) 6 .
n k=1
2
Posons N 00 = max(N 0 , N ). Soit n ∈ N∗ tel que n > N 00 .
N
1 X ε
|mn − s| 6 (sk − s) + 6 ε
|{z} n k=1 2 |{z}
n>N 00 >N n>N 00 >N 0
mn −→ s.
n→+∞
ln |un+1 − un | 1 1
lim = ln ⇐⇒ ln |un+1 − un | ∼ ln n
n→+∞ n 2 n→+∞ 2
Pour tout (a, b) ∈ R2+ et tout n ∈ N, notons un (a, b) le terme d’indice n de la suite de l’ensemble E 1 définie par les
2
conditions initiales u0 = a et u1 = b.
Nous avons vu dans la partie IV que la suite (un (a, b))n∈N converge.
1
Posons `(a, b) = lim un (a, b). On note, en particulier, γ = ` 1,
n→+∞ 3
V.1. (a) Calculer, pour tout a ∈ R+ , `(a, a) en fonction de a (on pourra déduire ce résultat de la partie IV).
Soit b ∈ R+ .
b
D’une part : u1 (0, b) = b = u0 (b, ). Et d’autre part :
3
p √
u0 (0, b) + u1 (0, b) + u0 (0, b) × u1 (0, b) 0+b+ 0×b b b
u2 (0, b) = = = = u1 (b, )
3 3 3 3
Puisqu’elles vérifient la même relation de récurrence (R 1 ), par récurrence facile :
2
b
∀ n ∈ N, un+1 (0, b) = un (b, )
3
Par unicité de la limite, /1,5
b
∀ b ∈ R+ , `(0, b) = `(b, ).
3
V.2. (a) Exprimer pour tout (a, b) ∈ R∗+ × R+ , `(a, b) comme le produit d’un nombre avec L(x) où x est un réel positif
ou nul bien choisi.
b b b
`(a, b) |{z}
= ` a × 1, a × = a` 1, =a×L
a a a
a6=0 | {z }
question précédente appliquée pour λ ← a (autorisé a > 0)
/1
b
`(a, b) = a × L .
a
(b) Soient n ∈ N et (a, b) ∈ R∗+ 2 . Justifier que un (a, b) > 0 et montrer que
un+1 (a, b)
`(a, b) = `(un (a, b), un+1 (a, b)) = un (a, b) × `(1, )
un (a, b)
un+1 (1, x)
En déduire que pour tout n ∈ N, tout x ∈ R∗+ , L(x) = un (1, x) × L( ).
un (1, x)
Soit (a, b) ∈ (R∗+ )2 . Soit n ∈ N.
D’après la partie IV, les sous-suites des termes d’indices pairs et impairs de (uk (a, b))k∈N sont adjacentes
donc si la suite croissante est celle des termes pairs, u0 minore la suite, si la suite croissante est celle des
termes impairs, u1 minore la suite si bien que
∀k ∈ N , uk (a, b) > min(u0 (a, b), u1 (a, b)) = min(a, b)
Par conséquent, un (a, b) > min(a, b) > 0 car dans cette question, on a supposé a > 0 et b > 0. /1
La suite uk (a, b) k>n est extraite de la suite uk (a, b) k∈N qui converge vers `(a, b) donc elle converge vers
la même limite `(a, b).
Or la suite uk (a, b) k>n fait partie de E 1 , avec pour premiers termes un (a, b) et un+1 (a, b) donc elle converge
2
et sa limite vaut ` un (a, b), un+1 (a, b) .
Par unicité de la limite, puis en factorisant par λ ← un (a, b) et en utilisant que un (a, b) 6= 0 :
un+1 (a, b)
∀ n ∈ N, `(a, b) = `(un (a, b), un+1 (a, b)) = un (a, b) × `(1, ).
un (a, b)
un+1 (1, x)
∀ n ∈ N, ∀ x ∈ R∗+ , L(x) = un (1, x) × L( ).
un (1, x)
(c) Montrer que, pour tout (a, b) ∈ R2+ , u2 (a, b) = u2 (b, a) puis en déduire que pour tout x > 0, L(x) =
u2 (1, x) u2 (x, 1)
xL( ) = xL( ).
x x
(d) Soient 0 6 b 6 b0 . Montrer que, pour tout n ∈ N, un (1, b) 6 un (1, b0 ). Que peut-on en déduire concernant la
fonction L ?
Toujours par récurrence, considérons la propriété P(·) définie pour tout n ∈ N par
P(n) : « un (1, b) 6 un (1, b0 ) ».
? P(0) est vraie, puisque u0 (1, b) = 1 = u0 (1, b0 ).
? P(1) est vraie, puisque u1 (1, b) = b 6 b0 = u1 (1, b0 ).
? Soit n ∈ N fixé quelconque tel que P(n) et P(n + 1) sont vraies.
un+2 (1, b) = F 1 un (1, b), un+1 (1, b) 6 F 1 un (1, b0 ), un+1 (1, b0 ) = un+2 (1, b0 )
2 2
x ← un (1, b)
y←u
n+1 (1, b)
en appliquant le résultat de la question II.2. avec 0 0 puisque x 6 x0 et y 6 y 0
x ← un (1, b )
0
0
y ← un+1 (1, b )
/1,5
0
Ainsi, pour tout n ∈ N, un (1, b) 6 un (1, b ).
En passant à la limite (autorisé car les deux membres sont des suites convergentes), /0,5
L(b) = `(1, b) 6 `(1, b0 ) = L(b0 ), i.e. L est croissante sur R+ .
n
X
V.3. Posons, pour tout b ∈ R+ , pour tout n ∈ N, Sn (b) = 1 + (uk+1 (1, b) − uk (1, b)). Soit b ∈ R+ fixé.
k=0
(a) Justifier que, L(b) = lim Sn (b).
n→+∞
puis en déduire que |un+2 (1, b) − un+1 (1, b)| 6 K|un+1 (1, b) − un (1, b)| où K est une constante réelle indé-
pendante de n et b vérifiant K ∈]0, 1[ que l’on précisera.
K n+1
|L(x) − L(x0 )| 6 (|x − 1| + |x0 − 1|) + |Sn (x) − Sn (x0 )|
1−K
Soit x0 ∈ R+ . Soit n ∈ N,
K n+1
|L(x) − L(x0 )| 6 |x − 1| + |x0 − 1| + |Sn (x) − Sn (x0 )|
1−K
Soit ε > 0.
1. Majoration indépendante de x0 pour x0 ∈ [x − 1, x + 1] ∩ R+ .
Si x0 ∈ [x − 1, x + 1] ∩ R+ , alors x0 − 1 ∈ [max(x − 2, −1), x],
donc |x0 − 1| ∈ [0, max(x, 1, 2 − x)] donc |x0 − 1| 6 max(2, x).
et de même |x − 1| 6 max(1, x) 6 max(2, x).
Ainsi, pour tout x0 ∈ [x − 1, x + 1] ∩ R+ , |x − 1| + |x0 − 1| 6 2 max(2, x).
Une autre méthode, moins précise mais cela n’a pas d’importance dans ce type de raisonnement, consiste
à utiliser l’inégalité triangulaire
L(x) − L(x0 ) 6 Kn
|x − 1| + |x0 − 1| + |Sn (x) − Sn (x0 )| 6 ε
1−K | {z }
| {z } ε
ε 6 car η6δ
6 car η61 2
2
C’est la définition de la continuité de L en x. /3
(b) En utilisant la relation établie dans la question V.2(c), montrer que L(x) ∼ γx ce qui équivaut à
x→+∞
L(x)
lim = γ.
x→+∞ x
On a vu que
√ !
u2 (1, x) 1+x+ x
L(x) = xL = xL
x 3x
√
1+x+ x 1 1 1 1
Or, d’une part = + + √ −→ ,
3x 3x 3 3 x x→+∞ 3
1
et d’autre part L est continue en ,
3
√ !
L(x) 1+x+ x 1
donc =L −→ L =γ (composition des limites)
x 3x x→+∞ 3