ANALISE.
Exposé d’une méthode propre à faciliter l’élimination,
dans les équations des degrés supérieurs ;
Par M. Kramp, professeur, doyen de la faculté des sciences
de l’académie de Strasbourg.
≈≈≈≈≈≈≈≈≈
1. En nous proposant l’équation générale du degré
, nous la présenterons, pour la commodité du calcul, sous la forme
![{\displaystyle \mathrm {(N)} \qquad \lambda y^{n}=ay^{n-1}+by^{n-2}+cy^{n-3}+dy^{n-4}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/da20118821f9861ef9b88d556146eb937740c372)
Si on la multiplie, de part et d’autre, par
en mettant pour
dans le second membre de l’équation résultante, sa valeur donnée par l’équation même, elle deviendra
![{\displaystyle \lambda ^{2}y^{n+1}=(aa+\lambda b)y^{n-1}+(ab+\lambda c)y^{n-2}+(ac+\lambda d)y^{n-3}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d142f5834da4b0406859dc77dc610b782bfe328)
équation que, pour abréger, nous écrirons ainsi
![{\displaystyle \lambda ^{2}y^{n+1}=a'y^{n-1}+b'y^{n-2}+c'y^{n-3}+d'y^{n-4}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/70b5557131b6455c688bc13fd7be77802824479a)
Multipliant encore de part et d’autre par
en mettant toujours pour
dans le second membre, la valeur donnée par la proposée, elle deviendra
![{\displaystyle \lambda ^{3}y^{n+2}=(aa'+\lambda b')y^{n-1}+(ba'+\lambda c')y^{n-2}+(ca'+\lambda d')y^{n-3}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3257d3a49a1f9c261cd0d253c95a62228c196bd1)
En continuant de même, on parviendra à donner à toutes les puissances de
supérieures à
des formes polynomiales parfaitement
analogues à celle de cette dernière puissance ; et si, pour abréger, on fait
![{\displaystyle {\begin{aligned}\lambda y^{n}=&ay^{n-1}+by^{n-2}+cy^{n-3}+\ldots \\\lambda y^{n+1}=&a'y^{n-1}+b'y^{n-2}+c'y^{n-3}+\ldots \\\lambda y^{n+2}=&a''y^{n-1}+b''y^{n-2}+c''y^{n-3}+\ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/310f2cae282b90ee8b389a3043507ff442f6dcdf)
. . . . . . . . . . . . . . .
on parviendra à trouver les valeurs littérales de tous ces, coefficiens au moyen de l’algorithme fort simple que voici :
2. De ces séries on en peut déduire d’autres à l’aide desquelles chacun de ces coefficiens pourra être immédiatement déduit de ceux
qui le précéderont dans la même série. On trouve d’abord, pour la série des coefficiens
![{\displaystyle \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acf9dc33200865e3e43ca0b157963c5a85cb09f2)
ainsi les coefficiens
/n forment une série récurrente dont l’échelle de relation est de manière que la série indéfinie
![{\displaystyle a+a'x+a''x^{2}+a'''x^{3}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4807ac246ae84b2c13c1e45e0417b3d8dd7e526d)
est le développement de la fraction suivante :
![{\displaystyle {\frac {a+\lambda bx+\lambda ^{2}cx^{2}+\lambda ^{3}dx^{3}+\ldots }{1-ax-\lambda bx^{2}-\lambda ^{2}cx^{3}-\lambda ^{3}dx^{4}-\ldots }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0de0c97be91a264ff4af8959d936f76c31bc1e53)
On trouvera de même, pour la série des coefficiens
![{\displaystyle \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acf9dc33200865e3e43ca0b157963c5a85cb09f2)
ainsi les coefficiens
forment une série récurrente dont l’échelle de relation est la même que ci-dessus ; en sorte que la série indéfinie
![{\displaystyle b+b'x+b''x^{2}+b'''x^{3}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/13f8dd80e792be307414d5c44e32a9f4e2821236)
est le développement de la fraction suivante ;
![{\displaystyle {\frac {b+\lambda cx+\lambda ^{2}dx^{2}+\lambda ^{3}ex^{3}+\ldots }{1-ax-\lambda bx^{2}-\lambda ^{2}cx^{3}-\lambda ^{3}dx^{4}-\ldots }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/902180998ad8fa499ee4e91524193f0da8250364)
Les coefficiens
auront les valeurs littérales qui
suivent :
![{\displaystyle \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acf9dc33200865e3e43ca0b157963c5a85cb09f2)
ces valeurs forment encore une série récurrente ayant même échelle de relation que les précédentes, en sorte que la série indéfinie
![{\displaystyle c+c'x+c''x^{2}+c'''x^{3}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/176083b4a5f21eb1593c3487b179d6bfd022e615)
est le développement de la fraction
![{\displaystyle {\frac {c+\lambda dx+\lambda ^{2}ex^{2}+\lambda ^{3}fx^{3}+\ldots }{1-ax-\lambda bx^{2}-\lambda ^{2}cx^{3}-\lambda ^{3}dx^{4}-\ldots }}~;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dadab60067b151ea3126f179db54a4310f0dcbd6)
et il en irait absolument de même pour les autres séries de valeurs
3. Qu’on ait présentement, outre l’équation
du degré
, une autre équation
, aussi en
, mais d’un autre degré quelconque
, supérieur à
, en mettant dans cette dernière, pour
![{\displaystyle y^{n},y^{n+1},y^{n+2},\ldots ,y^{m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ab3f32f985a8646bd95cc6d64c0d308b2cbde4e)
les valeurs de ces puissances déduites de la première, par le procédé très-simple que nous venons d’exposer ; elle ne sera plus que du degré
On aura donc, à la place des proposées, deux équations, des degrés
et
qui, en leur appliquant le même procédé, en feront trouver une nouvelle du degré zéro ; en poursuivant donc de la même manière, on parviendra enfin à une équation du degré zéro ; ce sera l’équation de condition qui devra exister entre les coefficiens des deux équations proposées, pour qu’elles puissent subsister ensemble[1] ; c’est-à-dire, pour qu’il y ait un facteur commun entre elles. Sur quoi il est nécessaire d’observer que si, avant d’arriver a cette
équation du degré zéro, on en rencontre une dont tous les coefficiens soient zéro, celle qui la précédera sera facteur commun aux
deux proposées, indépendamment de toute détermination de leurs coefficiens.
4. La question se trouvant réduite, dès la première opération,
ainsi qu’on vient de le voir, à éliminer l’inconnue
entre deux
équations dont les degrés ne diffèrent seulement que d’une unité,
nous allons examiner ce cas en particulier, et présenter, comme
modèle, les deux équations
![{\displaystyle {\begin{aligned}0=&Ay^{n}+By^{n-1}+Cy^{n-2}+Dy^{n-3}+Ey^{n-4}+\ldots \\0=&ay^{n-1}+by^{n-2}+cy^{n-3}+dy^{n-4}+ey^{n-5}+\ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2b2d9a9ddc3524036b0939f75f3880043c6def0)
Appliquant la méthode précédente à ces deux équations, on en déduira une troisième du degré
et, si l’on désigne cette dernière par
![{\displaystyle 0=a'y^{n-2}+b'y^{n-3}+c'y^{n-4}+d'y^{n-5}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f25862fa3492bb9ad225c5e40c7f1273593af63)
les expressions littérales des coefficiens
seront celles qui suivent :
![{\displaystyle {\begin{aligned}a'=&b(Ab-Ba)-a(Ac-Ca),\\b'=&c(Ab-Ba)-a(Ad-Da),\\c'=&d(Ab-Ba)-a(Ae-Ea),\\d'=&e(Ab-Ba)-a(Af-Fa),\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58ce205f462b8a9a49901888dadcbbf00611df70)
![{\displaystyle \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6738827e4da2f53660bb22a0a33ea02b8e5052ae)
EXEMPLE I. Déterminer le diviseur commun aux deux polynômes ?
Première opération.
Équations données :
![{\displaystyle \left\{{\begin{aligned}0=&5y^{3}-2y^{2}-3y+8,\\0=&3y^{2}-7y+2.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/865cb6a88bbaf81d980b670dc56d6e78ccedc421)
![{\displaystyle {\begin{array}{llll}A=+5,&a=+3,&Ab-Ba=-29,&a'=+146=2\cdot 73~;\\B=-2,&b=-7,&Ac-Ca=+19,&b'=+14=2\cdot 7~;\\C=-3,&c=+2,&Ad-Da=-24~;\\D=+8~;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cb70c023074a1254e6185e5067227017981a8e4)
Troisième équation :
![{\displaystyle 0=73y+7.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48b9aaf9919ed0dfe823d07cde64260645e60fb7)
Seconde opération.
Équations données :
![{\displaystyle \left\{{\begin{aligned}0=&3y^{2}-7y+2,\\0=&73y+7.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d8fcdafb2b6199010a1499773105553a2b2babc)
![{\displaystyle {\begin{array}{llll}A=+3,&a=+73,&Ab-Ba=+532,&a'=-14382.\\B=-7,&b=+7,&Ac-Ca=-146~;\\C=+2~;\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48d7639115890877d5b13809db9cc2107e3d1cae)
Troisième équation :
![{\displaystyle 0=14382.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/841fa795df1bc27d323849b6fac7b325bb794a1d)
L’absurdité de cette dernière équation fait voir que les deux polynomes proposés n’ont point de facteur commun.
EXEMPLE II. Déterminer le facteur commun aux deux polynômes.
Première opération.
Équations données :
![{\displaystyle \left\{{\begin{aligned}0=&5y^{5}-27y^{4}+22y^{3}+17y^{2}-49y+24,\\0=&3y^{4}-22y^{3}+46y^{2}-31y+6.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99030ce6ee1f4b95a2c3970218cd112533653c58)
![{\displaystyle {\begin{array}{llll}A=+5,&a=+3,&Ab-Ba=-29,&a'=+146=2\cdot 73,\\B=-27,&b=-22,&Ac-Ca=+164,&b'=-716=-2\cdot 358,\\C=+22,&c=+46,&Ad-Da=-206,&c'=+368=+2\cdot 184,\\D=+17,&d=-31,&Ae-Ea=+177,&d'=+42=+2\cdot 21,\\E=-49,&e=+6,&Af-Fa=-72~;\\F=+24~;&\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63c90edded22a178e77c722f011272de2e4030d0)
Troisième équation :
![{\displaystyle 0=73y^{3}-358y^{2}+184y+21.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf0bb808d876c0fe08c9b02a6b9c2133cb19b9bd)
Équations données :
![{\displaystyle \left\{{\begin{aligned}0=&3y^{4}-22y^{3}+46y^{2}-31y+6,\\0=&73y^{3}-358y^{2}+184y+21.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/594377802648c234dece03bdf0e2291d6dcfde61)
![{\displaystyle {\begin{array}{llll}A=+\,\ 3,&a=+\,\ 73,&Ab-Ba=+\,\ 532,&a'=+14382=+14382\cdot 1,\\B=-22,&b=-358,&Ac-Ca=-2806,&b'=-71910=-14382\cdot 5,\\C=+46,&c=+184,&Ad-Da=+2326,&c'=+43146=+14382\cdot 3,\\D=-31,&d=+\,\ 21,&Ae-Ea=-\,\ 438\,;\\E=+\,\ 6~;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60d9b68f5d895519efd89ef333d1bab7b47baf49)
Troisième équation :
![{\displaystyle 0=y^{2}-5y+3.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0727f72b25150bbe590a4da7893b3bf9732fd5b2)
Troisième opération.
Équations données :
![{\displaystyle \left\{{\begin{aligned}0=&73y^{3}-358y^{2}+184y+21,\\0=&y^{2}-5y+3.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12f172a87c526ca3032b8073c6e9fc1bb82b06bb)
![{\displaystyle {\begin{array}{llll}A=+\,\ 73,&a=+1,&Ab-Ba=-\,\ 7,&a'=0,\\B=-358,&b=-5,&Ac-Ca=+35,&b'=0,\\C=+184,&c=+3,&Ad-Da=-21~;\\D=+\,\ 21~;\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83e8cef6d990f6552109da6936dd075dc58bad13)
Troisième équation :
Cette équation identique,
nous apprend donc que
est le diviseur commun des deux polynômes proposés.
5. La recherche du facteur commun le plus élevé, entre deux polynômes proposés, conduit à la détermination des racines égales. Dans
mon Arithmétique universelle (page 268) j’ai démontré le théorème
général qui suit : Si l’on désigne par,
le commun diviseur le plus élevé entre le polynôme
et sa première dérivée
; par
le commun diviseur le plus élevé entre
et sa première dérivée
; par
le commun diviseur le plus élevé entre
et sa première dérivée
et ainsi de suite ; le produit des facteurs simples de
sera
celui des facteurs doubles
celui des facteurs triples
et ainsi des autres, de manière qu’on aura
![{\displaystyle \mathrm {X=\left({\frac {XX''}{X'^{2}}}\right)\left({\frac {X'X'''}{X''^{2}}}\right)^{2}\left({\frac {X''X''''}{X'''^{2}}}\right)^{3}\ldots } }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae68fbed947c6e9855f302b4866eaa36657a40ae)
Nous allons appliquer le théorème, aussi bien que la méthode, au polynôme proposé dans l’endroit que nous venons de citer, et qu’il serait bien difficile de décomposer, en y employant les méthodes ordinaires.
EXEMPLE. On propose de déterminer si le polynôme
![{\displaystyle X=y^{9}+2y^{8}+y^{7}+6y^{6}+7y^{5}-2y^{4}+3y^{3}+2y^{2}-12y-8}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03a47d4f3827e50fc5aa45d26e86a6bd3bcb943a)
a des facteurs égaux ; et, au cas qu’il en ait de tels, de les mettre en évidence ?
On a ici
![{\displaystyle \operatorname {D} X=9y^{8}+16y^{7}+7y^{6}+36y^{5}+35y^{4}-8y^{3}+9y^{2}+4y-12}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f39b157562933211d4ff907fba8f4af405fb2f0)
ce qui donne lieu aux opérations suivantes :
Première opération.
Équations ![{\displaystyle \left\{{\begin{aligned}0=&y^{9}+2y^{8}+y^{7}+6y^{6}+7y^{5}-2y^{4}+3y^{3}+2y^{2}-12y-8,\\0=&9y^{8}+16y^{7}+7y^{6}+36y^{5}+35y^{4}-8y^{3}+9y^{2}+4y-12.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96cf96fd2b9ee4731ea20a60bfc5875c6abb1321)
![{\displaystyle {\begin{array}{llll}A=+\ \,1,&a=+\ \ 9,&Ab-Ba=-\ \ 2,&a'=-\,\ 14=-2\cdot \,\ \ 7,\\B=+\ \,2,&b=+\,16,&Ac-Ca=-\ \ 2,&b'=+148=+2\cdot \ 74,\\C=+\ \,1,&c=+\ \ 7,&Ad-Da=-18,&c'=+180=+2\cdot \ 90,\\D=+\ \,6,&d=+\,36,&Ae-Ea=-28,&d'=-160=-2\cdot \ 80,\\E=+\ \,7,&e=+\,35,&Af-Fa=+10,&e'=+178=+2\cdot \ 89,\\F=-\ \,2,&f=-\ \ 8,&Ag-Ga=-18,&f'=+108=+2\cdot \ 54,\\G=+\ \,3,&g=+\ \ 9,&Ah-Ha=-14,&g'=-872=-2\cdot 436,\\H=+\ \,2,&h=+\ \ 4,&Ai\ -I\,\ a=+96,&h'=-624=-2\cdot 312,\\I\,\ =-12,&i\ =-12,&Ak\,-Ka=+72~;\\K=-\,\ 8~;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c661d6f644fceb8bdcb7b60478aa7d94e20a4c6e)
Seconde opération.
Équations ![{\displaystyle \left\{{\begin{aligned}0=&9y^{8}+16y^{7}+7y^{6}+36y^{5}+35y^{4}-8y^{3}+9y^{2}+4y-12.\\0=&7y^{7}-74y^{6}-90y^{5}+80y^{4}-89y^{3}-54y^{2}+436y+312.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3ef6c490642273b1654d5cfc122fe246017953d)
![{\displaystyle {\begin{array}{llll}A=+\,\ 9,&a=+\ \ \ 7,&Ab-Ba=-\ \,778,&a'=+81\cdot \,\ 785,\\B=+16,&b=-\,\ 74,&Ac-Ca=-\ \,859,&b'=+81\cdot \,\ 824,\\C=+\,\ 7,&c=-\,\ 90,&Ad-Da=+\ \,468,&c'=-81\cdot \,\ 678,\\D=+36,&d=+\,\ 80,&Ae-Ea=-1046,&d'=+81\cdot \,\ 892,\\E=+35,&d=-\,\ 89,&Af-Fa=-\ \,430,&e'=+81\cdot \,\ 185,\\F=-\,\ 8,&f=-\,\ 54,&Ag-Ga=+3861,&f'=-81\cdot 4428,\\G=+\,\ 9,&g=+436,&Ah-Ha=+2780,&g'=-81\cdot 3004,\\H=+\,\ 4,&h=+312,&Ai\ -I\ \,a=+\ \ \ \ 84~;\\I\ \,=-12~;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e71b027a96bade238e7d53d322fa4533c8bbe724)
Troisième opération.
Équations ![{\displaystyle \left\{{\begin{aligned}0=&7y^{7}-74y^{6}-90y^{5}+80y^{4}-89y^{3}-54y^{2}+436y+312,\\0=&785y^{6}+824y^{5}-678y^{4}+892y^{3}+185y^{2}-4428y-3004.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75dc9cbb3ba1665be30559a15eb074a6a6adb8c1)
![{\displaystyle {\begin{array}{llll}A=+\ \ \ 7,&a=+\,\ 785,&Ab-Ba\,=+\,\ 63858,&a'=+9408\cdot \,\ 94,\\B=-\,\ 74,&b=+\,\ 824,&Ac-Ca\,=+\,\ 65904,&b'=+9408\cdot 117,\\C=-\,\ 90,&c=-\,\ 678,&Ad-Da=-\,\ 56556,&c'=+9408\cdot 117,\\D=+\,\ 80,&d=+\,\ 892,&Ae-Ea\,=+\,\ 71160,&d'=+9408\cdot 305,\\E=-\,\ 89,&d=+\,\ 185,&Af-Fa\,=+\,\ 11394,&e'=+9408\cdot 257,\\F=-\,\ 54,&f=-4428,&Ag-Ga\,=-363288,&f'=+9408\cdot \,\ 46,\\G=+436,&g=-3004,&Ah-Ha=-244920~;\\H=+312~;\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f715349a34156ee1d1f2ba89e16a1e924ab83a7)
Quatrième opération.
Équations ![{\displaystyle \left\{{\begin{aligned}0=&785y^{6}+824y^{5}-678y^{4}+892y^{3}+185y^{2}-4428y-3004,\\0=&94y^{5}+117y^{4}+117y^{3}+305y^{2}+257y+46.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a9a494fc7cb6608c88d4d53eaedf21d1546a7d3)
![{\displaystyle {\begin{array}{llll}A=+785,&a=+94,&Ab-Ba=+14389,&a'=+12940725\cdot 1,\\B=+824,&b=+117,&Ac-Ca=+155577,&b'=+12940725\cdot 1,\\C=-678,&c=+117,&Ad-Da=+155577,&c'=+12940725\cdot 1,\\D=+892,&d=+305,&Ae-Ea=+184355,&d'=+12940725\cdot 3,\\E=+185,&d=+257,&Af-Fa=+452342,&e'=+12940725\cdot 2,\\F=-4428,&f=+46,&Ag-Ga=+282376~;\\G=-3004\,;&&\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60169adc8b32b890cbd350d3219a33c6301460e5)
Cinquième opération.
Équations ![{\displaystyle \left\{{\begin{aligned}0=&94y^{5}+117y^{4}+117y^{3}+305y^{2}+257y+46.\\0=&y^{4}+y^{3}+y^{2}+3y+2.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aecaacd1f3f05dcb2a5ddcea8df3e99256624aa8)
![{\displaystyle {\begin{array}{llll}A=+94,&a=+1,&Ab-Ba=-23,&a'=0,\\B=+117,&b=+1,&Ac-Ca=-23,&b'=0,\\C=+117,&c=+1,&Ad-Da=-23,&c'=0,\\D=+305,&d=+3,&Ae-Ea=-69,&d'=0,\\E=+257,&d=+2,&Af-Fa=-46~;\\F=+46~;\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fa381103989a6e015a5e68703759e7cbce2e9d4)
On aura donc, pour le commun diviseur le plus élevé entre le polynôme proposé
et sa première dérivée
![{\displaystyle \qquad \qquad \qquad X'=y^{4}+y^{3}+y^{2}+3y+2,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fe7b9a00e15073fffcba3829bc8210fa2d2b6a9)
d’où
![{\displaystyle \qquad \quad \quad \mathrm {D} X'=4y^{3}+3y^{2}+2y+3~;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/483bb402a3075460258c7f22df3011a3d5f9f2ba)
ce qui donnera lieu aux opérations suivantes :
Première opération.
Équations ![{\displaystyle \left\{{\begin{aligned}0=&y^{4}+y^{3}+y^{2}+3y+2,\\0=&4y^{3}+3y^{2}+2y+3.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b215eeb8c9a4e373c07c97f36373e459fb9fb9cd)
![{\displaystyle {\begin{array}{llll}A=+1,&a=+4,&Ab-Ba=-1,&a'=+5,\\B=+1,&b=+3,&Ac-Ca=-2,&b'=+34,\\C=+1,&c=+2,&Ad-Da=-9,&c'=+29,\\D=+3,&d=+3,&Ae-Ea=-8~;\\E=+2~;\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/574a877f23ad5d7a5c33c5ed0fd712c5275bf47d)
Seconde opération.
Équations ![{\displaystyle \left\{{\begin{aligned}0=&4y^{3}+3y^{2}+2y+3,\\0=&5y^{2}+34y+29.\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54634c917ee2133fe07f8d58672df746e3146bfd)
![{\displaystyle {\begin{array}{llll}A=+4,&a=+\,\ 5,&Ab-Ba=+121,&a'=+3584\cdot 1,\\B=+3,&b=+34,&Ac-Ca=+106,&b'=+3584\cdot 1,\\C=+2,&c=+29,&Ad-Da=-\,\ 15~;\\D=+3~;\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9475886a0c3089f68632fbada4ff48d8ccac255)
Troisième opération.
Équations ![{\displaystyle \left\{{\begin{aligned}0=&5y^{2}+34y+29,\\0=&y+1,\\\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/730456b079191cabb19e1bdc1cee37c82007269b)
![{\displaystyle {\begin{array}{llll}A=+\,\ 5,&a=+1,&Ab-Ba=-29,&a'=0,\\B=+34,&b=+1,&Ac-Ca=-29~;\\C=+29~;\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d811e5a1e572aaa3994b0cf83b0f8c42755116b6)
On aura donc
![{\displaystyle \qquad \qquad \qquad \qquad \ X''=y+1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8510eeac7d27cf8283c9ef7b8267b255331d7efb)
d’où
![{\displaystyle \qquad \qquad \quad \quad \operatorname {D} X''=1~;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f010487a60e8a7bac5b57fc39146b31b7317053)
le diviseur commun le plus élevé entre ces deux fonctions étant
d’où
et
l’opération se termine ici.
Ayant donc
![{\displaystyle {\begin{array}{ll}X&=y^{9}+2y^{8}+y^{7}+6y^{6}+7y^{5}-2y^{4}+3y^{3}+2y^{2}-12y-8,\\X'&=y^{4}+\ \ y^{3}+y^{2}+3y\ \ +2,\\X''&=y\ \ +1,\\X'''&=1,\\X''''&=1~;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a550e222ef785af13dec18d88d3208475b5505da)
on aura
![{\displaystyle {\begin{aligned}{\frac {X'X'''}{X''^{2}}}=&{\frac {(y^{4}+y^{3}+y^{2}+3y+2)}{(y+1)^{2}}}=y^{2}-y+2,\\{\frac {X''X''''}{X'''^{2}}}=&{\frac {(y+1)}{1^{2}}}=y+1~;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c707994734f338cd4346a356ba1eb2a43c911c9)
en conséquence, le polynôme proposé équivaudra à
![{\displaystyle (y^{2}+y-2)(y^{2}-y+2)^{2}(y+1)^{3}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9e18acefb8b77dadbc15748c211a034c53db508)