Maths WorkshopMaths problems with full solutions
Exercise 1567Algebra › Complex numbersOlympiadAdded 3 Nov 2026

An inequality involving arguments

#argument#inequality#complex

Statement

Let z,w∈C∗z,w\in\mathbb{C}^* with Re⁡(zwˉ)>0\operatorname{Re}(z\bar w)>0. Show that ∣z+w∣>∣z−w∣|z+w|>|z-w|.

Hint

Square both sides and compare.

Show solutionHide solution

Solution

Squaring.
∣z+w∣2=∣z∣2+∣w∣2+2Re⁡(zwˉ),|z+w|^2=|z|^2+|w|^2+2\operatorname{Re}(z\bar w),
∣z−w∣2=∣z∣2+∣w∣2−2Re⁡(zwˉ).|z-w|^2=|z|^2+|w|^2-2\operatorname{Re}(z\bar w).

Comparison. ∣z+w∣2−∣z−w∣2=4Re⁡(zwˉ)>0|z+w|^2-|z-w|^2=4\operatorname{Re}(z\bar w)>0.

Conclusion. ∣z+w∣>∣z−w∣|z+w|>|z-w|.

Interpretation. The angle between zz and ww is acute (cosine positive).