Théorème de Wantzel

La bibliothèque libre.
Aller à : navigation, rechercher


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
Élève-Ingénieur des Pont-et-Chaussées, 1837
Journal de mathématiques pures et appliquées 1re série, tome 2 (1837), p. 366-372

I.[modifier]

Supposons qu'un problème de Géométrie puisse être résolu par des intersections de lignes droites et de circonférences de cercle : si l'on joint les points ainsi obtenus avec les centres des cercles et avec les points qui déterminent les droites on formera un enchaînement de triangles rectilignes dont les éléments pourront être calculés par les formules de la Trigonométrie; d'ailleurs ces formules sont des équations algébriques qui ne renferment les côtés et les lignes trigonométriques des angles qu'au premier et au second degré; ainsi l'inconnue principale du problème s'obtiendra par la résolution d'une série d'équations du second degré dont les coefficients seront fonctions rationnelles des données de la question et des racines des équations précédentes. D'après cela, pour reconnaître si la construction d'un problème de Géométrie peut s'effectuer avec la règle et le compas, il faut chercher s'il est possible de faire dépendre les racines de l'équation à laquelle il conduit de celles d'un système d'équations du second degré composées comme on vient de l'indiquer. Nous traiterons seulement ici le cas où l'équation du problème est algébrique.

II.[modifier]

Considérons la suite d'équations:

dans lesquelles A et B représentent des fonctions rationnelles des quantités données p , q , r , ...; et des fonctions rationnelles de ,p , q , r , ...; et, en général, et des fonctions rationnelles de , , ..., , p , q , ...

[modifier]

Toute fonction rationnelle de telle que ou , prend la forme si l'on élimine les puissances de supérieures à la première au moyen de l'équation , en désignant par , , , , des fonctions rationnelles de , ..., , p , q , ...; elle se ramènera ensuite à la forme en multipliant les deux termes de par .

[modifier]

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 dans et les deux racines de l'équation précédente : nous aurons un polynôme du quatrième degré en dont les coefficients s'exprimeront en fonction rationnelle de , ..., , p , q , ... remplaçons de même successivement dans ce polynôme par les deux racines de l'équation correspondante, nous obtiendrons deux résultats dont le produit sera un polynôme en de degré , à coefficient rationnel par rapport à , ..., , p , q , ... et, en continuant de la même manière, nous arriverons à un polynôme en de degré , dont les coefficients seront des fonctions rationnelles de p , q , r , ... Ce polynôme égalé à zéro donnera l'équation finale ou f(x) = 0, qui renferme toutes les solutions de la question. On peut toujours supposer qu'avant de faire le calcul on a réduit les équations (A) au plus petit nombre possible. Alors une quelconque d'entre elles , ne peut pas être satisfaite par une fonction rationnelle des quantités données et des racines des équations précédentes. Car, s'il en était ainsi, le résultat de la substitution serait une fonction rationnelle de , ..., , p , q , ... qu'on peut mettre sous la forme et l'on aurait ; on tirerait de cette relation une valeur rationnelle de qui substituée dans l'équation du second degré en conduirait à un résultat de la forme . En continuant ainsi, on arriverait à ; c'est-à-dire que l'équation aurait pour racines des fonctions rationnelles de p, q, ...; le système des équations (A) pourrait donc être remplacé par deux systèmes de n - 1 équations de second degré, indépendants l'un de l'autre, ce qui est contre la supposition. Si l'une des relations intermédiaires , par exemple, était satisfaite identiquement, les deux racines de l'équation seraient des fonctions rationnelles de , ..., , pour toutes les valeurs que peuvent prendre ces quantités, en sorte qu'on pourrait supprimer l'équation en 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.

III[modifier]

[modifier]

Cela posé, l'équation du degré , 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 , ..."

[modifier]

En effet, supposons qu'une équation F(x) = 0, à coefficients rationnels soit satisfaite par une racine de l'équation , en attribuant certaines valeurs convenables aux quantités , , ... ,. La fonction rationnelle F() d'une racine de cette dernière équation peut se ramener à la forme , en désignant toujours par et des fonctions rationnelles de , ..., , p , q , ...; de même et peuvent prendre l'une et l'autre la forme , et ainsi de suite; on arrivera ainsi à , où et peuvent être mis sous la forme , dans laquelle A' et B' représentent des fonctions rationnelles des données p , q , ... Puisque pour une des valeurs de , on aura , et il faudra que et soient nuls séparément, sans quoi l'équation serait satisfaite pour la valeur qui est une fonction rationnelle de , ..., , p , q , ...; ce qui est impossible; de même, et étant nuls, et 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 et , qui prennent également la forme , quand on met pour chacune des racines de l'équation , s'annuleront pour ces deux valeurs de pareillement, les coefficients et peuvent être mis sous la forme en prenant pour l'une ou l'autre des racines de l'équation , correspondantes à chacune des valeurs de , et par conséquent ils s'annuleront pour les quatre valeurs de et pour les deux valeurs de qui résultent de la combinaison des deux premières équations (A). On démontrera de même que et seront nuls en mettant pour les valeurs tirées des trois premières équations (A) conjointement avec les valeurs correspondantes de et  ; et continuant de cette manière on conclura que s'annulera pour les valeurs de auxquelles conduit le système de toutes les équations (A) ou pour les 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.

IV[modifier]

[modifier]

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 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 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  ; 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.

[modifier]

La division de la circonférence en parties égales peut toujours se ramener à la résolution de l'équation , dans laquelle m est un nombre premier ou une puissance d'un nombre premier. Lorsque m est premier, l'équation 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 . Quand m est de la forme , on peut prouver, en modifiant légèrement la démonstration de M. Gauss que l'équation de degré , obtenue en égalant à zéro le quotient de par , est irréductible ; il faudrait donc que fût de la forme 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 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.

[modifier]

Si l'on pose , m', m" , ... étant des puissances de 2, et k, A', A",..., a', a",... des nombres commensurables, la valeur de se construira par la ligne droite et le cercle, en sorte que 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, , si est irrationnel pour p < m ; on démontrerait facilement que 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.

V.[modifier]

[modifier]

Supposons qu'un problème ait conduit à une équation de degré , 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é.

Reprenons les équations (A) :

[modifier]

Il faudra construire l'équation f(x) = 0, à coefficients rationnels, qui donne toutes les valeurs de et l'identifier avec l'équation donnée F(x) = 0. Pour faire ce calcul on remarque que et se ramènent à la forme et , en sorte que l'élimination de entre les deux dernières équations (A) se fait immédiatement, ce qui donne une équation du quatrième degré en  ; on y remplacera ensuite par , par , par , par et , par et , puis on éliminera entre l'équation du 4ème degré déjà obtenue et l'équation  ; et ainsi de suite. Les derniers termes des séries , , ,..., , ,..., etc, doivent être des fonctions rationnelles des coefficients de F(x) = 0 ; si l'on peut leur assigner des valeurs rationnelles qui satisfassent aux équations de condition obtenues 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é.

[modifier]

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 pour l'inconnue de l'avant-dernière équation, puisque d'où  ; 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 serait nulle, et il faut étudier ce cas séparément.

[modifier]

Soit, par exemple, l'équation . Prenons de suite les équations du second degré sous la forme et  ; en éliminant et identifiant, on aura,

, , , ,

d'où

, , , .

Comme B, a et sont exprimés rationnellement au moyen de A, p, q, r, il faut et il suffit que l'équation du troisième degré en A ait pour racine une fonction rationnelle des données. La condition est toujours satisfaite quand q = 0, quels que soient p et r, car A = p satisfait alors à la dernière équation.

En prenant 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.

[modifier]

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.

La question peut donc toujours être ramenée à rechercher si une équation algébrique F(x) = 0 à une seule inconnue peut avoir pour racine une fonction de ce genre. Pour cela, il y a plusieurs cas à considérer. 1°) Si les coefficients ne dépendent que de nombres donnés entiers ou fractionnaires, il suffira d'appliquer la méthode des racines commensurables. 2°) Il peut arriver que les données représentées par les lettres p, q, r soient susceptibles de prendre une infinité de valeurs, et que la condition cesse d'ëtre remplie, comme quand elles désignent plusieurs lignes prises arbitrairement : alors, après avoir ramené l'équation F(x) = 0 à une forme telle que ses coefficients soient des fractions entières de p, q, r,... et que celui du premier terme soit l'unité, on remplacera par , et l'on égalera à 0 les coefficients des différentes puissances dans le résultat; les équations obtenues en , ... seront traitées comme l'équation entière, c'est-à-dire qu'on y remplacera ces quantités par des fonctions entières de q, et ainsi de suite jusqu'à ce qu'ayant épuisé toutes les lettres on soit arrivé à des équations numériques qui rentreront dans le premier cas. 3°) Lorsque les données sont des nombres irrationnels, ils doivent être racines d'équations algébriques qu'on peut supposer irréductibles; dans ce cas, si l'on remplace par , dans F(x) = 0, le premier membre de l'équation en p, ainsi obtenue, devra être divisible par celui de l'équation irréductible dont le nombre p est racine ; en exprimant que cette division se fait exactement, on aboutit à des équations en , ,..., que l'on traitera comme l'équation F(x) = 0, jusqu'à ce que l'on parvienne à des équations numériques. On doit remarquer que m peut toujours être pris inférieur au degré de l'équation qui donne p.

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.