Method to find the greatest common measure of two rational integral functions of \(x\). (Q1552972)

Bezout bildet die Resultante der beiden ganzen Functionen \[ \varphi(x)= a_0 x^n+\cdots +a_n, \, \psi(x)=b_0 x^n+\cdots +b_n \] indem er die Functionen \(n-1\)ten Grades \[ f_r= \begin{vmatrix} \varphi(x) & a_0 x^r+\cdots +a_r \\ \psi(x) & b_0 x^r+\cdots +b_r \end{vmatrix} \quad (r=0,1,\dots \,n-1) \] die alle denselben grössten gemeinsamen Theiler wie \(\varphi\) und \(\psi\) haben, aufstellt und dann die Determinante aus den Coefficienten derselben gleich Null setzt. Herr Falk zeigt, dass, wenn \[ a_0:a_1:a_2:\cdots :a_r =b_0:b_1:b_2:\cdots :b_r\, \text{und} \, a_0b_{r+1} -a_{r+1}b_0 \gtrless 0) \] ist, dann \(f\) und \(f_{r+1}\) zur Aufsuchung des grössten gemeinsamen Theilers von \(\varphi\) und \(\psi\) benutzt werden können. Er wendet auf \(f,\, f_{r+1}\) dieselbe Methode an, bis er zu zwei Functionen gelangt, deren Coefficienten sämtlich in Proportion stehen, so dass jede dieser Functionen als der gesuchte Theiler betrachtet werden kann. Die Methode erfordert nur Multiplication und Subtraction, keine Division.