« Papiers et écrits mathématiques » : différence entre les versions

''vis-à-vis la démonstration de ce théorème, dans le manuscrit j'ai trouvé ceci''

 

 

C'est ainsi qu'elle figure dans l'épreuve. Les six premières lignes de la note de la page /o sont donc de Liouville. Au reste, Liouville a été visiblement préoccupé de cee endroit (proposition 11) du texte de Galois : il a jugé un moment convenable de reprendre l'hypothèse primitive de Galois (p premier) et d'éclaircir complètement la démonstration dans ce cas, par une note que je crois devoir transcrire, non pas qu'elle puisse apprendre quelque chose au lecteur, mais parce qu'elle me semble une trace touchante des soins et des scrupules que Liouville apportait dans sa publication ; le renvoi correspondrait à la ligne o de la page /io des OEuvres : Ceci mérite d'être expliqué avec quelque détail. Designons par, '(V) = o l'équation dont l'auteur parle, et soient f(NV, r), f1(V,,..., f..., - ) les factcurs irréductibles dans lesquels, (V) devient décomposable par l'adjonction de r, en sorte que, ( V) = f( ) (,,) 7( v (, )... / (V, I,). Comme r est racine d'une équation irréductible, on pourra dans le second membre remplacer r par r', 'r",., r(1). Ainsi (V)I) est le produit des i quantités suivantes f(V, /).(V, )... f(V, )(-') f,(V, r) fi(V, r')... fl(V,,.(-i)).fi- I (V,,')fi-i(V, I.,)... fi-i(V, 7(p-1)), dont chacune, symétrique en r, r',..., r' (P-1 et par suite exprimable en fonction rationnelle de V indépendamment de toute adjonction, doit diviser I(V)P et se réduire en conséquence a une simple puissance cl polynome q(V) qui cesse de se résoudre en facteurs lorsqu'on n'adjoint pas les auxiliaires r, r', etc. J'ajoute que le degré de la puissance est le même pour toutes. En effet, les équations J(V, r') = o,fl(V, r)= o,...,fi-_(V, r) = o qui dérivent de,'(V)= o et dont les racines sont fonctions rationnelles les unes des autres ne peuvent manquer d'être du même degré. En faisant donc .f(V,,)f(V, ')...f(V, (/,-,))- = (V)IV, on en conclura p = il. Mais p est premier ct i > i; donc on a i = p, d'o-) r = t, ct enfin (V) = f(V, r)f(V, r')... f(V,,(v —li). Cc qu'il fallait demontrer. LIOUVIILE.