Darfst du die Dreiecksungleichung \(|a+b|\leq |a|+|b|\) als bekannt voraussetzen?
Wenn ja, könntest du es so machen:
\(|a+b|-|b|\leq |a|+|b|-|b|=|a|\) (Dreiecksungleichung).
Für \(a:=c+d, b:=-d\) ergibt sich \(|c|-|d|\leq |c+d|.\)
Für \(a:=c+d, b:=-d\) ergibt sich \(|d|-|c|=-(|c|-|d|)\leq |c+d|.\)
Aus diesen beiden Ungleichungen folgt: \(\left||c|-|d|\right|\leq|c+d|.\)