Ich würde einfach 2 Fälle unterscheiden:
1. Fall |x| ≥ |y| . Dann
| x+y+x-y| ≤|x+y| + |x-y|
<=> |2x| ≤|x+y| + |x-y|
Wegen |x| ≥ |y| ist |2x| ≥|x| + |y|, also
|x| + |y| ≤|2x| ≤|x+y| + |x-y|.
2. Fall : |x| < |y| . Dann
| x+y-x+y| ≤|x+y| + |-x+y|
Aber |-x+y| = |x-y|
<=> |2y| ≤|x+y| + |x-y|
Wegen |x| < |y| ist |2y| > |x| + |y|, also
|x| + |y| <|2y| ≤|x+y| + |x-y|.