Tle Spé-Maths2023-24 Maths Corrigés Exercices « Pour réviser le contrôle commun 4 » 1 1

Exercices du manuel :
Suites :

Sujet B p.160
La suite ( un ) n ∈ ℕ est « définie » par :
u0 > 1

{ ∀ n∈ ℕ
∀ n ∈ ℕ un ⩾ 0
u 0 + u 1 + …+ un −1 = u 0 u 1 … un −1
on admet qu’une telle suite existe .
;

1. exemple :
u0 = 3 ,
donc u 0 + u 1 = u 0 u 1 soit 3 + u 1 = 3 u 1 ,
soit 3 = 3 u 1 − u 1 soit 3 = 2 u 1 ⇔ u 1 = 1,5 ;
et u 0 + u 1 + u 2 = u 0 u 1 u 2 ,
soit 3 + 1,5 + u 2 = 3 × 1,5 u 2 ,
soit 4,5 = 4,5 u 2 − u 2 ,
4,5 9
soit 4,5 = 3,5 u 2 ⇔ u 2 = = .
3,5 7

2. Pour tout n > 0 :

sn = u 0 + u 1 + … + u n −1 = u 0 u 1 … u n−1 , en
particulier s1 = u 0 ;
a. par définition s n +1 = u 0 + u 1 + … + u n ,
soit s n +1 = u 0 + u 1 + … + u n −1 + u n = s n + u n ,
et comme u 0 > 1 et tous les termes u n ⩾ 0 , on a
u 0 + u 1 + … + u n− 1 > 1 + u 1 + … + u n −1 ⩾ 1 ,
soit sn > 1 , pour tout n > 0 .

b. soit n > 0 :
sn > 1 donc sn − 1 > 1 − 1 = 0 , le quotient
sn
est bien défini ; on a :
sn − 1
sn
= un ⇔ sn = u n ( sn − 1 )
sn − 1
⇔ sn = u n sn − un
⇔ sn = sn+ 1 − u n *
⇔ sn + u n = s n+1 qui est vraie pour
tout n > 0 d’après a. ,
sn
donc par équivalence = un est aussi vraie pour
sn − 1
tout n > 0 . ( * il faut remarquer que :
un sn = u 0 u 1 … u n− 1 × u n = s n+1 )

pour tout n > 0 : sn > sn − 1 > 0

c.
sn
donc > 1 soit u n > 1 d’après b. ,
sn − 1
et u 0 > 1 , donc ∀ n ∈ ℕ , un > 1 .

3. a. def algo( n, u ) :
u=3 # initialisation u₀
s= u # initialisation s₁ = u₀
for i in range( 1, n + 1 ) : # boucle pour passer au rang suivant : 1er tour i = 1 , dernier tour i = n
u=s/(s–1) # calcul de u i en fonction de s i d’après le 2. b.
s= s+u # calcul de s i + 1 en fonction de s i et u i d’après le 2. a.
return u # on renvoie u n après le dernier tour de boucle
Tle Spé-Maths2023-24 Maths Corrigés Exercices « Pour réviser le contrôle commun 4 » 1 2

b. Conjecture : la suite ( un ) n ∈ ℕ semble décroissante , comme elle est minorée par 1 , d’après le théorème de
convergence monotone elle serait convergente ; sa limite semble être 1 .

4. a. ∀ n ∈ ℕ , un > 1 donc par somme u 0 + u 1 + … + u n− 1 > 1 + 1 + … + 1 = 1 × n car c’est

justement la somme des n premiers termes de la suite ( un ) n ∈ ℕ ; soit pour tout n > 0 : sn > n .

b. lim n =+∞ , donc par comparaison lim sn = + ∞ ;

n → +∞ n → +∞
sn sn 1
un = = =
puis pour tout n > 0 : sn − 1 1 1 ;
sn
( 1−
sn ) ( ) 1−
sn
1
par quotient lim
n → +∞ sn
= 0 , par somme lim
n → +∞ (1 − s1 ) = 1
n
et par quotient lim u n =
n → +∞
1
1
=1 .

--------------------------------------------------------------------------------------------------------------------------------

Sujet C p. 160-161
1. Fausse
contre-exemple : la suite géométrique ( q n ) n ∈ ℕ avec q = - 0,5 ;
elle converge vers 0 mais n’est pas monotone .

2. Fausse
( pn ) n ∈ ℕ définie par ∀ n ∈ ℕ , p n = n2 − 42 n + 4
qui est une formule explicite , le sens de variation de ( pn ) n ∈ ℕ
est donné par celui de la fonction f telle que
f ( x ) = x2 − 42 x + 4 sur [ a ; + ∞ [ , a positif ;
or f ' ( x ) = 2 x − 42 et 2 x − 42 > 0 ⇔ x > 24 ,
donc f est croissante sur [ 24 ; + ∞ [ , la suite est croissante
à partir du rang 24 .

3. Fausse mais « presque vraie »

( 0,8 n ) n ∈ ℕ suite géométrique de raison q = 0,8 avec 0 < q < 1
est une suite strictement décroissante et convergente vers 0 :
quand n augmente 0,8 n décroît et devient de plus en plus proche
de 0 ; « tant que 0,8 n ⩾ 0,01 on passe de n à n + 1 » est une
boucle correcte pour obtenir le premier rang tel que 0,8 n < 0,01
mais la syntaxe correcte en Python est
« while 0.8**n >= 0.01 : » .

4. Vraie
2 2 2
n ⩽ ( n + 1 ) wn ⩽ n + n
n2 ( n2 + n )
⇔ ⩽ w n ⩽ car ( n + 1 ) 2 > 0
( n + 1) 2 (n + 1) 2
2
n n (n + 1)
⇔ (
n +1 ) ⩽ wn ⩽
(n + 1) 2
2
n n
⇔
(
n (1 + 1/n )
2
)
⩽ wn ⩽
( n + 1)
1 1
⇔
(
(1 + 1/n ) )
⩽ wn ⩽
( 1 + 1/n)
1
or lim = 0 , par somme n lim ( 1 + 1 /n ) = 1 , et
n → +∞ n → +∞

1
par quotient lim =1 ;
n → + ∞ ( 1 +1 / n )

donc d’après le théorème des gendarmes n lim → +∞

wn = 1 .
Tle Spé-Maths2023-24 Maths Corrigés Exercices « Pour réviser le contrôle commun 4 » 1 3

5. Fausse
n
1 n2 = + ∞ , par somme et quotient lim u n = 0 .
lim
n → +∞
( ) =0
−
3
( suite géométrique ) , lim
n → +∞ n → +∞

--------------------------------------------------------------------------------------------------------------------------------

Sujet E p.161
Partie A
K W U V
0 2 10
1 2 14/3 32/4 = 8
2 14/3 52/6 86/12 = 43/6

Partie B

1. a.
( un + 3 v n ) ( 2 un + vn )
v n+ 1 − u n+1 = −
4 3
3 ( un + 3 v n ) − 4 ( 2 u n + v n )
soit v n+ 1 − u n+1 =
12
3 u n + 9 v n − 8 un − 4 v n
⇔ v n +1 − un +1 =
12
− 5 un + 5 vn
⇔ vn +1 − un +1 =
12
5
⇔ vn +1 − un +1 = ( v n − un ) .
12

b. wn = ( v n − u n ) pour tout n ∈ ℕ ,
soit
5
d’après le a. wn+ 1 = vn+ 1 − u n+1 = w ; donc
12 n
5
( w n )n ∈ ℕ est une suite géométrique de raison q = , et
12
pour n = 0 : w0 = v 0 − u 0 = 10− 2 = 8 ; donc on a
5 n
∀ n ∈ ℕ : wn = 8
12
. ( )
2. a. pour tout n ∈ℕ :
n
5
wn = 8 ( ) 12
>0 ;

( 2 un + v n ) ( 2 u n + v n ) − 3 un
u n+1 − u n = − un =
3 3
2 u n + vn − 3 un vn − un w
soit u n+1 − u n = = = n
3 3 3
donc u n+ 1 − u n > 0 ;
( un + 3 v n ) ( un + 3 v n ) − 4 v n
v n+ 1 − v n = − vn =
4 4
soit
un + 3 vn − 4 vn u − vn − wn
v n+ 1 − v n = = n =
4 4 4
donc v n+ 1 − vn < 0 ;
( un )n ∈ ℕ est bien croissante et ( v n )n ∈ ℕ est décroissante .

n
5
b. Comme wn = 8 ( )
12
> 0 on a v n − un > 0 soit v n > u n pour tout n ∈ℕ ;

or v0 = 10 et ( v n )n ∈ ℕ est décroissante donc pour tout n ∈ ℕ , vn ⩽ 10 et donc un < v n ⩽ 10 ;

de même u 0 = 2 et ( un )n ∈ ℕ est croissante donc pour tout n ∈ ℕ , u n ⩾ 2 et donc v n > un ⩾ 2 ;
finalement pour tout n ∈ ℕ on a un ⩽ 10 ( suite majorée ) et v n ⩾ 2 ( suite minorée ) .
Tle Spé-Maths2023-24 Maths Corrigés Exercices « Pour réviser le contrôle commun 4 » 1 4

c. D’après le théorème de convergence monotone :

( un )n ∈ ℕ est croissante et majorée donc convergente , lim u n = Lu ∈ ℝ ;
n → +∞

( v n )n ∈ ℕ est décroissante et minorée donc convergente , lim v n = Lv ∈ ℝ .

n → +∞

n
5 lim wn = 0 ( par produit par 8 ) ;
3. Comme wn = 8 ( )
12
est géométrique de raison q avec 0 < q < 1 on a n → +∞

or wn = v n − u n donc lim wn = lim v n − lim un = Lv − Lu d’après 2. c. ; donc L v − Lu = 0

n → +∞ n→ +∞ n →+ ∞
soit L v = Lu : ( un )n ∈ ℕ et ( v n )n ∈ ℕ ont la même limite .

4. a. Soit la suite ( t n )n ∈ ℕ ∀ n ∈ ℕ : t n = 3 un + 4 vn , alors pour tout n ∈ ℕ :

définie par
2
( n u + v n) ( u n + 3 vn )
t n +1 = 3 u n+1 + 4 v n +1 = 3 × + 4 × = 2 u n + v n + un + 3 v n = 3 un + 4 v n = t n ;
3 4
soit pour tout n ∈ ℕ t n +1 = t n , la suite est bien constante ; et on a pour tout n ∈ ℕ t n = t 0 , avec
t 0 = 3 u0 + 4 v 0 = 3 × 2 + 4 × 10 = 46 .

b. lim
v n = lim un = L d’après 3. ,
n →+ ∞
n →+ ∞

par produit et somme lim t n = 3 lim v n + 4 lim un = 3 L + 4 L = 7 L ; et comme ( t n )n ∈ ℕ est constante

n → +∞ n →+ ∞ n →+ ∞
lim t n = t 0 = 46 ;
n → +∞
46 46
donc 7 L = 46 soit L= : lim v n = lim un = .
7 n →+ ∞ n →+ ∞ 7

Remarque : on dit que les suites ( un )n ∈ ℕ et ( v n )n ∈ ℕ sont des suites adjacentes .