Premire composition de mathmatiques

Centrale 2009 PSI

Dfinitions et notations
On dira quune srie termes rels est semi-convergente si elle converge sans converger absolument.
On dira quune suite (an )nN valeurs complexes vrifie la proprit (P1 ) si pour toute suite complexe
P
(un )nN borne, la srie an un converge.
On dira quune suite (an )nN valeurs relles vrifie la proprit (P2 ) si pour toute suite relle
P
P
(un )nN , la convergence de la srie un entrane celle de la srie an un .
Lobjectif du problme est dtudier, en particulier laide de mthodes algorithmiques, des proprits et des contre-exemples de la thorie des suites et des sries et de caractriser simplement
les suites qui vrifient (P1 ) ou (P2 ).
Les parties I et II sont indpendantes. Les programmes seront crits en langage Python.
PARTIE I - Rorganisation des termes dune srie semi-convergente
On se donne un rel x. On note, pour n N , un =
bijection s de N dans N telle que

(1)n
et on se propose de construire une
n

us(n) = x.

n=1

I.A
On dfinit simultanment par rcurrence trois suites dentiers naturels (pn )n0 , (qn )n0 , (sn )n1 et
une suite (Sn )n0 de rels de la manire suivante :
p0 = q0 = 0, S0 = 0 ;
pour tout n N, si Sn > x alors : qn+1 = 1 + qn , pn+1 = pn , sn+1 = 2qn+1 1
sinon : qn+1 = qn , pn+1 = 1 + pn , sn+1 = 2pn+1 ;
Dans les deux cas : Sn+1 = Sn + usn+1 .
On aura intrt comprendre la construction prcdente sous forme algorithmique.
I.A.1. crire une fonction suite qui prend en argument x et lentier n et qui renvoie laffichage de
la liste (ou tableau si lon prfre) [s1 , s2 , . . . , sn ].
I.A.2. En modifiant la fonction prcdente de faon ce quelle retourne le dessin simultan de la
liste des points de coordonnes (n, Sn )n70 et de la droite horizontale dordonne x (on ne
demande pas dcrire cette nouvelle fonction), on obtient pour x = 1, n = 70 le dessin
suivant :

Que constate-t-on pour la suite (Sn )n0 ? Expliquer le principe de lalgorithme.

I.B
On pose dornavant, pour tout n N , s(n) = sn . Dmontrer, pour n 1, les proprits suivantes :
{s(1), s(2), . . . , s(n)} = {2, 4, . . . , 2pn } {1, 3, . . . , 2qn 1}
pn + qn = n
Sn = us(1) + + us(n)
En dduire que s est injective.
I.C
I.C.1. Dmontrer quune suite dentiers convergente est constante partir dun certain rang.
I.C.2. On se propose de dmontrer que la suite (pn )n0 crot vers +.
a. On suppose dans un premier temps que cette suite est majore. Utiliser le I.C.1) pour
dmontrer quil existe un entier n0 tel que pour n n0 ,
Sn > x et

Sn = Sn0

n1
X
k=n0

2qn0

1
.
+ 2k 2n0 + 1

En dduire une contradiction.

b. Dduire du raisonnement prcdent que la suite (pn )n0 diverge vers +.
I.C.3. Justifier rapidement que (qn ) tend vers +.
I.C.4. Dduire de ce qui prcde que s est une bijection de N sur lui-mme.
I.D
I.D.1. Dmontrer que, pour tout entier n 0, on a :
|Sn+1 x| |Sn x|

|Sn+1 x| us(n+1)  .

ou

I.D.2. En dduire que pour tout naturel N , il existe un entier n > N tel que



|Sn+1 x| us(n+1)  .
I.D.3. Justifier lexistence dun entier n0 tel que pour n n0 , pn 1 et qn 1.
2

I.D.4. Soit n n0 . On note vn = max |Sn x| , u2pn+1  , u2qn+1 1  . Dmontrer que (vn )nn0 est
dcroissante. En dduire quelle converge vers 0.
I.D.5. Dmontrer que (Sn ) converge vers x et conclure.
I.E
I.E.1. Dmontrer lexistence dune constante > 0 telle que :
n
X
1
k=1

= ln(n) + + o(1) quand n + .

I.E.2. Donner un dveloppement analogue pour

n
X

1
en fonction de .
2k 1
k=1

I.E.3.
a. Justifier, pour tout naturel n tel que pn 1 et qn 1, lgalit :
Sn =

pn
X
1
k=1

b. En dduire :

2k

1
pn
ln
2
n pn


Sn =

qn
X

1
.
2k 1
k=1

ln(2) + o(1) .

c. En dduire un quivalent simple de pn et de qn .

d. Dterminer la limite de :




 




 
us(1)  + us(2)  + + us(n) 

|u1 | + |u2 | + + |un |

quand

n + .

PARTIE II - Suites vrifiant (P1 ) et (P2 )

II.A
P
Montrer quune suite complexe (an )nN telle que la srie an converge absolument vrifie (P1 ).
II.B
P
Soit (an )nN une suite relle telle que la srie |an+1 an | converge.
II.B.1. Dmontrer que la suite (an )nN possde une limite.
P

II.B.2. Soit (un )nN une suite relle telle que la srie un converge.
On note Un = u0 + u1 + + un . Dmontrer, pour tout entier naturel N , la relation :
N
X
n=0

an un =

N
1
X

(an an+1 ) Un + aN UN .

n=0

En dduire que la suite (an )nN vrifie (P2 ).

II.C
P
Soit (an )nN une suite de nombres complexes telle que la srie |an | diverge. Construire une suite
P
(un )nN de nombres complexes de module 1 telle que la srie an un diverge. Caractriser les suites
complexes (an )nN vrifiant (P1 ).
II.D
P
Soit (an )nN une suite de rels positifs telle que la srie an diverge. On se propose de construire
P
une suite (n )nN tendant vers 0 telle que la srie an n diverge. Pour cela on dfinit par rcurrence
trois suites (pn )nN , (n )nN et (An )nN comme suit :
p0 = 0, 0 = 1, A0 = a0 .
n1
si An1 pn1
2
pn = pn1 et n = n1 sinon.
Dans tous les cas : An = An1 + an n .

pn = 1 + pn1
Pour n 1 :

et n =

II.D.1. Dans cette question seulement on suppose a0 = 1 et, pour tout n 1, an =

9
.
4(n + 1)

Dterminer les six premiers termes des suites (pn )nN , (n )nN et (An )nN .
crire une procdure exemple qui prend en argument lentier n et retourne la liste :
h

[0, p0 , 0 , A0 ], [1, p1 , 1 , A1 ], . . . , [n, pn , n , An ] .

II.D.2.
a. Dmontrer que pour tout naturel N , il existe un entier n > N tel que : pn = 1 + pn1 (on
pourra raisonner par labsurde).
En dduire quon peut dfinir une suite (nk )kN strictement croissante dentiers par :

n =0
0
n
k+1 = min { n N | n > nk et pn = 1 + pn1 }

pour k 0 .

b. Dans le cas gnral, calculer pnk , nk .

P
Dmontrer que la suite (n )nN tend vers 0 et que la srie n an diverge.
c. Dterminer n1 , n2 et n3 pour lexemple de la question II.D.1).
1
II.D.3. Dans cette question seulement on suppose : n N, an =
.
n+1
a. crire
une fonction indexer
qui prend en argument lentier n et qui retourne la liste
h
i
[0, n0 ], [1, n1 ], . . . , [q, nq ] o q est le plus grand des entiers k tel que nk n. Par exemple
lappel de indexer(10000) retourne :
h

[0, 0], [1, 1], [2, 2], [3, 51] .

b. Soit k 3 un indice tel que nk 2 > nk1 . Dmontrer lingalit :

k 1 Ank 1 k 1 +
En dduire nk+1 2 > nk .
4

1
2k1 n

.
k

c. Calculer explicitement la diffrence Ank+1 1 Ank 1 en fonction de k, nk et nk+1 . En

dduire, pour k 3, lingalit :
1
nk+1 + 1
ln
2k
nk + 1


1
nk+1
ln
2k
nk


Ank+1 1 Ank 1

d. Dduire des deux questions prcdentes, pour k 3, lingalit :

2k

2
nk+1
ln
nk
nk


2k +

nk+1

ln 1 +

1
nk+1

+ ln 1 +

1
nk

e. En utilisant une srie convenable, tudier la convergence de la suite de terme gnral

(ln(nk ) 2k ) ; puis dmontrer lexistence dune constante C > 0 telle que :


nk C exp 2k
k

En dduire

Ank

ln (ln(nk ))
ln(2)

An

ln (ln(n))
.
ln(2)

puis
n

Que peut-on penser de lexcution de la fonction indexer ?

II.E
Soit (an )nN une suite de rels quelconques telle que, pour toute suite (n )nN de rels tendant
P
vers 0, la srie n an converge.
II.E.1. Dmontrer que la srie

n |an | converge.

II.E.2. En dduire que la srie

|an | converge.

II.F
Soit maintenant (an )nN une suite de rels telle que, pour toute suite (xn )nN , la convergence de
P
P
la srie xn entrane la convergence de la srie an xn .
II.F.1. Dmontrer que la suite (an )nN est borne.
II.F.2. Soit (n )nN une suite relle de limite nulle. Dmontrer la convergence de la srie
an ).
II.F.3. Dmontrer que la srie

|an+1 an | converge.

II.F.4. Caractriser les suites vrifiant (P2 ).

n (an+1

Corrig

Premire composition de mathmatiques Centrale 2009 PSI

Premire composition de mathmatiques Centrale 2009 PSI

Dans ce problme on note loprateur dfini sur les suites valeurs complexes par an =
an+1 an .
PARTIE I - Rorganisation des termes dune srie semi-convergente.
I.A
I.A.1. Par dfinition
def s u i t e ( x , n ) :
p=q=0;
S=0.0;
l i s t =[];
for k in r a n g e ( n ) :
i f S>x :
q+=1;
l i s t . append ( 2 q 1);
S=1/ l i s t [ 1 ] ;
else :
p+=1;
l i s t . append ( 2 p ) ;
S+=1/ l i s t [ 1 ] ;
print ( S ) ;
return l i s t ;
I.A.2. La suite Sn de lexemple tend vers 1 et on peut conjecturer quen gnral
(Sn )nN converge vers x.
On choisit (sn ) de sorte que (Sn ) converge vers x en oscillant : en regroupant par paquets les
termes (sn ) de mme signe, (Sn ) admet une suite extraite dont les termes dindices pairs et
impairs forment deux suites adjacentes convergeant vers x.
chaque tape, soit Sn est infrieur x et alors on lui rajoute le plus grand terme positif
non utilis (i.e. celui correspondant au terme de plus petit indice pair) et sinon on rajoute
le terme ngatif de valeur absolue la plus grande non encore utilis (i.e. celui correspondant
au terme de plus petit indice impair).
I.B
Soit (Hn ) le prdicat pour n dans N donn par :
{s(1), . . . , s(n)} = {2, 4, . . . , 2pn } {1, 3, . . . , 2qn 1} ,

pn + qn = n et Sn =

n
X

us(k) .

k=1

Si x < 0, on a q1 = 1, p1 = 0, s1 = 1 et S1 = 1, do {s(1)} = {2q1 1}, p1 + q1 = 1 et S1 = us(1) .

1
Si, au contraire x 0, on a q1 = 0, p1 = 1, s1 = 2 et S1 = , do {s(1)} = {2p1 }, p1 + q1 = 1 et
2
S1 = us(1) . Par consquent (H1 ) est vrai.
1

Corrig

Premire composition de mathmatiques Centrale 2009 PSI

Soit maintenant n dans N tel que (Hn ) est vrai. Si Sn > x, alors qn+1 = qn + 1, pn+1 = pn ,
sn+1 = 2qn+1 1 et Sn+1 = Sn + us(n+1) . Si au contraire Sn x, alors qn+1 = qn , pn+1 = pn + 1,
sn+1 = 2pn+1 et Sn+1 = Sn + us(n+1) . Dans le premier cas, on a
{s(1), . . . , s(n), s(n + 1)} = {2, 4, . . . , 2pn } {1, 3, . . . , 2qn 1, 2qn+1 1}
et donc aussi
{s(1), . . . , s(n), s(n + 1)} = {2, 4, . . . , 2pn , 2pn+1 } {1, 3, . . . , 2qn 1, 2qn+1 1}
puisque 2pn+1 = 2pn . Dans le second cas, on a
{s(1), . . . , s(n), s(n + 1)} = {2, 4, . . . , 2pn , 2pn+1 } {1, 3, . . . , 2qn 1}
et donc aussi
{s(1), . . . , s(n), s(n + 1)} = {2, 4, . . . , 2pn , 2pn+1 } {1, 3, . . . , 2qn 1, 2qn+1 1}
puisque 2qn+1 1 = 2qn 1.
De plus, dans les deux cas, pn+1 +qn+1 = pn +qn +1 = n+1 et Sn+1 =

n
X

us(k) +us(n+1) =

k=1

n+1
X

us(k) .

k=1

On en dduit que (Hn+1 ) est vrai et donc, daprs le principe de rcurrence, pour tout entier n dans
N , on a {s(1), . . . , s(n)} = {2, 4, . . . , 2pn } {1, 3, . . . , 2qn 1}, pn + qn = n et Sn =

n
X

us(k) .

k=1

Pour n dans N , les bijections k 7 2k et k 7 2k 1 montrent que les cardinaux de {2, 4, . . . , 2pn }
et {1, 3, . . . , 2qn 1} sont respectivement pn et qn . Comme N est partitionn entre nombres pairs
et nombres impairs, les deux ensembles prcdents sont dintersection vide et donc, daprs (Hn ),
{s(1), . . . , s(n)} est de cardinal pn + qn , i.e. n. Autrement dit, puisquon a affaire des ensembles de
cardinal fini et que s est une surjection de J1, nK sur son image par s, s est une bijection de J1, nK
sur son image. En particulier s est injective.
I.C
I.C.1. Soit (an )nN une suite convergente dentiers. Alors (an ) converge vers 0 et on dispose de n0
dans N tel que, pour n n0 , |an | < 1. Puisquon a affaire des entiers, il vients alors an =
0, i.e. an+1 = an , et par consquent la suite (an )nN est constante partir du rang n0 .
I.C.2.
a. Par dfinition la suite (pn )nN est croissante. Par consquent, si elle est majore, daprs
le thorme de convergence monotone, elle converge. Daprs ce qui prcde, elle est alors
stationnaire. On dispose donc de n0 tel que (pn )nn0 soit constante. Soit alors n suprieur
n0 . Puisque pn+1 = pn , on a qn+1 = qn + 1, sn+1 = 2qn+1 1 et Sn > x. De plus on a
qn+1 = n + 1 pn+1 = n + 1 pn0 = n + 1 n0 + qn0 et donc sn+1 = 2qn0 + 2n 2n0 + 1. Par
dfinition de Sn , on a Sn = Sn0 +

n1
X

usk+1 , soit Sn = Sn0

k=n0

n1
X
k=n0

1
.
2qn0 + 2k 2n0 + 1

Corrig

Premire composition de mathmatiques Centrale 2009 PSI

La srie

1
est termes positifs et son terme gnral est quivalent
+ 2k 2n0 + 1

2qn0
kn0
1

. Cest donc une srie divergente vers +. Il en rsulte que Sn tend vers , ce qui
2k
est contradictoire avec le fait que (Sn )nn0 est minor par x. Donc (pn ) nest pas major.

b. Puisque la suite (pn ) est croissante, daprs le thorme de convergence monotone soit
elle est majore et convergente, soit elle diverge vers +. Daprs ce qui prcde, il vient
lim pn = +.
I.C.3. Si (qn ) est major, elle converge et donc est stationnaire. Il en rsulte qu partir dun certain
1
rang (Sn ) est major par x et usk est quivalent
. La suite (Sn ) ne pouvant la fois
2k
tre majore et diverger vers +, on en dduit une contradiction et donc, par convergence
monotone, que (qn ) diverge vers +.
I.C.4. Daprs I.B limage de s est incluse dans N ; daprs I.B et I.C.2.b, elle contient tous les
entiers pairs strictement positifs, et daprs I.B et I.C.3, elle contient aussi tous les nombres
impairs strictement positifs. Par consquent s est une surjection de N sur N . Puisque s est
galement injective, daprs I.B, s est une bijection de N sur lui-mme.
I.D
I.D.1. Soit n dans N. Puisque Sn x et us(n+1) sont de signes contraires et que Sn+1 x est la
somme de ces deux termes, on a



|Sn+1 x| = |Sn x| us(n+1)  max |Sn x| , us(n+1) 




et donc |Sn+1 x| |Sn x| ou |Sn+1 x| us(n+1) .

I.D.2. Soit N un entier naturel. Puisque lim pn = lim qn = +, le signe de (Sn x)n>N nest
pas constant et on dispose donc de n vrifiant n > N et (Sn x)(Sn+1 x) 0 et
donc x appartient au segment dextrmits Sn et Sn+1 et |Sn x| |Sn Sn+1 |. Comme



|Sn Sn+1 | = us(n+1) , la question prcdente permet de conclure |Sn+1 x| us(n+1) .

I.D.3. Comme on a lim pn = lim qn = +, on dispose de n1 et n2 entiers tels que, pour n n1 , on
a pn 1 et, pour n n2 , on a qn 1. En prenant n0 = max(n1 , n2 ) il vient, pour n n0 ,
pn 1 et qn 1.



I.D.4. Puisque s(n+1) est gal soit 2pn+1 soit 2qn+1 1, on a us(n+1)  max u2pn+1  , u2qn+1 1 
et donc, daprs I.D.2, |Sn+1 x| vn . Les suites (pk )kn0 et (qk )kn0 sont valeurs dans
N et sont croissantes, tout comme les applications affines de N dans lui-mme r 7 2r et
r 7 2r 1, et la suite (|uk |)kN est dcroissante, donc, par composition, (|u2pk |)kn0 et
(|u2qk 1 |)kn0 sont dcroissantes. En particulier elles sont majores par (vk )nn0 . Par passage
au maximum, il vient vn+1 vn et donc (vn )nn0 est dcroissante.

tant dcroissante et minore par 0, la suite (vn )nn0 converge vers son infimum. On pose
lim vn = a et on suppose a > 0. Puisque lim pn = lim qn = +, on dispose de n1 tel que,
3

Corrig

Premire composition de mathmatiques Centrale 2009 PSI



 

1
1 1
et qn+1 < + , et donc aussi max u2pn+1  , u2qn+1 1  < a.
2a
2 2a
Puisquon a a vn , il vient vn = |Sn x|. En particulier (|Sn x|) est minor partir dun
certain rang par un rel strictement positif. Or daprs I.D.2 une sous-suite de (|Sn x|) est
domine par une suite tendant vers 0. Daprs le thorme de comparaison des suites, cette
sous-suite tend vers 0 et ceci fournit une contradiction. Il en rsulte a = 0, i.e. lim vn = 0.

pour n n1 , on ait pn+1 <

I.D.5. Pour n n0 , on a 0 |Sn x| vn et donc, par encadrement lim(Sn x) = 0, i.e.

lim Sn = x.
Il rsulte de I.C.4 et ce qui prcde que
N

s est une bijection de

dans lui-mme telle que

+
X

us(n) = x.

n=1

I.E
I.E.1. Puisque la fonction inverse est continue et dcroissante sur [1; +[, le thorme de compaZ n+1
1
dx
raison entre sries et intgrales permet daffirmer que la srie de terme gnral
n
x
n
est convergente, de somme strictement positive. Comme on a, daprs la relation de Chasles,
n
X
k=1

!
Z k+1
dx

tel que
on dispose de dans R+

k=1
n
X
1
k=1

1
ln(n) + ln 1 +
n


n
X
1

Z n+1
dx

n
X
1
k=1

ln(n + 1)

= ln(n + 1) + + o(1) et donc, puisque ln(n + 1) =

n
X
1

= ln(n) + o(1), il vient

k=1

= ln(n) + + o(1).

I.E.2. Pour n dans N , on a

n
X

2n
n
X
1
1 1X
1
1

= ln(2n) ln(n) + + o(1)

2k 1 k=1 k 2 k=1 k
2
2
k=1

et donc

n
X

1
= ln(n) + ln(2) + + o(1).
2k

1
2
2
k=1

I.E.3.
a. Soit n tel que pn 1 et qn 1. Daprs I.B il vient
X

Sn =

ks(J1,nK)

et donc Sn =

pn
X
1

2k
k=1

uk =

k{2,...,2pn }

qn
X

1
.
2k
1
k=1

uk +

X
k{1,...,2qn 1}

uk

Corrig

Premire composition de mathmatiques Centrale 2009 PSI

b. Puisque lim pn = lim qn = +, on a daprs I.E.1 et I.E.2

pn
X
1

1
= (ln(pn ) + + o(1))
2k
2
k=1

qn
X

1
1

= ln(qn ) + ln(2) + + o(1)

2k 1
2
2
k=1

et

1
pn
et donc, par sommation et puisquon a pn + qn = n, Sn = ln
2
n pn


ln(2) + o(1).

c. Puisque lim Sn = x, il vient aussi



ln

pn
n pn

= 2x + 2 ln(2) + o(1)

pn
= 4e2x . Or, pour n tel que
n pn
pn
1
1
pn 1 et qn 1, on a
et donc, par continuit de la fonction t 7 1
sur
= n
n pn
+1
pn 1
 t

4
1
qn
pn
et puisque 4e2x > 0, il vient lim pn =
=
R+
et lim
= lim 1
=
2x
2x
e
n
4+e
n
n
4 +1
et donc, par continuit de lexponentielle sur R, lim

e2x
1
4n
n
=
. On en conclut pn
et qn
.
2x
2x
2x
4+e
1 + 4e
4+e
1 + 4e2x

d. Il rsulte de I.B quon a

qn
pn
n 

X
X
X
1


+
us(k)  =
k=1

k=1

2k

1
2k 1
k=1

et donc, daprs I.E.1 et I.E.2,

n 

X
1
1



us(k)  = ln(pn ) + ln(qn ) + O(1) = ln ( pn qn ) + O(1)
k=1

et

n
X

|uk | = ln(n) + O(1) ln(n) .

k=1

p n qn
, daprs I.E.3.c, il vient, par continuit du
admet une limite dans R+
Comme
n 



p n qn

logarithme, ln
= O(1) et donc ln pn qn = ln(n) + O(1) ln(n). On en conclut
n
n 

X


us(k) 
k=1
n
X

= 1.
|uk |

k=1

Corrig

Premire composition de mathmatiques Centrale 2009 PSI

PARTIE II - Suites vrifiant (P1 ) et (P2 )

II.A
P
Soit an une srie absolument convergente et (un ) une suite borne, on a donc |an un | = O(|an |) et
P
donc, par comparaison, la srie an un est absolument convergente. En particulier elle est convergente et (an ) vrifie (P1 ).
II.B
P

II.B.1. Puisque la srie

an est absolument convergente, elle est convergente. Or cette srie
converge si et seulement si la suite (an ) converge, et sa somme est alors lim an a0 . Il en
rsulte que (an ) converge.
II.B.2. Soit N dans N, on a
N
X

(an Un1 + Un an ) =

n=1

i.e.

N
X

(Un an+1 Un1 an ) = UN aN +1 U0 a1

n=1
N
X

(an Un1 + Un an ) = UN aN + UN aN U0 a0 a0 U0

n=1

do
N
X

an un = a0 U0 + UN aN + UN aN U0 a0 a0 U0

n=0

i.e.

N
X

Un an = aN UN

n=1
N
X

an un = aN UN +

N
1
X

Un an

n=0

N
1
X

(an an+1 )Un .

n=0

n=0

Puisque un converge, (Un ) converge et est borne. Daprs II.A, puisque an est absoluP
ment convergente, elle vrifie (P1 ) et donc Un an converge. Daprs II.B.1, (an ) converge
P
et donc (an Un ) aussi. Lexpression des sommes partielles de an un que lon vient dobtenir
P
est donc une somme de deux termes convergents. Il en rsulte que an un converge et donc
(an ) vrifie (P2 ).
II.C
P
Pour tout n dans N, on dispose de un dans U tel que |an | = an un . Par hypothse
an un diverge.
Comme (un ) est born, on en conclut que (an ) ne vrifie pas (P1 ). Daprs II.A, on en conclut que
P
(an ) vrifie (P1 ) si et seulement si an converge absolument.
II.D
II.D.1. On obtient successivement
9
;
4
1
9
9
45
p1 = 1, 1 = et A1 = +
=
;
2
4 16
16
1
45
3
p2 = 2, = et A2 =
+
= 3;
4
16 16
p0 = 0, 0 = 1 et A0 =

Premire composition de mathmatiques Centrale 2009 PSI

Corrig

1
9
393
et A4 = 3 +
=
;
8
128
128
1
393
9
1983
p4 = 4, 4 =
et A5 =
+
=
;
16
128 320
640
1
1983
3
999
p5 = 4, 5 =
et A6 =
+
=
.
16
640
128
320
i.e.
p3 = 3, 3 =

(pn )0n5 = (0, 1, 2, 3, 4, 4),



1 1 1 1 1
et
(n )0n5 = 1, , , , ,
2 4 8 16 16


9 45
393 1983 999
(An )0n5 =
, , 3,
,
,
.
4 16
128 640 320
Par dfinition
from f r a c t i o n s import F r a c t i o n
def a1 ( n ) :
return F r a c t i o n ( 9 , 4 ( n+1)) ;
def exemple ( n ) :
p=0;
ep=F r a c t i o n ( 1 , 1 ) ;
A=a1 ( 0 ) ;
l i s t = [ [ 0 , p , ep ,A ] ] ;
for k in r a n g e ( n ) :
i f A>=p :
p+=1;
ep /=2;
A+=ep a1 ( k+1)
l i s t . append ( [ k+1,p , ep ,A ] ) ;
return l i s t ;
II.D.2.
a. Par dfinition, si (pn ) est stationnaire, alors (n ) aussi. On note = lim n et alors An =
P
an partir dun certain rang. Il en rsulte que
An diverge vers +, par hypothse
P
sur
an , et donc An aussi. Mais si (pn ) est stationnaire, par dfinition, (An ) est major
par (pn ) partir dun certain rang et est donc born. Cette contradiction montre que (pn )
ne saurait tre stationnaire. Par consquent pour tout entier naturel N , on dispose dune
entier n avec n > N et pn 6= pn1 . Par dfinition cela impose pn = pn1 + 1.
Daprs ce qui prcde, pour tout a dans N lensemble { n N | n > a et pn = 1 + pn1 }
est non vide et inclus dans N ; il admet donc un minimum. De plus comme ce minimum
appartient lensemble quil minimise, il est strictement suprieur a. On en dduit que lon
peut dfinir la suite dentiers (nk )kN par rcurrence et quelle est strictement croissante.
7

Corrig

Premire composition de mathmatiques Centrale 2009 PSI

b. Soit k dans N, on a
pnk = p0 +

nk
X

pn1 = 0 +

n=1

et
nk = 0

k
X

pnj 1 =

j=1

nk
Y

n=1

n1

k
Y
n j
j=1

nj 1

k
X

j=1

k
Y
1
j=1

i.e. pnk = k et nk = 2k .
Par construction la suite (n ) est dcroissante et minore par 0, elle converge daprs le
thorme de convergence monotone. Comme elle admet une sous-suite tendant vers 0,
1
savoir (nk ) qui est gomtrique de raison , sa limite est nulle : lim n = 0.
2
Par construction la suite (An ) est croissante et minore par (pn ). Comme cette dernire est
croissante et admet une sous-suite divergeant vers +, elle diverge vers + et donc, par
P
comparaison, (An ) fait de mme :
n an diverge.
c. Daprs les calculs effectus en II.D.1, on a n1 = 1, n2 = 2 et n3 = 3.
II.D.3.
a. Par dfinition
def a2 ( n ) :
return 1 . / ( n +1);
def i n d e x e r ( n ) :
p=q=0;
ep = 1 . ;
A=a2 ( 0 ) ;
list =[[0 ,0]];
for k in r a n g e ( n ) :
i f A>=p :
p+=1;
ep /=2;
l i s t . append ( [ p , k + 1 ] ) ;
A+=ep a2 ( k+1)
return l i s t ;
b. On a daprs II.D.2 et par construction
k 1 = pnk1 pnk 1 Ank 1
et, puisque 21k = nk1 = nk 2 = nk 1 et Ank 2 < pnk 2 ,
Ank 1 = Ank 2 + 21k
8

1
1
< pnk 2 + k1
nk
2 nk

Corrig

Premire composition de mathmatiques Centrale 2009 PSI

do, puisque k 1 = pnk1 = pnk 2 = pnk 1 , k 1 Ank 1 k 1 +

1
.
2k1 nk

Comme nk k et k 3, il vient
Ank = Ank 1 + ank nk k 1 +

1
2k1 n

+
k

1
2k (n

+ 1)

k1+

1
1
+
< k = pnk
12 32

et donc pnk +1 = pnk et nk +1 = nk . Par consquent

Ank +1 = Ank +

1
1
1
1
k1+
+
+
< k = pnk +1
2k (nk + 2)
12 32 40

do nk+1 > nk + 2.
c. Par dfinition, pour k dans N ,
nk+1 1

Ank+1 1 = Ank 1 +

aj j

j=nk
nk+1 1

i.e. Ank+1 1 Ank 1 = 2k

X
j=nk

1
.
j+1

, il vient par ingalit de la

Puisque la fonction inverse est continue et dcroissante sur R+
moyenne

nk+1 + 1
ln
nk + 1


Z nk+1 +1
dt
nk +1

1
nk+1 + 1
et donc k ln
2
nk + 1


nk+1 1

j=nk

Z nk+1
dt

j+1

nk+1
= ln
t
nk

nk

1
nk+1
.
k ln
2
nk


Ank+1 1 Ank 1

d. Daprs II.D.3.a, on a n3 2 = 49 > 2 = n2 et donc, par une rcurrence immdiate et avec

laide de II.D.3.b, pour k 3, on a nk 2 > nk1 .
Soit maintenant k suprieur 3. On peut utiliser lingalit II.D.3.b pour k et k + 1. Avec
II.D.3.c il vient


ln

nk+1
nk

2k (Ank+1 1 Ank 1 ) 2k k k + 1

2k1 n

= 2k

2
nk

et
nk+1 + 1
ln
nk + 1


2 (Ank+1 1 Ank 1 ) 2

1
1
k+ k
k + 1 = 2k +
2 nk+1
nk+1


et donc, puisque
nk+1 + 1
nk+1
1
=
1+
nk + 1
nk
nk+1


2
nk+1
on a 2
ln
nk
nk
k

2 +

1
nk+1

ln 1 +



1+
1

nk+1

1
nk

1
+ ln 1 +
.
nk


Premire composition de mathmatiques Centrale 2009 PSI

Corrig

e. On note (uk ) la suite (ln(nk )2k ). Sa

est quivalente celle de la srie uk .
 convergence

nk+1
k
Or, pour k dans N, on a uk = ln
2 et donc, daprs la question prcdente et
nk
en utilisant a b c |b| max(|a| , |c|) |a| + |c|,
P

|uk |

1
nk+1

1
2 
+ ln 1 +
nk 
nk


ln 1 +







 3 + ln 1 + 1 ln 1 + 1
nk+1  nk
nk
nk+1

par croissance de (nk ). Comme(nk

) est une
suite strictement croissante dentiers, elle tend
1
vers linfini. En notant (vk ) = ln 1 +
, par continuit du logarithme et divergence
nk
P
de (nk ) vers +, la suite (vk ) tend vers 0 et donc vk converge.
Par construction on a an n = o(an ) et donc, par comparaison des sries divergentes termes
positifs, on a An = o(ln(n)) grce I.E.1. Et donc en utilisant II.D.3.b, k = O(k 1) =
O(Ank 1 ) = o(ln(nk 1)) = o(ln(nk )). En particulier k ln(nk ) ln(nk ). Puisque
lexponentielle tend vers 0 en , on en dduit que lexponentielle de k ln(nk ) tend vers
1
0, i.e.
= o(ek ).
nk
P 1
est convergente, par comparaison dune srie termes positifs
En particulier la srie
nk
P
avec une srie gomtrique. On en conclut que |uk | est major par la somme de deux
sries absolument convergentes. tant termes positifs, elle est galement absolument
P
convergente, donc uk est convergente. Il en rsulte que ln(nk ) 2k converge.
Par continuit de lexponentielle, il en rsulte que nk exp(2k ) converge aussi, i.e. on dispose
) telle que n C exp(2k ).
dune constante C strictement positive (car exp(R) = R+
k

Puisque ln(nk ) 2k converge, on a ln(nk ) = 2k + O(1) et donc 2k ln(nk ) = 1 + o(1). Par

continuit du logarithme, il vient ln(ln(nk ))k ln(2) = o(1) et donc ln(ln(nk )) k ln(2). Or,
lingalit II.D.3.b donne en particulier, pour k 3, k 1 Ank 1 k et donc Ank 1 k.
ln(ln(nk ))
Comme Ank = Ank 1 + o(1), il vient Ank Ank 1 k et donc Ank
.
ln(2)
Soit n dans N. Par stricte croissance et divergence de (np ), on dispose de k dans N tel que
nk n < nk+1 . Par croissance de (Ap ), on en dduit Ank An Ank+1 . Lorsque n tend
vers linfini, k aussi, et on a Ank k k + 1 Ank+1 et donc An k par encadrement.
Daprs ce qui prcde on en dduit An

ln(ln(n))
.
ln(2)

Puisque la croissance de (nk ) est doublement exponentielle,

le temps de calcul de indexer est au moins doublement exponentiel.
II.E
II.E.1. Pour n dans N, on dispose de un dans {1} tel que |an | = un an . Soit (n ) une suite de
P
limite nulle, comme (un ) est born, (un n ) tend aussi vers 0 et donc n un an converge, i.e.
P
n |an | converge.

10

Corrig

Premire composition de mathmatiques Centrale 2009 PSI

II.E.2. Par contrapose du rsultat obtenu en II.D, la srie termes positifs

P
Comme elle est termes positifs, cest donc que
|an | converge.

|an | ne peut diverger.

II.F
II.F.1. Si (an ) nestnpas born, on construit
par rcurrence une suite (nk ) par n0 = 0 et, pour k N,
o
nk+1 = min n > nk | |an | 2k . On dfinit alors la suite (xn ) par xn = 2k , si n = nk pour
P
k dans N, et xn = 0 sinon. Par construction la srie
xn an diverge grossirement puisque
P
1
|xnk ank | pour k 1. La srie
xn est termes positifs et le thorme de sommation
2
par paquets permet dcrire
+
X

xn =

xn =

k=0 n=nk

n=0

et donc

nk+1
X
X1

2k = 2

k=0

xn converge. Cette contradiction assure que (an ) est born.

II.F.2. Soit (n ) une suite de limite nulle. Pour n dans N, on a n an + an+1 n = (a)n et donc,
par sommation,
n
X

k ak = an+1 n+1 a0 0 +

k=0

n
X

ak+1 k .

k=0

Puisque (n ) converge,
n1 converge et donc, par hypothse,
an+1 n converge.
Daprs ce qui prcde an n = O(n ) = o(1) puisque n = o(1). Par linarit on en dduit
P
que
n (an+1 an ) converge.
II.F.3. Il rsulte directement de II.E que

|an+1 an | converge.

II.F.4. Il rsulte de II.B et de la question prcdente que

les suites vrifiant (P2 ) sont celles telles que

11

an converge absolument.