La suite (sn)n∈N∗ est clairement croissante, donc sn ≥ q1 1

(1)

MPSI B Année 2015-2016 Corrigé DM 6 vendredi 4/12/15 29 juin 2019

1. a. La suite proposée est formée par la somme des termes d'une suite géométrique de raison ¹_λ ∈]0,1[, elle converge vers _λ−1¹ car

n

X

k=1

1 λ^k = 1

λ 1−_λ¹n

1−_λ¹ −→ 1

λ(1−¹_λ)= 1 λ−1 b. Commeqn ≥qp pour toutn≥p,

s_n=s_p−1+ 1 q1· · ·qp

+· · ·+ 1 q1· · ·qn

≤s_p−1+ 1 q1· · ·qp

1 + 1

qp

+· · ·

≤sp−1+ 1 q1· · ·qp

1 1−_q¹

p

=sp−1+ 1

q1· · ·q_p−1(qp−1) c. La suite (s_n)_n∈_N^∗ est clairement croissante, donc s_n ≥ _q¹

1. De plus, d'après la question précédente :

∀n≥2, s_n≤ 1

q₁ + 1

q₁(q₂−1) ≤ 1 2+1

2 = 1carq₁≥2et q₂≥2

La suite(sn)_n∈N^∗ est donc majorée, elle converge vers un réelx. En passant à la limite dans les inégalités précédentes, on obtient _q¹₁ ≤x≤1d'oùx∈]0,1]. 2. a. Lorsque (q_n)_n∈_N^∗ est stationnaire, il existe deux entiers k et q tels que q_n = q

pour tous lesn≥k+ 1. On en déduit alors x= 1

q1

+ 1 q1q2

+· · ·+ 1 q1· · ·qk

+ 1

q1· · ·qkq 1 1−¹_q ∈Q b. La croissance desqnentraînesn ≤_q¹

1+_q¹2 1

+· · ·+_q¹n

1. Par passage à la limite dans une inégalité, il vientx≤ _q¹

1−1 puisq1−1≤ ¹_x.

D'autre part, _q¹₁ < s2≤x, donc_q¹₁ < xpuis¹_x < q1. Cela entraîneq1−1≤ ¹_x < q1

ce qui prouve bien queq1=bxc+ 1. Plus généralement, pourkxé etn≥k:

sn−sk = 1 q1· · ·qk

1 qk+1

+ 1

qk+1qk+2

+· · ·+ 1 qk+1· · ·qn

q₁· · ·q_k(s_n−s_k) = 1

q_k+1 + 1

q_k+1q_k+2 +· · ·+ 1 q_k+1· · ·q_n

Posons

q₁⁰ =q_k+1, q⁰₂=q_k+2, . . .

La suite qui gure à droite de l'égalité précédente est de même nature que les suitessn. Notons y sa limite, on a alors en passant à la limite,

q₁· · ·q_k(x−s_k) =y et b1

yc=q₁⁰ −1 =q_k+1−1

3. a. D'après les hypothèsessp−1=s⁰_p−1, notonssce nombre etλ=q1· · ·qp−1. D'après la question 2.b. :











qp−1 =b 1 λ(x−s)c q⁰_p−1 =b 1

λ(x⁰−s)c

⇒











qp=b 1

λ(x−s)c+ 1> 1 λ(x−s) q_p⁰ =b 1

λ(x⁰−s)c+ 1≤ 1

λ(x⁰−s)+ 1 Comme qp et q⁰_p sont des entiers tels que qp < q⁰_p on a aussi qp+ 1 ≤ q_p⁰ d'où

1

λ(x−s) <_λ(x¹0−s) puisx⁰ < x.

b. Il est clair que si (qn)_n∈N^∗ et (q⁰_n)_n∈N^∗ sont deux suites distinctes dans T, elles vérieront (en les permutant au besoin) les hypothèses du a. On en déduit l'in- jectivité de l'application considérée.

On peut dénir sur T une relation d'ordre lexicographique, cette application devient alors strictement croissante. Sixest un réel donné, la suite(q_n)_n∈_N^∗telle que(s_n)_n∈_N^∗ converge vers xest entièrement déterminée par les formules de la question 2.b. On l'appelle le développement de Engel dex.

4. Fonction de Briggs

a. Écrivons l'encadrement dénissant la partie entière de _x¹.

b1 xc ≤ 1

x<b1

xc+ 1⇔q−1≤ 1

x < q⇔qx−x≤1< qx

⇔qx−1≤xet0< qx−1⇔0< β(x)≤x b. Sur un intervalle ouvert entre deux inverses d'entiers consécutifs, la fonction β

est ane. Elle est donc continue sur tous ces intervalles ouverts. En revanche, elle est discontinue en chaque pointx= _n¹ avecnnaturel non nul. Il est facile de voir que, en ce point, sa limite à gauche (large) est1−xalors que sa limite à droite (stricte) est0. Ce comportement apparait sur le graphe de la gure1.

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

1 Rémy Nicolai M1506C

(2)

1 2 1

5 1 4

1

3 1

Fig. 1: Graphe de la fonction de Briggs

c. La fonction β est continue en 0. En eet, à cause des inégalités du a. et du théorème d'encadrement, elle converge vers0 en0.

d. Le graphe de la fonction de Briggs est tracé dans la gure1.

5. Algorithme de Briggs

a. L'encadrement de 4.a. montre que la suite est décroissante et minorée par0. Elle converge donc vers un nombrer(x)positif ou nul.

b. Si la limiter(x)n'est ni0ni un inverse d'entier, elle est placé dans un intervalle ouvert dans lequel la fonctionβ est continue. On doit donc avoir β(r(x)) =r(x) par passage à la limite. Or en un y qui n'est ni 0 ni un inverse d'entier on a β(y)< y. Lorsque r(x) est non nul, il doit donc être un inverse d'entier c'est à dire qu'il existe un entierqtel quer(x) =¹_q.

Il reste à montrer que la suite est stationnaire de valeur¹_q. Comme la suite(xn)_n∈N est décroissante et convergente vers ¹_q, il existe un certainN tel que

1

q ≤xN < 1 q−1

SixN était strictement plus grand que ¹_q, on voit bien sur le graphe que le terme suivant serait strictement plus petit ce qui est impossible. On doit donc avoir x_N =¹_q et la suite ne varie plus.

6. a. L'unicité d'un développement de Engel a été démontré dans la question 4. Le pro- blème ici est de montrer que la suite desqndonnés par les formules de la question 2.b. est croissante. Considérons unx∈]0,1[et la suite desxnen introduisant une notationqn (on convient quex0=x)

q1=b1

xc+ 1, x1=q1x−1 x= 1 q₁ +x1

q₁ q2=b1

x1

c+ 1, x2=q2x1−1 x1= 1 q2

+x2

q2

x= 1 q1

+ 1 q1q2

+ x1

q1q2

...

qn =b 1

x_n−1c+ 1, xn=qnxn−1−1 xn−1= 1 qn

+x_n qn

x= 1 q1

+ 1 q1q2

+· · ·+ x_n q1· · ·qn

On en tire

x= 1 q₁+ 1

q₁q₂ +· · ·+ xn

q₁· · ·q_n

Comme la suite(xn)_n∈N converge vers0, le xde départ est bien la limite d'une suite de Engel. La suite des qn est croissante car elle est formée avec la partie entière supérieur des inverses de xn. Les xn décroissent, leurs inverses et leurs parties entières croissent.

b. Sirest le reste de la division debpara, notonsple quotient b=pa+ravecr∈J0, a−1K⇒ b

a =p+ r a

|{z}

∈[0,1[

⇒p=bb ac

⇒β(a

b) = (p+ 1)x−1 = b−r

a + 1 a

b −1 = b−r+a−b

b = a−r

b c. À cause de la question 2.a., on doit seulement montrer que le développement

de Engel d'un nombre rationnel est stationnaire. D'après la question précédente, β(^a_b)est rationnel avec le même dénominateur mais un numérateur inférieur ou égal. Il ne peut décroitre indéniment, on tombe forcément sur un numérateur qui divise le dénominateur et la suite desx_n est alors stationnaire.

(3)

7. Pourx=¹₂ :q1= 3,x−s1= ¹₂−¹₆,q2= 1 +b_3(x−s¹

1)c= 3. On devine alors que tous lesq_i seront égaux à 3 et en eet :

1 3 + 1

3² +· · ·+ 1 3ⁿ →1

3 1 1−¹₃ =1

2.

Pour x= ³₄ :q₁= 2,x−s₁ = ³₄−¹₂ = ¹₄,q₁(x−s₁) = ¹₂,q₂= 3. Tous lesq_i suivant seront égaux à 3 car

1 2 + 1

2·3+ 1

2·3² +· · ·+ 1 2·3ⁿ → 1

2+ 1 2·3

1 1−¹₃ =3

4.

8. Soitx= 0.3183098861, les formules de la question 2.b. permettent de former le tableau suivant

i qi si x−si q1q2· · ·qi

1 4 0.25 0.0683098861 4

2 4 0.3125 0.0058098861 16

3 11 0.3181818182 0.0001280679 176 4 45 0.3183080808 0.0000018053 7920 5 70 0.3183098846 0.0000000015 554400 6 1203 0.3183098861 666943200