Note on a property of bigradient arrays connected with Sylvester's dialytic eliminant. (Q1459975)

Wird \[ \begin{matrix} \underbrace{\left| \begin{matrix} \l & \l & \l & \r \\ a_0 &\;0 &\;0 &\;\cdots \\ a_1 &\;a_0 &\;0 &\;\cdots \\ a_2 &\;a_1 &\;a_0 &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ a_m &\;a_{m-1}&\;a_{m-2}&\;\cdots \\ 0 &\;a_m &\;a_{m-1}&\;\cdots \\ 0 &\;0 &\;a_m &\;\cdots \\ 0 &\;0 &\;0 &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ 0 &\;0 &\;0 &\;\cdots \end{matrix} \right. } & \underbrace{\left. \begin{matrix} \l & \l & \l & \l \\ b_0 &\;0 &\;0 &\;\cdots \\ b_1 &\;b_0 &\;0 &\;\cdots \\ b_2 &\;b_1 &\;b_0 &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ b_n &\;b_{n-1}&\;b_{n-2}&\;\cdots \\ 0 &\;b_n &\;b_{n-1}&\;\cdots \\ 0 &\;0 &\;b_n &\;\cdots \\ 0 &\;0 &\;0 &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ \cdot &\;\cdot &\;\cdot &\;\cdots \\ 0 &\;0 &\;0 &\;\cdots \\ \end{matrix} \right| }\\ n+r \;\text{Spalten} & m+r \;\text{Spalten} \end{matrix} =\varDelta_r, \quad (r\geqq 0) \] gesetzt, so leitet der Verf. aus der Theorie der Resultanten ab, daß jeder Minor \((m + n + 1)\)-ter Ordnung von \(\varDelta_1\) durch \(\varDelta_0\) teilbar ist, und daß die dabei auftretenden Quotienten bzw. den Wert \[ (-1)^{m-1}b_0, (-1)^{m-2}b_1, \ldots, a_0, -a_1, a_2, \ldots \] haben. Zwar formuliert er eine entsprechende Eigenschaft für beliebiges \(r \geqq 1\), aber wie er bemerkt, ist der Beweis für \(r > 1\) nicht vollständig.