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
Nn
n
a)(
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
.1
x
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
.0)(P x
b. Montrer que
Pet P
sont proportionnels, en déduire que
0
x
.
c. Montrer que :
En déduire que
x
1
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
1
x
, il est immédiatement périodique.
Soit x un tel nombre,
Nn
n
a)(
la suite de nombres entiers intervenant dans sa décomposition
en fraction arithmétique. Il existe des entiers p et m tels que :
., pnn aamn
Notons
le nombre immédiatement périodique dont la décomposition en fraction commence
en am+1. Notons enfin
le nombre irrationnel conjugué de
.
5.a. Montrer que
).(,)( 11
mm xx
b. Montrer que
1
x
entraîne
 
.1)(,1,,1 1
mk
mk
En déduire
).E(
m
a
c. Montrer que am=am+p. Conclure.
C
Co
om
mm
me
en
nt
ta
ai
ir
re
es
s
La périodicité du développement d'un irrationnel quadratique se démontre complètement à
partir de l'Algorithme périodique de Legendre (niveau 2).
Une autre application du renversement de l'ordre des termes d'une fraction continue est
donnée dans Fractions continues et sommes de deux carrés (niveau 3).
Les équations du second degré dont une des racines est immédiatement périodique sont
celles de la forme suivante :
.2,0,0 avec 02
2BCAACBCBxAx
Cette partie est tirée de [Gal] p 385.
S
So
ol
lu
ut
ti
io
on
n
1. On peut écrire, pour une infinité de valeurs de w,
).(
1
)( 1
)(I,I
1
)(I ws
awaws
wsts
w
ws k
kk
k
On en déduit
.I sst kk
De plus,
,
11
)( k
k
ka
z
w
aw
zwz
donc
I.
1
kk t
On en déduit :
.I)I()()()(
)I()I()I()I(
I)(I)(I)(III
11
11
11
1
1
1
1
ssssssss
sttt
stttss
pp
pp
ppp
2. Notons
2
210
2
210 XXB ,XXA bbbaaa
, ces deux polynômes. La racine
irrationnelle commune x est alors racine de
ABC 22 ba
. Ce dernier polynôme est à
coefficients entiers et de degré au plus 1, il doit être nul pour admettre une racine
irrationnelle.
3. Il est évident que
.X)(XP 2BADC
4. Remarquons d'abord que, pour une infinité de valeurs de z et pour
mk
,
 
).(I)
1
(,,,,)0(,, z
z
zaaaa mkmkmkmkmk
a. L'immédiate périodicité de x se traduit par :
.0)(duit en On ).()(
1
,,, 11
xPxx
x
aax pp
b. Le polynôme P
est à coefficients entiers, de degré 2 car il admet une racine
irrationnelle x. Comme P et P
ont cette racine en commun, ils sont proportionnels. On en
déduit que x' est également racine de P
( c'est à dire point fixe de
).
Les quatre coefficients d'une matrice de
(obtenue en faisant le produit des matrices
associées aux
k) sont, de manière évidente, strictement positifs. L'expression de P
, trouvée
en 3., montre que le produit des racines de P
est strictement négatif, on en déduit donc que x'
est strictement négatif.
c. De la question 1., on déduit
.II 1ss
De plus, si z est un point fixe pour
,
on peut écrire :
).
1
(
1
encoreou )(I)(I)I( 1zz
zszszs
Comme x et x' sont les deux points fixes de
, ceux de
sont
.
1
et
1xx
De plus, comme
.1
1
que montre )
1
(
1
relation la ,0
1
xxxx
Cette relation s'interprète aussi comme un développement immédiatement périodique dont les
termes sont ceux de x mais pris dans l'ordre inverse soit :
,,,,,, 111 pppp aaaaa
5.a. Par définition,
).(
1
,,, 11
mm
aax
Reprenons les notations de l'énoncé en décalant les indices, posons :
.,, 111 mmpmpmm
).(,)(,)(,)( : alors aOn 11 xxxx
Ainsi,
1
P
est le polynôme dont x et x' sont les racines (x et x' sont les deux points fixes de
1
).
Si
est l'autre point fixe de
, on peut écrire
).()())((
1
Ceci
montre que
.)(soit , de fixepoint autrel'est )( 1x
b. Il est bien évident que
.1et 1 lorsque 0
1
ua
ua
Considérons les nombres suivants qui sont tous irrationnels :
).(,),(,)( 33322
mmmm uuu
De
1)( 21
xu
, on déduit
1
2u
, et l'inégalité est stricte car u2 est irrationnel. De
même,
1 donc 1)( 3232 uuu
et ainsi de suite jusqu'à um.
De la dernière inégalité, on déduit :
 
).E( puis 0,1 donc 1
1
mm
m
aa
a
c. On a montré en 4. que le développement de
1
s'obtenait en renversant celui de
. Le
premier terme de ce développement est donc am+p.
D'après Fractions arithmétiques, ce premier terme s'obtient aussi en considérant la partie
entière de l'inverse soit :
.)E()
1
1
E( mpm aa
Le développement est donc périodique à partir de
1m
, en recommençant le raisonnement,
on prouve qu'il est immédiatement périodique.
1 / 4 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !