We notice that ∣z−2i∣=52(z−5i)+53z≤52∣z−5i∣+53∣z∣.
In the same way, ∣z−3i∣=53(z−5i)+52z≤53∣z−5i∣+52∣z∣, whence ∣z∣+∣z−5i∣≥∣z−2i∣+∣z−3i∣.
Equality takes place if there exists λ≥0 such that z−5i=λz or if z=0, i.e. z=ai, with a∈(−∞,0]∪[5,+∞).