Note relative à l'article précédent. (Q1507142)

(Siehe auch JFM 33.0283.02) Es seien \(a_1, a_2, \dots, a_n\) \(n\) positive Zahlen, die nicht alle einander gleich sind, \(S_n ^p\) die Summe der Produkte von je \(p\) dieser Größen, \[ C_n^p = \frac {n!}{p! (n-p)!} \] ihre Anzahl; nennt man den Ausdruck \( M_p = \root p \of {S_n^p / C_n^p}\) das \(p\)-te Mittel, so ist \((M_1\) das arithmetische, \(M_n\) das geometrische Mittel und) \[ M_1 > M_2 > M_3 > \cdots > M_p > M_{p+1} > \cdots > M_n. \] Bezeichnen \(L, K, H\) die Summe der Produkte von je \(p - 2, p-1, p\) der Größen \(a\) mit Ausschlußvon \(a_1\) und \(a_2\) , so ist \(K^2 - HL > 0\). Eine Gleichung \(n\)-ten Grades, welche \(n\) positive Wurzeln hat, kann in der Form \[ x^n - \frac n1\;a_1 x^{n-1} - \frac {n (n-1)}{1\cdot 2}\;a_2^2 x^{n-2} + \cdots + (-1) ^p C_n^p (a_p)^p x^{n-p} + \cdots (-1)^n (a_n)^n = 0 \] geschrieben werden. Sollen alle ihre Wurzeln reell und positiv sein, so muß\ \(a_1 > a_2 > a_3 > \cdots > a_n > 0\) sein. Hierzu bemerkt \textit{Darboux}: Wenn die Gleichung \[ x^n - \tfrac n1\, M_1 x^{n-1} y + \frac {n(n-1)}{1\cdot 2}\;M_2^2 x^{n-2} y^2 - \cdots + (-1)^n M_n^n = 0 \] lauter reelle positive, von einander verschiedene Wurzeln hat, so gilt dies auch von den Gleichungen \[ x^2-2M_1 xy + M_2^2 y^2=0,\quad M_{k-1}^{k-1} -2M_k^k xy +M_{k+1}^{k+1} y^2= 0; \] daher ist \( M_1^2 - M_2^2> 0,\;M_4^2 - M_1 M_3^3 > 0, \dots, M_k^{2k} - M^{k-1}_{k-1}M_{k+1}^{k+1} > 0,\) daher \[ M_2 < M_1,\;M_3^3 < \frac {M_2^4}{M_1} < M_2^3, \] daher \(M_3 < M_2, \dots, M_{k-1} < Mk.\)