Probleme

(Fractions continues)
On denit par recurrence des fonctions F de n + 1 variables reelles strictement positives par les
relations :
F0(x0) = x0 et F +1 (x0; x1; : : : ; x +1 ) = x0 + F (x ; x ;1: : : ; x
1
2
+1)
n

Exemple :F1(x0 ; x1) = x0 + 11 ; F (x0; x1; x2) = x0 + 1 +1 1

x2
Partie 1 :
1. Demontrer que les fonctions F existent et sont denies equivalemment par :
F0 (x0) = x0 et F +1 (x0; : : : ; x +1) = F (x0; : : : ; x ;1 ; x + x 1 )
x

n+1

2. Etudier les variations de F en fonction de sa derniere variable x +1 :

3. On denit les deux fonctions P et Q de n + 1 variables reelles strictement positives par les
relations :
n

P0 (x0) = x0; P1(x0; x1) = x0x1 + 1; Q0(x0 ) = 1; Q1(x0 ; x1) = x1:

P +1 (x0; : : : ; x +1 ) = x +1 P (x0; : : : ; x ) + P ;1 (x0; : : : ; x ;1)
Q +1 (x0; : : : ; x +1 ) = x +1 Q (x0; : : : ; x ) + Q ;1 (x0; : : : ; x ;1)
n

Etablir que F (x0; : : : ; x ) = nn(( 00 nn))

4. Soit (a ) une suite d'entiers naturels non nuls .On denit les suites reelles (b ) ; (p ); (q ) par :
n

x ;::: ;x

x ;::: ;x

n n

n n

b = F (a0 ; : : : ; a ); p = P (a0; : : : ; a ); q = Q (a0; : : : ; a )

n

la suite (b ) s'appelle la fraction continue associee a la suite (a ) :Etablir les propositions

suivantes :
(a) 8n 2 N; p +1q ; p q +1 = (;1)
(b) p et q sont des entiers naturels et la fraction nn est irreductible .
(c) Les suites (p ) et (q ) sont strictement croissantes .
n
n; 1
(d) 8n 2 N : p  2 2 et q  2 2 :
(e) Les suites (b2 ) et (b2 +1) sont adjacentes .(on calculera d'abord b +1 ; b ):Soit b leur
limite commune .
5. Calculer b pour (a ) = (1; 1; 1; : : : ) puis pour (a ) = (1; 2; 2; 2; : : : )
Partie 2 :
Soit x un reel superieur ou egal a 1.On pose x0 = x et a0 = [x] (ou [x] designe la partie entiere de
n n

n n

n n

x)

Tant que ceci a un sens , on denit les entiers a et les reels x par les formules de recurrence :
x +1 = x ;1 [x ] et a +1 = [x +1 ]
1. Etablir , pour tout entier n tel que (x0 ; : : : ; x ) soient denis :
n

x = F (a0; : : : ; a ;1 ; x )
n

2. On suppose x irrationnel :
(a) Montrer que pour tout n ; x existe et que a est non nul .
n

http://membres.lycos.fr/taddist/index.htm - page 1

(b) Montrer que la fraction continue associee a (a ) converge vers x: (on pourra etablir b2 
x  b2 +1 en utilisant Partie1-(2))
(c) Montrer que la suite (a ) est l'unique suite des entiers naturels non nuls dont la fraction
continue associee converge vers x:La suite (a ) s'appelle le "developpement en fraction continue"
de x et les reels b = pqnn sont des "reduites d0ordre n" de x:
p p
(d) Developper en fraction continue les reels 2 et 3:
3. On suppose x rationnel :x = (fraction irreductible )
(a) Montrer que la suite (x ) est nie ,c'est a dire :9n 2 N ; x 2 N ( on pourra utiliser
l'algorithme d'Euclide(1 ) pour les entiers p et q ).
(b) Montrer qu'il existe une et une seule suite nie d'entiers non nuls (a0 ; : : : ; a ) telle que
a > 0 et x = F (a0 ; : : : ; a ):
i. La suite (a0; : : : ; a ) s'appelle le "developpement en fraction continue" du rationnel
n

p
q

x:

(c) Developper en fraction continue le rationnel

Partie 3 :
1. Etablir :

355
113

8(n; k) 2 N  N : F (x ; : : : ; x ; ; F (x ; : : : ; x )) = F
0

n+k

n+k

(x0 ; : : : ; x

n+k

On se place maitenant dans les hypotheses et les notations de partie 2- (2).

2. On suppose la suite (a ) periodique .Demontrer que x est racine d'une equation du second
degre a coecients entiers.
3. On suppose seulement que la suite (a ) est periodique a partir d'un certain rang,c'est a
dire :(9k 2 N)(9n0 2 N)(8n  n0 ) : a + = a :
En utilisant la limite x0 de la fraction continue associee a la suite (a 0 + ) ; montrer que x est
encore racine d'une equation du second degre a coecients entiers .(La reciproque est exacte
mais n'est pas demandee)
Partie 4 :
Dans cette partie , on veut demontrer que les reduites d'un reel irrationnel x sont les "meilleurs fractions possib
approchant x ,c'est a dire , les notations a ; b ; p ; q ; etant celles de la partie1-(4) et de la partie 2 :
n n


8(n; p; q) 2 N : qp ; x < pq ; x ) p > p et q > q :
Soit donc un rationnel  = tel que j ; xj < jb ; xj
1. Montrer que  appartient a l'intervalle (b ;1 ; b ):(on pourra d'abord etablir jb +1 ; b j <
1
jb ;1 ; b j)
2
2. En deduire que p > p et q > q :
3. Quelles est la meilleure reduite du nombre ; dont les numerateurs et denominateurs ne depassent
3

pas 1000? Donner un majorant de l'erreur.

Fin

Euclide (IVe-IIIe s. av. J.-C.), mathematicien grec. Fondateur de l'ecole d'Alexandrie, il rassembla en un seul ouvrage (E lements de geometrie) toutes les connaissances acquises en geometrie plane a son epoque, ainsi que ses propres
decouvertes. Il a developpe la methode axiomatique, fondee sur la necessite d'admettre certaines propositions, les axi^omes, pour pouvoir en demontrer dautres ; par ex. : Par un point exterieur a une droite, on ne peut mener qu'une
seule parallele a cette droite.
1

http://membres.lycos.fr/taddist/index.htm - page 2