The eliminant of a net of curves. (Q1454457)

\textit{Sylvester} hat 1841 die Resultante \(R\) von drei ternären Formen \(c_n\) der Ordnung \(n\) in Form einer Determinante angegeben; die Gleichung \(R = 0\) sagt aus, daß die drei Kurven \(c_n\) einen gemeinsamen Punkt besitzen. Indessen läßt diese Determinante ihren invarianten Charakter nicht erkennen. Überdies erhebt sich die Frage der Bestimmung des bei \(R = 0\) eintretenden gemeinsamen Punktes. Hier wird nicht nur \(R\) in invarianter Determinantengestalt abgeleitet, sondern auch gezeigt, wie sich durch Ränderung von \(R\) jener gemeinsame Punkt gewinnen läßt. \textit{Salmon} betrachtete 1858 einen Konnex vom dritten Grade in den Koeffizienten, der die Restschnittpunkte \(y\) der Tangente einer \(c_{m-1}\) in einem Punkte \(x\) ausschneidet. Für einen Doppelpunkt \(d_2\) der \(c_{m-1}\) wird \(y\) unbestimmt; es ergeben sich so \(m (m +1)/2\) \, \(c_{2m-2}\) durch den \(d_2\). Da auch alle ersten Polaren den \(d_2\) enthalten, so erhält man im ganzen \(3m (m-1)/2\) linear unabhängige \(c_{2m-2}\), deren Resultante sich als Determinante schreiben läßt. Um dies übersichtlich auszuführen, und zugleich mit der Hauptaufgabe in organischen Zusammenhang zu bringen, wird ein auch an sich bemerkenswerter Hilfssatz herangezogen. Seien \(a\), \(b\), \(c\), \(d\) vier Variable, und \(H_n\) die Form \[ \sum a^n + \sum a^{n-1}b + \sum a^{n-2}b^2 + \sum a^{n-2}bc + \cdots, \] die für \(a = 0\) in \(H_n^{(a)}\) übergehe. Dann besteht die Identität \[ H_n - aH_{n-1} \equiv H_n^{(a)}. \] Diese vier Identitäten multipliziere man mit vier weiteren Variabeln \(a_1\), \(b_1\), \(c_1\), \(d_1\) und addiere, so kommt \[ H_n\sum a_1 - H_{n-1}\sum a a_1 \equiv H_n^{(a)}\sum a_1. \] Nun setze man für die beiden Variabelnreihen in zyklischer Folge die symbolischen Klammerprodukte: \[ a_1 = (\alpha x) (\beta\gamma\delta), \dots, \quad a = (\alpha y) (\beta x) (\gamma x) (\delta x), \dots, \] wo \((x)\) und \((y)\) zwei Punkte der Ebene bedeuten. Dann verschwinden \(\sum a_1\) und \(\sum a a_1\), und man erhält: \(\sum H_n^{(a)} a_1 = 0\). Dies liefert, anders ausgedrückt, den Satz : Für vier Kurven \((\alpha x)^m\), \((\beta x)^m\), \((\gamma x)^m\), \((\delta x)^m\) besteht die in den Koeffizienten lineare Syzygie: \[ \sum (\delta x)^m (\alpha\beta\gamma) \cdot \sum(\alpha x)^{\mu + \nu} (\beta x)^{\nu + \lambda} (\gamma x)^{\lambda + \mu} (\alpha y)^\lambda (\beta y)^\mu (\gamma y)^\nu \equiv 0 \tag{"(I)"} \] \[ (\lambda + \mu + \nu = m - 1). \] Haben im besonderen die Kurven \(\alpha\), \(\beta\), \(\gamma\) einen Punkt gemein, so geht (I) gerade in den obigen Konnex über, da \((y)\) unbestimmt bleibt. Damit ist der gewünschte Zusammenhang hergestellt und zugleich eine übersichtliche Determinanten-Darstellung der Resultante \(R\) ermöglicht. Für diese Resultante gibt es noch eine zweite Darstellung \(R^\prime\), da außer dem obigen linearen Konnex noch ein zweiter, aus Polaren zusammengesetzter existiert. Nunmehr ist, wenn \(R\) resp. \(R^\prime\) verschwindet, der dem Netze \((\alpha, \beta, \gamma)\) gemeinsame Punkt zu bestimmen. Diese Aufgabe wird einer allgemeineren untergeordnet. Rändert man \(R_1\), resp. \(R^\prime\) mit Potenzen von zwei Variabeln \(\xi\), \(\eta\), so gelangt man zu den zum Netze apolaren Kurven der Ordnung \(2m - 2\), resp. \(2m - 1\), und im besondern zu der einzigen apolaren Kurve der Ordnung \(2m - 3\). Verschwindet die geränderte Determinante \(R\) resp. \(R^\prime\) identisch, so hat das Netz zwei Grundpunkte gemein. Dies Verfahren läßt sich fortsetzen; bei \(n\) gemeinsamen Punkten hat man mit \(n\)-mal geränderten Determinanten \(R\), \(R^\prime\) zu operieren. Instruktive Beispiele dienen zur Erläuterung. (V 5 C.)