Ein Satz über definite Polynome. (Q1440211)

Bedeutet \(R(x)\) ein positiv definites Polynom mit reellen Koeffizienten von einem Grad \(\leqq 2n\), das der Bedingung \[ \int_{-1}^{+1} R(x)dx=1 \] genügt, und \(P_n(x)\) das \(n\)-te \textit{Legendre}sche Polynom, dann gilt für jedes reelle \(x\) und alle Polynome \(R(x)\): \[ R(x) \leqq \frac{n+1}{2} \{ P_n(x) P_{n+1}'(x) -P_{n+1}(x)P_n'(x) \}. \] Es gibt stets Polynome \(R(x)\), für die bei willkürlich vorgeschriebenem \(x\) das Gleichheitszeichen gilt.