Théorème sur la moyenne arithmétique de quantités positives. (Q1470588)

Es wird mit sehr einfachen Mitteln der folgende Satz bewiesen: Ist \(f(x)=\sum a_nx^n\) eine Potenzreihe mit positivem Konvergenzradius, deren Koeffizienten von \(a_2a_n\geqq 0\) sind, und sind \(x_1,x_2,\dots,x_p\) positive Zahlen, deren Summe kleiner ist als der Radius jener Potenzreihe, so gilt, wenn noch \[ \frac{x_1+x_2+\cdots+x_p}{p}=\mu_1,\;\frac{f(x1)+f(x_2)+\cdots+f(x_p)}{p}=M \] gesetzt wird, die doppelte Abschätzung \[ f(\mu)\leqq M\leqq \frac{1}{p}[f(p\mu)+(p-1)f(0)]. \] Die Grenzen werden (bei sonst beliebigem \(f(x)\) erreicht, wenn alle \(x_\nu\) einander gleich sind bzw. wenn alle bis auf eines verschwinden. -- Von dieser Ungleichung werden die mannigfachsten Anwendungen gegeben. Sind z. B. \(\alpha,\beta,\gamma\) die Winkel eines Dreiecks, so ist \[ e^\alpha+e^\beta+e^\gamma=a+\vartheta b \] mit \(a=8,5489\dots,b=16,5913\dots\) und \(0\leqq\vartheta\leqq 1\). Liefert \(x_1=x_1(t),\dots,x_p=x_p(t)\) für \(0\leqq t\leqq 1\) einen Bogen im \(p\)-dimensionalen Raum, bei dem alle \(x_\nu\) mit \(t\) monoton wachsen und für \(t=1\) sich bez. um \(X_\nu\) vermehrt haben, so gilt für die Länge \(s\) des Bogens \[ s=\vartheta(X_1+X_2+\cdots+X_p)\;\text{mit}\;\frac{1}{\sqrt p}\leqq\vartheta\leqq 1. \] Andere Anwendungen beziehen sich noch auf die Lage der Integrale gewisser gewöhnlicher oder partieller Differentialgleichungen. (IV 4, 9, 12.)