PC Math I - Concours Centrale

MATHÉMATIQUES I
Concours Centrale-Supélec 2005 1/5
MATHÉMATIQUES I Filière PC
On dit qu’une suite réelle est ultimement périodique
lorsqu’elle est périodique à partir d’un certain rang, c’est-à-dire s’il existe
et tels que :
, .
(L’entier est une période de la suite ).
On note l’ensemble des suites ultimement périodiques de réels.
L’objet du problème est d’étudier quelques propriétés élémentaires de ces suites
et le caractère ultimement périodique éventuel de suites simples.
Partie I -
I.A - Montrer que est un sous espace vectoriel de l’espace des suites
réelles. Est-il de dimension finie ?
I.B - Soit un élément de et l’ensemble des entiers
tels que la suite admette pour période à partir d’un certain rang.
I.B.1) Montrer qu’il existe un entier (que l’on appellera la période de
) tel que :
.
Que peut-on dire de la suite lorsque ?
I.B.2) Montrer qu’il existe un plus petit entier tel que :
,
Montrer que, pour tout , est le plus petit entier à partir duquel la
suite devient -périodique. Combien de paramètres réels suffisent à
définir parfaitement ?
I.C - Soit un élément de .
I.C.1) Montrer que est bornée et que le rayon de convergence de la série
entière est strictement positif. À quelle condition nécessaire et suffi-
sante est-il égal à ? Que vaut-il sinon ?
I.C.2) Montrer que la somme de cette série est une fraction rationnelle. Dans
quel cas est-ce un polynôme ?
aa
n
()
nIN∈
=
n0IN∈pIN∗
∈
R()n∀IN∈nn
0
≥anp+an =⇒
pa
n
()
nn
0
≥
UP
UP IR IN
aa
n
()
nIN∈
=UP Pa() p1≥
ap
T1≥
a
Pa() IN∗TkTkIN∗
∈{, }==
T1=
n0
n∀IN∈nn
0
≥anT+an =⇒
p Pa()∈n0
an ()
nIN∈p
a
aa
n
()
nIN∈
=UP
aR
a
anxn
∑
Ra+∞

Concours Centrale-Supélec 2005 2/5
Filière PC
MATHÉMATIQUES I Filière PC
I.D - Soit une série entière de rayon de convergence , dont la
somme est la restriction à d’une fraction rationnelle.
La suite est-elle ultimement périodique ?
Partie II -
II.A - Exemple 1
On définit la suite par :
, et ,
et la suite par si est pair et sinon. La suite
est-elle ultimement périodique ?
Déterminer le rayon de convergence et la somme de la série entière .
II.B - Exemple 2
On définit maintenant la suite par :
et , et .
II.B.1) Déterminer le rayon de convergence de la série entière .
On note sa somme.
II.B.2) Trouver une relation liant et .
En déduire que, pour tout , ,
.
II.B.3) Étudier, pour donné dans ,
et en déduire que n’est pas ultimement périodique.
II.C - Exemple 3
Soit un rationnel strictement positif, donné sous forme irréductible.
On définit deux suites d’entiers et par :
anxn
∑
R0>
]R–R,[
an
()
nIN∈
Fn ()
nIN∈
F00= F11= n∀IN∈Fn2+ Fn1+ Fn +=
an
()
nIN∈an0= Fnan1=
an
()
nIN∈
anxn
∑
an ()
nIN∈
a01= n∀IN∈a2nan =a2n1+ an –=
anxn
∑
S
Sx()
Sx
2
()
xx]1–1,[∈
Sx() 1x2k
()
–()
k0=
n
∏
n+∞→
lim=
nIN
Sx()
1x–()
n
--------------------
⎝⎠
⎜⎟
⎛⎞
x1 – →
lim
an
()
nIN∈
xab⁄=
rn
()
nIN∈
dn ()
nIN∈

MATHÉMATIQUES I Filière PC
Concours Centrale-Supélec 2005 3/5
• (partie entière) et est le reste de la division euclidienne de
par .
• pour tout , (resp. ) est le reste (resp. le quotient) de la division
euclidienne de par .
II.C.1) Dans cette question (uniquement), .
Déterminer .
II.C.2) Montrer que la suite est ultimement périodique. Qu’en est-il
de ?
II.C.3) Montrer que, pour tout , .
II.C.4) Établir l’égalité :
Partie III -
Le but de cette partie est de montrer que le réel n’est pas un élément de .
est l’espace des fonctions de classe de dans lui-même.
Pour tout élément de , on note l’application de dans définie par :
, .
III.A - L’application de qui à tout élément associe est notée . Vérifier
que est une application linéaire de dans .
III.B - On considère dans cette question un élément de supposé borné sur
et on note .
III.B.1) Montrer que, pour tout de ,
III.B.2) On définit une suite d’éléments de par et, pour tout de ,
.
Montrer que, pour tout de et tout de ,
.
III.B.3) Soit un segment quelconque de . Montrer que pour tout , est
bornée sur et .
d0Ex()=r0a
b
n1≥rndn
10 r⋅n1– b
x22 7⁄=
d0d1…d10 ,,,
rn
()
nIN∈
dn ()
nIN∈
nIN∗ ∈0dn9≤≤
xEx() dn10 n–
n1=
+∞
∑
+=
π
e
m
b
EC
∞IR IR,()=
C∞
IR
fE F IR IR
xIR∈∀ Fx() tf t() td
0
x
∫
=
EfFL
LEE
fE
IR Mf
∞IR,supxIR∈fx()==
xIR
Fx() Mx2
2
-----
≤
Ef
0f=nIN
fn1+ Lf
n
()=
nIN∗xIR
fnx() x2n
2.4…2n
--------------------- M≤
IIR nf
n
Isup
xI∈fnx()()
n+∞→
lim 0=

MATHÉMATIQUES I Filière PC
Concours Centrale-Supélec 2005 4/5
III.C - On prend maintenant dans cette question et dans les suivantes ,
et on considère la suite de fonctions définie comme dans la question précédente.
III.C.1) Déterminer les fonctions et .
III.C.2) Montrer que, pour tout de et tout de ,
.
III.D - Pour , on note le sous-espace vectoriel de formé des fonc-
tions polynômes de degré au plus .
III.D.1) On définit :
:
Vérifier que est un automorphisme de .
III.D.2) On désigne par l’ensemble des fonctions paires de , par celui
des fonctions impaires.
Montrer que .
III.D.3) On considère la suite de fonctions définie dans la question
III.C. Montrer que pour tout de , il existe un couple unique de fonctions
et de , paire et impaire, telles que :
, .
Déterminer et pour .
III.D.4) Montrer que, pour tout et tout ,
.
En déduire que les fonctions sont des polynômes à coefficients entiers.
III.E - On suppose ici que le réel est élément de , ensemble des nombres
rationnels.
Soit donc élément de et élément de tels que .
III.E.1) Montrer que la suite
est une suite d’entiers. Quelle est sa limite ?
III.E.2) En déduire que n’est pas rationnel.
f sin=
f1f2
nIN∗xIR
fn1+ x() 2n1+()fnx() x2fn1– x()–=
pIN∈FpE
p
HF
pFp
×FpFp ×→
PQ(,) P′Q–PQ′+(,)a
HF
pFp
×
SF
pA
HS A×()AS×=
fn ()
nIN∈
nIN Pn
QnFnPnQn
xIR∈∀ fnx() Pnx() xsin Qnx() xcos+=
PnQnn012,,=
nIN∗ ∈
xIR∈
Pn1+ x() 2n1+()Pnx() x2Pn1– x()–=
Pn
π
e
m
b
pZZ q
IN∗
πpq⁄=
2q()
nPn
π
2
---()
⎝⎠
⎛⎞
nIN∈
π

MATHÉMATIQUES I Filière PC
Concours Centrale-Supélec 2005 5/5
Partie IV -
Soit la suite définie par, pour tout de , si ,
sinon.
Le but de cette partie est d’étudier si cette suite à valeurs entières est élément
de .
IV.A - On suppose que cette suite est ultimement périodique.
IV.A.1) Montrer qu’il existe un entier et un entier strictement positif tels
que, pour tout entier supérieur ou égal à , le signe de soit constant.
IV.A.2) En déduire que la suite est composée de réels stricte-
ment positifs à partir d’un certain rang.
IV.B - Soit .
IV.B.1) Montrer que est un sous-groupe additif de . Existe-t-il tel
que ?
IV.B.2) On pose (ensemble des éléments strictement positifs de
). Montrer que possède une borne inférieure .
IV.B.3) On suppose . Montrer que .
IV.B.4) n’est donc pas élément de . Supposant , montrer que l’on
peut trouver deux éléments et de tels que . En déduire
.
IV.C -
IV.C.1) Montrer que, pour tout , il existe tel que .
IV.C.2) Soit un réel.
Construire une suite d’éléments de convergeant vers .
IV.D -
IV.D.1) Montrer l’existence d’une suite d’entiers positifs telle que la
suite converge vers .
Montrer que l’ensemble des termes de cette suite n’est pas de
cardinal fini.
IV.D.2) Construire alors une suite strictement croissante extraite de
telle que la limite de soit .
IV.D.3) La suite est-elle ultimement périodique ?‘
••• FIN •••
an ()
nIN∈nIN
an1=
nsin 0>
an0=
UP
NT
k
N
kT()sin
kT()cos()
kIN∈
GZZT2πZZ+nT 2kπ+ nk(,) ZZ2 ∈{, }==
GIR aIR∈
GaZZ=
G+GIR+*
∩=
GG
+a
aG
+
∈GaZZ=
aG
+a0>
gg′G+
ag′g2a<<<
a0=
nIN∈gnG∈
0gn10 n– <<
x
Gx
kn
()
nIN∈
knT()cos()
nIN∈-1 2⁄()
knT()cos nIN∈{,}
yn ()
nIN∈
kn ()
nIN∈ynT()cos() nIN∈-1 2⁄()
an
()
nIN∈