Der Satz vom geometrischen und arithmetischen Mittel. (Q2586460)

Die Ungleichung \((a_1 a_2 \cdots a_n)^{\tfrac1n}\leqq \dfrac1n (a_1 + a_2 + \cdots +a_n)\) für positive \(a_\nu\) kann durch Induktion bewiesen werden, indem man das an der Stelle \(x = (a_1a_2 \cdots a_n)^{\tfrac1n}\) eintretende Minimum der Funktion \[ f(x) = \dfrac{1}{n+1} (a_1+\cdots + a_n + x) (a_1 a_2 \cdots a_n x)^{\tfrac1{n+1}} \] im Gebiete \(x > 0\) als nichtnegativ nachweist; auch die Bedingungen für die Gleichheit erhält man auf diesem Wege.