1

Le premier article de Galois, lve au collge Louis-le-Grand

par Norbert Verdier, IUT de Cachan & GHDSO (Universit Paris-Sud XI),
Christian Grini, IUT de Toulon & GHDSO (Universit Paris-Sud XI),
& Alexandre Moatti, ingnieur en chef des mines.


En 1829, le lycen Galois (1811-1832) fait paratre son premier article dans
les Annales de Gergonne. Il est consacr aux quations et plus prcisment aux
fractions continues . Cest luvre dun lycen qui a lu et assimil luvre de
ses prdcesseurs : Euler et Lagrange en lespce. Anim par cette fureur des
mathmatiques et encourag par son professeur Paul-mile Richard (1795-
1849) le jeune homme contacte Gergonne pour faire publier son texte. Dans
cet article, lapport de Galois est analys et situ dans son contexte
mathmatique et ditorial
1
.


UUFigure 1: Ladresse de larticle de Galois (texte BibNUm, numrisation Numdam)


LE PREMIER ARTICLE DE GALOIS, PUBLIE A LINSTIGATION DE SON PROFESSEUR
En 1828-1829, Galois affect par son premier chec lcole polytechnique
quil avait (mal) prpar avec un an davance, intgre la classe de
mathmatiques spciales tenue par Louis-Paul-mile Richard (voir encadr).
Richard enseigne en spciales depuis 1827 et y enseignera jusquen 1848.


2
lpoque, les classes de spciales (parisiennes) comptaient une centaine
dtudiants ! 94 pour Richard en 1837, par exemple
2
! Il manque des
informations prcises sur la faon dont se droulaient les cours ! Devant une
classe si nombreuse, les enseignements taient essentiellement magistraux et
avaient lieu tous les matins entre huit heures et dix heures (sauf le jeudi et le
dimanche) en vertu des rglements universitaires. Dans ces conditions, les
prparations orales au concours taient forcment rduites leur portion
congrue. Pour acqurir ces entranements loral, se sont dveloppes, surtout
Paris, un certain nombre dinstitutions prives. Il est par exemple attest quen
1832 (anne de la mort de Galois) un tiers des admis lcole polytechnique est
pass par quatre des institutions parisiennes prives les plus connues (Mayer,
Barbet, Laville ou Bourdon).

Figure 2: Lcole polytechnique au temps de Galois (image extraite de Gaston
Claris, Notre cole polytechnique, Paris, Librairies imprimeries runies, 1895). Cre en
1794 sous le nom dcole centrale des travaux publics, elle est en 1830 le haut lieu de

1. Pour situer le premier texte de Galois et linsrer dans son uvre nous renvoyons Norbert Verdier, Galois,
le mathmaticien maudit, Ed. Belin, 2011.
2. Source Bruno Belhoste La prparation aux grandes coles scientifiques au XIXe sicle : tablissements
publics et institutions prives , Histoire de l'ducation, n 90, mai 2001, 101-130.


3
lenseignement des mathmatiques en France. Desprit libral bourgeois, les
polytechniciens sont nombreux participer aux vnements de 1830. Pour intgrer
lcole polytechnique, il faut avoir entre 16 et 20 ans, avoir t levs dans des
principes religieux, et les professer. Ils doivent justifier de leur dvouement au Roi et
dune bonne conduite []. Ils doivent avoir eu la petite vrole ou avoir t vaccins []
La pension annuelle est de 1000 francs [] la dure des tudes est de 2 ans
3
. Les
polytechniciens forment un groupe social que Bruno Belhoste estime tre la base de ce
quil appelle la technocratie , qui a lambition dappliquer par les coles
d application les sciences thoriques au profit des progrs techniques et matriels.

Il faut voir ces institutions prives non pas comme des concurrentes du
secteur public, du moins jusquaux annes 1850, mais, au contraire, comme des
partenaires. Ainsi, en 1837, les trois quarts de la classe de Richard suivent aussi
des cours chez Mayer. Galois, semble-t-il, ne faisait partie daucune de ces
institutions (qui se sont surtout dveloppes par la suite). Do une mauvaise
prparation orale. En 1829, Galois repasse Polytechnique. Nouvel chec !
Pourtant, ce nest pas faute davoir t remarqu. Richard disait de lui : Cet
lve a une supriorit marque sur tous ses condisciples. , Cet lve ne
travaille quaux parties suprieures des mathmatiques , etc.

La ncrologie du professeur Richard dans les Nouvelles
annales de mathmatiques (1849)

Se tenant constamment au courant des progrs de la science, Richard
en enrichissait son cours ; les questions quil proposait taient
recherches des lves; elles tendaient largir lesprit et non le
rtrcir, comme il arrive trop souvent : aussi il a form grand nombre
dhommes distingus, dont plusieurs sont parvenus la clbrit.
Galois aurait dot la France dun Abel, si une mort violente navait
rompu la trame dune vie courte et turbulente. M. Le Verrier est
universellement connu par ses calculs astronomiques. MM. Les
examinateurs Hermite et Serret marchent, encore jeunes, au premier
rang parmi les gomtres franais. Tous les services publics comptent
des fonctionnaires de mrite que Richard a fait entrer lEcole
Polytechnique, o la plupart ont amlior leurs rangs dadmission :
critrium dune instruction prliminaire solide. Anim pour la sainte
science dun zle pur et dsintress, zle excessivement rare, il
encourageait toute entreprise propre propager la vrit
mathmatique
4
.


3. Bruno Belhoste, La formation dune technocratie. Lcole polytechnique et ses lves. De la Rvolution au
Second Empire, Belin, 2003.
4. Nouvelles Annales de mathmatiques, 1849, 448-452. Nous renvoyons ltude rcente de Roland Brasseur
pour des complments sur la carrire de Richard : Brasseur, Roland, Quelques scientifiques ayant enseign
en classe prparatoire aux grandes coles , (saison 4), Paul - mile Richard (1795-1849), Bulletin de lunion
des professeurs de spciales. Mathmatiques et sciences physiques, 232 (Octobre 2010), 1-8.


4
Une autre note bibliographique, peut-tre crite par un des condisciples de
Galois, Flaugergues, parue en 1848 dans Le magasin pittoresque prcise :
[L]excellent Mr Richard avait dignement apprci Galois. Les solutions
originales que ce brillant lve donnait aux questions poses dans la classe
taient expliques aux condisciples avec de justes loges pour linventeur, que
M. Richard dsignait hautement comme devant tre admis hors ligne
5
.
Richard a sans doute encourag son lve Galois publier lun de ses
premiers travaux. Sa Dmonstration dun thorme sur les fractions continues
priodiques parat le 1
er
avril 1829, dans les Annales de mathmatiques pures
et appliques diriges par Joseph Diez Gergonne (1771-1859).


LES ANNALES DE GERGONNE ET LES FRACTIONS CONTINUES
Les mathmatiques ont bnfici, dans lEurope du XIX
e
sicle, dune
nouvelle forme de diffusion qui changea radicalement la communication et les
changes entre les mathmaticiens de tous horizons : les priodiques qui leur
ont t spcifiquement ddis. Le premier journal dimportance dit sur le
continent le fut partir de 1810 par le mathmaticien Franais Joseph-Diez
Gergonne (1771-1859) sous le titre : Annales de mathmatiques pures et
appliques, publies mensuellement jusquen 1832, et que lon nomme
aujourdhui Annales de Gergonne. Nous ne reviendrons pas ici sur leur rdacteur,
leurs objectifs et leur gense
6
. Puisque le jeune Galois, alors lycen, y a prsent
en 1829 son article sur les fractions continues, nous allons nous intresser plutt
la place des lves des lyces et collges dans ce journal, compare celle qui
leur tait accorde dans deux autres priodiques de la mme priode.
@@@@@@@
Galois est loin dtre un cas isol et lapport important sur le sujet quil
dveloppe nous montre que, sous limpulsion de son professeur, un lve pouvait
contribuer, via un article dans un journal, lavancement de la science
mathmatique. peu prs 20% des contributions sous forme darticles ou de
questions rsolues furent en effet le fait de cette population : lves de collge,
de lyces, de lcole polytechnique, de lcole normale (aussi dnomme classe

5. Le magasin pittoresque, 16 (1848), 227-228.


5
prparatoire certaines priodes, en particulier du temps de Galois) ou tudiants
des facults.
Jusqu la parution du premier numro des Annales en 1810, seules deux
publications priodiques pouvaient offrir une telle opportunit, mais uniquement
une catgorie dlves : ceux de lcole polytechnique. Il sagit du Journal de
l'cole polytechnique qui devait avoir une priodicit mensuelle inscrite dans
larrt du 24 prairial an III qui en dfinissait les objectifs
7
et de la
Correspondance sur lcole polytechnique de Jean Nicolas Pierre Hachette (1769-
1834)
8
. Cette Correspondance tait publie pour combler une lacune dj
dnonce ds le cahier 4 du Journal de l'cole polytechnique (1796). Il manquait
aux anciens lves un moyen dentretenir une correspondance avec la mre
cole
9
. La priodicit voulue pour le Journal de l'cole polytechnique na jamais
t atteinte, loin sen faut : de 1795 1831, par exemple, seuls vingt cahiers ont
paru, soit une moyenne denviron un tous les deux ans. La place des lves et
anciens lves de lcole polytechnique y fut ngligeable : le journal devint
rapidement lorgane de publication de mmoires consquents de llite
mathmatique (Monge, Lagrange, Poisson, etc.).
Quant la Correspondance sur lcole Polytechnique, sa publication fut elle
aussi trs tale dans le temps : le numro 1 parut en avril 1804, le numro 4
en juillet 1805, le numro 10 en avril 1809. Elle tait en grande partie compose
de listes de noms (lves admis, affectations, etc.), de lettres caractre non
ncessairement li aux sciences enseignes lcole, dannonces de textes
officiels et rglementaires, de plans de cours, etc. Les articles de mathmatiques
y occupaient donc une part trs relative et taient souvent des reprises ou des
prolongements de cours de lcole. Et, l encore, on constate le caractre ferm
de cette publication finalement rserve la mme lite que le Journal de l'cole
polytechnique. On comprend donc le constat de Gergonne lorsquil dplore le fait
que les Sciences exactes, cultives aujourd'hui si universellement et avec tant

6. Christian Grini, Les Annales de Gergonne : apport scientifique et pistmologique dans lhistoire des
mathmatiques, d. du Septentrion, Villeneuve dAscq, 2002 ; aussi Les Annales de mathmatiques pures et
appliques de Gergonne , texte BibNum comment.
7. Source Lamy, Loc Le journal de lcole Polytechnique de 1795 1831, journal savant, journal
institutionnel , Sciences et techniques en perspective, 32 (1995), 3-96.
8. Nomm adjoint de Monge ds 1794 dans le dpartement consacr la gomtrie descriptive de lcole
Polytechnique, Hachette eut comme lves Poisson, Franois Arago et Fresnel.
9. Dody, Brigitte, La correspondance sur l'cole polytechnique 1804-1816: un journal scientifique
multidisciplinaire au service d'une cole , Sciences et techniques en perspective, 28 (1994), 24-178.


6
de succs, ne comptent pas encore un seul recueil priodique qui leur soit
spcialement consacr , ou lorsquil ajoute :
On ne saurait, en effet, considrer comme tels, le Journal de l'cole
Polytechnique, non plus que la Correspondance que rdige M. Hachette:
recueils trs prcieux sans doute, mais qui, outre qu'ils ne paraissaient
qu' des poques peu rapproches, sont consacrs presque uniquement
aux travaux d'un seul tablissement
10
.

Figure 3 : Couverture du premier numro du Journal de lcole polytechnique (il
ne prendra ce nom que lors du deuxime volume), Germinal an III (avril 1795)
(numrisation BnF)

On comprend aussi alors lengouement que les Annales suscitrent chez les
professeurs de mathmatiques et leurs lves, comme chez les lves ou anciens
lves de lcole polytechnique : ils reprsentent dailleurs la grande majorit des
auteurs des contributions au journal dans ses premires annes de publication.
Les enseignants incitaient mme leurs lves publier dans les Annales de
Gergonne (leurs articles portant alors souvent la mention lve de ) : ctait
pour eux une faon de faire reconnatre la qualit et le niveau de leur
enseignement. Rien dtonnant donc constater lexcellente tenue de ces
articles, et souvent mme la nouveaut qui sy exprime.

10. Gergonne, texte BibNum cit. Le Prospectus dont nous citons ici des extraits fut en fait lavant-propos
du premier numro dans lequel Gergonne et son collaborateur Thomas Lavernde (professeur comme lui
Nmes, il participa durant seulement deux ans la rdaction des Annales) annonaient leurs intentions, le
champ couvert par le journal, et en fixaient en quelque sorte la ligne ditoriale.


7
@@@@@@@
Larticle de Galois sinscrit tout fait dans cette tradition dj installe
depuis prs de vingt ans. Ltude des fractions continues est un sujet qui
intresse une large partie de la communaut des mathmaticiens de cette
poque. Dans lintroduction de son article, Galois cite les travaux de Lagrange.
Ce dernier est alors la rfrence de tous les travaux dalgbre comme danalyse :
les Annales de Gergonne regorgent darticles (en particulier de calcul diffrentiel)
sinscrivant dans les dmarches lagrangiennes et lui rendant systmatiquement
hommage, comme le fait ici notre jeune mathmaticien. Lallusion faite par
Galois la mthode de Lagrange renvoie au Trait de la rsolution
numrique des quations de tous les degrs avec des notes sur plusieurs points
de la thorie des quations algbriques : dans ce trait, dont la premire dition
date de lAn VI, Lagrange synthtisait et mettait la porte de tous les
mathmaticiens des travaux quil avait entams prs de trente ans auparavant et
commenc diffuser ds 1770 avec sa Nouvelle mthode pour rsoudre les
quations littrales par le moyen des sries parue dans les Mmoires de
lAcadmie royale des sciences et belles lettres de Berlin (T. XXIV, 1770).
Avec ceux dEuler, les travaux de Lagrange ouvrirent de nombreuses
perspectives de dveloppement dont les Annales de Gergonne se firent lcho.
Gergonne le premier publia un tat des lieux et de nouveaux rsultats sur la
question en 1819 dans un article intitul : Recherches sur les fractions
continues
11
. Sans entrer dans le dtail de cet article, il est intressant de
reproduire ici le constat fait par lauteur en introduction de son essai :

11. Annales de mathmatiques pures et appliques, IX (1818-1819), 261-270.


8

Lun des plus illustres gomtres dont parle Gergonne tait justement,
sans nul doute, Joseph-Louis Lagrange : cest ainsi quil tait souvent prsent
dans les contributions des auteurs du journal. Suivront dautres articles sur la
question, et plus particulirement au tome XIV (1823-1824)
12
. Gergonne renvoie
ces articles en note de bas de page la fin de larticle de Galois. Il mentionne
aussi un article paru dans le prsent recueil , mais sans en citer lauteur. Il
sagit certainement dun article crit par lui-mme : Note sur un symptme
dexistence de racines imaginaires, dans les quations algbriques
13
. Il y
mentionne dailleurs une lettre du jeune Dupr, lve distingu de lcole
normale, du collge Royal de Louis-Le-Grand . Un an avant Galois dans cette
cole (alors classe prparatoire ), Dupr est un autre exemple de ces lves
encourags par leurs professeurs publier dans les Annales. Il avait lanne
prcdente crit un article auquel renvoie dailleurs Gergonne (et auquel il
emprunte pratiquement le titre): Note sur un symptme dexistence de racines
imaginaires, dans une quation de degr quelconque
14
. Tel est le contexte
mathmatique et ditorial dans lequel le jeune Galois est conduit publier son
article sur les fractions continues
15
.

12. Citons Sur le dveloppement en fractions continues des racines des quations numriques du second
degr [Annales de Gergonne, XIV (1823-1824), 324-333] dont lauteur, anonyme (larticle est sign M***)
est certainement Gergonne lui-mme. L encore la mthode de Lagrange est cite. Larticle qui suit est intitul
Sur le calcul des fractions continues priodiques [Annales de Gergonne, XIV (1823-1824), 337-347] et est
sign par le mme M
**
.
13. Annales de Gergonne, XIX (1828-1829), 124-126.
14. Annales de Gergonne, XVIII (1827-1828), 68-71]. Indication de Gergonne : par M. A. Dupr, lve de
lcole prparatoire du Collge de Louis-le-Grand
15. Lanne suivante, Galois publia un autre article (il tait alors entr dans la classe prparatoire du Lyce
Louis le Grand, c'est--dire lcole normale) intitul : Notes sur quelques points danalyse [Annales de


9


LA DEMONSTRATION PAR GALOIS DUN THEOREME SUR LES FRACTIONS
CONTINUES PERIODIQUES
Pour comprendre lessence de son article, il convient de faire quelques
rappels concernant les fractions continues. Prenons lquation : x
2
+ x 1 = 0.
Elle est quivalente x(x + 1) = 1. Do
1
1
x
x
=
+

Dans le deuxime membre, si on remplace x par
1
1 x +
, il vient :
1
1
1
1
x
x
=
+
+

Rien nempche de recommencer. Etc. Ainsi x scrit sous forme dune fraction
qui ne sarrte pas on parle de fraction continue :
1
1
1
1
1
1
1
1 ...
x =
+
+
+
+

Euler, dans son Introduction lAnalyse infinitsimale parue en traduction
franaise en 1796, dcrit ainsi cette notion
16
:
Jappelle FRACTION CONTINUE une fraction dont le dnominateur est
compos dun nombre entier joint une fraction, qui a elle-mme pour
dnominateur un entier & une fraction forme de la mme manire que
les prcdentes, ainsi de suite, soit quil y ait un nombre infini de
fractions, soit quil ny en ait quun nombre fini.
La prcdente ne comporte que des 1. Plus gnralement, on dit quune
fraction continue est priodique si des blocs rapparaissent. Ici ce sont des
blocs de 1. Si ce sont des blocs de quatre termes, la fraction est de la forme :

mathmatiques pures et appliques, XXI (1830-1831), 182-184]. Cet article prsente une preuve largie de
lexistence de la fonction drive (Lagrange toujours), et un intressant rsultat sur le rayon de courbure des
courbes dans lespace . Il a t tudi par Massimo Galuzzi : Galois Note on the Approximative Solution of
Numerical Equations (1830) , Archives for History of Exact Sciences, 56 (1) (2001), 29-37.
16. Introduction lanalyse infinitsimale, traduite du latin en franais, avec des Notes & claircissements ,
par J.B. Labey, tome premier, chez Barrois, 1796 (page 277).

...
1
1
1
1
1
1
1
1
+
+
+
+
+
+
+
+
+
a
d
c
b
a
d
c
b
a

Par souci de concision, on notera une telle fraction [a,b,c,d]. On spargnera
dcrire lexpression dune fraction priodique gnrale : [a
0
, a
1
, a
2
, . . ., a
n
].
@@@@@@@
Le jeune Galois dmontre le rsultat suivant :
Si une des racines dune quation de degr quelconque est une
fraction continue immdiatement priodique, cette quation aura
ncessairement une autre racine galement priodique que lon
obtiendra en divisant lunit ngative par cette mme fraction continue
priodique, crite dans un ordre inverse.
Pour dmontrer son rsultat, il se restreint une fraction quatre termes
car, prcise-t-il,
la marche uniforme du calcul prouve quil en serait de mme si nous en
admettions un plus grand nombre.
Autrement dit, il dmontre que si une quation admet pour racine [a,b,c,d],
elle admet ncessairement pour autre racine 1/[d,c,b,a]. La dmonstration est
simple bien que fastidieuse crire. Pour simplifier les critures, nous lavons
faite avec deux termes la faon de Galois qui, lui, se contente de le faire pour
quatre termes.

Dmonstration du thorme de Galois sur les fractions
continues, avec deux termes


10


11
Le rsultat de Galois signifie que, si x =
...
1
1
1
1
+
+
+
+
+
a
b
a
b
a
est solution
dune quation, alors y = -
...
1
1
1
1
+
+
+
+
a
b
a
b
est aussi solution de
lquation.
En effet, soit x =
...
1
1
1
1
+
+
+
+
+
a
b
a
b
a
; cela signifie que x =
x
b
a
1
+
+
1
.
Ainsi :
x-a =

+
x
b
1
1
(x-a) (b +
x
1
) = 1

bx
2
abx a = 0
En procdant de mme avec la seconde fraction :
y = -
...
1
1
1
1
+
+
+
+
a
b
a
b

1 1
b + =
a y y
by
2
aby a = 0
On retombe sur la mme quation donc les deux fractions (continues)
sont solutions de la mme quation.




UN EXEMPLE DEQUATION TRAITE PAR GALOIS
Galois consacre la fin de son article une application numrique constitue
par ltude de lquation : 3x 16x + 18 = 0 [q. (1)]. Il remarque quune des
racines est comprise entre 3 et 4 (ce qui se dduit immdiatement puisque en
x=4 la quantit est positive et quen x = 3 elle est ngative).
Il applique la mthode dEuler, fonde sur la partie entire dune des racines
(de manire analogue lexpression dun rationnel sous forme de fraction
continue, cf. encadr).



12
Les fractions continues pour lexpression des nombres
rationnels
17



Tout nombre rationnel peut s'crire en x = a + 1/y, a entier et y>1 ;
on ritre alors le procd, correspondant la division par l'algorithme
d'Euclide. Ainsi, soit dvelopper x = 314159/100000. On crira
successivement :
100000 = 7 x 14159 + 887
14159 = 15 x 887 + 854
887 = 1 x 854 + 33
854 = 25 x 33 + 29
33 = 1 x 29 + 4
29 = 7 x 4 + 1
L'algorithme dEuclide se termine, et il en est de mme pour tout
rationnel. Ainsi :
| |
1
x = 3 + 3, 7,15,1, 25,1, 7,1
1
7
1
15
1
1
1
25
1
1
1
7
1
+
+
+
+
+
+
=


Galois cherche donc localiser plus prcisment la racine positive en
posant
18
x = 3 + 1/y. Il obtient alors une quation transforme : 3y 2y 3 =
0 [q. (2)]. Cest prcisment le type dquations en ax bx a = 0 que Galois
a tudi dans les pages prcdentes, pour lequel il a dmontr quelles avaient
des racines immdiatement priodiques, lune ncessairement plus grande que 1
et lautre comprise
19

entre -1 et 0 ; par immdiatement priodique sentend une
fraction continue dont la priode commence ds le premier terme.
Galois traite alors lquation 3y 2y 3 = 0 en posant, toujours par la
mme mthode de partie entire de la racine (la racine positive de (2) est plus
grande que 1, on la vu, mais elle est plus petite que 2) : y = 1 + 1/z.
Remplaant dans lquation (2) en y, il obtient 2z 4z 3 = 0. La racine
positive de cette quation tant suprieure 2 mais infrieure 3, il pose z = 2

17. Cet encadr est extrait du texte BibNum dAlain Juhel de commentaire dun texte de Lambert (1761),
utilisant largement les fractions continues pour dmontrer lirrationalit de t.
18. Il y a ici une coquille dans le texte qui indique : x = 3x + 1/y. Liouville rectifie cette coquille dans sa re-
publication en 1846.


13
+ 1/t, et obtient la transforme 3t 4t 2 = 0. La racine positive de cette
quation est suprieure 1 mais infrieure 2, il pose t = 1 + 1/u, et obtient la
transforme 3u 2u 3 = 0. Lidentit de lquation en u et de lquation (2)
en y montre que la fraction continue formant y est immdiatement priodique, et
vaut en remontant lexpression de y :
1 1 1 1
1 1 1 1
1 1
2 2 2
1 1
1 1
y
z
t
u y
= + = + = + = +
+ + +
+ +
1
.
En substituant y en bas droite par lexpression entire que constitue le
dernier membre de droite, on obtient la fraction continue immdiatement
priodique :
1
1 [1,2,1,...]
1
2
1
1
1
1
1
2
1
1
y
y
= + =
+
+
+
+
+

Galois a ainsi pu illustrer avec cet exemple le rsultat important quil avait
nonc p. 299 :
Lors donc quon traitera une quation numrique par la mthode de
Lagrange, on sera sr quil ny a point de racines priodiques esprer
tant quon ne rencontrera pas une transforme ayant au moins une racine
positive plus grande que lunit, et une autre comprise entre 0 et -1 ; et
si, en effet, la racine que lon poursuit doit tre priodique, ce sera tout au
plus cette transforme que les priodes commenceront.
Ainsi, lquation (2) en y est un exemple dquation partir de laquelle la
priode de la fraction continue commence. Ce nest pas le cas de lquation (1)
en x : il faut attendre la premire transforme en y, lquation (2), pour que la
priode commence. Cette quation (2) illustre une autre proprit que Galois
avait nonce :
Toute quation du second degr de la forme ax bx a = 0 aura ses
racines la fois immdiatement priodiques et symtriques.
Immdiatement priodique, la solution de lquation (2) lest ; mais, tant
de la forme [1,2,1,], elle est aussi symtrique : quand on inverse la priode, on

19. On vrifiera aisment cette position des racines en prenant les valeurs en -1 (positive), en 0 (ngative), en
1 (ngative), en linfini (positive). Rappelons que dans les quations poses par Galois, a et b sont des nombres
entiers positifs.


14
retrouve [1,2,1,]. En vertu du thorme dmontr par Galois en dbut darticle,
les racines de lquation (2) sont alors [1,2,1,] et -1/[1,2,1,] : dans ce cas
particulier de symtrie de la fraction continue, lquation a deux racines A et -
1/A
20
.
Galois donne enfin la forme des solutions de lquation initiale (1) la
diffrence de celle de (2)
21
, elles ne forment pas des fractions continues
immdiatement priodiques :

L aussi Galois (ou limprimeur ?) se trompe. La valeur de gauche de x est
correcte, mais pas la valeur de droite. Lauteur sest mlang les pinceaux et
a pris x = 3 + y eu lieu de x = 3 + 1/y (il faut dire quavec deux valeurs de y
dont lune est gale loppos de linverse de lautre, ce genre derreur peut vite
arriver). Lquation (1) en x comprend deux racines, lune situe entre 3 et 4
(valeur gauche ci-dessus) et lautre comprise entre 1 et 2 (la valeur droite ci-
dessus, errone, est comprise entre 2 et 3). Cette erreur chappe aussi
Liouville dans son dition de 1846 (alors quil en rectifie dautres) ; la valeur de
droite correcte de x est
22
:
1 1
3 (3 ) 2
1
2
1
1
1
1
2 ...
p
n
x y
y
= + = =
+
+
+
+

Mais laissons Galois le bnfice du doute, puisque la fin de son article se
dveloppe comme sil avait crit la bonne valeur de x ci-dessus. En effet, pour
cette valeur, il propose une autre criture en utilisant lidentit suivante :

20. On pourra vrifier par la mthode des discriminants que lquation 3y 2y 3 = 0 a deux racines, 1/3(1
+10) et 1/3(1 10) , dont lune est loppos de linverse de lautre.
21. Notons nouveau une erreur dans larticle original, haut de page 301 : la valeur positive de y
commence avec un signe ngatif ; par ailleurs la succession des nombres ne commence pas correctement.
22. On a ici appel y
p
la racine positive de lquation (2) en y, et y
n
sa racine ngative, sachant que y
n
y
p
= - 1.

1 1
( 1)
1
1
1
p p
q
q
= +
+

En appliquant cette identit la valeur de x ci-dessus, avec p = 2, on
obtient la valeur donne en toute fin darticle par Galois (valeur qui est bien
comprise entre 1 et 2) :

On peut se demander pourquoi Galois fait cette manipulation la fin : peut-
tre tait-il jug plus lgant de faire apparatre des fractions continues
uniquement constitues de signes positifs ?
@@@@@@@
En tout tat de cause, on saperoit ainsi que, pour mieux situer encore le
premier article de Galois, il conviendrait dtudier prcisment le corpus
constitu de tous les articles relatifs aux fractions continues publis dans les
Annales de Gergonne ou dans dautres textes. Tous ces travaux paraissent tre,
sans que nous disposions dune tude exhaustive, autant de commentaires des
travaux de Lagrange sur ce sujet. Le Trait de la rsolution des quations
numriques de tous les degrs de Lagrange venait dtre rdit dans une
nouvelle dition en 1826 chez Bachelier. Cest sans doute cette dition que
Galois a consulte. Les ouvrages de Lagrange diffuss des centaines
dexemplaires taient des textes de rfrences dont Galois, et bien dautres, ont
t lecteurs et, dans une certaine mesure, continuateurs.

15


16

Figure 4 : Trait de la rsolution des quations numriques de tous les degrs
par J .L. Lagrange. La troisime dition (1826) du Trait de la rsolution numrique est
conforme ldition de 1808. Celle de 1808 est constitue de mmoires de Lagrange
publis dans le Recueil des mmoires de lAcadmie de Berlin (1767 & 1768) auxquels
ont t adjointes diverses notes.


UNE LECTURE MATERIELLE DU TEXTE DE GALOIS
Le texte de Galois est galement intressant lire matriellement. Livrons
nous une comparaison entre les deux textes de Galois publis dans les Annales
de Gergonne en 1828-1829 puis dans le Journal de Liouville, en 1846
23
.

Ce sont deux textes composs chez le mme imprimeur ; une quinzaine
dannes les spare. Ce sont les mmes mots et les mmes formules. Pourtant
ce nest plus le mme objet typographique tant les versions diffrent.
Confrontation entre deux mmes textes de Galois publis
en 1828-1829 puis en 1846


Voici deux exemples dimpressions diffrentes dans larticle original de
1828 et dans la rimpression de 1846 (Journal de mathmatiques
pures et appliques, I, 11 (1846), p.385-392).


23. Pour les circonstances de la publication des uvres de Galois dans le Journal de Liouville, nous renvoyons
aux travaux de Caroline Ehrhardt : La naissance posthume dvariste Galois , Revue de synthse, 131, 6
e

srie, 4 (2010), p. 543-568 ; aussi variste Galois. La fabrication dune icne mathmatique, Les ditions de
lEHESS, 2011, p. 185-193.




[ en haut, texte BibNum, p. 295] [ en bas, texte 1846, p.386]
On remarquera, en sus de la graphie de fraction continue, la place du
point-virgule dans les deux cas.


[ en haut, texte BibNum, p. 298] [ en bas, texte 1846, p.389]
Lquation en ligne (x=a+), difficile comprendre dans le texte de
1829 (alors que ce nest mme pas une fraction continue), devient une
quation hors ligne en 1846.

Entre 1829 et 1846, lart de la reprsentation des fractions continues
composes dun enchevtrement complexe de fractions a considrablement
progress. En 1846, les typographes savent alors grer des empilements de
fractions crites avec des symboles de taille diffrente et en donner un rendu
esthtique et harmonieux. En 1846, la presse mathmatique est entre dans une
autre phase de son dveloppement. Elle est devenue professionnelle dans le sens
o, dsormais, des typographes sont forms pour reprsenter matriellement les
spcificits mathmatiques (reprsentation des fractions, des exposants, des
indices, des tableaux, des signes de sommation, etc.). Cest aussi ce que

17


18
permettent daffirmer les deux mmes texte de Galois sur ce thorme de
fractions continues.
Cest avec cette stratgie de confrontation de mmes textes que nous
avons pu comparer des objets difficiles apprhender
typographiquement comme le signe dintgration avec des bornes et des tailles
variables suivant la forme de lintgrande, le signe de sommation ou les
diffrentes expressions gomtriques. Nous pensons ainsi avoir montr que
Bachelier lditeur des premiers journaux mathmatiques franais a, en
faisant de la reprsentation matrielle des mathmatiques un de ses axes
principaux dinnovation, su prendre une avance considrable sur ses principaux
concurrents
24
.



(dcembre 2011)
(V2 avec annexe janvier 2012)

24. Vendre et diter des mathmatiques avec la maison Bachelier (1812-1864) , Revue dhistoire des
mathmatiques [article soumis].


19
Annexe
Quelques variations sur les fractions continues


Dans une quation de 2
nd
degr quelconque, Tx + Ux + V = 0, on sait que
le produit des racines vaut V/T
25
. Dans lquation particulire mentionne par
Galois, ax - bx a = 0, le produit des racines vaut -1 : donc elles sont inverses
et opposes, A et -1/A, comme lindique Galois via les fractions continues.
@@@@@@@
Considrons prsent un cas plus particulier encore que celui-l : lquation
du nombre dor x x 1 = 0. On a :
1 1 1
1 1 ... 1 [1,1,1,...]
1 1
1 1
1
1
1
1
1 ...
x
x
x
= + = + = = + =
+ +
+
+
+

Il est important de noter que la suite des galits avant les points de
suspension est valable pour les deux racines (positive et ngative, inverses et
opposes entre elles) de lquation. Lorsquon crit la dernire galit, on
privilgie la racine positive : en effet [1,1,1,] est un nombre positif. Il y a
passage implicite la limite entre ce qui est une quation ( gauche des points
de suspension) et ce qui devient un nombre ( droite des points), reprsent par
une fraction continue. Cest en ce sens que le maniement des fractions continues
infinies mrite une certaine prcaution.
Pour trouver lexpression en fraction continue de la racine ngative, on sy
prendra autrement. On crira
26
:
1 1 1
... [0,1,1,1,...]
1 1 1
1 1
1 1
1
1
1
1 ...
x
x
x
= = = = =

+ +

+
+
+


25. Pour sen convaincre, on dveloppe T(x-x
1
)(x-x
2
), o x
1
et x
2
sont les racines. Ce sont les relations
classiques entre les racines et les coefficients de lquation, quexploitera Galois dans sa thorie des quations.
26 Le 0 en dbut de crochet est important : il rappelle quil ny a pas de terme avant la fraction ( la diffrence
de la racine positive).


20
On retrouve ce rsultat plus simplement en utilisant le thorme de Galois
(racines inverses et opposes) : A (racine positive) = [1,1,1,], donc B (racine
ngative) est telle que
27
:
1
1
1
1
1
1
1
1 1
[0,1,1,1..
...
.] B
A
+
+
+
+
= = =

@@@@@@@
Faisons maintenant un exercice un peu diffrent, en nous intressant C =
[0,1,1,1,.] = B, nombre compris entre 0 et 1. Ce nombre a la particularit,
ajout son carr, de former 1 : C + C = B B = 1 (car B est solution de
lquation x x 1 = 0). On connat la reprsentation en fraction continue de
C, mais quelle est celle de C ?

Correspondance rels-fractions continues

Pour ceux qui ont du mal avec la reprsentation dun nombre en
fraction continue, donnons la correspondance (vidente) avec les
nombres rels on revient ainsi dans la ralit (mais nest-ce pas une
reprsentation comme une autre ?) :
A = (1+5)/2 = 1,618 [nombre dor]
B = (1- 5)/2 = - 0,618
C = (5 - 1)/2 = 0,618
C = (3 - 5)/2 = 0,381


Figure 5 : Pentagones convexes et toils, mis en abme. Le rapport
entre la diagonale du pentagone convexe (celle-ci tant aussi le ct du
pentagone toil) et son ct est gal au nombre dor.


27. On a fait figurer lexpression en fraction continue de A en bleu, pour plus de clart.


21
Cherchons de deux manires la fraction continue reprsentant C. Dans un
premier cas, supposons que nous ne connaissons pas le dveloppement en
fraction continue de C. Cherchons alors une quation dont C est solution. C
tant solution de lquation C + C 1 = 0, regroupons puissances impaires dun
ct, puissances paires de lautre et levons au carr :
(1 C) = C (1 C) = C C
4
3C
2
+ 1 = 0
Donc C est solution de lquation x 3x + 1 = 0 ; une des solutions de
cette quation se situe entre 2 et 3, on applique la mthode de Galois (cf. ci-
dessus) en posant x = 2 + 1/y. Lquation transforme devient y y 1 = 0 ;
elle entre dans la configuration des quations ax bx a = 0, et a pour racines
(il se trouve que cest lquation du nombre dor, cf. ci-dessus) [1,1,1,.] et
[0,1, 1,]. Or C est un nombre compris entre 0 et 1 (puisque C + C = 1),
donc on choisit pour y la valeur ngative ajouter 2 :
1
1
1
1
1
1
1 1 1
2 2 2 1 1
1 1
1 1
1 ... 1 ...
...
C
y | |
|
|
|

|
+
|
+ |
| |
|
= + = + = + =
|
|
+
+ +
|
+ + \ .
\ .
1

En utilisant la formule donne par Galois,
1 1
( 1)
1
1
1
p p
q
q
= +
+

(ici p = 1), on
crit (q tant en bleu) :
1
1
1
1
1
1 ...
1
1
1
1 ...
1 1 1
1 0 [0,2,1,1,1...]
1 1
1 2
1
1
1 ...
1
C = = + = =
+ +
| |
+
|
+

|
|
|
\ .
+
+
+
+
+
+

On vrifie ce dveloppement en fraction continue par une seconde
mthode, en utilisant cette fois-ci le dveloppement de C :
1
1 1
1
1
1 ...
C C = =
+
+

ce qui nous ramne au calcul prcdent et donc au mme rsultat. Ou, plus
simplement encore, sans utiliser la formule donne par Galois (ncessaire pour
rduire les signes ngatifs) :

1 1 1 1 1
( )
1 1 (1 ) ( ) ( 1) 2
1 2
1 1
1 1
1 1
1 1
1 ... 1 ...
C
C C C C C
= = = = =
+ + + + +
+ +
+ +
+ +
+ +

@@@@@@@

On arrive ainsi aux curieuses identits suivantes, sachant que C + C = 1 :
2
1 1
1 1
1 2
1 1
1 1
1 1
1 1
1 ... 1 ...
| | |
|
|
|
|
=
|
+ | + |
|
+ +
|
+ +
|
+ + \ . \
|
|
|
|
|
|
|
|
|
.

2
1 1
1
1 1
1 1
1 1
1 1
1 1
1 1
1 ... 1 ...
| | | |
| |
| |
| |
| |
+ =
| |
+ | + |
| |
+ +
| |
+ +
| |
+ + \ . \ .

1 1
1
1 1
1 2
1 1
1 1
1 1
1 1
1 ... 1 ...
| | |
|
|
|
|
|
|
|
|
|
+ =
|
+ | + |
|
+ +
|
+ +
|
+ + \ . \
|
|
|
|
.





(janvier 2012)



22