MPSI B 29 juin 2019

Énoncé Partie II. Lemme technique.

Dans cette partie, (un )n≥2 et (vn )n≥2 sont deux suites de réels strictement positifs. On
z3
dénit (Un )n≥2 et (Vn )n≥2 par
z4 z2
Un = u2 + u3 + · · · + un , V n = v2 + v3 + · · · + vn
z1
1. Calculer un équivalent de la forme A
√
n n
(A réel) pour
z0
 
1 1
√ −√
n−1 n n≥2

2. On suppose (un )n≥2 dominée par (vn )n≥2 et (Vn )n≥2 convergente vers un réel V .
a. Montrer que (Un )n≥2 est convergente. On note U sa limite.
b. Montrer que (U − Un )n≥2 est dominée par (V − Vn )n≥2 .
Fig. 1: Dénition des points zi . Fig. 2: Intersection avec ]0, +∞[. 3. Soit B > 0 et (un )n≥2 une suite équivalente à (Bn− 2 )n≥2 . Montrer que (Un )n≥2 est
3

convergente et que, si U est sa limite, (U − Un )n≥2 est dominée par (n− 2 )n≥2 .
1

On dénit par récurrence une suite (zn )n∈N∗ de nombres complexes à l'aide de propriétés
géométriques. Soit O le point d'axe 0, xons z0 = 1 et construisons zn à partir de zn−1 Partie III. Un développement asymptotique.

en imposant des conditions sur le triangle Ozn−1 zn . Il doit être : Pour n ≥ 1, on pose
√ √ 1
rectangle en zn−1 , orienté dans le sens direct, tel que |zn−1 − zn | = 1. un = 2 n − 2 n − 1 − arctan √
n
La réunion des segments [zn , zn+1 ] constitue une ligne polygonale innie (notée L) de forme 1. Déterminer une suite simple équivalente à (un )n∈N . En déduire que (un )n∈N vérie les
spirale (gures 1 et 2). hypothèses de II.3.
2. Établir l'existence d'une constante réelle C telle que
√ 1

Partie I. Expression d'un argument.

αn = 2 n − C + O(n− 2 )

1. Formuler très précisément un résultat de cours liant la fonction arctan avec un argu- Partie IV. Intersection avec ]0, +∞[.
ment d'un nombre complexe non nul.
On parcourt la ligne polygonale L dans le sens direct à partir de z0 .
2. Exprimer zn en fonction de zn−1 de |zn−1 | et de i puis |zn+1 | en fonction de zn . En
1. Montrer que L coupe la demi-droite [0, +∞] en une innité de points notés successi-
déduire |zn | en fonction de n.
vement M0 (= z0 ), M1 , . . . , Mk , . . . (gure 2).
3. Pour n ≥ 1, on dénit αn par : L'unique arête de la ligne polygonale L qui contient le point Mk (k ≥ 1), est désignée
n
par ]zv(k)−1 , zv(k) ].
1 2. Montrer que v(k) ∼ k2 π 2 en +∞ et en déduire
X
αn = arctan √
k
k=1 C2
v(k) = k 2 π 2 + Cπk + + O(1)
4
Montrer que αn est un argument de zn .

Cette création est mise à disposition selon le Contrat 1 Rémy Nicolai ASpira
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne [Link]
MPSI B 29 juin 2019

Corrigé Partie II. Lemme technique.

1. Développons le terme en n − 1 :
Partie I. Expression d'un argument.
 
1 1 1 1 1 1 1 1 1 1
1. On peut citer le résultat suivant. √ = √ (1 − )− 2 = √ 1+ + o( ) = √ + √ + o( √ )
n−1 n n n 2n n n 2n n n n
Si z est un nombre complexe dont la partie réelle est strictement positive
alors arctan( Im(z)
Re(z) ) est un argument de z .
L'équivalent cherché est donc 1√
2n n
.
2. Les règles de construction de zn+1 à partir de zn se traduisent par 2. a. Comme (un )n≥2 est dominée par (vn )n≥2 , il existe un réel M tel que
zn zn p ∀k ≥ 2, 0 < uk < M vk (1)
zn+1 = zn + i = (|zn | + i) ⇒ |zn+1 | = ||zn | + i| = |zn |2 + 1
|zn | |zn |
En sommant, de k = 2 à n, on en déduit 0 < Un ≤ M Vn .
√
À partir de |z0 | = 1, on obtient |z1 | = 2 puis, par récurrence, La suite (Vn )n≥2 est strictement croissante car vn > 0 et converge vers V qui est
la borne supérieure de l'ensemble de ses termes donc
√
∀n ∈ N, |zn | = n+1
∀n ≥ 2, 0 < Un ≤ M V
3. On cherche la forme exponentielle de zn+1 . Dénissons un βn : La suite (Un )n≥2 , croissante et majorée, converge. On note U sa limite.
1 1 zn b. Pour n xé et p ≥ n, remarquons que
βn = arctan = arctan √ avec zn+1 = (|zn | + i)
|zn | n+1 |zn |
un+1 + un+2 + · · · + up = Up − Un
D'après le résultat cité dans la première question, βn est un argument de |zn | + i d'où vn+1 + vn+1 + · · · + vp = Vp − Vn
√
|zn | + i = ||zn | + i|eiβn = n + 2 eiβn En sommant l'inégalité (1) pour k entre n + 1 et p, on obtient

Soit θn un argument de zn , alors : 0 < Up − Un ≤ M (Vp − Vn )

zn √ √ De plus, (Up − Un )p≥n et (Vp − Vn )k≥n convergent respectivement vers U − Un et

zn+1 = (|zn | + i) ⇒ zn+1 = n + 2 eiβn eiθn = n + 2 ei(βn +θn ) V − Vn . Par passage à la limite dans l'inégalité (1) on obtient
|zn |

donc θn + βn est un argument de zn+1 . ∀n ≥ 2, 0 < U − Un ≤ M (V − Vn )

Comme z0 = 1, on choisit θ0 = 0 donc β0 est un argument de z1 .
On en déduit que β0 + β1 est un argument de z2 et ainsi de suite par récurrence. ce qui prouve que (U − Un )n≥2 est dominée par (V − Vn )n≥2 .
3. Remarquons d'abord que l'hypothèse un ∼ Bn− 2 avec B > 0 entraîne que un est
3

n−1
X 1 X n
1 strictement positive à partir d'un certain rang. Les raisonnements de la question 2.
∀n ≥ 1, β0 + β1 + · · · + βn−1 = arctan √ = arctan √ s'appliquent encore dans ce cas. Considérons
k=0
k + 1 k=1 k
1 1
est un argument de zn . vn = √
n−1
−√
n

Cette création est mise à disposition selon le Contrat 2 Rémy Nicolai ASpira
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne [Link]
MPSI B 29 juin 2019

C'est une suite positive équivalente à 12 n− 2 d'après 1. On en tire

3
Partie IV. Intersection avec ]0, +∞[.
3 1. La ligne polygonale rencontre une innité de fois la demi-droite formée par les réels
un Bn− 2 positifs car la suite des arguments αn diverge vers +∞.
∼ 1 − 3 ∼ 2B
vn 2n
2
2. On peut préciser le k-ième point d'intersection Mk . Il correspond à k tours de la spirale.
Il est placé sur le segment formé par deux z d'indices v(k) et v(k) + 1.
Ceci assure que (un )n≥2 est dominée par (vn )n≥2 .
Or Vn = 1 − √1n (sommation en dominos) converge vers 1 donc, d'après a., (Un )n≥2 αv(k) ≤ 2kπ < αv(k)+1
converge (limite U ) et, d'après b., (U − Un )n≥2 est dominée par 1 − Vn = √1n . Il est clair que (v(k))k diverge vers +∞. Utilisons le développement obtenu en III.2.
1 1
(2)
p p
2 v(k) − C + O( p ) ≤ 2kπ ≤ 2 v(k) + 1 − C + O( p )
Partie III. Un développement asymptotique. v(k) v(k)
Dans le O du membre de droite gure un v(k) au lieu de v(k) + 1 car, comme v(k)
1. À partir des développements
diverge vers +∞, on a v(k) + 1 ∼ v(k).
√ √ √
Par le théorème d'encadrement :
1 1 1 1 1
n−1= n(1 − ) 2 = n(1 − − + o( 2 )) 2kπ
n 2n 8n2 n p → 1 ⇒ v(k) ∼ k 2 π 2
√ 1 1 3 2 v(k)
= n − √ − √ 3 + o(n− 2 ) × (−2)
2 n 8( n) Comme s
p p 1 p 1
  v(k) + 1 = v(k) 1 + = v(k) + O( p )
1 1 1 3 v(k) v(k)
arctan √ = √ − √ 3 + o(n− 2 ) × (−1)
n n 3( n) l'encadrement (2) s'écrit encore
On obtient 1 p 1
1 1 3 7 −3 O( p ) ≤ 2kπ − 2 v(k) + C ≤ O( p )
un ∼ ( + )n− 2 ∼ n 2 v(k) v(k)
4 3 12
Introduisons une suite (βk )k≥2 :
2. On adopte les notations de la partie II. En particulier : p  p 
βk = v(k) 2kπ − 2 v(k) + C
√ √ 1 √
un = 2 n − 2 n − 1 − arctan √ ⇒ Un = u2 + · · · + un = 2 n − 2 − αn + α1 Elle est bornée à cause de l'encadrement précédent et permet d'écrire
n
p C βk βk 1
D'après II. 3., et l'équivalent trouvé pour un , la suite (Un )n≥2 converge vers un nombre v(k) = kπ + − p ⇒− p ∈ O( )
2 2 v(k) 2 v(k) k
noté U et la suite (U − Un )n≥2 est dominée par ( √1n )n≥2 .
On peut en déduire un développement de αn : car (βk )k≥2 est bornée et v(k) ∼ k2 π 2 . En élevant au carré :

√ √ p C 1 C2
αn = 2 n − 2 + α1 − Un = 2 n − 2 + α1 − U + (U − Un ) v(k) = kπ + + O( ) ⇒ v(k) = π 2 k 2 + πCk + + O(1)
2 k 4
√ 1
= 2 n + (−2 + α1 − U ) + O(n− 2 ) 1
la  butéee  étant kπ O( ) = O(1)
| {z } k
=C

Cette création est mise à disposition selon le Contrat 3 Rémy Nicolai ASpira
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne [Link]