Centrale TSI io1o 1 1

Le logiciel de calcul formel utilis est ici Maple

Cette partie de calcul a t teste mais ne gure pas dans ce corrig car il ne peut gurer dans une copie de
concours !
Ceci dit, je ne vois pas comment au II.C.2.c), par exemple, les candidats ont pu tester un algorithme en Maple !
I Fonctions homographiques
I.A -
I.A.1) On a y (x) =

n=0
a
n
x
n
sur ] R, R[
a) Une srie entire est drivable terme terme sur son ouvert de convergence. La srie
drive conserve le mme rayon, on reste donc sur ] R, R[. On regroupe ensuite les
termes qui se regroupent naturellement et on rindexe les autres, ce qui donne le calcul
suivant :
y

(x) =

n=1
n a
n
x
n1
et y

(x) =

n=2
n (n 1) a
n
x
n2
(x a) y

(x) + 2y

(x) =

n=2
n (n 1) a
n
x
n1

n=2
n (n 1) a a
n
x
n2
+ 2

n=1
n a
n
x
n1
=

n=1
n (n 1) a
n
x
n1

n=2
n (n 1) a a
n
x
n2
+ 2

n=1
n a
n
x
n1
=

n=1
n (n + 1) a
n
x
n1

n=2
n (n 1) a a
n
x
n2
=

n=1
n (n + 1) a
n
x
n1

=1
(n

+ 1) n

a a
n

+1
x
n

1
=

n=1
n (n + 1) a
n
x
n1

n=1
(n + 1) n a a
n+1
x
n1
=

n=1
n (n + 1) (a
n
a a
n+1
) x
n1
b) Si y est solution de (E
a
), alors, par unicit du dveloppement en srie entire de la fonc-
tion nulle, on a : n

, a
n
a a
n+1
= 0
On a bien ici a 0, et par une rcurrence trs facile : n

, a
n
=
a
1
a
n1
Remarquons que, si a
1
0, alors le rayon de convergence est |a| = a. Il est inni si a
1
= 0.
Pour trouver les solutions sous forme de fonction usuelle, le plus simple est dintgrer
directement lquation direntielle sur un intervalle ne contenant pas a.
On peut choisir ici ] , a[ ou ]a, +[.
On a une quation direntielle linaire du premier ordre en y

dont les solutions sont :

y

(x) = K e

_
2
xa
dx
=
K
(x a)
2
On primitive ensuite pour trouver : y (x) = L
K
x a
= L +
K
a x
Lautre possibilit est de reprendre le calcul prcdent avec les valeurs de a
n
trouves, on
est ici sur ] a, a[ :
y (x) = a
0
+ a
1

n=1
x
n
a
n1
= a
0
+ a
1
a

n=1
x
n
a
n
= a
0
+ a
1
a
x/ a
1 x/ a
= a
0
+ a
1
a
x
a x
Finalement, on retrouve bien : y (x) = (a
0
a
1
a) + a
1
a
2
1
a x
= L +
K
a x
c) Les fonctions dveloppables en srie entire et solution de (E
a
) sont donc x L +
K
a x
En eet, x 1 et x
1
a x
forment clairement une famille libre, elles engendrent donc
un espace vectoriel de dimension 2 dont elles forment une base !
Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
i Centrale TSI io1o 1
I.A.2) On a dj fait ce travail sur ] , a[ et ]a, +[. les solutions sont chaque fois de la forme :
y (x) = L +
K
a x
sur ] , a[, et, y (x) = L

+
K

a x
sur ]a, +[.
Pour avoir une solution sur , il est ncessaire davoir une limite nie en a, ce qui entrane
K = K

= 0, mais la limite gauche et droite doivent alors tre les mmes, ce qui donne
L = L

.
Comme les fonctions constantes sont clairement solution de (E
a
) sur , ce sont les seules.
I.B -
I.B.1) Pour avoir une simplication, il nous faut dabord 0 ou = = 0, cette dernire condition
tant bien sr susante.
De plus, quand 0, g (x) =
(x + / )
(x + / )
La fonction est donc constante si et seulement si

.
Comme 0 et 0, ceci quivaut = 0.
Finalement, g est constante si et seulement si = = 0 ou
_

_
0
= 0
I.B.2)
a) La fonction g nest pas la fonction nulle et nest pas constante, donc 0.
g (x) =

x + /
x + /
=

(x + / ) + (/ / )
x + /
=

2
x +

On a donc u =

, v =

2
, w =

.
b) On a facilement g

(x) =
v
(x + w)
2
, qui est donc du signe de v, cest dire du signe de
.
g est croissante sur chaque intervalle de dnition si et seulement si > 0, dcrois-
sante sinon, car cette quantit nest jamais nulle, puisque g nest pas constante.
I.B.3)
a) Une homothtie de rapport

v transforme C en D.
b) est dquation (y u) (x + w) = v. Cest une translation de vecteur (w, u) qui trans-
forme D en .
c) t h est une homothtie ou une translation. Dans le cas ou cest une homothtie, son
rapport est

v.
Cest donc une homothtie dirente de lidentit si et seulement si v 1. Son rapport
est alors

v.
Limage de M (x, y) par t h est M

_
x

v w, y

v + u
_
.
Le centre de lhomothtie est les point xe, dont les coordonnes vrient le systme :
_

_
x = x

v w
y = y

v + u
, cest donc le point M
0
_
w

v 1
,
u

v 1
_
.
I.B.4) On a bien sr g

(x) =
v
(x + w)
2
et g

(x) =
2v
(x + w)
3
,
ce qui donne (x a) g

(x) + 2g (x) = v
2 (x a) 2 (x + w)
(x + w)
3
= 2v
a + w
(x + w)
3
, qui est la fonction
nulle si et seulement si a = w.
Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
Centrale TSI io1o 1
II Fractions continues
II.A -
II.A.1) f nest pas dnie quand le dnominateur sannule, cest dire quand x = E (x), cest dire
aussi quand x .
Lensemble de dnition de f est donc bien \ .
On a facilement E (x + 1) = E (x) + 1 pour tout x rel, f est donc priodique de priode 1.
II.A.2) Pour x ]k, k + 1[, E (x) = k, et donc f (x) =
1
x k
.
Par ailleurs, g (x) = u +
v
x + w
vaut f (x) sur ]k, k +1[, si et seulement si u = 0, v = 1 et w = k.
Ce qui quivaut = 0, = , compte tenu de = 0, et enn

= k.
f et g concident sur sur ]k, k + 1[ si et seulement si
_

_
= 0
=
k + = 0
II.A.3) On tudie f sur ]0, 1[, par priodicit. Sur cet intervalle, f (x) =
1
x
et f

(x) =
1
x
2
.
La fonction est donc dcroissante.
Les limites droite en 0 et gauche en 1 sont respectivement + et 1.
Par continuit et monotonie, f (]0, 1[) = f
_
D
f
_
=]1, +[.
Le tableau de variation est :
x 0 1
f

(x) 1
f (x) + 1
Le graphe de ces parties de branche dhyperbole, reproduites par translation, est laiss au
lecteur.
II.A.4) E (x) est un entier, donc un rationnel.
On a donc x irrationnel si et seulement si x E (x) irrationnel .
Comme de plus, pour u non nul, u est irrationnel si et seulement si
1
u
est irrationnel ,
on a donc enn x est irrationnel si et seulement si f (x) est irrationnel .
II.B -
II.B.1) Pour tout x irrationnel, f (x) est bien dni et irrationnel.
Par rcurrence immdiate, compte tenu que x
0
est irrationnel, la suite (x
n
) est bien dnie, ne
contenant que des nombres irrationnels.
II.B.2) On a ici x
0
rationnel, x
0
=
u
0
v
0
, quotient dentiers naturels.
a) Pour n 1, x
n
f
_
D
f
_
=]1, +[, donc x
n
> 1.
Dautre part, x
n
, compte tenu des quivalences du II.A.4.
b) La division euclidienne de u
n
par v
n
donne : u
n
= q
n
v
n
+ r
n
= q
n
v
n
+ v
n+1
.
On a donc :
u
n
v
n
= q
n
+
v
n+1
v
n
, avec
v
n+1
v
n
[0, 1[.
Ceci prouve que q
n
= E
_
u
n
v
n
_
et v
n+1
= u
n
v
n
E
_
u
n
v
n
_
.
On montre lhrdit proprement dite, la vrication initiale est donne par lnonc.
Pour cela, calculons :
Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
Centrale TSI io1o 1
f (x
n
) = f
_
u
n
v
n
_
=
1
u
n
v
n
E
_
u
n
v
n
_ =
v
n
u
n
v
n
E
_
u
n
v
n
_ =
v
n
v
n+1
=
u
n+1
v
n+1
= x
n+1
.
Le rsultat est donc dmontr pour tout n
c) On a v
n+1
{0, 1, . . . , v
n
1}, puisque cest le reste dune division euclidienne par v
n
.
La suite dentiers naturels (v
n
) est donc positive et strictement dcroissante, ce qui est
impossible.
La suite (x
n
) nest donc pas bien dnie quand x
0
.
II.B.3) La suite (x
n
) est donc bien dnie si et seulement si x
0
\ .
II.C -
II.C.1) Il sagit dune simple boucle contrl par i, on appelle x et a les variables qui prennent les
valeurs de x
i
et a
i
.
Cette procdure ne convient pas pour n = 0.
an:=proc(x0,n)
local a,x,i;
a:=floor(x0);x:=x0;
for i from 1 to n do
x:=1/(x-a);a:=floor(x)
od;
a
end;
II.C.2) Ici, x
0
=

2.
a) a
0
= 1 sobtient directement, puis on obtient avec la procdure a
1
= a
2
= a
3
= a
4
= a
5
= 2.
b) On a x
1
=
1

2 1
=

2 + 1, do a
1
= 2, et, x
2
=
1
_

2 + 1
_
2
=
1

2 1
=

2 + 1 = x
1
.
partir de n = 1, la suite (x
n
) est stationnaire, donc la suite (a
n
) aussi.
c) Ma vieille version de Maple renonce bien avant n = 30 !
>
an(x0,11);
oor
_

_
1
1
1
1
1
1
1
1
1
1
1

2 1
2
2
2
2
2
2
2
2
2
2
_

_
Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
Centrale TSI io1o 1
Cest laccumulation du calcul exact qui pose problme ici. . .
En passant en calcul approch, ce qui ncessite de modier la procdure, pour n = 30,
Maple donne ici 1. . . Cest d laccumulation derreurs darrondis.
Le fonctionnement dune calculatrice, ou de Maple dire ici selon quon est en calcul exact ou
en calcul approch. . .
Il ne sagit pas ici des limites des calculatrices, ou de Maple, mais des limites du calcul
approch !
d) Maintenant, x
0
=

3, donc a
0
= 1, x
1
=
1

3 1
=

3 + 1
2
, a
1
= 1,
x
2
=
1

3 + 1
2
1
=
2

3 1
=

3 + 1, a
2
= 2, x
3
=
1
_

3 + 1
_
2
=
1

3 1
= x
1
.
partir de ce moment, x
2n
= x
2
, sauf pour n = 0, et x
2n+1
= x
1
par une rcurrence facile
tablir.
partir de n = 1, la suite (x
n
) est donc priodique de priode 2, a
2n
= 2 et a
2n+1
= 1.
II.C.3) a) On a des sommes et des produits dentiers naturels, donc les p
n
et les q
n
sont bien des
entiers naturels. Il ne reste qu vrier le caractre strictement positif.
Vrication initiale
p
1
> 0, et dautre part a
1
> 0, donc q
1
> 0.
Hrdit
On ladmet jusquau rang n, on le montre au rang n + 1 : a
n+1
p
n
> 0, donc p
n+1
> 0, de
mme, a
n+1
q
n
> 0, donc q
n+1
> 0.
b) Pour n 2, a
n
q
n1
q
n1
et q
n2
1 donnent q
n
> q
n1
.
La suite est strictement croissante et q
1
1, par rcurrence facile, q
n
n.
c) Vrication initiale
p
1
q
0
p
0
q
1
= (a
0
a
1
+ 1) a
0
a
1
= 1 = (1)
0
.
Hrdit
p
n+1
q
n
p
n
q
n+1
= (a
n+1
p
n
+ p
n1
) q
n
p
n
(a
n+1
q
n
+ q
n1
) = p
n1
q
n
p
n
q
n1
= (p
n
q
n1
p
n1
q
n
) = (1)
n
d) On va encore montrer ce rsultat par rcurrence.
Vrication initiale
p
0
+ p
1
x
2
q
0
+ q
1
x
2
=
a
0
+ (a
0
a
1
+ 1)
1
x
1
a
1
1 + a
1
1
x
1
a
1
=
a
0
(x
1
a
1
) + a
0
a
1
+ 1
x
1
=
a
0
x
1
+ 1
x
1
=
a
0
x
0
a
0
+ 1
1
x
0
a
0
= x
0
Hrdit
On va en fait montrer que la suite est constante, ici n 1 :
p
n
+ p
n+1
x
n+2
q
n
+ q
n+1
x
n+2

p
n1
+ p
n
x
n+1
q
n1
+ q
n
x
n+1
=
p
n
q
n1
+ p
n
q
n
x
n+1
+ p
n+1
q
n1
x
n+2
+ p
n+1
q
n
x
n+1
x
n+2
D

p
n1
q
n
+ p
n
q
n
x
n+1
+ p
n1
q
n+1
x
n+2
+ p
n
q
n1
x
n+1
x
n+2
D
=
(1)
n1
+ 0 x
n+1
+ (p
n+1
q
n1
p
n1
q
n+1
) x
n+2
+ (1)
n
x
n+1
x
n+2
D
=
(1)
n1
+ (p
n+1
q
n1
p
n1
q
n+1
)
1
x
n+1
a
n+1
+ (1)
n
x
n+1
1
x
n+1
a
n+1
D
Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
6 Centrale TSI io1o 1
=
(1)
n1
(x
n+1
a
n+1
) + (p
n+1
q
n1
p
n1
q
n+1
) + (1)
n
x
n+1
D

=
(1)
n
a
n+1
+ p
n+1
q
n1
p
n1
q
n+1
D

=
(1)
n
a
n+1
+ (a
n+1
p
n
+ p
n1
) q
n1
p
n1
(a
n+1
q
n
+ q
n1
)
D

=
(1)
n
a
n+1
+ a
n+1
(p
n
q
n1
p
n1
q
n
)
D

=
(1)
n
a
n+1
+ a
n+1
(1)
n1
D

= 0
Conclusion
On a bien montr que n , x
0
=
p
n
+ p
n+1
x
n+2
q
n
+ q
n+1
x
n+2
II.C.4) a) Cest, ici, facile obtenir : r
n
r
n1
=
p
n
q
n

p
n1
q
n1
=
p
n
q
n1
p
n1
q
n
q
n
q
n1
=
(1)
n1
q
n
q
n1
b) La srie est clairement alterne car les q
k
sont strictement positifs.
Le terme gnral tend vers 0 car q
n
n.
Enn, la suite (q
n
) tant strictement croissante,

(1)
n1
q
n
q
n1

est dcroissante.
Par application du critre spcial des sries alternes,

(r
n
r
n1
) converge.
c) On sait que la suite (r
n
) converge si et seulement si la srie

(r
n
r
n1
) converge .
d) Dans le cas o

u
n
converge par application du critre spcial, |s s
n
| |u
n+1
|.
Ici, cela donne : |s s
n
| |r
n+1
r
n
|.
Mais |ss
n
| = | (r r
0
)(r
n
r
0
) | = |r r
n
|, on en dduit : |r r
n
| |r
n+1
r
n
| =
1
q
n
q
n+1

1
q
2
n
.
e) Au dpart, les variables simples sont au rang 0, les doubles au rang 1.
Dans la boucles, les variables simples sont au rang i 2, les doubles au rang i 1,
les triples au rang i.
rn:=proc(x0,n)
local p,pp,ppp,q,qq,qqq,i,a,aa,aaa,x;
a:=floor(x0);x:=x0;x:=1/(x-a);aa:=floor(x);
p:=a;q:=1;pp:=a
*
aa+1;qq:=aa;
for i from 2 to n do
x:=1/(x-aa);aaa:=floor(x);
ppp:=aaa
*
pp+p;qqq:=aaa
*
qq+q;
p:=pp;pp:=ppp;q:=qq;qq:=qqq;a:=aa;aa:=aaa
od;
pp/qq
end;
>
rn(sqrt(2),2);
7
5
>
evalf(rn(sqrt(2),2));
1.400000000
>
rn(sqrt(2),3);
17
12
>
evalf(rn(sqrt(2),3));
1.416666667
En fait r = x
0
, cest mme le but des fractions continues, avoir une bonne valeur appro-
che dun irrationnel par des rationnels.
Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr
Centrale TSI io1o 1
II.D -
II.D.1) On rcrit g comme on la fait dans la premire partie :
u =

= , v =

2
= = 1, w =

= .
y
0
= g (x
0
) = +
1
x
0
+
est entier, donc rationnel.
x
0
+ est irrationnel car, , entier, est rationnel et x
0
irrationnel.
1
x
0
+
est donc irrationnel, de mme que y
0
.
II.D.2) b
0
= E (y
0
) = E
_
+
1
x
0
+
_
= car est entier et x
0
+ > 1,
do : y
1
=
1
y
0

=
1
g (x
0
)
=
1
+
1
x
0
+

= x
0
+
Ce qui donne y
2
= f (y
1
) = f (x
0
) = x
1
puisque est entier.
Par rcurrence immdiate y
n
= x
n1
, et donc b
n
= a
n1
pour n 2.
II.E -
II.E.1) Si = n
2
, alors ( + )
2
+ 4 = n
2
quon rcrit : (n ) (n + + ) = 4.
On a donc deux entiers distincts, dont lun au moins est positif, et dont le produit est 4.
Cest donc 1 et 4.
Leurs somme est donc 2n dun cot, et 5 de lautre. Do n = 5/2, qui nest pas un entier.
De l pouvoir en dduire que

est un irrationnel, lnonc est ambigu : il faut ladmettre.
II.E.2) Le discriminant de cette quation du second degr est bien > 0.
On a donc deux racines relles distinctes :

2
.
Ces deux racines sont irrationnelles car

est un irrationnel et les autres nombres sont en-
tiers.
Leur produit 1 est strictement ngatif. Une des racines est strictement positive, lautre
strictement ngative.
La racine strictement positive est : z
0
=
+

2
.
II.E.3) g (z
0
) = +
1
z
0
+
= +
1
+

2
+
= +
2
+ +

=

2
+ +

+ 2
+ +

Dautre part, z
0
=
+

2
=
_
+

_ _
+ +

_
2
_
+ +

_ =
_
+

_
2

2
2
_
+ +

_
=

2
+ 2

+ ( + )
2
+ 4
2
2
_
+ +

_ =
2
2
+ 2

+ 2 + 4
2
_
+ +

_ =

2
+ +

+ 2
+ +

= g (z
0
)
On a bien : g (z
0
) = z
0
.
II.E.4) g (z
0
) et z
0
ont le mme dveloppement puisquils sont gaux et aussi un dveloppement
dcal dun rang compte tenu du II.D.2).
Leur dveloppement en fraction continue est donc constant partir du rang 1.
II.E.5)
_
p
2
+ 1 est la solution strictement positive de x
2
p
2
1 = 0.
On prend = = p au II.E.2), cest donc le z
0
de cette quation.
Son dveloppement en fraction continue est donc constant partir du rang 1.
Christophe Caignaert Lyce Colbert jioo Tourcoing http://c.caignaert.free.fr