You are on page 1of 21

CAPESA 1996 - Premire preuve

Dans tout le problme, a est un entier strictement positif x.


Le but est de dcrire et de comparer des suites de rationnels convergeant vers

a
2
+ 1.
Notation : on pose r =

a
2
+ 1 a
a
.
PARTIE 1 - Prliminaires
1. a) Montrer
1
2a

1
8a
3
<
_
a
2
+ 1 a <
1
2a
.
b) En dduire que a est lentier le plus proche de

a
2
+ 1.
2. Application numrique : en dduire une valeur approche dcimale de

626 10
5
par excs.
PARTIE 2 - Mthode de PAD
On dnit la suite (t
n
)
nN
par t
0
= a et n N t
n+1
= t
n
+
1
2a
(a
2
+ 1 t
2
n
).
3. En supposant (uniquement pour cette question) a = 2, donner une reprsentation graphique
permettant dobtenir successivement les quatre premiers termes de la suite (t
n
)
nN
.
4. a) Montrer que, pour tout entier n, t
n
est un rationnel appartenant
_
a, a +
1
2a
_
.
b) Montrer que, si (t
n
)
nN
converge, alors sa limite est

a
2
+ 1.
5. On pose, pour tout entier naturel n, e
n
= |t
n

a
2
+ 1|.
a) Montrer : n N e
n+1
= e
n
_
a
2
+ 1 + t
n
2a
1
_
.
b) Dmontrer, pour tout entier n : a
r
n+1
2
n
e
n

1
2a
_
1
2a
2
_
n
.
c) En dduire que la suite (t
n
)
nN
est convergente.
6. a) Vrier que lon a : n N e
n+1
= r.e
n
_
1 + (1)
n+1
e
n
2ar
_
.
b) En dduire lexistence dun rel dans
_
0;
1
2a
e
1
2r(2a
2
1)
_
tel quon ait : e
n

+
r
n
.
PARTIE 3 - Construction gomtrique
Soit
_
O;

,

_
un repre orthonorm du plan et A le point de coordonnes (a, 0).
Pour t lment quelconque de
_
a, a +
1
2a
_
, on dsigne par M, O
1
et O
2
les points de laxe
_
O;

_
dabscisses respectives t, t +a et t a. On construit le point L tel quon ait

ML = .
7. Montrer que les cercles (C
1
) de centre O
1
et passant par A et (C
2
) de centre O
2
passant par
L sont scants en deux points distincts.
On note P le projet orthogonal de ces deux points sur laxe des abscisses et N le symtrique
de M par rapport P.
8. Montrer que labscisse t

de N est donne par :


t

= t +
1
2a
_
1 + a
2
t
2
_
.
1
PARTIE 4 - Mthode des moyennes arithmtico-harmoniques
9. a) Montrer que les relations u
0
= a, v
0
= a +
1
a
et
n N
2
u
n+1
=
1
u
n
+
1
v
n
et v
n+1
=
u
n
+ v
n
2
dnissent deux suites (u
n
)
nN
et (v
n
)
nN
de rationnels strictement positifs.
b) Dmontrer que les suites (u
n
)
nN
et (v
n
)
nN
sont de monotonies contraires.
c) Dmontrer : n N 0 < v
n+1
u
n+1

1
4
(v
n
u
n
)
2
.
d) En dduire que les suites (u
n
)
nN
et (v
n
)
nN
convergent et ont la mme limite.
e) Calculer u
n+1
v
n+1
et en dduire la limite des suites (u
n
)
nN
et (v
n
)
nN
.
10. On pose, pour tout entier n, d
n
= v
n

a
2
+ 1.
a) Dmontrer : n N d
n+1
=
d
2
n
2v
n
.
b) laide dune relation analogue pour
n
dni par
n
= v
n
+

a
2
+ 1, dterminer un
quivalent de d
n
, quand n tend vers + (on lexprimera en fonction de donn par
=

a
2
+ 1 a

a
2
+ 1 + a
).
En dduire que les suites (d
n
)
nN
et (

a
2
+ 1 u
n
)
nN
sont quivalentes.
c) Dmontrer : n N 0 <

a
2
+ 1 u
n
< d
n
.
11. tudier la limite quand n tend vers + du rapport
d
n
e
n
laide de 6b.
12. a) Vrier e
0
< d
0
et e
1
= d
1
.
b) Montrer, pour tout n 1,
d
n+1
d
n

r
2
et, pour tout n 2, d
n
< e
n
.
PARTIE 5 - tude dune famille de polynmes
On note (C(R), +, ) lanneau des fonctions continues de R dans R et Z[X] lanneau des
polynmes coecients entiers relatifs. On pose
E =
_
f C(R) | (A, B) Z[X]
2
x R f(x) = A(x) +
_
x
2
+ 1B(x)
_
.
13. a) Montrer que, pour tout entier naturel n, si

n est rationnel alors il est entier.
En dduire que

a
2
+ 1 nest pas rationnel.
b) Montrer que, pour A et B dans Z[X], on a
_
x R A(x) +
_
x
2
+ 1B(x) = 0
_
A = B = 0 .
On dnit, pour tout entier n et tout rel x,

n
(x) =
_
x +
_
x
2
+ 1
_
n
.
2
14. a) Montrer que les fonctions
n
appartiennent E et quil existe, de faon unique, deux
suties (P
n
)
nN
et (Q
n
)
nN
de polynmes de Z[X] telles que :
n N x R
n
(x) = P
n
(x) +
_
x
2
+ 1Q
n
(x) .
On exprimera P
n+1
et Q
n+1
en fonction de P
n
et Q
n
.
b) Montrer, pour tout entier n : P
n+2
= 2XP
n+1
+ P
n
et Q
n+2
= 2XQ
n+1
+ Q
n
.
c) En dduire que P
n
et Q
n
sont coecients entiers naturels et calculer, pour chacun
deux, le degr ainsi que le coecient dominant.
d) Distinguer le cas n pair et n impair pour montrer que les polynmes P
n
et Q
n
sont pairs ou impairs, et dterminer leurs racines relles.
15. a) Montrer que, pour tout entier n et tout rel x, on a les relations
i. P
n
(x)

x
2
+ 1Q
n
(x) =
_
x

x
2
+ 1
_
n
;
ii. P

n
= nQ
n
;
iii. (X
2
+ 1)Q

n
+ XQ
n
= nP
n
.
b) En dduire que P
n
est solution sur R de lquation direntielle (x
2
+1)y

+xy

n
2
y = 0.
PARTIE 6 - Mthode des fractions continues
16. a) Montrer quil existe une suite (c
n
)
nN
de rationnels telle que :
n N

c
n
=
P
n
(a)
Q
n
(a)
.
b) Dmontrer que la fraction prcdente est irrductible.
c) Exprimer c
n+1
en fonction de c
n
.
17. a) Montrer que (c
n
)
nN
converge vers

a
2
+ 1.
b) Montrer que, si on pose
n
=

c
n

a
2
+ 1

, on a ( tant dni en 10b) :

n

+
2
_
a
2
+ 1
n
.
c) tudier la limite quand n tend vers + de

n
e
n
o e
n
a t dni en 6b.
d) Vrier : n N


n+1
=

a
2
+ 1 a
a + c
n

n
.
En dduire : n N


n+1

r
2
et
n+1
e
n
.
18. a) Exprimer P
2k
et Q
2k
en fonction de P
k
et Q
k
. En dduire
k N

c
2k
=
1
2
_
c
k
+
a
2
+ 1
c
k
_
.
b) Conclure : n N

c
2
n = v
n
. Quel rsultat retrouve-t-on?
19. On pose, pour tout entier n, w
n
= c
3
n.
a) En sinspirant de la question prcdente, dterminer une relation entre w
n+1
et w
n
.
b) Donner une majoration de

w
n

a
2
+ 1

.
c) Application numrique : dterminer un entier n tel que w
n
soit une valeur approche
10
7
de

10.
3
Premire preuve CAPESA 1996 Corrig
Premire preuve CAPESA 1996
PARTIE 1 - Prliminaires
1. a) Par convexit La fonction racine carre est strictement concave sur R

+
et donc la
pente de la droite joignant (a
2
,

a
2
) (a
2
+1,

a
2
+ 1) est strictement infrieure
la pente de la drive en a
2
. Autrement dit

a
2
+ 1

a
2
a
2
+ 1 a
2
=
_
a
2
+ 1 a <
1
2

a
2
=
1
2a
.
Par la Formule de Taylor Lingalit de concavit prcdente peut tre vue comme
un produit driv de la Formule de Taylor-Lagrange. Notons f la fonction racine
carre. Puisque f est de deux fois drivable sur R

+
, on a
c ]a
2
; a
2
+ 1[ f(a
2
+ 1) = f(a
2
) + f

(a
2
) +
1
2
f(c)
et donc la stricte ngativit du dernier terme entrane
_
a
2
+ 1 <

a
2
+
1
2

a
2
= a +
1
2a
.
En fait racine carre est trois fois drivable sur R

+
, de drive troisime strictement
positive et il vient
c ]a
2
; a
2
+ 1[ f(a
2
+ 1) = f(a
2
) + f

(a
2
) +
1
2
f(a
2
) +
1
6
f

(c)
et donc
_
a
2
+ 1 >

a
2
+
1
2

a
2

1
8

a
6
= a +
1
2a

1
8a
3
.
Do
1
2a

1
8a
3
<
_
a
2
+ 1 a <
1
2a
.
Par manipulation algbrique En multipliant par la quantit

a
2
+ 1+a, dite quan-
tit conjugue, on remarque
_
a
2
+ 1 a =
1

a
2
+ 1 + a
et, comme

a
2
+ 1 > a, il vient
_
a
2
+ 1 a <
1
2a
.
De mme
_
a
2
+ 1 a
1
2a
=
1

a
2
+ 1 + a

1
2a
=
a

a
2
+ 1
2a(a +

a
2
+ 1)
_
a
2
+ 1 a
1
2a
=
1
2a(a +

a
2
+ 1)
2
>
1
2a(2a)
2
>
1
8a
3
1
Premire preuve CAPESA 1996 Corrig
Par limination des radicaux On a
a R

+
a +
1
2a
=
2a
2
+ 1
2a
et a +
1
2a

1
8a
3
=
8a
4
+ 4a
2
1
8a
3
.
Comme

a
2
+ 1, 2a
2
+ 1 et 2a sont des quantits (strictement) positives sur R

+
,
on a
_
a
2
+ 1 < a +
1
2a
a
2
+ 1 <
(2a
2
+ 1)
2
4a
2
4a
2
(a
2
+ 1) < (2a
2
+ 1)
2
4a
4
+ 4a
2
< 4a
4
+ 4a
2
+ 1
et lingalit de droite en dcoule. Pour celle de gauche, on remarque
_
a
2
+ 1 >

a +
1
2a

1
8a
3

a
2
+ 1 >
(8a
4
+ 4a
2
1)
2
64a
6
64a
8
+ 64a
6
> 64a
6
+ 64a
6
8a
2
+ 1
8a
2
> 1 .
Par consquent, pour a entier naturel non nul
_
a
2
+ 1 >

a +
1
2a

1
8a
3

a +
1
2a

1
8a
3
.
Remarque : on peut obtenir ces rsultats par le calcul formel en valuant (a +
1/2a)
2
(a
2
+1) et (a+1/2a1/8a
3
)
2
(a
2
+1) sous forme de fraction rationnelle.
Par tude de fonction Cest la mthode o on rchit le moins mais aussi celle o
ne comprend pas pourquoi a marche. En particulier quand on na pas de chance
dans les calculs ou dans les choix de fonctions tudier, a devient trs compliqu
et on perd conance. Si on tudie la fonction x

a
2
+ x, on retombe rapidement
sur la formule de Taylor et tout va bien en faisant x = 1. Si on rchit moins, on
pose f(x) = x + 1/2x

x
2
+ 1 sur R

+
, qui est de classe C

. On obtient ( la
main ou avec une calculatrice)
x R

+
f(x) =

x
2
+ 1
3
x
3
x
3

x
2
+ 1
3
> 0
et donc f

est croissante. Comme


lim
x+
f

(x) = lim
x+
_
1
1
2x
2

x

x
2
+ 1
_
= 0
f

est ngative sur R

+
. Pour conclure on est donc oblig de trouver un quivalent
de f en linni. On peut employer pour cela un dveloppement asymptotique et le
calcul utilisera le dveloppement limit de y

1 + y au voisinage de 0 :
f(x) = x
_
1
_
1 +
1
x
2
_
+
1
2x
= x
_
1
_
1 +
1
2x
2

1
8x
4
+ o
_
1
x
4
___
+
1
2x
2
Premire preuve CAPESA 1996 Corrig
et fonc f(x) =
1
8x
3
+o
_
1
x
3
_
. Par consquent f est strictement positive au voisinage
de linni. Comme elle est dcroissante, elle est donc strictement positive sur tout
R

+
.
b) Pour tout entier naturel k distinct de a, on a
|
_
a
2
+ 1 a| =
_
a
2
+ 1 a <
1
2a

1
2
et
|
_
a
2
+ 1k| = |ak+
_
a
2
+ 1a| |ak| |
_
a
2
+ 1a| 1|
_
a
2
+ 1a| > 1
1
2
do
|
_
a
2
+ 1 a| <
1
2
< |
_
a
2
+ 1 k|
et donc a est lentier le plus proche de

a
2
+ 1.
2. Prenons a = 25, on a 8a
3
= (50)
3
= 1.25 10
5
> 10
5
et donc
25.02 10
5
< a +
1
2a

1
8a
3
<
_
a
2
+ 1 =

626 < a +
1
2a
= 25.02 .
Il en rsulte que 25.02 est une valeur dcimale approche de

626 10
5
par excs.
On trouve sur une calculatrice

626 25.0199920, ce qui est cohrent.
PARTIE 2 - Mthode de PAD
3. Soit f la fonction, dnie sur R, par f(x) = x +
1 + a
2
x
2
2a
. La suite (t
n
)
nN
est donc la
suite rcurrente associe f et de terme initial a.
On part de (a, a) puis on projette successivement verticalement sur le graphe de f, puis ho-
rizontalement sur la premire bissectrice. Les abscisses des points sur la premire bissectrices
sont les valeurs successives de t
n
.
Ici f(x) =
5 + 4x x
2
4
et on place successivement les points (2, 2), (2, 9/4), (9/4, 9/4),
(9/4, 143/64), (143/64, 143/64) et (143/64, 36639/16384). Autrement dit t
0
= 2, t
1
=
9
4
,
t
2
=
143
64
et t
3
=
36639
16384
.
4. a) La fonction f dnie prcdemment est une fonction polynme coecients rationnels
et donc f(Q) Q. Par proprit des trinmes du second degr, le maximum de f est
atteint en a et elle est donc dcroissante sur [a; +[. En particulier, par continuit et
dcroissance de f,
f
__
a; a +
1
2a
__
=
_
f
_
a +
1
2a
_
; f(a)
_
=
_
a +
1
2a

1
8a
3
; a +
1
2a
_

_
a; a +
1
2a
_
3
Premire preuve CAPESA 1996 Corrig
et donc f prserve lintervalle [a; a + 1/2a].
Il en rsulte
f
__
a; a +
1
2a
_
Q
_

_
a; a +
1
2a
_
Q .
On conclut par rcurrence. Notons X lensemble [a; a + 1/2a] Q; en particulier la
proprit prcdente scrit f(X) X. Pour n entier naturel, notons (H
n
) la proprit
t
n
X. Comme t
0
= a et a est un entier, (H
0
) est vraie. Montrons maintenant que la
proprit est hrditaire. Soit n un entier naturel tel que t
n
X. On a alors t
n+1
=
f(t
n
) f(X) X et donc t
n+1
X. Daprs le principe de rcurrence on conclut
n N t
n
X
ou encore, pour tout entier naturel n, t
n
est un rationnel appartenant [a; a + 1/2a].
b) On note toujours f la fonction prcdente. Puisque cest une fonction polynme, elle est
continue et toute limite dune suite rcurrente associe f est un point xe de f. Or
x R f(x) = x x
2
= a
2
+ 1 |x| =
_
a
2
+ 1 .
De plus la suite (t
n
)
nN
est valeurs dans lintervalle ferm [a; a + 1/2a] et donc sa
limite, si elle existe, appartient aussi ce ferm. En particulier cette hypothtique limite
est strictement positive. Comme lunique point xe de f strictement positif est

a
2
+ 1,

a
2
+ 1 est lunique limite possible pour la suite (t
n
)
nN
.
5. a) Soit n un entier naturel. On a
e
n+1
= |t
n+1

_
a
2
+ 1|
= |f(t
n
) f(
_
a
2
+ 1)|
=

(t
n

_
a
2
+ 1)
_
1
t
n
+

a
2
+ 1
2a
_

.
Puisque

a
2
+ 1 et t
n
sont suprieurs a,
t
n
+

a
2
+ 1
2a
1 est positif et donc
e
n+1
= e
n
_
t
n
+

a
2
+ 1
2a
1
_
.
b) Pour n un entier naturel, on note (H
n
) la proprit
ar
n+1
2
n
e
n

(2a
2
)
n
2a
. La proprit
(H
0
) scrit
ar =
_
a
2
+ 1 a e
0
= |a
_
a
2
+ 1|
1
2a
.
Puisque

a
2
+ 1 a est positif, (H
0
) rsulte de 1a).
Montrons maintenant que la proprit (H
n
) est hrditaire. Pour cela prenons n un
entier naturel tel que (H
n
) soit vraie. On a
t
n
+

a
2
+ 1
2a
1 =
(t
n
a) + (

a
2
+ 1 a)
2a
.
4
Premire preuve CAPESA 1996 Corrig
Or 0 t
n
a
1
2a
daprs 4a), et

a
2
+ 1 a
1
2a
, daprs 1a). Il vient
r
2

t
n
+

a
2
+ 1
2a
1
1
2a
2
.
Par consquent (H
n
) et 5a) entranent
a
r
n+2
2
n+1

r
2
e
n
e
n
_
t
n
+

a
2
+ 1
2a
1
_
= e
n+1

1
2a
2
e
n

1
2a
_
1
2a
2
_
n+1
et donc (H
n+1
) est vraie. Daprs le principe de rcurrence on en dduit
n N a
r
n+1
2
n
e
n

1
2a
_
1
2a
2
_
n
.
c) Il rsulte de la question prcdente que (e
n
)
nN
est une suite positive majore par une
suite gomtrique de raison infrieure 1/2. Par le thorme dencadrement, elle converge
donc vers 0, ce qui exprime que la suite (t
n
)
nN
converge vers

a
2
+ 1.
6. a) On a dj remarqu que f est dcroissante sur [a; a + 1/2a]. Il en rsulte que les suites
(t
2n
)
nN
et (t
2n+1
)
nN
sont monotones de monotonies contraires. Elles convergent vers

a
2
+ 1 puisque ce sont des suites extraites de la suite (t
n
)
nN
. Comme t
0
= a, on
a t
0

a
2
+ 1 et donc la suite (t
2n
)
nN
est croissante. La suite (t
2n+1
)
nN
est par
consquent dcroissante. On a donc
n N t
2n

_
a
2
+ 1 t
2n+1
et ainsi
n N t
n

_
a
2
+ 1 = (1)
n+1
e
n
.
Ainsi, daprs 5a), pour tout entier naturel n,
e
n+1
= e
n

a
2
+ 1 + t
n
2a
2a
= e
n
2(

a
2
+ 1 a) + t
n

a
2
+ 1
2a
= e
n
2ar + (1)
n+1
e
n
2a
i.e. e
n+1
= re
n
_
1 + (1)
n+1
e
n
2ar
_
.
b) On en dduit
n N
e
n+1
r
n+1
=
e
n
r
n
_
1 + (1)
n+1
e
n
2ar
_
et donc
n N

e
n
r
n
= e
0
n1

k=0
_
1 + (1)
k+1
e
k
2ar
_
.
Posons, pour tout entier naturel n,

n
=
n

k=0
_
1 + (1)
k+1
e
k
2ar
_
.
5
Premire preuve CAPESA 1996 Corrig
Remarquons que, pour tout entier naturel n, par stricte positivit de e
n+1
/re
n
, la quan-
tit 1 + (1)
n+1
e
n
/2ar est strictement positive. On peut donc poser
k N
k
= ln
_
1 + (1)
k+1
e
k
2ar
_
et alors ln(
n
) =
n

k=0

k
.
Comme e
0
< 1/2a, il sut, pour dmontrer lassertion demande, par continuit de
lexponentielle, que la suite (ln(
n
))
nN
) est convergente et converge vers un rel
infrieur 1/2r(2a
2
1). En eet la suite (e
0

n
)
nN
est alors convergente de limite
= e
0
e

et on a 0 < e
0
exp(1/2r(2a
2
1)) < exp(1/2r(2a
2
1))/2a et e
n
r
n
.
Par concavit du logarithme, pour x > 1, ln(1 + x) x. Do, pour n entier naturel,
0 |
2n+1
| =
2n+1

e
2n+1
2ar

1
4a
2
r
_
1
2a
2
_
2n+1
et
0 |
2n
| =
2n
= ln
_
_
_
1
1
e
2n
2ar
_
_
_ = ln
_
_
_1 +
e
2n
2ar
1
e
2n
2ar
_
_
_
e
2n
2ar
1
e
2n
2ar

1
4a
2
r
_
1
2a
2
_
2n
1
1
4a
2
r
1
2a
2
et donc, par ingalit triangulaire et comparaison avec une srie gomtrique, la suite
(ln(
n
))
nN
) est borne. Daprs le thorme de Bolzano-Weierstrass, elle admet donc
une valeur dadhrence. Encore par comparaison avec une srie gomtrique, la distance
entre deux valeurs de cette suite est arbitrairement petite ds que les deux termes sont
dindices assez grand. Il en rsulte que la suite a au plus une valeur dadhrence et donc
converge. De plus
k N
k
ln
_
1 +
e
k
2ar
_

1
4a
2
r
_
1
2a
2
_
k
et donc
limln(
n
)
1
4a
2
r
1
1
1
2a
2
=
1
2r(2a
2
1)
,
ce qui achve de prouver lassertion.
PARTIE 3 - Construction gomtrique
7. Notons R
1
et R
2
les rayons respectifs des cercles (C
1
) et (C
2
), et d la distance entre leurs
centres. On a R
1
= O
1
A = t, R
2
= O
2
L =

a
2
+ 1 et d = O
1
O
2
= 2a. Comme R
1
et R
2
sont
deux rels de lintervalle [a; a+1/2a], leur distance est infrieure la longeur de cet intervalle.
Il vient |R
2
R
1
| 1/2a < 1 < 2a = d. De plus R
1
+ R
2
d =

a
2
+ 1 a + t a > 0 et
donc
|R
2
R
1
| d R
1
+ R
2
.
Par consquent les cercles (C
1
) et (C
2
) sont strictement scants, i.e.
(C
1
) et (C
2
) sont scants en deux points distincts.
6
Premire preuve CAPESA 1996 Corrig
8. Puisque laxe des abscisses est la droite des centres des cercles (C
1
) et (C
2
), leurs deux points
dintersection sont symtriques par rapport cet axe. Aussi le point P est-il bien dni.
Notons I un des points dintersection. Comme le triangle (O
1
PI) est rectangle en P, on a
O
1
P
2
+ PI
2
= O
1
I
2
= R
2
1
.
De mme, dans (O
2
PI), on obtient O
2
P
2
+ PI
2
= R
2
2
. Comme P est sur le segment [O
1
O
2
],
on a galement O
2
P = O
1
O
2
O
1
P = d O
1
P et il vient (d O
1
P)
2
+ PI
2
= R
2
2
.
En prenant la dirence avec la premire relation trouve, on obtient 2dO
1
P d
2
= R
2
1
R
2
2
et donc O
1
P = (R
2
1
R
2
2
+ d
2
)/2d. Toujours puisque P est sur le segment [O
1
O
2
], labscisse
de P est t + a (t
2
a
2
1 + 4a
2
)/4a ou encore t (t
2
a
2
1)/4a. Celle de N est donc
deux fois celle de P moins celle de M ou encore t

= 2t
t
2
a
2
1
2a
t = t +
1 + a
2
t
2
2a
.
PARTIE 4 - Mthode des moyennes arithmtico-harmoniques
9. a) Puisque a et a + 1/a sont deux rationnels strictement positifs, u
0
et v
0
sont dnis de
faon unique et sont des rationnels strictement positifs.
Supposons maintenant les suites (u
k
)
kN
et (v
k
)
kN
construites jusqu un certain rang
n. En particulier u
n
et v
n
sont des rationnels strictement positifs. Par consquent (u
n
+
v
n
)/2 aussi et, de plus, 1/u
n
et 1/v
n
sont bien dnis et sont des rationnels strictement
positifs. Il en est de mme pour (1/u
n
+ 1/v
n
)/2 et donc son inverse est bien dni et
est un rationnel strictement positif. Aussi les deux suites (u
k
)
kN
et (v
k
)
kN
sont bien
dnies et valeurs rationnelles. Autrement dit
les relations de lnonc dnissent de faon unique deux suites de rationnels stricte-
ment positifs.
b) Dune faon gnrale la moyenne M
k
dordre k de rels strictement positifs (x
1
, . . . , x
n
)
est une fonction croissante du rel k. Aussi la moyenne harmonique de deux nombres
rels strictement positifs est elle infrieure leur moyenne arithmtique, lgalit nayant
lieu que si ces deux nombres sont gaux. Dmontrons ce point : on a
(x, y)
_
R

+
_
2
M
1
(x, y) =
2
1
x
+
1
y
=
2xy
x + y
et M
1
(x, y) =
x + y
2
et donc
(x, y)
_
R

+
_
2
M
1
(x, y) M
1
(x, y) 4xy (x + y)
2
0 (x y)
2
avec galit si et seulement si x = y.
Montrons galement que lon a aaire des moyennes, savoir :
(x, y)
_
R

+
_
2
inf(x, y) M
1
(x, y) M
1
(x, y) sup(x, y) .
Pour x et y deux rels strictement positifs, on a
inf(x, y) M
1
(x, y) inf(x, y)(x + y) 2xy
inf(x, y) (inf(x, y) + sup(x, y)) 2 inf(x, y) sup(x, y)
0 inf(x, y) (sup(x, y) inf(x, y))
7
Premire preuve CAPESA 1996 Corrig
et
M
1
(x, y) sup(x, y) x + y 2 sup(x, y)
inf(x, y) + sup(x, y) 2 sup(x, y)
inf(x, y) sup(x, y)
et lassertion en rsulte. On peut noter que les inmum et supremum sont en fait les
moyennes dordre k = et k = + respectivement.
Soit maintenant, pour n entier naturel, (H
n
) la proprit u
n
< u
n+1
< v
n+1
< v
n
.
Puisque u
0
= a et v
0
= a + 1/a, la proprit prcdente entrane
inf(u
0
, v
0
) = u
0
< M
1
(u
0
, v
0
) = u
1
< M
1
(u
0
, v
0
) = v
1
< sup(u
0
, v
0
) = v
0
et donc (H
0
) est vraie.
Soit n un entier naturel pour lequel (H
n
) est vraie. On a alors 0 < u
n
< v
n
et donc
inf(u
n
, v
n
) = u
n
< M
1
(u
n
, v
n
) = u
n+1
< M
1
(u
n
, v
n
) = v
n+1
< sup(u
n
, v
n
) = v
n
et (H
n+1
) est vraie. La proprit (H
n
) est donc hrditaire et le principe de rcurrence
entrane
n N u
n
< u
n+1
< v
n+1
< v
n
ce qui assure en particulier que (u
n
)
nN
est strictement croissante tandis que (v
n
)
nN
est strictement dcroissante : ces deux suites sont donc de monotonies contraires.
c) Soit n un entier naturel. On a
v
n+1
u
n+1
=
u
n
+ v
n
2

2u
n
v
n
u
n
+ v
n
=
(u
n
v
n
)
2
2(u
n
+ v
n
)
.
De plus
a = u
0
u
n
< u
n+1
< v
n+1
< v
n
v
0
= a +
1
a
daprs la proprit dmontre en 9b) et donc v
n+1
u
n+1
> 0 et u
n
+ v
n
> 2a. Il en
rsulte 0 < v
n+1
u
n+1

(u
n
v
n
)
2
4a
.
d) La suite (u
n
)
nN
est strictement croissante et majore par v
0
, elle est donc convergente.
Notons sa limite. La suite (v
n
)
nN
est strictement dcroissante et minore par u
0
,
elle est donc galement convergente. Notons

sa limite. En passant la limite dans


lingalit prcdente, il vient
0

)
2
4a
et donc
0 =

ou 4a

.
Mais les suites (u
n
)
nN
et (v
n
)
nN
sont valeurs dans [a; a+1/a] et et

appartiennent
donc aussi cet intervalle, ce qui entrane |

| 1/a. Par consquent =

, i.e.
les suites (u
n
)
nN
et (v
n
)
nN
convergent et ont mme limite.
8
Premire preuve CAPESA 1996 Corrig
e) Soit n un entier naturel. On a
u
n+1
v
n+1
=
2u
n
v
n
u
n
+ v
n
u
n
+ v
n
2
= u
n
v
n
et donc la suite (u
n
v
n
)
nN
est constante. Sa valeur est u
0
v
0
, i.e. a
2
+1. En passant la
limite, il vient
2
= a
2
+ 1. Comme est positif, on a =

a
2
+ 1. Autrement dit
la limite commune des suites (u
n
)
nN
et (v
n
)
nN
est

a
2
+ 1.
10. a) Soit n un entier naturel. On a
d
2
n
2v
n
=
v
2
n
2v
n

a
2
+ 1 + a
2
+ 1
2v
n
=
v
2
n
2v
n

a
2
+ 1 + u
n
v
n
2v
n
=
u
n
+ v
n
2

_
a
2
+ 1
i.e. d
n+1
=
d
2
n
2v
n
.
b) La calcul avec les quantits conjugues donne la mme relation en remplaant d par .
En eet, soit n un entier naturel, on a

2
n
2v
n
=
v
2
n
+ 2v
n

a
2
+ 1 + a
2
+ 1
2v
n
=
v
2
n
+ 2v
n

a
2
+ 1 + u
n
v
n
2v
n
=
u
n
+ v
n
2
+
_
a
2
+ 1
et donc
n+1
=

2
n
2v
n
.
Par consquent
n N
d
n+1

n+1
=
_
d
n

n
_
2
et donc
n N
d
n

n
=
_
d
0

0
_
2
n
.
Or
d
0

0
=
a +
1
a

_
a
2
+ 1
a +
1
a
+
_
a
2
+ 1
=
a
2
+ 1 a

a
2
+ 1
a
2
+ 1 +

a
2
+ 1
=

a
2
+ 1(

a
2
+ 1 a)

a
2
+ 1(

a
2
+ 1 + a)
=
et donc
n N d
n
=
n

2
n
.
Comme (v
n
)
nN
converge vers

a
2
+ 1, (
n
)
nN
converge vers 2

a
2
+ 1 et donc
d
n
2

a
2
+ 1
2
n
.
Soit n un entier naturel, on a
2d
n+1
= (u
n
+ v
n
) 2
_
a
2
+ 1 = d
n
(
_
a
2
+ 1 u
n
)
et donc
_
a
2
+ 1 u
n
= d
n
2d
n+1
.
9
Premire preuve CAPESA 1996 Corrig
Comme = 1/(

a
2
+ 1 + a)
2
< 1, on a
d
n
2
_
a
2
+ 1
2
n
et 2d
n+1
4
_
a
2
+ 1
2
n+1
= o
_

2
n
_
et il vient
_
a
2
+ 1 u
n
2
_
a
2
+ 1
2
n
d
n
.
En particulier les suites (d
n
)
nN
et (

a
2
+ 1 u
n
)
nN
sont quivalentes.
c) Comme (u
n
)
nN
est une suite strictement croissante convergeant vers

a
2
+ 1, on a,
pour tout entier naturel n, u
n
<

a
2
+ 1. De mme (v
n
)
nN
est une suite strictement
dcroissante convergeant vers

a
2
+ 1, on a, pour tout entier naturel n, v
n
>

a
2
+ 1
et donc d
n
> 0.
Soit n un entier naturel, on a vu la question prcdente u
n

a
2
+ 1 d
n
= 2d
n+1
et cette dernire quantit est strictement ngative. On en conclut
n N 0 <

a
2
+ 1 u
n
< d
n
.
11. On a
d
n
e
n

a
2
+ 1
2
n
r
n
=
2

a
2
+ 1

e
ln()e
nln(2)
nln(r)
.
Lexponentielle double lemporte sur lexponentielle simple. De faon plus concrte, le terme
dans lexponentielle peut scrire
ln()e
nln(2)
_
1 ne
nln(2)
ln(r)
ln()
_
et ce terme tend donc vers , puisque < 1. Par consquent
lim
n+
d
n
e
n
= 0,
i.e. (v
n
)
nN
tend plus rapidement vers

a
2
+ 1 que (t
n
)
nN
: la mthode des moyennes
arithmtico-harmoniques est plus performante que la mthode de Pad.
12. a) On a e
0
=

a
2
+ 1 a = ar et
d
0
= a +
1
a

_
a
2
+ 1 =
a
2
+ 1 a

a
2
+ 1
a
=
_
a
2
+ 1

a
2
+ 1 a
a
=
_
a
2
+ 1r .
Comme a <

a
2
+ 1 et r > 0, on en dduit e
0
< d
0
.
On a
e
1
= a +
1
2a

_
a
2
+ 1 =
2a
2
+ 1 2a

a
2
+ 1
2a
=
(

a
2
+ 1 a)
2
2a
=
(ar)
2
2a
=
ar
2
2
et
d
1
=
d
2
0
2v
0
=
(a
2
+ 1)r
2
2(a +
1
a
)
=
a(a
2
+ 1)r
2
2(a
2
+ 1)
=
ar
2
2
et par consquent e
1
= d
1
.
10
Premire preuve CAPESA 1996 Corrig
b) Soit n un entier naturel suprieur 1, on a, par dcroissance de la suite (v
n
)
nN
,
v
n
v
0
= a +
1
a
=
a
2
+ 1
a
et donc
d
n+1
d
n
=
d
n
2v
n
=
1
2
_
1

a
2
+ 1
v
n
_

1
2
_
1
a

a
2
+ 1
a
2
+ 1
_
=
1
2
a
2
+ 1 a

a
2
+ 1
a
2
+ 1
do
d
n+1
d
n

1
2

a
2
+ 1 a

a
2
+ 1

1
2
r.
De plus, ainsi quon la dj remarqu en 5b),
r
2

t
n
+

a
2
+ 1
2a
1
avec galit seulement si t
n
= a, ce qui nest pas le cas. On a donc
e
n+1
e
n
>
r
2

d
n+1
d
n
et
e
n+1
>
_
r
2
_
n
e
1
=
_
r
2
_
n
d
1
d
n+1
.
Autrement dit, pour tout entier naturel n suprieur 2, d
n
< e
n
.
PARTIE 5 - tude dune famille de polynmes
13. a) Soit n, p et q trois entiers naturels non nuls tels que

n = p/q avec p et q premiers
entre eux. On a alors p
2
= nq
2
. Si est un nombre premier divisant q, il divise nq
2
et donc il divise aussi p. Comme p et q sont premiers entre eux, cest que q na au-
cun diviseur premier, autrement dit q = 1. Ainsi n = p
2
et

n = p. Par consquent
si n est un entier naturel non nul tel que

n est un rationnel (strictement positif),
alors

n est un entier. Pour n = 0,

n est entier et donc, pour tout entier naturel n,
si

n rationnel, alors il est entier.
Daprs 1b) a est lentier le plus proche de

a
2
+ 1. En particulier

a
2
+ 1 ne saurait
tre entier. Daprs ce qui prcde, ceci entrane que

a
2
+ 1 nest pas non plus un rationnel.
b) Soit A et B deux polynmes dans Z[X] tels que
x R A(x) +
_
x
2
+ 1B(x) = 0 .
11
Premire preuve CAPESA 1996 Corrig
La mthode suggre par lnonc Supposons que B ne soit pas le polynme nul.
Alors il existe au plus un nombre ni dentiers qui sont racines de B. Aussi il existe
une innit dentiers naturels qui ne sont pas des racines de B. Mais de tels entiers
vrient alors A(n) +

n
2
+ 1B(n) et donc

n
2
+ 1 = A(n)/B(n), ce qui entrane
que

n
2
+ 1 est rationnel. Ceci est impossible daprs la question prcdente, et
donc B est le polynme nul. Mais alors A aussi et donc A = B = 0.
Par limination des radicaux On a donc
x R A
2
(x) = (x
2
+ 1)B
2
(x) .
Notons I le polynme de Z[X] donn par I(X) = X
2
+ 1. Lgalit des fonctions
polynmes sur R entrane lgalit des polynmes eux-mmes et donc A
2
= I.B
2
.
Si B nest pas le polynme nul, alors A non plus et on peut dnir la multiplicit
(ventuellement nulle) de la racine i dans A et B. Notons-les respectivement m et
n. La multiplicit de i dans A
2
est 2m, mais dans IB
2
elle est de 1 + 2n. Comme
ceci est impossible B est le polynme nul et donc A aussi, par intgrit de Z[X],
do A = B = 0.
14. a) Notons tout dabord que, daprs 13b), pour tout lment de E,
!(A, B) (Z[X])
2
x R f(x) = A(x) +
_
x
2
+ 1B(x) .
Ceci montre lunicit des suites (P
n
)
nN
et (Q
n
)
nN
. Montrons maintenant leur exis-
tence.
Formellement Notons que E est un sous-anneau de C(R) puisquil contient 0, 1, f g
et fg si f et g sont des lments de E. En eet si (A, B) et (C, D) sont associs
f et g selon la dnition de E, alors (A C, B D) est associ f g et
(AC + (X
2
+ 1)BD, AD + BC) est associ fg. Or
1
appartient E de par
son criture et comme, pout tout entier naturel n,
n
=
n
1
,
n
appartient E.
De plus si
n
est associ (P
n
, Q
n
), comme
1
est associ (X, 1), on a P
n+1
=
XP
n
+ (X
2
+ 1)Q
n
et Q
n+1
= P
n
+ XQ
n
.
Directement Soit n un entier naturel. Posons, en notant [t] la partie entire du rel t,
P
n
=
[n/2]

k=0
_
n
2k
_
X
n2k
(X
2
+ 1)
k
et Q
n
=
[(n1)/2]

k=0
_
n
2k + 1
_
X
n2k1
(X
2
+ 1)
k
.
Ce sont des polynmes coecients entiers puisque les coecients binomiaux sont
entiers et que Z[X] est un anneau. La formule du binme donne
x R
n
(x) =
n

k=0
_
n
k
_
x
nk
_
x
2
+ 1
k
= P
n
(x) +
_
x
2
+ 1Q
n
(x)
et donc
n
appartient E. On peut obtenir la relation entre (P
n+1
, Q
n+1
) et (P
n
, Q
n
)
en utilisant la relation
_
n+1
k
_
=
_
n
k
_
+
_
n
k1
_
.
12
Premire preuve CAPESA 1996 Corrig
Par rcurrence Cest certainement la mthode envisage par lnonc. Pour n entier
naturel soit (H
n
) la proprit
n
E et, si n > 0, P
n
= XP
n1
+ (X
2
+ 1)Q
n1
et
Q
n
= P
n1
+ XQ
n1
. La proprit (H
0
) est vraie puisque
0
sobtient avec A = 1
et B = 0. Montrons que (H
n
) est hrditaire. Soit n un entier naturel tel que (H
n
)
soit vraie. On a, pour tout rel x,

n+1
(x) =
n
(x)(x +
_
x
2
+ 1)
= (P
n
(x) +
_
x
2
+ 1Q
n
(x))(x +
_
x
2
+ 1)
= xP
n
(x) + (x
2
+ 1)Q
n
(x) +
_
x
2
+ 1(P
n
(x) + xQ
n
(x))
et donc
n+1
E et P
n+1
= XP
n
+ (X
2
+ 1)Q
n
et Q
n+1
= P
n
+ XQ
n
. Le principe
de rcurrence permet donc darmer que, pour tout entier naturel n,
n
E et
quil existe, de faon unique, deux suites (P
n
)
nN
et (Q
n
)
nN
de polynmes de Z[X]
telles que, pour tout entier n et tout rel x,

n
(x) = P
n
(x)+

x
2
+ 1Q
n
(x) et (P
n+1
, Q
n+1
) = (XP
n
+(X
2
+1)Q
n
, P
n
+XQ
n
).
b) Matriciellement On peut rcrire les relations prcdentes de faon synthtique
n N
_
_
P
n+1
Q
n+1
_
_
=
_
_
X X
2
+ 1
1 X
_
_
_
_
P
n
Q
n
_
_
.
Par ailleurs, par un calcul direct ou par le thorme de Cayley-Hamilton, on a
_
_
X X
2
+ 1
1 X
_
_
2
= 2X
_
_
X X
2
+ 1
1 X
_
_
+
_
_
1 0
0 1
_
_
et donc, en appliquant cette identit au vecteur (P
n
, Q
n
),
n N
_
_
P
n+2
Q
n+2
_
_
= 2X
_
_
P
n+1
Q
n+1
_
_
+
_
_
P
n
Q
n
_
_
.
Do les relations cherches.
Par unicit de lcriture dans E Soit n un entier naturel. Par unicit de lcriture
des lments de E, les relations cherches sont quivalentes
x R
n+2
(x) = 2x
n+1
(x) +
n
(x) .
Remarquons quon a, pour x rel

2
(x) = (x +
_
x
2
+ 1)
2
= 2x
2
+ 1 + 2x
_
x
2
+ 1 = 2x(x +
_
x
2
+ 1) + 1
soit
2
(x) = 2x
1
(x) +
0
(x), et donc

n+2
(x) =
n
(x)
2
(x) =
n
(x)(2x
1
(x) +
0
(x)) = 2x
n+1
(x) +
n
(x) .
13
Premire preuve CAPESA 1996 Corrig
Directement Soit n un entier naturel. On a
P
n+2
= XP
n+1
+ (X
2
+ 1)Q
n+1
= XP
n+1
+ (X
2
+ 1)(P
n
+ XQ
n
)
= XP
n+1
+ (X
2
+ 1)P
n
+ X(X
2
+ 1)Q
n
= XP
n+1
+ (X
2
+ 1)P
n
+ X(P
n+1
XP
n
)
i.e. P
n+2
= 2XP
n+1
+ P
n
et
Q
n+2
= P
n+1
+ XQ
n+1
= XP
n
+ (X
2
+ 1)Q
n
+ XQ
n+1
,
i.e. Q
n+2
= X(Q
n+1
XQ
n
)+(X
2
+1)Q
n
+XQ
n+1
=, soit Q
n+2
= 2XQ
n+1
+ Q
n
.
c) Pour n entier naturel soit (H
n
) la proprit :
P
n
et Q
n
ont des coecients entiers naturels (ou positifs, ce qui revient au mme
puisquon sait dj quils sont entiers relatifs), le degr de P
n
est n, celui de Q
n
est
n 1 sauf pour n = 0, les coecients dominants de P
n
et Q
n
sont gaux et valent
2
n1
sauf pour n = 0. Dans le cas n = 0, Q
0
est nul et P
0
est constant gal 1.
Directement Les expressions trouves dans la dmonstration directe de 14a) montrent
que (H
n
) est vraie pour tout entier naturel n, sauf peut-tre en ce qui concerne les
coecients dominants. Mais le dveloppement du binme pour (11)
n
, pour n entier
naturel suprieur 1, montre que la somme des coecients binomiaux dindice pair
est gale celle des coecients binomiaux dindice impair. Comme la somme de ces
deux quantits est (1 + 1)
n
= 2
n
, cest que chacun vaut 2
n1
, ce qui est lassertion
cherche.
partir de 14b) On a P
0
= 1, P
1
= X, Q
0
= 0 et Q
1
= 1. Par consquent (H
0
)
et (H
1
) sont vraies. Si maintenant n est un entier naturel tel que (H
n+1
) et (H
n
)
soient vraies, alors (H
n+2
) lest aussi daprs 14b). Daprs le principe de rcurrence
(faible), on en conclut que tous les polynmes P
n
et Q
n
, pour n entier naturel, sont
coecients entiers naturels.
partir de 14a) On a P
0
= 1 et Q
0
= 0, donc (H
0
) est vraie. Si maintenant n
est un entier naturel tel que (H
n
) est vraie, alors P
n+1
= XP
n
+ (X
2
+ 1)Q
n
et
Q
n+1
= P
n
+ XQ
n
entranent que (H
n+1
) aussi est vraie.
Remarque : il est utile de noter que seul Q
0
est le polynme nul car la relation 14b)
entrane la non nullit de P
n+2
et Q
n+2
ds quun des deux prcdents ne lest pas.
Ltude des P
0
, P
1
, Q
0
et Q
1
permet donc de conclure que P
n
nest nul pour aucun n et
que Q
n
ne lest que pour n nul.
d) Directement Les expressions trouves dans la dmonstration directe de 14a) montrent
que P
n
est de la parit de n tandis que Q
n
est de la parit oppose.
Par rcurrence Pour n dans N, on note (H
n
) la proprit P
n
(X) = (1)
n
P
n
(X) et
Q
n
(X) = (1)
n+1
Q
n
(X) . Le polynme P
0
= Q
1
= 1 tant pair et les polynmes
14
Premire preuve CAPESA 1996 Corrig
P
1
= X et Q
0
= 0 tant impairs, (H
0
) et (H
1
) sont vraies. On conclut soit grce
la relation trouve en 14b), soit grce celle trouve en 14a), que la proprit (H
n
)
est hrditaire et daprs le principe de rcurrence (faible dans le premier cas), P
n
est de la parit de n et Q
n
de la parit oppose.
Un polynme non nul pair coecients positifs prend des valeurs positives sur R et
mme strictement positives sur R

. Il peut ou non sannuler en 0. Un polynme non


nul impair coecients positifs scrit X fois un polynme de la forme prcdente. Il
a donc une unique racine relle, savoir 0. De plus, pour tout entier naturel n, on a

n
(0) = 1 = P
n
(0) + Q
n
(0) et donc 0 ne peut tre racine la fois de P
n
et de Q
n
. Il en
rsulte :
P
0
ne sannule pas sur R et Q
0
sannule sur tout R, si n est pair et non nul, P
n
na
pas de racine relle et Q
n
admet 0 comme unique racine relle, tandis que si n est
impair la situation est inverse, Q
n
na pas de racine relle et P
n
admet 0 comme
unique racine relle.
15. a) Soit n un entier naturel et x un rel, on a
(x
_
x
2
+ 1)
n
= (1)
n

n
(x) = (1)
n
P
n
(x) + (1)
n
_
x
2
+ 1Q
n
(x) ,
do P
n
(x)

x
2
+ 1Q
n
(x) = (x

x
2
+ 1)
n
= (1)
n

n
(x).
Comme la fonction racine carre est de classe C

sur R

+
, la fonction
1
est de classe
C

sur R. On peut donc la driver et il vient

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

x
2
+ 1
_
et donc
_
x
2
+ 1

n
(x) = n
n1
(x)
1
(x) = n
n
(x) .
Par ailleurs

n
(x) = P

n
(x) +
x

x
2
+ 1
Q
n
(x) +
_
x
2
+ 1Q

n
(x)
et donc
_
x
2
+ 1

n
(x) = xQ
n
(x) + (x
2
+ 1)Q

n
(x) +
_
x
2
+ 1P

n
(x) .
Il en rsulte que

x
2
+ 1

n
appartient E et lunicit de lcriture dans E entrane les
relations P

n
= nQ
n
et (X
2
+ 1)Q

n
+ XQ
n
= nP
n
. .
b) Soit n un entier naturel et x un rel, on a
(x
2
+ 1)P
n
(x) + xP

n
(x) n
2
P
n
(x) = n(x
2
+ 1)Q

n
(x) + nxQ
n
(x) n
2
P
n
(x)
= n((x
2
+ 1)Q

n
(x) + xQ
n
(x) nP
n
(x))
= 0
et donc P
n
est solution, sur R, de lquation direntielle (x
2
+ 1)y + xy

n
2
y = 0.
15
Premire preuve CAPESA 1996 Corrig
PARTIE 6 - Mthode des fractions continues
16. a) Daprs ltude mene en 14d), a nest racine de Q
n
pour aucun entier naturel non nul
n. La quantit P
n
(a)/Q
n
(a) est donc bien dnie. Comme P
n
et Q
n
sont coecients
entiers et que a lest aussi, il en va de mme pour P
n
(a) et Q
n
(a) et
lexistence de la suite (c
n
)
nN
en dcoule.
b) Soit n un entier naturel non nul. On a
1 = (
_
a
2
+ 1 + a)
n
(
_
a
2
+ 1 a)
n
= (1)
n
(P
n
(a) +
_
a
2
+ 1Q
n
(a))(P
n
(a)
_
a
2
+ 1Q
n
(a))
= (1)
n
(P
2
n
(a) (a
2
+ 1)Q
2
n
(a))
et ceci est en particulier une relation de Bzout entre P
n
(a) et Q
n
(a). Par consquent la
fraction dnissant c
n
est irrductible.
c) Daprs les relations obtenues en 14a), pour tout entier naturel non nul n, on a
c
n+1
=
aP
n
(a) + (a
2
+ 1)Q
n
(a)
P
n
(a) + aQ
n
(a)
i.e. c
n+1
=
ac
n
+ a
2
+ 1
c
n
+ a
.
17. a) Soit n un entier naturel. Remarquons que Q
n
(a) est un entier naturel non nul et est
donc suprieur 1. Grce 15a), il vient
|c
n

_
a
2
+ 1| =
|P
n
(a)

a
2
+ 1Q
n
(a)|
Q
n
(a)
=
|a

a
2
+ 1|
n
Q
n
(a)
|a
_
a
2
+ 1|
n
et, puisque |a

a
2
+ 1| 1/2 daprs 1a), la suite (c
n
)
nN
converge vers

a
2
+ 1.
b) Soit n un entier naturel non nul. On a
c
n

a
2
+ 1
c
n
+

a
2
+ 1
=
P
n
(a)

a
2
+ 1Q
n
(a)
P
n
(a) +

a
2
+ 1Q
n
(a)
=
(a

a
2
+ 1)
n
(a +

a
2
+ 1)
n
= ()
n
et donc

n
= (c
n
+
_
a
2
+ 1)
n
et il vient, par convergence de (c
n
)
nN
vers

a
2
+ 1,

n
2

a
2
+ 1
n
.
c) Il vient

n
e
n

a
2
+ 1

r
_
n
.
Or /r = a/(

a
2
+ 1 + a) est un rel strictement compris entre 0 et 1/2 et donc
lim
n+

n
e
n
= 0.
Autrement dit la mthode des fractions continues est plus performante que la mthode
de Pad.
16
Premire preuve CAPESA 1996 Corrig
d) Soit n un entier naturel non nul. On a, daprs 16c),
c
n+1

_
a
2
+ 1 =
ac
n
+ a
2
+ 1
a + c
n

_
a
2
+ 1
=
(a

a
2
+ 1)c
n
+ a
2
+ 1 a

a
2
+ 1
a + c
n
=
(a

a
2
+ 1)c
n
+ (

a
2
+ 1 a)

a
2
+ 1
a + c
n
=

a
2
+ 1 a
a + c
n
(
_
a
2
+ 1 c
n
)
et donc

n+1
=

a
2
+ 1 a
a + c
n

n
.
On a c
1
= P
1
(a)/Q
1
(a) = a/1 = a et, pour n entier naturel strictement suprieur 1,
on a c
n+1
a = (ac
n
+a
2
+ 1)/(a +c
n
) a = 1/(a +c
n
) > 0 puisque c
n
est positif. Par
consquent, pour tout entier naturel n non nul c
n
est un rationnel suprieur a et
n
est non nul. Il en rsulte
n N


n+1

n
=

a
2
+ 1 a
a + c
n

a
2
+ 1 a
2a
=
r
2
.
On a
1
=

a
2
+ 1 a = e
0
et donc
n N


n+1

_
r
2
_
n

1
=
_
r
2
_
n
e
0
e
n
daprs ce qui prcde et la remarque faite en 12b).
18. a) Soit k un entier naturel. Par unicit de lcriture des lments de E et puisque
2k
=
2
k
,
on a P
2k
= P
2
k
+ (X
2
+ 1)Q
2
k
et Q
2k
= 2P
k
Q
k
.
Il vient, pour k non nul,
c
2k
=
P
2
k
(a) + (a
2
+ 1)Q
2
k
(a)
2P
k
(a)Q
k
(a)
=
c
2
k
+ (a
2
+ 1)
2c
k
=
1
2
_
c
k
+
a
2
+ 1
c
k
_
.
b) Pour n entier naturel non nul soit (H
n
) la proprit c
2
n = v
n
. Puisque P
1
= X et Q
1
= 1,
on a P
2
= 2X
2
+1 et Q
2
= 2X. Par consquent c
2
= (2a
2
+1)/2a = a +1/2a = v
1
et la
proprit (H
1
) est vraie. Montrons le ct hrditaire. Soit n un entier naturel non nul
tel que (H
n
) soit vraie. On a
c
2
n+1 = c
2.2
n =
1
2
_
c
2
n +
a
2
+ 1
c
2
n
_
=
1
2
_
v
n
+
a
2
+ 1
v
n
_
=
1
2
_
v
n
+
u
n
v
n
v
n
_
=
v
n
+ u
n
2
soit c
2
n+1 = v
n+1
et le principe de rcurrence permet de conclure
n N

c
2
n = v
n
.
En particulier lquivalent trouv en 17b) redonne lquivalent trouv en 10b) :
d
n
=
2
n 2
_
a
2
+ 1
2
n
.
17
Premire preuve CAPESA 1996 Corrig
19. a) Soit k un entier naturel. Par unicit de lcriture des lments de E et puisque
3k
=
3
k
,
on a P
3k
= P
3
k
+ 3(X
2
+ 1)P
k
Q
2
k
et Q
3k
= 3P
2
k
Q
k
+ (X
2
+ 1)Q
3
k
.
Il vient, pour k non nul,
c
3k
=
c
3
k
+ 3(a
2
+ 1)c
k
3c
2
k
+ a
2
+ 1
et donc
n N

w
n+1
=
w
3
n
+ 3(a
2
+ 1)w
n
3w
2
n
+ a
2
+ 1
.
b) Il vient, pour n dans N

,
w
n+1

_
a
2
+ 1 =
(w
n

a
2
+ 1)
3
3w
2
n
+ a
2
+ 1
et w
n+1
+
_
a
2
+ 1 =
(w
n
+

a
2
+ 1)
3
3w
2
n
+ a
2
+ 1
do
n N

w
n+1

a
2
+ 1
w
n+1
+

a
2
+ 1
=
_
w
n

a
2
+ 1
w
n
+

a
2
+ 1
_
3
et
n N

|w
n

_
a
2
+ 1| = (w
n
+
_
a
2
+ 1)
3
n
.
De plus, daprs 5b), pour n dans N

,
0 w
n
+
_
a
2
+ 1 2
_
a
2
+ 1 +
3
n 2
_
a
2
+ 1 + e
3
n
1
2
_
a
2
+ 1 +
1
2a
2a +
3
2a
et nalement
n N

|w
n

a
2
+ 1|
_
2a +
3
2a
_

3
n
.
c) On prend a = 3. On a 2a +
3
2a
= 6.5 10 et
=

a
2
+ 1 a

a
2
+ 1 + a
=
1
(

a
2
+ 1 + a)
2

1
a
2
+ 1
= 10
1
.
Il vient, pour n = 2,
|w
2

10| 10 (10
1
)
9
10
8
et donc n = 2 convient.
On trouve
w
0
= 3 w
1
=
117
37
w
2
=
6406803
2026009
et
w
2
3.16227766016834

10 3.16227766016837
soit |w
2

10| 4 10
14
!
18

You might also like