|a+b| + |a-b| >= |2a|
Beide Seiten sind nicht negativ, also ist quadrieren eine
Äquivalenzumformung und gibt
<=> (|a+b| + |a-b| )^2 >= |2a|^2 = 4a^2
<=> |a+b| ^2 + 2|a+b|* |a-b| + |a-b| ^2 >= 4a^2
<=> (a+b)^2 + 2|a+b|* |a-b| + (a-b) ^2 >= 4a^2
<=> a^2 + 2ab +b^2 + 2|a+b|* |a-b| + a^2 - 2ab + b^2 >= 4a^2
<=> 2b^2 + 2|a+b|* |a-b| >= 2a^2
<=> |a+b|* |a-b| >= a^2-b^2
<=> |a+b|* |a-b| >= (a+b)*(a-b)
Und das Produkt zweier Zahlen ist
immer kleiner oder gleich dem Produkt
ihrer Beträge. q.e.d.