e(a+b)/2 <1/2*ea + 1/2*eb
ea/2 * eb/2 < ( ea + eb ) / 2
wurzel( ea * eb ) < ( ea + eb ) / 2
Das ist die Ungleichung von arithmetischen und geometrischen Mittel
für den Spezialfall der Zahlen e
a und e
b Beweis
( e
a/2 - e
b/2 )^2 > 0 wenn a ungleich b, weil Quadrate dann immer positiv.
binom. Formel
e
a -2*e
a/2 * e
b/2 + e
b > 0
e
a + e
b > 2*e
a/2 * e
b/2 | :2
1/2*e
a + 1/2*e
b > e
a/2 * e
b/2 = e
(a+b)/2 q.e.d.