Kann das sein, dass du in der ersten Gleichung ein Quadrat unterschlagen hast?
|x1 + x2|2 ≤ 2·|x1|2 + 2·|x2|^2
mit x1 = a + bi und x2 = c + di
a^2 + 2·a·c + b^2 + 2·b·d + c^2 + d^2 ≤ 2·(a^2 + b^2 + c^2 + d^2)
2·a·c + 2·b·d ≤ a^2 + b^2 + c^2 + d^2
0 ≤ a^2 - 2·a·c + c^2 + b^2 - 2·b·d + d^2
0 ≤ (a - c)^2 + (b - d)^2
Rechts stehen zwei Quadrate und Quadrate können ja nicht negativ sein. Daher wäre das erfüllt.