Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /27 of 275

Romanian Mathematical Olympiad

Algebra Difficulty 5.0 AIME, harder Prove it Romania

Find all complex numbers zz such that
∣z∣+∣z−5i∣=∣z−2i∣+∣z−3i∣. |z| + |z - 5i| = |z - 2i| + |z - 3i|.

Solution

We notice that ∣z−2i∣=∣25(z−5i)+35z∣≤25∣z−5i∣+35∣z∣|z - 2i| = \left|\frac{2}{5}(z - 5i) + \frac{3}{5}z\right| \le \frac{2}{5}|z - 5i| + \frac{3}{5}|z|.

In the same way, ∣z−3i∣=∣35(z−5i)+25z∣≤35∣z−5i∣+25∣z∣|z - 3i| = \left|\frac{3}{5}(z - 5i) + \frac{2}{5}z\right| \le \frac{3}{5}|z - 5i| + \frac{2}{5}|z|, whence ∣z∣+∣z−5i∣≥∣z−2i∣+∣z−3i∣|z| + |z - 5i| \ge |z - 2i| + |z - 3i|.

Equality takes place if there exists λ≥0\lambda \ge 0 such that z−5i=λzz - 5i = \lambda z or if z=0z = 0, i.e. z=aiz = ai, with a∈(−∞,0]∪[5,+∞)a \in (-\infty, 0] \cup [5, +\infty).

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.