On certain formulae concerning the theory of discriminants; with applications to discriminants of discriminants, and to the theory of polar curves. (Q1564441)

Wir bezeichnen \(f(y)=a_m y^m+a_{m-1} y^{m-1} + \cdots +a_1 y+a_0.\; \varXi\) sei die Discriminante von \(f\); die \(a\) sind Function von \(x\). Ferner sei \[ \varXi' =\frac{\partial\varXi}{\partial x};\quad \varXi_k =\frac {\partial\varXi} {\partial a_k},\quad \varXi_{ki}= \frac{\partial^2 \varXi} {\partial \alpha_k\partial \alpha_i}\,\dots;\quad (s_i t_k \dots)= \sum_{i,k\dots} s_i t_k \ldots \] Wenn \(x=\xi\) eine Wurzel von \(\varXi=0\), und \(y=\eta\) die entsprechende Doppelwurzel von \(f(y)=0\) ist, gilt die Formel \[ \frac{\partial f(\eta)}{\partial a_k} \varXi' (\xi)=\varXi_k \frac {\partial f(\eta)}{\partial \xi}. \] Man kann \(\frac{\partial f(\eta)}{\partial a_k}\) stets von 0 verschieden annehmen. Verschwindet also \(\varXi\) von höherem, als dem ersten Grade, so ist entweder \(\varXi_k=0\) oder \(\frac{\partial f(\eta)}{\partial \xi}=0.\) Sei \(1)\;\varXi_k=0, \frac{\partial f(\eta)}{\partial \xi}\) nicht=0. Verschwindet \(\varXi\) von der Ordnung \(\mu\) für \(x=\xi\), so hat \(f \; \mu\) Paare Doppelwurzeln \(\eta_1, \eta_2 \ldots \eta_{\mu}\), wobei das Zusammenfallen von 2 Paaren Doppelwurzeln \(\eta_1, \eta_2\) eine dreifache Wurzel anzeigt, Hierfür hat man die Formel \[ \left(\frac{\partial f(\eta_1)}{\partial a_{i_1}} \frac{\partial f(\eta_2)}{\partial a_{i_2}}\,\cdots\right)=\mu!\quad \varXi_{i_1 i_2} \ldots \frac {\partial f(\eta_1)}{\partial \xi}\;\cdots\;\frac{\partial f(\eta_\mu)}{\partial\xi}\,. \] Ist \(2)\quad \frac{\partial f(\eta)}{\partial \xi}=0, \varXi_k\) nicht \(=0\), so erhält man ähnliche Resultate \[ \text{z.B.}\quad \frac{\partial f(\eta)}{\partial a_k}\;\varXi'' (\xi) =\varXi_k \frac{d^2 f(\eta)}{\partial \xi^2}. \] Bildet man die Discriminante \(D\) von \(\varXi\), so tritt diese unter der Form auf \(D=\varDelta B^2.C^3\), wobei (vorausgesetzt dass \(a_k =a_n^{(k)} x^n +\cdots +\alpha_0^{(k)}\) \(B=0\) von der Ordnung \(4n(m-2)(m-3)\) in den \(\alpha_{i}^{(k)}\) ist und die Bedingung anzeigt, dass \(f(y)\) für einen bestimmten Werth von \(x\) 2 Doppelwurzeln hat; wobei \(C=0\) von der Ordnung \(6n(m-2)\) die Bedingung für eine dreifache Wurzel; und \(\varDelta=0\) von der Ordung \(6mn-4(m+n)+4\) die Bedingung ist, dass für eine Doppelwurzel \(\eta\) von \(f(y)\) der Differenzialcoefficient \(\frac{\partial f(\eta)}{\partial \xi}\) verschwindet. Der Satz bleibt auch dann bestehen, wenn \(f\) eine Function mehrerer Veränderlichen ist. Ist für homogene Coordinaten \(v=\varSigma a_{k \lambda \mu} x_1^k x_2^{\lambda} x_3^{\mu}\), \(k+\lambda +\mu =r\) gegeben, und die \(a\) sind Functionen \(m^{\text{ter}}\) Ordnung von \(y_1\), \(y_2\), \(y_3,\) so möge der Punkt \(y_1 y_2 y_3\) in erweiterter Bedeutung der Pol der entsprechenden Curve \(v\) heissen. Die Pole \((y)\) der Curven \(v\) mit Doppelpunkten bilden eine Curve \(\varDelta\) (Discriminante von \(v\)) der Ordung \(3m(r-1)^2\). Der Ort der Doppelpunkte von \(v\) ist eine Curve \(k\) der \(3m^2(r-1)^{\text{ten}}\) Ordung. Die Pole \((y)\), für welche \(v\) 2 Doppelpunkte oder eine Spitze hat, sind Doppelpunkte bez. Spitzen von \(\varDelta\). Es ist \(\varDelta\) von der Classe \(3m(r-1)(2mr-m-r+1).\) Betrachtet man nun eine Curve \(u\) von der Ordnung \(n=m+r,\) so bilden die ersten, zweiten u. s. w. Polarcurven \textit{aller} Punkte der Ebene Systeme von Curven \(v\). Die Curve \(\varDelta\) für die \(m^{\text{ten}}\) Polarcurven ist gleich der Curve \(k\) für die \((n-m-1)^{\text{ten}}\) Polarcurven und umgekehrt. Steiner nennt diese Curven, ``conjugirte Kerncurven.'' Sie mögen \(s^{(\lambda)}\) bezeichnet werden, wo \(\lambda\) den Grad der Polarcurven angiebt, für die \(s^{(\lambda)}\) die Curve \(\varDelta\) ist. \(S^{(m)}\) und \(S^{(n-m-1)}\) entsprechen sich also punktweise. Die Tangenten von \(S^{(m)}\) sind die Linearpolaren der Punkte von \(S^{(n-m-1)}\) in Bezug auf die \((m-1)^{\text{ten}}\) Polaren der entsprechenden Punkte von \(S^{(m)}\). Die \((n-m)^{\text{ten}}\) Polaren der Punkte von \(S^{(n-m-1)}\) berühren \(S^{(m)}\) in den entsprechenden Punkten. Die \((m+1)^{\text{ten}}\) Polaren der Punkte von \(S^{(m)}\) berühren \(S^{(n-m-1)}\).