Zur Theorie der symmetrischen Funktionen. (Q1485907)

Der Fundamentalsatz, daß sich die ganzen symmetrischen Funktionen der Wurzeln \(x_1,x_2,\dots,x_n\) von \(f(x)=a_0x^n+a_1x^{n-1}+\cdots +a_n\) als rationale Funktionen der \(a_i\) darstellen lassen, wird hier in neuer Weise bewiesen. Man führe neben \(f(x)\) noch eine zweite Funktion \(\varphi (x)=b_0x^n+b_1x^{n-1}+\cdots +b_n\) mit den Wurzeln \(x^\prime_1,x^\prime_2,\dots ,x_n\) ein und bilde die \textit{Sylvester}sche Determinante \(\Delta\). Es verschwindet \(\Delta\), wenn \(f\) und \(\varphi\) eine Wurzel gemein haben. Um zur Umkehrung zu gelangen, setze man in \(\Delta:\;a_i=(-1)^ia_0\sum x_1x_2\dots x_i, b_i=(-1)^ib_0\sum x^\prime_1x^\prime_2 \dots x^\prime_i\), so erschließt man die Darstellung (1) \(\Delta=a_0^n \varphi (x_1)\varphi(x_2)\dots\varphi(x_n)F_n\). Hier ist \(F_n\) eine Konstante, die man berechnen kann, indem man für \(f\) und \(\varphi\) spezielle Funktionen, z. B. \(f(x)=x^n\), \(\varphi(x)=x^n+1\), einsetzt. Es ergibt sich \(F_n=1\). Daher muß der Koeffizient irgendeines Produktes \(b_{\alpha_1}b_{\alpha_2}\dots b_{\alpha_n}\) der \(b\) auf der rechten und linken Seite von (1) der gleiche sein; er wird dann für \(\beta_i=n-\alpha_i\) rechts gleich \(a_0^n\sum x_1^{\beta_1}x_2^{\beta_2}\dots x_n^{\beta_n}\). Man erhält daher diese symmetrische Funktion durch die Koeffizienten \(a_i\) ausgedrückt, wenn man auch in der Resultante \(\Delta\) den Koeffizienten von \(b_{\alpha_1}b_{\alpha_2}\dots b_{\alpha_n}\) sucht, wobei als Zahlenkoeffizienten keine Brüche auftreten können. Es wird weiter gezeigt, wie man den fraglichen Koeffizienten nach einer einfachen Regel bestimmt, wenn \(\Delta\) nicht ausgerechnet, sondern nur in Determinantenform vorliegt.