Le mmoire d variste Galois sur les conditions de rsolubilit des quations par radicaux (1831)

par Caroline Ehrhardt (Docteur en histoire, Service dhistoire de lducation, INRP Institut national de la recherche pdagogique) Le Mmoire sur les conditions de rsolubilit des quations par radicaux a t dpos par variste Galois lAcadmie des sciences en janvier 1831, soit un an avant sa mort lge de vingt-et-un ans. Il sagit de la troisime version des recherches de Galois ce sujet : les deux premiers manuscrits, prcdemment communiqus lAcadmie, avaient t perdus. Ce dernier travail na pas reu lapprobation de lAcadmie, malgr un rapport plutt encourageant o Poisson et Lacroix invitaient le jeune mathmaticien poursuivre ses recherches en vue de parfaire ses rsultats. Cest nanmoins un autre thme de recherches, les fonctions elliptiques, que Galois a consacr les derniers mois de sa vie. Il est mort en duel en 1832, sans avoir complt son mmoire sur les quations. Celuici ne sera finalement publi quen 1846 dans le Journal de Liouville.

Figure 1 : Portrait dvariste Galois, dessin par son frre.

Dans ce Mmoire, variste Galois a cherch une condition ncessaire et suffisante pour quune quation soit rsoluble par radicaux, cest--dire pour quil 1

soit possible den exprimer les racines laide doprations algbriques portant sur les coefficients. Au dbut du XIXe sicle, on savait rsoudre les quations de degr 4 ou moins, en calculant explicitement leurs racines. En 1826, le mathmaticien norvgien Abel tait parvenu dmontrer un thorme dont on pressentait lexactitude depuis les travaux de Lagrange : la rsolution algbrique est impossible pour les quations de degr 5 ou plus . Dans ce contexte, Galois ne cherche pas obtenir une formule permettant de calculer les racines, mais un critre pour savoir si ce calcul est possible ou non.
1

quations du second degr Par exemple, toutes les quations du second degr (de la forme ax2 + bx + c = 0) sont rsolubles algbriquement dans le corps des nombres complexes. Il faut pour cela calculer leur discriminant : = b2 4ac. Les deux racines sont ensuite donnes par la formule :
-b -b i si < 0 si > 0 ou 2a 2a

On voit ici que les racines se calculent laide doprations algbriques portant sur les coefficients a, b et c de lquation. Le critre donn par Galois dans son article ne permet pas dobtenir ces formules ; il assure seulement que toutes les quations de degr deux sont rsolubles dans le corps des nombres complexes.

@@@@@@@
1) Les principes Le Mmoire sur les conditions de rsolubilit des quations par radicaux dbute par lexposition des principes sur lesquels repose lexpos : la notion dadjonction et les substitutions. Selon la dfinition quen donne Galois, adjoindre une quantit une quation signifie quon la considre comme connue pour la rsolution (cf. encadr ci-dessous) ; les fonctions rationnelles alors utilises pour exprimer les racines sont des fonctions des coefficients de lquation et de cette quantit. Cette notion, dont on trouve la trace dans les travaux antrieurs

Niels Henrik Abel, Dmonstration de limpossibilit de la rsolution algbrique des quations gnrales qui passent le quatrime degr , Journal de Crelle, t. 1, 1826. Joseph-Louis Lagrange, Rflexions sur la thorie algbrique des quations , Mmoire de lAcadmie royale des sciences et belles-lettres de Berlin, 1770, p. 134-215, 1771, p. 238-253.

dAbel, constitue une nouveaut par rapport aux recherches menes au XVIIIe sicle : Lagrange et Ruffini raisonnaient uniquement avec les nombres que lon pouvait former partir des coefficients de lquation. Chez Galois, lirrductibilit dune quation est relative aux quantits que lon y adjoint, ce qui implique que : Lorsque nous conviendrons de regarder ainsi comme connues de [sic] certaines quantits, nous dirons que nous les adjoignons lquation quil sagit de rsoudre () Ladjonction dune quantit peut rendre rductible une quation irrductible. Adjoindre une quantit Donnons un exemple pour claircir cette notion dadjonction. Une quation de degr 2 de discriminant ngatif nadmet pas de racine relle (voir encadr prcdent). On dit quelle est irrductible dans le corps des nombres rels. Par contre lquation devient rductible si lon se place dans le corps des nombres complexes, cest--dire si lon adjoint la quantit i, dfinie par i2 = -1. Les racines sexpriment alors en fonctions des coefficients de lquation et de la quantit i. La deuxime notion prliminaire introduite par Galois est celle de
2

substitution, comme passage dune permutation lautre . Lide de lier ltude des quations celle des permutations de leurs racines remonte aux travaux de Lagrange et de Vandermonde publis la fin du XVIIIe sicle . Il suffit de penser un des rapports rdig en 1813 par lacadmicien Poinsot pour se convaincre que ce principe tait encore considr au dbut du XIXe sicle comme une piste fconde pour les recherches en thorie des quations : Les principes qui regardent ce problme [la rsolution algbrique] rsident essentiellement dans la thorie des combinaisons et celle des nombres. Cest ce que lon peut dmontrer par la nature des choses et, [] sil est possible de lavancer encore, ce nest que par des ides du mme genre et par quelques lments nouveaux qui manquent encore 5 la thorie des permutations.
3 4

Paolo Ruffini (1765-1822) est un mathmaticien italien qui a publi en 1799 un ouvrage o il dmontrait que les quations du cinquime degr ne sont pas rsolubles par radicaux. Lexactitude de la preuve quil proposait a fait lobjet dune controverse parmi les mathmaticiens contemporains. Alexandre Vandermonde (1735-1796) est un mathmaticien franais proche de Gaspard Monge, lu lAcadmie des sciences en 1771. Lagrange, op. cit.; A. Vandermonde, Mmoire sur la rsolution des quations , Histoire de lAcadmie royale des sciences, avec les mmoires de mathmatiques et de physique tirs des registres de cette Acadmie, Paris, 1774, p. 365-416. Procs-verbaux des sances de lAcadmie des sciences, t. 5, sance du 27 dcembre 1813, p. 294.

Les

recherches

de

Galois

sinscrivent

donc

parfaitement

dans

les

problmatiques de son poque quant aux moyens mettre en uvre. Les dfinitions quil donne des termes substitution et permutation sont empruntes aux articles publis par Cauchy en 1815 . Il faut prciser ici que la thorie des permutations tait encore bien peu dfriche, puisque Abel et Galois taient les deux seuls mathmaticiens avoir exploit les rsultats obtenus par Cauchy. De plus, les articles de 1815 ne font quesquisser les contours dune thorie laquelle Cauchy ne donnera une forme plus aboutie quen 1844 . Ceci explique que Galois nait pas une parfaite matrise de ces notions : il semble bien connatre ces travaux, comme le montre lallusion quil y fait ensuite dans la proposition VII, mais de nombreuses confusions entre les termes de groupes de permutations et de groupes de substitutions demeurent dans son mmoire. Ainsi, Galois dfinit le groupe dune quation comme groupe de permutations des racines, tout en prcisant ensuite que : dans le groupe de permutations dont il sagit ici, la disposition des lettres nest point considrer, mais seulement les substitutions de lettres par lesquelles on passe dune permutation lautre .
7 6

Permutations et substitutions exemple dun groupe de substitutions - Une permutation de n lettres distinctes est une liste ordonne de ces lettres. Exemple : (1,2,3,4,5) et (2,5,3,1,4) sont des permutations de 5 lettres. - Les substitutions sont les oprations qui consistent passer dune permutation une autre. En 1844, Cauchy a introduit pour cela une notation en deux lignes. Exemple : la substitution 1 et 5 en 4.

1,2,3, 4,5 transforme 1 en 2, 2 en 5, 4 en 2,5,3,1, 4

Augustin-Louis, Cauchy, Sur le nombre de valeurs quune fonction peut acqurir lorsquon y permute de toutes les manires possibles les quantits quelles renferment , Journal de lcole polytechnique, n 10, 1815, p. 1-28 ; Augustin-Louis Cauchy, Sur les fonctions qui ne peuvent obtenir que deux valeurs gales et de signes contraires par suite des transpositions opres entre les variables quelles renferment , Journal de lcole polytechnique, n 10, 1815, p. 29-112. Augustin-Louis Cauchy, Mmoire sur les arrangements que lon peut former avec des lettres donnes, et sur les permutations ou substitutions laide desquelles on passe dun arrangement un autre , Exercices danalyse et de physique mathmatique, t. 3, 1844, p. 151-252.

Si lon sen tient la dfinition moderne dun groupe, ce sont les substitutions de n lettres et non les permutations qui forment un groupe. Ce que Galois appelle un groupe de permutations , cest lensemble quil note sous forme matricielle p. 422, qui nest pas un groupe au sens moderne. La citation atteste en revanche quil sintresse galement au ( vrai ) groupe que lon peut construire partir de ces permutations, bien que celui-ci ne soit pas explicit. @@@@@@@ A titre dexemple dun groupe de substitutions au sens moderne du terme, le groupe S3 des substitutions de trois lments 1, 2, 3 se compose des six substitutions suivantes : lidentit Id, la substitution circulaire s1

1,2,3 , la substitution circulaire s2 3,1,2

1,2,3 1,2,3 1,2,3 , la transposition t1 , la transposition t2 , la 2,3,1 1,3,2 3,2,1

transposition t3 ID ID s1 s2 t1 t2 t3

1,2,3 . La table de ce groupe est la suivante : 2,1,3

s1 s1 s2 ID t2 t3 t1 s2 s2 ID s1 t3 t1 t2 t1 t1 t3 t2 ID s2 s1 t2 t2 t1 t3 s1 ID s2 t3 t3 t2 t1 s2 s1 ID

ID s1 s2 t1 t2 t3

On peut aussi noter que Galois ne reprend pas la notation en deux lignes pour les substitutions introduite par Cauchy. Lobscurit du mmoire de Galois pour le lecteur contemporain est en grande partie due lutilisation

approximative des notions de substitution et de permutation. Il devait en tre de mme pour les mathmaticiens du dbut du XIXe sicle, peu habitus en faire un usage abstrait : si Lagrange les avait utilises dans ses recherches sur les quations, il sagissait alors davantage dun procd calculatoire que dun outil conceptuel.

Lexpos des Principes se termine par quatre lemmes relatifs la thorie des quations. Le premier a pour nonc :

Lemme I. Une quation irrductible ne peut avoir aucune racine commune avec une quation rationnelle sans la diviser .

Ce lemme signifie que si un polynme irrductible P a une racine commune avec un autre polynme f, alors f peut scrire : f(x) = P(x) Q(x) Il nest peut-tre pas inutile ici de donner un exemple en se plaant dans le corps des nombres rels. Le polynme P(x) = x2 + 1 est irrductible dans R. Ses racines dans C sont i et i. Le polynme f(x)= x3 - x2 + x - 1 nest pas irrductible dans R (puisque 1 est racine). Dans C, ses racines sont 1,i et i. On peut crire : f(x)= P(x) (x-1) Ce rsultat nest pas indit, il avait dj t dmontr par Abel, dans un Mmoire sur une classe particulire dquations rsolubles algbriquement paru dans le Journal de Crelle en 1829. Pour les second et troisime lemmes, Galois reprend lide fondamentale des fonctions semblables que Lagrange dveloppe dans les Rflexions sur la rsolution algbrique des quations de 1770 : il cherche une fonction V des racines prenant n! valeurs distinctes par permutations des racines. Cette fonction sera alors semblable une fonction qui donne les n racines de lquation de dpart : Lemme II. tant donn une quation quelconque, qui na pas de racines gales , dont les racines sont a,b,c,, on peut toujours former une fonction V des racines, telle quaucune des valeurs que lon obtient en permutant dans cette fonction les racines de toutes manires, ne soient gales. Lemme III. la fonction V tant choisie comme il est indiqu dans larticle prcdent, elle jouira de cette proprit, que toutes les racines de lquation propose sexprimeront rationnellement en fonction de V . Expression rationnelle et rsolvante Une fonction rationnelle est le quotient de deux polynmes. Au sens o lentend Galois, dire que les racines peuvent sexprimer rationnellement en fonction de V signifie que lon peut crire chaque

racine xi sous la forme : xi =

P(V, a, b...) Q(V, a, b...)

, o P et Q sont deux

polynmes. On peut donner comme suit lexemple dune rsolvante : V(x,y) = x + y, o x et y sont solutions dune quation du second degr X + PX + Q = 0, est invariante par les deux substitutions du groupe S2, Id et s substitution des racines. On peut dans ce cas montrer que V sexprime rationnellement en fonction des coefficients de lquation : V (x,y) = (x+y) - 2xy = P - 2Q. Galois se place donc, l encore, dans un schma de rsolution conforme aux pratiques algbriques de son poque, qui consiste passer par une tape intermdiaire en dfinissant une fonction rsolvante.

Figure 2 : La fameuse note XIII de louvrage de Lagrange sur les quations que Galois a tudies alors quil tait au lyce.

@@@@@@@
7

2) La thorie Les recherches originales de Galois, ce quil appelle sa thorie , ne dbutent quaprs le rappel de ces principes trop connus selon lui pour quil soit ncessaire den fournir de nouvelles dmonstrations.

De nombreuses dmonstrations sont peine esquisses, voire tout simplement absentes, du Mmoire sur les conditions de rsolubilit des quations par radicaux. ce propos, on entend souvent que Galois est mort trop jeune et trop prcipitamment pour parfaire sa thorie. Toutefois, il est trs probable que labsence des dmonstrations de ces lemmes soit un choix et non une ncessit. En effet, dans la prface quil avait crite pour le Mmoire, et qui na pas t publie dans le Journal de Liouville, il explique quil est inutile de reprendre dans ses lments toute une thorie, sous le prtexte de la prsenter sous une forme ncessaire lintelligence . La proposition I dfinit le groupe dune quation comme un groupe de permutations des racines : Soit une quation donne dont a, b, c, sont les m racines. Il y aura toujours un groupe de permutations des lettres a,b,c, qui jouira de la proposition suivante : 1. Que toute fonction des racines, invariable par les substitutions de ce groupe, soit rationnellement connue ; 2. Rciproquement, que toute fonction des racines, dterminable rationnellement, soit invariable par les substitutions. La dmonstration de Galois consiste exhiber le groupe et montrer quil vrifie les proprits demandes. Il faut noter, cependant, que Galois ne cherche nullement prouver quil sagit bien l dun groupe au sens moderne du terme : le groupe dune quation est pour lui un ensemble organis, cest--dire qui peut tre crit sous forme de tableau, et non un ensemble ferm pour la multiplication. Les propositions II et III tablissent ensuite le lien entre le groupe de lquation et les quantits adjointes : ladjonction dune nouvelle grandeur provoque un partage du groupe de lquation en un certain nombre de groupes plus petits et comparables (ce sont, en langage moderne, des sous-groupes
8

variste Galois, Prface deux mmoires danalyse pure .

normaux du groupe de dpart). On peut alors recommencer le raisonnement avec le nouveau groupe obtenu, et ainsi de suite. La dmonstration de la proposition II est incomplte : en fait, la forme de la factorisation aprs adjonction dune nouvelle quantit de lquation dont la rsolvante V est une racine nest pas aussi claire que Galois laffirme, et ce point sera lobjet de lattention de nombreux successeurs de Galois. Quant la proposition III, elle est nonce sans dmonstration.

Dans la proposition II, Galois affirme que si ladjonction dune racine r dune quation auxiliaire rend rductible lquation tudie, alors le polynme P dont la rsolvante est racine se factorise en : P(V) = f(V,r) f(V,r) f(V,r), o r, r, r, sont les diffrentes racines de lquation auxiliaire de la rsolvante, et la fonction f toujours la mme. Toutefois, cette dcomposition na rien dune vidence puisque, aprs adjonction dune quantit r, si lon applique les rsultats usuels de factorisation des polynmes, on obtient plutt une dcomposition de la forme : P(V) = f(V,r) f1(V,r) f2(V,r), o les fonctions fi sont diffrentes, mais font intervenir les mmes variables V et r. Dans la proposition V du mmoire, Galois montre que lquation initiale est rsoluble par radicaux si, au terme du processus, on obtient un groupe qui ne contient plus quun seul lment : Pour rsoudre une quation, il faut successivement abaisser son groupe jusqu ne contenir plus quune seule permutation . Exemple des propositions II et V appliques une quation du 4 degr particulire On prend lquation x4 5x + 6 = 0 ; elle se factorise en (x - 2)(x - 3) = 0 et a pour racines 2 et 3. Il existe lorigine un groupe de 4 substitutions permutant ces racines : Id, X (inversant 2 et 2, laissant fixe 3 et - 3), Y (inversant 3 et - 3, laissant fixe 2 et - 2), Z = XoY (inversant 2 et - 2, inversant 3 et - 3). Il sagit du groupe de Galois particulier cette quation. En appliquant la proposition II, et en adjoignant successivement les quantits 2 et 3, on rduit progressivement le groupe de Galois (les mathmaticiens disent aussi dvisser le groupe). Par exemple, dans le corps des rationnels auquel on adjoint 3 (ensemble des entiers quadratiques a + b3, quon note Q[3], il 9

existe de nouvelles relations entre racines au sein de Q[3], rendues possibles par cette extension de Q (par exemple 23 3 + 3 (3) = 3, polynme des racines 3 et -3, en gras, qui reste dans Q[3]). Dans cette extension, les substitutions Y et Z ne prservent plus ce polynme, tandis que X (inversion des racines 2 et -2) le prserve encore : le groupe de Galois initial Id, X, Y, Z a t rduit son sous-groupe Id, X. Quand on adjoint 2, dans le corps Q[2,3]) compos des nombres de type a + b 2 + c 3 + d 2 3, la seule substitution qui conserve le polynme est Id : pour reprendre lexpression de Galois, on a abaiss ainsi le groupe jusqu ne contenir plus quune seule permutation : lquation est donc soluble par radicaux. Cet exemple illustre la proposition II Si lon adjoint une quation la racine r dune quation auxiliaire irrductible 1 il arrivera de deux choses lune : ou bien le groupe de lquation ne sera pas chang ; ou bien il se partagera en p groupes appartenant chacun lquation propose quand on lui adjoint chacune des racines de lquation auxiliaire , et la proposition V rappele ci-dessus Pour rsoudre une quation, il faut successivement abaisser son groupe jusqu ne contenir plus quune seule Toutefois, plutt que dnoncer ce rsultat sous la forme dun thorme, Galois dcrit de faon algorithmique le mcanisme qui relie le processus dadjonction celui de la dcomposition du groupe. Un tel procd dcriture est inhabituel au dbut du XIXe sicle, puisquil sagit dune narration o les rsultats intermdiaires ne sont pas explicits, et non dune preuve calculatoire. Ainsi, si la proposition V permet de comprendre pourquoi certaines quations seront rsolubles et dautres pas, elle ne dit pas comment on doit sy prendre concrtement, partir dune quation particulire, pour rpondre la question. Selon les critres du dbut du XIXe sicle, o lintrt des mathmatiques rsidait encore avant tout dans leur applicabilit pratique des phnomnes concrets, une telle conclusion ntait en aucun cas satisfaisante. Cest dailleurs, en substance, ce qucrit Poisson dans son rapport : [Le mmoire] ne renferme pas [] la condition de rsolubilit des quations par radicaux [ ]. La condition de rsolubilit, si elle existe, devrait tre un caractre extrieur que lon peut vrifier, linspection

10

des coefficients dune quation donne ou, tout au plus, en rsolvant 9 dautres quations dun degr moins lev que celui de la propose . Dans les propositions VII et VIII, Galois applique les rsultats prcdents aux quations irrductibles de degr premier. La proposition VII nonce ainsi le critre dans le langage des groupes : Si une quation irrductible de degr premier est soluble par radicaux, le groupe de cette quation ne saurait contenir que des substitutions de la forme xk, xak+b, a et b tant des constantes. Enfin, le critre de rsolubilit est traduit dans le langage traditionnel des quations dans la proposition VIII : Pour quune quation irrductible de degr premier soit soluble par radicaux, il faut et il suffit que deux quelconques de ces racines tant connues, les autres sen dduisent rationnellement . Le groupe de rsolution dune quation La notion de groupe apparat dans le mmoire de Galois. Page 419, il prcise que si dans un groupe on a les substitutions S et T, on est sr davoir la substitution ST . Si cette notion est esquisse dans le travail de Galois, elle connaitra dimportants dveloppements au cours du XIXe sicle, dveloppements qui conduiront une interprtation du Mmoire sur les conditions de rsolubilit o le concept de groupe joue un rle central. Ainsi, cent ans plus tard, Gustave Verriest, dans un texte de 1934 intitul Evariste Galois et la thorie des quations algbriques10, indique que Galois a permis de dcouvrir que le nud du problme rside non pas dans la recherche directe des grandeurs adjoindre, mais dans ltude de la nature du groupe de lquation. . Verriest prcise ensuite ce qui constitue, au dbut du XXe sicle, la reprsentation canonique du concept de groupe dans le cadre de la rsolution des quations : Ce groupe exprime le degr dindiscernabilit des racines : il caractrise donc non pas ce que nous savons des racines, mais ce que nous nen savons pas () il se fait ainsi que deux quations de degrs diffrents, mais ayant des groupes semblables, se rsolvent de la mme faon. Ce nest donc plus le degr dune quation qui mesure la difficult de la rsoudre, mais cest la nature de son groupe .

Procs-verbaux des sances de lAcadmie, sance du 4 juillet 1831, t. 9, p. 660. Cit par Norbert Verdier, Pour la science- les Gnies de la science, Evariste Galois, fvrier-mai 2003 (voir rubrique Pour en savoir plus .
10

11

@@@@@@@

3) Architecture et conception du Mmoire Le Mmoire sur les conditions de rsolubilit des quations par radicaux est rdig de faon extrmement concise ; certaines dmonstrations sont absentes, dautres sont incompltes. On attribue souvent cet inachvement aux circonstances tragiques de la vie de Galois et sa mort prmature, qui lauraient empch de mettre au propre ses recherches aprs la perte des premires versions. Pourtant, lexamen du manuscrit original montre que ce travail, bien quinachev, a fait lobjet de nombreuses corrections et relectures. En outre, Galois la jug suffisamment abouti pour le soumettre lAcadmie. Il sagit donc dun travail de recherche part entire, non dun rsum des rsultats obtenus prcdemment : si ce mmoire fut, un jour, dans les versions antrieures soumises lAcadmie, plus complet, les explications que lon suppose manquantes aujourdhui le sont seulement parce que Galois a dlibrment dcid de ne pas les reproduire dans la dernire version, ou parce que lui-mme ne disposait pas encore des dmonstrations ncessaires. En faisant abstraction de limpression dinachvement et des imprcisions de vocabulaire qui caractrisent lensemble du premier mmoire et donnent une impression uniforme dobscurit, on peut constater que Galois a trait les trois parties de manires sensiblement diffrentes. Elles dvoilent la faon dont il concevait ses recherches. Les Principes par lesquels dbute le mmoire consistent en quelques dfinitions et une suite de lemmes qui sont tous connus . Les quatre premiers lemmes sont spars du reste de lexpos, et Galois na pas attach dimportance leur dmonstration : ils font pour lui partie de la thorie classique des quations et non de celle quil veut tablir. Les propositions I V forment le cur du mmoire ; y est expos ce que lon qualifiera plus tard de thorie de Galois . Dans cette partie, Galois tablit ainsi le principe de correspondance entre les quations et les groupes de substitutions. Ces propositions font lobjet de preuves abstraites, au sens o les rsultats sont dcrits en franais et non crits en langage mathmatique et o ils sont enchans sans que les calculs dont ils rsultent ou auxquels ils aboutissent ne soient explicits. Il sagit de prvoir la marche de lanalyse , pour

12

reprendre une expression de Galois, c'est--dire de dcrire quel doit tre le droulement du processus, et non de parcourir lensemble des oprations. La concision de cette partie nest pas due au manque de temps. En effet, on trouve dans les papiers de Galois une premire version de la proposition I sur le groupe dune quation datant trs probablement de juin 1830, et dont la dmonstration offre plus de dtail que la version dfinitive. Il en va de mme avec la proposition III, dont la version initiale, hachure lors des corrections, est en fait une application de la proposition prcdente aux quations de la forme xp = a , avec lesquelles Galois a d se familiariser par la lecture des Disquisitiones Arithmetic de Gauss. Dans la version finale du manuscrit, elle a t remplace par un thorme beaucoup plus gnral, qui semble dcouler lui aussi de la proposition II mais qui est nonc sans dmonstration. Le travail de relecture qua fait Galois semble donc plutt destin aller lessentiel. De fait, le mmoire sur les conditions de rsolubilit des quations offre un bel exemple de pense mathmatique en construction. Galois ne nous a pas laiss la gnalogie de ses travaux, mais cest trs probablement en se familiarisant avec la thorie traditionnelle des quations, en apprenant manipuler des substitutions et permutations partir dquations particulires, la manire calculatoire traditionnelle de Lagrange ou dAbel, quil a formul ses premires ides sur le lien entre rsolubilit et groupe de substitutions des racines. On trouve ainsi sur certains des brouillons conservs de nombreux calculs algbriques, parfois juxtaposs sur une mme feuille avec des

manipulations sur des permutations de nombres entiers : cest par la pratique et lentranement, par limmersion dans la thorie classique, en quelque sorte, que Galois est parvenu ses premiers rsultats. Cependant, aucun de ces calculs na t conserv lors de la rdaction dfinitive.

13

Figure 3 : Exemple de brouillon de Galois qui a t conserv (certains sont nettement plus explicites)

Ces quelques exemples montrent que Galois ne cherche pas demble viter les calculs, ni se placer au plus grand degr de gnralit possible. Les manipulations algbriques concrtes sur des cas particuliers dquations font partie intgrante de son travail de recherche. Ce nest quune fois quil a compris, par induction, quels sont les principes qui rgissent ces calculs quil les fait disparatre. Comme Galois lexplique dans la prface que Liouville na pas reproduite , ce ne sont que des dtails sur lesquels lesprit na plus le temps de sarrter , qui restent ltat de brouillons et sont finalement absents de la rdaction du mmoire, trs pure. Une fois acquise laisance ncessaire, il sagit donc pour Galois dextraire lessence des calculs, en essayant de comprendre ce qui rend une quation rsoluble. La formulation de la thorie gnrale se fait ainsi par des allers-retours permanents entre cette thorie et les cas particuliers qui en deviennent les applications. La troisime partie du mmoire, compose des propositions VI VIII, constitue une illustration de la thorie prcdente dans le cas des quations irrductibles de degr premier (c'est--dire dont le degr est un nombre premier). Cette application bnficie dun traitement plus calculatoire, mme si ce terme peut paratre surprenant sagissant des mathmatiques de Galois. En effet, les oprations ny sont toujours pas effectues, mais leur rsultat apparat dans le texte en langage algbrique et non en franais. Par exemple, Galois
11

11

Cette prface figure dans ldition intgrale des oeuvres de Galois : Evariste Galois, Ecrits et mmoires mathmatiques, dition critique intgrale des manuscrits et publications dEvariste Galois par Robert Bourgne et Jean-Pierre Azra, Paris, Gauthier-Villars, 1962 (rd. Jacques Gabay, 1997)

14

prend la peine dcrire le dernier groupe qui intervient dans la rsolution des quations irrductibles de degr premier, ou dexprimer les substitutions quil utilise : lexpos est plus concret que celui des propositions I V. Cependant, lapplication na pas ici de vise pratique, puisque Galois ne fournit pas dalgorithme qui permettrait de dcider si une quation donne est rsoluble par radicaux : le rsultat final reste thorique. Ainsi, lapplication aux quations de degr premier semble davantage destine clairer les principes gnraux selon lesquels les propositions I V sont formules Galois a du reste conscience de ne pas tre parvenu exprimer ces principes avec toutes les prcisions souhaitables qu fournir un critre effectivement exploitable. Son indiffrence vis--vis de la faisabilit pratique de son raisonnement apparat dailleurs lorsquil donne, pour finir, lexemple du degr 5 : il crit le groupe de substitutions que doit avoir une telle quation pour tre rsoluble, au lieu de montrer comment dcider de la rsolubilit dune quation particulire dont les coefficients numriques seraient fixs lavance.

@@@@@@@
On prsente souvent le Mmoire sur les conditions de rsolubilit des quations comme un texte prophtique, trop en avance sur son temps pour tre accessible lentendement des contemporains. Il repose nanmoins sur des savoirs et savoir-faire familiers aux mathmaticiens du dbut du XIXe sicle, puisquil sappuie sur une tradition mathmatique qui remonte Lagrange et tente de faire jouer la dialectique thorie/applications si chre aux

polytechniciens qui dominent alors le milieu mathmatique parisien. Reconnatre que le Mmoire de Galois nest pas inaccessible ses contemporains et quil sinscrit dans les problmatiques de son poque ne signifie pas en nier la valeur mathmatique ; cela consiste simplement prendre au srieux la valeur historique qua galement ce document.

15