On definite polynomials. (Q1480013)

Es handelt sich um den Beweis des Satzes: Wenn \[ f(x)=c_0+c_1x+\dots +c_{2n}x^{2n} \] ein reelles, nicht identisch verschwindendes Polynom ist, das für jeden reellen Wert von \(x\) positiv oder Null ist, so sind \[ \begin{aligned} f_1(x)=&f(x)+f'(x)+\dots +f^{(2n)}(x),\\ f_2(x)=&f(x)+\frac{1}{1\,!}f''(x)+\frac{1}{2\,!} f^{(\prime\prime\prime\prime)}(x),+\dots + \frac{1}{n\,!}f^{(2n)}(x)\end{aligned} \] für jeden reellen Wert von \(x\) positiv. Für \(f_1(x)\) hat dies der Verf. früher bewiesen, für \(f_2(x)\) ist der Satz in den an \textit{Hilbert}s Beweis des \textit{Waring}schen Satzes sich anschließenden Arbeiten benutzt worden (F. d. M. 40, 236 (JFM 40.0236.*), 1909). Der Verf. gibt einen sehr einfachen Beweis, indem er zuerst \(f(x)\) als Summe von Quadraten darstellt und dann für jedes Quadrat die den Funktionen \(f_1(x)\) und \(f_2(x)\) entsprechenden Funktionen direkt als Summe von Quadraten darstellt.