Over de stelling van \textit{Nöther}. (Q1474049)

In der bekannten Abhandlung von \textit{Brill-Noether} (F. d. M. 6, 251 (JFM 06.0251.*),1874) bildet den Ausgangspunkt die Identität \((1) F_3 \equiv AF_1+ BF_2,\) falls die Kurve \(F_3\) in jedem Punkte, der für die Kurve \(F_1\) ein \(p\)-fachen und für die Kurve \(F_2\) ein \(q\)-facher ist, einen \((p+ q -1)\)-fachen Punkt besitzt. Hier wird ein einfacher Beweis des Satzes gegeben, der auf direkter Untersuchung der Resultante beruht. Ist \[ (1)\quad F_1(x,y)\equiv a_0x^m+\cdots+a_m = 0,\;(2)\quad F_2(x,y) = b_0 x^n +\cdots+b_1 = 0, \] so stellt man nach Elimination von \(x\) die \textit{Sylvester}sche Resultaute \((3)\varrho (y)=0\) auf. Es besteht dann eine Identität der Form: \[ (4)\quad \varrho \equiv PF_1 + QF_2, \] wo \(P\) und \(Q\) höchstens von den Graden \(n -1\) und \(m -1\) in \(x\) sind. Durch Division mit \(F_1F_2\) entsteht andererseits aus \(F_3\) eine Identität der Form: \[ (5)\quad F_3 = qF_1F_2 + F_3^\prime, \] und hieraus vermöge (4). \[ (6)\quad \varrho F_3^\prime\equiv PF_3^prime F_1 + QF_3^prime F_2. \] Wendet man hier auf die beiden Terme rechterhand nochmals die Division mit \(F_1F_2\) an, so gelangt man sofort zur Identität (1), zunächst unter der einfachsten Annahme daß\ die Kurven \(F_1\) und \(F_2\) nur einfache, getrennte Schnittpunkte gemein haben. Von hier aus kann man aber stufenweise durch geeignete Modifikationen des Beweises bis zum allgemeinsten Falle vordringen.