Merkwaardige producten en quotiënten. (Q1491567)

Sind die \(p\) Zahlen \(a, b, c,\dots, l\) gegeben und sind \(b_1, b_2,\dots, b_n\) die \(n\) Wurzeln der Gleichung \(x^n - b^n = 0\), ebenso \(c_1, c_2,\dots, c_n\) die Wurzeln der Gleichung \(x^n - c^n = 0\), usw., so kann man die \(n^{p - 1}\) Ausdrücke von der Form \[ a + b_i + c_j + \dots + l_k \] bilden, worin die Indizes \(i, j,\dots, k\) unabhängig voneinander die Werte \(1, 2,\dots, n\) annehmen können. Das Produkt \(\sum_p^n\) dieser Ausdrücke ist bekanntlich eine rationale ganze symmetrische Funktion der Größen \(a^n, b^n, \dots, l^n\). Diese Funktion ist die ganze rationale Funktion niedrigsten Grades der Größen \(a^n, b^n, \dots, l^n\), die durch \(a + b + \cdots + l\) teilbar ist; sei \(Q\) der Quotient. Der Verf. gibt für \(p = 3\) ein dem \textit{Pascal}schen Dreieck ähnliches Verfahren um \(Q\), und dadurch auch \(\sum_3^n\) zu bestimmen. Dieses beruht darauf, daß in \(Q\) die Koeffizienten von \(a^{\alpha - 1} b^\beta c^\gamma\), \(a^\alpha b^{\beta - 1} c^\gamma\) und \(a^\alpha b^\beta c^{\gamma-1}\) eine Summe Null haben, wenn \(\alpha, \beta, \gamma\) nicht alle durch \(n\) teilbar sind (was sofort einleuchtet) und sonst in dem Verhältnis \(\alpha: \beta: \gamma\) zueinander stehen; der Beweis, den Verf. in einem Nachtrag von der letztgenannten Eigenschaft gibt, ist aber nicht richtig. Analoges gilt für \(p > 3\); das Dreieck muß\ dann für \(p = 4\) durch ein Tetraeder und für \(p > 4\) durch ein \((p - 1)\)-dimensionales Simplex ersetzt werden; auf das letzte geht Verf. aber nicht ein.