oaowi2 Je Wantzel - Wikisource Théoréme de Wantzel La bibliothéque libre. Pierre-Laurent Wantzel Recherches sur les moyens de reconnaitre si un Probléme de Géométrie peut se résoudre avec la régle et le compas Eléve-Ingénieur des Pont-ct-Chaussées, 1837 Jounal de mathématiques pures et appliquées 1'* série, tome 2 (1837), p. 366-372 Sommaire L Supposons qui probléme de Géométrie puisse étre résoht par des intersections de lignes droites et de circonférences de cercle : si fon joint les points ainsi obtenus avec les centres des cercles et avec les points qui déterminent les droites on formera un enchainement de triangles rectilignes dont les éléments pourront étre caleulés par les formules de la Trigonométrie; d'ailleurs ces formules sont des équations algsbriques qui ne renferment les c6tés et les lignes trigonométriques des angles qu'au premier et au second degré; ainsi Tincomue principale du probime 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. frvikisource.orgikiThéordme_de_Wantzo! 118aptiia “Théoréme de Wantzl- Wikisource D'aprés cela, pour reconnaftre si a construction d'un probleme de Géométrie peut s'efféctuer 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 Tindiquer. Nous traiterons seulement ici le cas od Féquation du problime est algébrique. I. Considérons la suite d'équations: a?+Ar,+B=0 3+ Aye, + By 0 nt + An-2n-1 + Br-2 = 0 72 + An12n + Bn =0 dans lesquelles A et B représentent des fonctions rationnelles des quantités données p , qr, ..i.Ay et By des fonctions rationnelles dex p,q, 7, ..; et, en général, A,, et B,, des fonctions rationnelles de Xp) 5 Xqy—1 +» X15P+q.- Cn1tm + Din~ Toute fonction rationnelle de x, telle que 4,, ou By, , prend la forme 1" mF “m=! si ton élimine les Eitm + Fn puissances de x,, supérieures 4 la premiére au moyen de féquation y? 4 4), 40, + Bm. = 0 désignant par Cy — 1, Dy 1+ Em — 1» Fn — 1» de fonctions rationnelles de Xyq— 1 5X] 4P.q, selle se Cm—1%m + Din— raminera ensuite & la forme A’, — y+ By en muiipliant es deux termes de ©™—1%m F Pat yay — Em—1m + Fmt Em—Am—1 + Xm) + Fim 1- Mutiplions Tune par Tautre les deux valeurs que prend le premier membre de la demiére des équations (A) Jorsquion met successivement a la place de x, — ; dans 4,, — ; et B, — 1 les deux racines de Téquation précédente : nous aurons un polyndme du quatritme degré en.x, dont les coeflicients s'exprimeront en fonction rationnelle dex, 2 51%] +P, q, ~~ remplagons de méme successivement dans ce polynéme x, — > par les deux racines de Féquation correspondante, nous obtiendrons deux résultats dont le produit sera un polynéme en x, de degré 25, a coefficient rationnel par rapport & x, 3,-4.1 .P.q, . et en continuant de la méme manire, nous arriverons & un polyndme en x, de degré 2”, dont les coefficients seront des fonctions rationnelles de p,q, r, ... Ce polyndme égalé a zéro domnera !équation finale f(,) = 0 ou fi) = 0, qui renferme toutes les solutions de la question. On peut toujours supposer quiavant de faire le calcul on a réduit les équations (4) au plus petit nombre possible. Alors. une quekeonque d'entre elles Titi + Am®m+i + Bm = 0. 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 xj) .... X15 Pq, -. quon peut mettre sous la forme Al 12m + Be yet lon aurait 4’, + BY,_, = 0; ontirerait de cette relation une valeur rationnelle de x,, qui substituée dans Téquation du second degré en x», conduirait & un résultat de k forme A’ yr, -+ BY 9 =O En continuant ainsi, on arriverait 4 4’7, + B! = 0); c'est-a-dire que Téquation x + Ax, + B= 0 aurait frvikisource.orgikiThéordme_de_Wantzo! 216aptiia “Théoréme de Wantzl- Wikisource pour racines des fonctions ratiomnelles de p, q, ...;e syste des équations (A) pourrait done étre remplacé par deux systémes de 7 - [ Equations de second degré, indépendants Tun de fautre, ce qui est contre la supposition. Situne des relations intermédiaires 4’ 47,1 + Bi, 9 = 0, parexempl, était satisfaite identiquement, les deux racines de Péquationy? + Ay,_1m -+ By—1 = 0)seraient des fonctions rationnelles de 2p — 1 , sy 15 Pour toutes les valeurs que peuvent prendre ces quanti en sorte qu'on pourrait supprimer Téquation enx,, et remplacer la racine successivement par ses deux valeurs dans es équations suivantes, ce qui raménerait encore le systéme des équations (A) 4 deux systémes de 1 - / équations I Cela posé, Méquation du degré 2”, ffx) = 0, qui donne toutes les solutions d'un probleme susceptible d'etre résolu au moyen de n équations du second degré, est nécessairement irréductible, c'est-a-dire quielle ne peut avoir de racines communes avec une équation de degré moindre dont les coefficients soient des fonctions rationnelles de données p, , En effet, supposons qu'une équation F(x) = 0, a coefficients rationnels soit satisfaite par une racine de Téquation 22 + An1%q_ + By = 0. en attribuant certaines valeurs convenables aux quantités x, — 1, —2, 21. La fonction rationnelle F(r,) d'une racine de cette demigre équation peut se ramener a la forme Al _iZn + By en désignant toujours par Al yet Bi, 4s fonctions rationnelles de x, — 1, ....01 5p) +, 3deméme A’, et BY _ peuvent prendre tune et fautre la forme A’ yr, + BY.» etaimsi de suite; on arrivera ainsi a Airy + By ot Aj et Bi peuvent étre mis sous ka forme 4/7) 4 B’, dans laquelle 4’ et B' représentent des fonctions rationnelles des données p , q , ... Puisque F(x,) = 0 pour une des valeurs de x, on aura Al_ifn + By = 0, et il faudra que Al. yet Bi 4 Soient nus séparément, 12, + B,_1 = 0) serait satisfaite pour a valeur —"—1 _ qui est une n— sans quoi Téquation x? + 4 fonction rationnelle de x,,— 1 , Aly et Bi» le seront at renferment que des quantités données. Mais alors 4’ et BY, qui prenment également la forme Ax, + B! = 0b quand on met pour x; chacune des racines de Téquation x7 + Ar; + B=0. s'annuleront pour ces deux valeurs de x, pareillement, les coefficients AY et Bi peuvent étre mis sous la forme Aly + Bi en prenant pour x7 Tune ou Tautre des racines de Péquation 2? 4+ Ayr + B, = 0s correspondantes & chacune des valeurs de x), et par conséquent ils s‘annuleront pour les quatre valeurs de x et 1 Stant nls, i et ainsi de suite jusqu’a A’ et B' qui seront nuls identiquement, puisquiils ne pour les deux valeurs de x; qui résultent de la combinaison des deux premigres équations (4). On démontrera de méme que A’, et Bi, seront nuls en mettant pour x3 les 23 valeurs tirées des trois premigres équations (4) conjointement avec les valeurs correspondantes de xp et.x ; et continuant de cette manigre on conchura que F(x,) s‘annulera pour les 2” valeurs de x,, auxquelles conduit le systtme de toutes les équations (4) ou pour les 2” racines de fix) = 0. Ainsi une équation F(x) = 0 & coeflicients rationnels ne peut admettre une racine de ff) = 0 sans les admettre toutes; done équation f(x) = 0 est iréductible. IV Irésulte immédiatement du théoréme précédent que tout probléme qui conduit & une équation iméductible dont le degré niest pas une puissance de 2, ne peut étre résolu avec la ligne droite et le cercle. Ainsi la duplication du frvikisource.orgikiThéordme_de_Wantzo! 316