« Théorème de Wantzel » : différence entre les versions

 

 

{{titre|Recherches sur les moyens de reconnaître si un Problème de Géométrie peut se résoudre avec la règle et le compas|[[Auteur:Pierre-Laurent Wantzel|Pierre-Laurent Wantzel]]|Élève-Ingénieur des Pont-et-Chaussées, 1837}}

<center>Journal de mathématiques pures et appliquées 1{{re}} série, tome 2 (1837), p. 366-372</center>

 

 

Supposons qu'un problème de Géométrie puisse être résolu par

comme on vient de l'indiquer. Nous traiterons seulement ici le cas où l'équation du problème est algébrique.

 

Considérons la suite d'équations:

 

dans lesquelles ''A'' et ''B'' représentent des fonctions rationnelles des quantités données ''p , q , r ,'' ...; <math>A_1</math> et <math>B_1</math> des fonctions rationnelles de

<math>x_1</math>,''p , q , r ,'' ...; et, en général, <math>A_m</math> et <math>B_m</math> des fonctions rationnelles de <math>x_m</math> , <math>x_{m-1}</math> , ..., <math>x_1</math> , ''p , q , '' ...

Toute fonction rationnelle de <math>x_m</math> telle que <math>A_m</math> ou <math>B_m</math> , prend la forme <math>\frac{C_{m-1}x_m+D_{m-1}}{E_{m-1}x_m+F_{m-1}}</math> si l'on élimine les puissances de <math>x_m</math> supérieures à la première au moyen de l'équation <math>x_m^2 + A_{m-1}x_n + B_{m-1} = 0</math>, en désignant par <math>C_{m-1}</math>, <math>D_{m-1}</math>, <math>E_{m-1}</math>, <math>F_{m-1}</math>, des fonctions rationnelles de <math>x_{m-1}</math> , ..., <math>x_1</math> , ''p , q , '' ...; elle se ramènera ensuite à la forme <math>A'_{m-1}x_m + B'_{m-1}</math> en multipliant les deux termes de <math>\frac{C_{m-1}x_m+D_{m-1}}{E_{m-1}x_m+F_{m-1}}</math> par <math>-E_{m-1}(A_{m-1} + x_m) + F_{m-1}</math>.

 

Multiplions l'une par l'autre les deux valeurs que prend le premier membre de la dernière des équations (A) lorsqu'on met successivement à la place de <math>x_{n-1}</math> dans <math>A_{n-1}</math> et <math>B_{n-1}</math> les deux racines de l'équation précédente : nous aurons un polynôme du quatrième degré en <math>x_{n}</math> dont les coefficients s'exprimeront en fonction rationnelle de <math>x_{n-2}</math> , ..., <math>x_1</math> , ''p , q , '' ... remplaçons de même successivement dans ce polynôme <math>x_{n-2}</math> par les deux racines de l'équation correspondante, nous obtiendrons deux résultats dont le produit sera un polynôme en <math>x_{n}</math> de degré <math>2^3</math>, à coefficient rationnel par rapport à <math>x_{n-3}</math> , ..., <math>x_1</math> , ''p , q , '' ... et, en continuant de la même manière, nous arriverons à un polynôme en <math>x_{n}</math> de degré <math>2^n</math>, dont les coefficients seront des fonctions rationnelles de ''p , q , r , ...'' Ce polynôme égalé à zéro donnera l'équation finale <math>f(x_n)=0</math> ou ''f(x) = 0'', qui renferme toutes les solutions de la question. On peut toujours

en <math>x_m</math> et remplacer la racine successivement par ses deux valeurs dans les équations suivantes, ce qui ramènerait encore le système des équations ''(A)'' à deux systèmes de ''n - 1'' équations.

 

Cela posé, ''l'équation du degré <math>2^n</math>, f(x) = 0, qui donne toutes les solutions d'un problème susceptible d'être résolu au moyen de n équations du second degré, est nécessairement irréductible'', c'est-à-dire qu'elle ne peut avoir de racines communes avec une équation de degré moindre dont les coefficients soient des fonctions rationnelles

de données ''p , q , ..."

En effet, supposons qu'une équation ''F(x) = 0'', à coefficients rationnels soit satisfaite par une racine de l'équation <math>x_n^2 + A_{n-1}x_n + B_{n-1} = 0</math>, en attribuant certaines valeurs convenables aux quantités <math> x_{n-1} </math>, <math> x_{n-2} </math>, ... ,<math> x_{1} </math>. La fonction rationnelle F(<math> x_{n} </math>) d'une racine de cette dernière équation peut se ramener à la forme <math>A'_{n-1}x_n+B'_{n-1}\,</math>, en désignant toujours par <math>A'_{n-1}\,</math> et <math>B'_{n-1}\,</math> des fonctions rationnelles de <math>x_{n-1}</math> , ..., <math>x_1</math> , ''p , q , '' ...; de même <math>A'_{n-1}\,</math> et <math>B'_{n-1}\,</math> peuvent prendre l'une et l'autre la forme <math>A'_{n-2}x_{n-1}+B'_{n-2}\,</math>, et ainsi de suite; on arrivera ainsi à <math>A'_{1}x_{2}+B'_{1}\,</math>, où <math>A'_{1}\,</math> et <math>B'_{1}\,</math> peuvent être mis sous la forme <math>A'x_{1}+B'\,</math>, dans laquelle ''A' '' et ''B' ''représentent des fonctions rationnelles des données ''p , q , '' ... Puisque <math>F(x_n) = 0</math> pour une des valeurs de <math>x_n</math>, on aura <math>A'_{n-1}x_n+B'_{n-1} = 0\,</math>, et il faudra que <math>A'_{n-1}\,</math> et <math>B'_{n-1}\,</math> soient nuls séparément, sans quoi l'équation <math>x_n^2 + A_{n-1}x_n + B_{n-1} = 0</math> serait satisfaite pour la valeur <math>\frac{B'_{n-1}}{A'{n-1}}</math> qui est une fonction rationnelle de <math>x_{n-1}</math> , ..., <math>x_1</math> , ''p , q , '' ...; ce qui est impossible; de même, <math>A'_{n-1}\,</math> et <math>B'_{n-1}\,</math> étant nuls, <math>A'_{n-2}\,</math> et <math>B'_{n-2}\,</math> le seront aussi et ainsi de suite jusqu'à ''A' ''et ''B' '' qui seront nuls identiquement, puisqu'ils ne renferment que des quantités données. Mais alors <math>A'_{1}\,</math> et <math>B'_{1}\,</math>, qui prennent également la forme <math>A'x_1+B' = 0\,</math>, quand on met pour <math>x_1 </math> chacune des racines de l'équation <math>x_1^2+ Ax_1 + B = 0</math>, s'annuleront pour ces deux valeurs

de <math>x_1</math> pareillement, les coefficients <math>A'_{2}\,</math> et <math>B'_{2}\,</math> peuvent être mis sous la forme <math>A'_1x_2 + B'_1\,</math> en prenant pour <math>x_2</math> l'une ou l'autre des racines de l'équation <math>x_2^2+ A_1x_2 + B_1 = 0</math>, correspondantes à chacune des valeurs de <math>x_1</math>, et par conséquent ils s'annuleront pour les quatre valeurs de <math>x_2</math> et pour les deux valeurs de <math>x_1</math> qui résultent de la combinaison des deux premières équations ''(A)''. On démontrera de même que <math>A'_{3}\,</math> et <math>B'_{3}\,</math> seront nuls en mettant pour <math>x_3</math> les <math>2^3</math> valeurs tirées des trois premières équations ''(A)'' conjointement avec les valeurs correspondantes de <math>x_2</math> et <math>x_1</math> ; et continuant de cette manière on conclura que <math>F(x_n)</math> s'annulera pour les <math>2^n</math> valeurs de <math>x_n</math> auxquelles conduit le système de toutes les équations ''(A)'' ou pour les <math>2^n</math> racines de ''f(x) = 0''. Ainsi une équation ''F(x) = 0'' à coefficients rationnels ne peut admettre une racine de ''f(x) = 0'' sans les admettre toutes; donc l'équation f(x) = 0 est irréductible.

 

Il résulte immédiatement du théorème précédent que tout problème qui conduit à une équation irréductible dont le degré n'est pas une puissance de 2, ne peut être résolu avec la ligne droite et le cercle. Ainsi la duplication du cube, qui dépend de l'équation <math>x^3-2a^3=0</math> toujours irréductible, ne peut être obtenue par la Géométrie élémentaire. Le problème des deux moyennes proportionnelles, qui conduit à l'équation <math>x^3-a^2b=0</math> est dans le même cas toutes les fois que le rapport de ''b'' à ''a'' n'est pas un cube. La trisection de l'angle dépend de l'équation <math>x^3-\frac{3}{4}x + \frac{1}{4}a=0</math> ; cette équation est irréductible si elle n'a pas de racine qui soit une fonction rationnelle de ''a'' et c'est ce qui arrive tant que ''a'' reste algébrique; ainsi le problème ne peut être résolu en général avec la règle et le compas. Il nous semble qu'il n'avait pas encore été démontré rigoureusement que ces problèmes si célèbres chez les anciens, ne fussent pas susceptibles d'une solution par les constructions géométriques auxquelles ils s'attachaient particulièrement.

 

La division de la circonférence en parties égales peut toujours se ramener à la résolution de l'équation <math>x^m -1=0\,</math>, dans laquelle ''m'' est un nombre premier ou une puissance d'un nombre premier. Lorsque ''m'' est premier, l'équation <math>\frac{x^m -1}{x-1}=0</math> du degré ''m - 1'' est irréductible, comme M. Gauss l'a fait voir dans ses ''Disquisitiones arithmeticae'', section VII ; ainsi la division ne peut être effectuée par des constructions géométriques que si <math>m-1=2^{\alpha}</math>. Quand ''m'' est de la forme <math>a^{\alpha}</math>, on peut prouver, en modifiant légèrement la démonstration de M. Gauss que l'équation de degré <math>(a-1)a^{\alpha - 1}</math>, obtenue en égalant à zéro le quotient de <math> x^{a^{\alpha}} - 1</math> par <math> x^{a^{\alpha - 1}} - 1</math>, est irréductible ; il faudrait donc que <math>(a-1)a^{\alpha - 1}</math> fût de la forme <math>2^n</math> en même temps que ''a - 1'', ce qui est impossible à moins que ''a = 2''. Ainsi, ''la division de la circonférence en N parties ne peut être effectuée avec la règle et le compas que si les facteurs premiers de N différents de 2 sont de la forme <math>2^n+1</math> et s'ils entrent seulement à la première puissance dans ce nombre''. Ce principe est annoncé par M. Gauss à la fin de son ouvrage, mais il n'en a pas donné la démonstration.

 

Si l'on pose <math>x = k+A' \sqrt[m']{a'} +A' \sqrt[m'']{a''}+...</math>, ''m', m" , ...'' étant des puissances de 2, et ''k, A', A",..., a', a",...'' des nombres commensurables, la valeur de <math>x\,</math> se construira par la ligne droite et le cercle, en sorte que <math>x\,</math> ne peut être racine d'une équation irréductible d'un degré ''m'' qui ne soit pas une puissance de 2. Par exemple, on ne peut avoir, <math>x = A \sqrt[m]{a}</math>, si <math>( \sqrt[m]{a})^p</math> est irrationnel pour ''p < m'' ; on démontrerait facilement que <math>x\,</math> ne peut prendre cette valeur lors même que ''m'' serait une puissance de 2. Nous retrouvons ainsi plusieurs cas particuliers des théorèmes sur les nombres incommensurables que nous avons établis ailleurs.

 

=== ===

Supposons qu'un problème ait conduit à une équation de degré <math>2^n</math>, F(x) = 0 et qu'on se soit assuré que cette équation est irréductible ; il s'agit de reconnaître si la solution peut s'obtenir au moyen d'une série d'équations du second degré.

</math>

 

 

Il faudra construire l'équation f(x) = 0, à coefficients rationnels,

en identifiant, on reproduira les équations ''(A)'' dont le système équivaut à l'équation ''F(x) = 0'' ; si les conditions ne peuvent être vérifiées en donnant des valeurs rationnelles aux indéterminées introduites, le problème ne peut être ramené au second degré.

 

 

On peut simplifier ce procédé, en supposant que les racines de chacune des équations ''(A)'' donnent le dernier terme de la suivante ; ainsi, l'on peut prendre <math>B_{n-1}</math> pour l'inconnue de l'avant-dernière équation, puisque <math>B_{n-1} = b_{n-1}x_{n-1} + b'_{n-1}</math> d'où <math> x_{n-1} = \frac{B_{n-1}-b'_{n-1}}{b_{n-1}}</math> ; de cette manière les éliminations se font plus rapidement et l'on introduit quatre quantités indéterminées dans l'équation du quatrième degré qui résulte de la première élimination, huit dans l'équation du huitième degré, etc., en sorte que les conditions obtenues en identifiant, sont en même nombre que les quantités à déterminer. Mais on écarte aussi à l'avance le cas où l'une

des quantités telle que <math>b_{n-1}</math> serait nulle, et il faut étudier ce cas séparément.

 

 

Soit, par exemple, l'équation <math>x^4 + px^2 + qx + r = 0\,</math>. Prenons de

En prenant <math>x_1</math> pour dernier terme de la deuxième équation du second degré, on a exclu le cas où ce terme serait indépendant de la racine de la première équation; mais en le traitant directement, on ne trouve aucune solution de la question qui ne soit comprise dans les équations ci-dessus.

 

 

Ainsi, par un calcul plus ou moins long, on pourra toujours s'assurer si un problème donné est susceptible d'être résolu au moyen d'une série d'équations du second degré, pouvu qu'on sache reconnaître si une équation peut être satisfaite par une fonction rationnelle des données, et si elle est irréductible. Une équation de degré ''n'' sera irréductible lorsqu'en cherchant les diviseurs de son premier membre de degrés1, 2, ..., n/2 , on n'en trouve aucun dont les coefficients soient fonctions rationnelles des quantités données.

 

Ces procédés sont d'une application pénible en général, mais on peut les simplifier et obtenir des résultats plus précis dans certains cas très étendus, que nous étudierons spécialement.