On Cauchy's interpolation problem. (Q1527367)

Bedeuten \(f_m(x)\), \(g_n(x)\) ganze rationale Functionen \(m^{\text{ten}}\), resp. \(n^{\text{ten}}\) Grades von \(x\), \(f_{m-1}(x):g_{n-1}(x)\) dasjenige, was aus \(f_m(x):g_n(x)\) wird, wenn \(f_m(x)\) und \(g_n(x)\) einen Factor \(x-x_0\) gemeinsam haben und dieser fortgehoben wird, so beweist der Verfasser folgenden Satz: Genügen \((m+n-\alpha+1)\) Wertpaare unter \(x_0\), \(u_0\), ..., \(x_{m+n}\), \(u_{m+n}\), etwa die letzten, der Gleichung \(u=f_{m-\alpha}(x):g_{n-\alpha}(x)\), so kann der Cauchy'schen Interpolationsaufgabe nur in der uneigentlichen Form genügt werden: \[ \frac{f_m(x)}{g_n(x)} = \frac{f_{m-\alpha}(x).(x-x_0)\dots(x-x_{\alpha-1})}{g_{n-\alpha}(x).(x-x_0)\dots(x-x_{\alpha-1})}; \] wenn ferner zufällig auch \[ \frac{f_{m-\alpha}(x_0)}{g_{n-\alpha}(x_0)} = u_0,\dots,\frac{f_{m-\alpha}(x_{\alpha-1})}{g_{n-\alpha}(x_{\alpha-1})} = u_{\alpha-1} \] ist, durch die Form: \[ \frac{f_m(x)}{g_n(x)} = \frac{f_{m-\alpha}(x)\varphi_{\alpha-1}(x)}{g_{n-\alpha}(x)\varphi_{\alpha-1}(x)}, \] wobei \(\varphi_{\alpha-1}(x)\) eine beliebige ganze Function vom Grade \(\alpha-1\) bedeutet. In jedem andern Falle ist eine einzige, eigentliche Darstellung möglich.