Hier brauch man überhaupt keinen Widerspruchsbeweis.
Aber man kann natürlich von hinten durch die Brust ins Auge einen Widerspruchsbeweis daraus machen. Zum Beispiel so:
Wir wissen:
(1) \(|a+b| \leq |a| + |b|\)
(2) \(\frac x{1+x}= 1-\frac 1{1+x}\) ist streng monoton wachsend für \(x\geq 0\)
Wir \( \color{red}{\text{nehmen nur mal an }}\), dass \( \frac{|a+b|}{1+|a+b|} {\color{red}{>}} \frac{|a|}{1+|a|}+\frac{|b|}{1+|b|} \).
Wir wissen aber folgendes:
\(\frac{|a|}{1+|a|}+\frac{|b|}{1+|b|} \geq \frac{|a|}{1+|a|+|b|}+\frac{|b|}{1+|b|+|a|}=\ldots\)
\(\ldots = \frac{|a|+|b|}{1+|a|+|b|} \stackrel{(1),(2)}{\color{blue}{\geq}} \frac{|a+b|}{1+|a+b|}\)
Das ist ein \(\color{blue}{\text{Widerspruch zur}}\) \(\color{red}{\text{Annahme}}\).