Le premier mémoire de Galois
Ce texte utilise les parties Homographies et Fractions continues : cas particulier du niveau 1, ainsi que Fractions
arithmétiques du niveau 2.
Soit x un irrationnel de ]0,1[ et
la suite de nombres entiers intervenant dans sa
décomposition en fraction continue arithmétique.
On conviendra de dire x est immédiatement périodique s'il existe un entier p tel que, pour tous
les entiers n non nuls, an=an+p. Lorsque la relation précédente n'est valable que pour les n plus
grands qu'un certain m, on dira seulement que x est périodique.
On admet ici que x est périodique si et seulement si il est racine d'un polynôme P de degré 2 et
à coefficients entiers. On dira alors que x est un irrationnel quadratique et on désignera par x'
l'autre racine (également un irrationnel quadratique) du polynôme. On dira que x' est le
conjugué de x.
Dans son premier mémoire (1828-29), Galois a démontré que x est immédiatement périodique
si et seulement si
Dans ce cas, l'opposé de l'inverse de x' est immédiatement
périodique et son développement s'obtient en renversant celui de x.
Les notations suivantes seront utilisées pour désigner certaines homographies associées au
développement arithmétique périodique de l'irrationnel quadratique x :
.,
,)(,
1
)(I,
1
)(,)(
11
pp
k
kkk wws
w
w
wa
wawwt
1. Montrer que
I.I,I,II 1
sssstss kk
2. Montrer que deux polynômes du second degré à coefficients entiers qui ont une racine
irrationnelle en commun sont proportionnels.
3. Soit
une homographie telle que
.0 avec )(
C
DCw BAw
w
Montrer que ses points fixes sont les racines d'un polynôme P
de degré 2 que l'on
précisera en fonction de A, B, C, D.
4. Soit x un nombre irrationnel immédiatement périodique.
a. Montrer que
b. Montrer que
sont proportionnels, en déduire que
.
c. Montrer que :
.1,0
1
queet )
1
()
1
(0
xx
P
x
P
En déduire que
est immédiatement périodique, préciser son développement.
On se propose maintenant de démontrer la réciproque. C'est à dire que, si x est un irrationnel
quadratique dans ]0,1[ tel que
, il est immédiatement périodique.
Soit x un tel nombre,
la suite de nombres entiers intervenant dans sa décomposition
en fraction arithmétique. Il existe des entiers p et m tels que :