Sur la division algébrique appliquée aux polynômes homogènes. (Q1524691)

Bezeichnen \(g\) und \(f\) zwei binäre Formen der Grade \(n\), resp. \(p\) (\(n\geqq p\)) der Variabeln \(x_1\), \(x_2\), bedeuten \(y_1\), \(y_2\) zwei andere, den ersteren covariante, unbestimmte Grössen, und setzt man \[ \begin{aligned} Y_p^{(m)} &= (-1)^p \binom mp y_1^p y_2^{m-p},\\ (xy)^m &= x_1^mY_0^{(m)} + x_1^{m-1}x_2Y_1^{(m)} +\cdots+ x_2^mY_m^{(m)},\end{aligned} \] so lassen sich stets in eindeutiger Weise zwei Formen \(q\), \(f_1\) von den Graden \(n-p\), resp. \(p-1\) in Bezug auf \(x_1\), \(x_2\) so bestimmen, dass die Identität besteht: \[ g + f.q + (xy)^{n-p+1}f_1 = 0. \] Diese Formen \(q\), \(f_1\) werden in Determinantenform dargestellt. Man kann nun, dem bekannten Kettenbruchverfahren analog, fortfahren und Formen \[ q_1, q_2, \dots, q_{p-1}, f_2, f_3, \dots, f_p \] so bestimmen, dass man die Identitäten hat: \[ \begin{aligned} f_0 + f_1q_1 + (xy)^2f_2 &= 0,\\ f_1 + f_2q_2 + (xy)^2f_3 &= 0,\\ .\quad.\quad.\quad.\quad.\quad.\quad&.\quad.\quad.\\ f_{p-2} + f_{p-1}q_{p-1} + (xy)^2f_p &= 0.\end{aligned} \] Aus diesen Relationen ergeben sich die Bedingungen für einen gemeinschaftlichen Teiler der beiden Formen \(f\) und \(g\) (das Verschwinden einer gewissen Covariante). Setzt man speciell \[ f = y_1\frac{\partial g}{\partial x_1} + y_2\frac{\partial g}{\partial x_2}, \] so sind die Formen \(f_1\), \(f_2\), ..., \(f_p\) die Sturm'schen Functionen der binären Form \(g\). Endlich werden in Determinantenform, die Bedingungen dafür angegeben, dass \(g\) gleiche Linearfactoren besitzt.