Maths Olympiad Prep

Library / /61 of 92

Geometry Difficulty 6.7 National olympiad Prove it Iran

a) Complex numbers xx and yy are given on the perimeter of the unit circle such that
π3arg(x)arg(y)5π3. \frac{\pi}{3} \le \arg(x) - \arg(y) \le \frac{5\pi}{3}.

b) Complex numbers xx and yy are given such that
π3arg(x)arg(y)2π3. \frac{\pi}{3} \leq \arg(x) - \arg(y) \leq \frac{2\pi}{3}.
For each zCz \in \mathbb{C} show that
z+zx+zy32x+(y12)i. |z| + |z - x| + |z - y| \geq \left| \frac{\sqrt{3}}{2}x + \left(y - \frac{1}{2}\right)i \right|.

(For a complex number zz, arg(z)\arg(z) is defined to be the counterclockwise angle between the axis of the real numbers with the vector z\vec{z}.)

Solution

a) Let OO be the origin point of the complex plane. Consider numbers x,yx, y as points on this plane. The given inequality implies
yOxπ3. \angle yOx \leq \frac{\pi}{3}.
But since OxyOxy is an isosceles triangle with Ox=Oy=1|Ox| = |Oy| = 1, this means xy=xy1|xy| = |x - y| \geq 1. Therefore for any complex number zz it is deduced that
zx+zyxy1    z+zx+zyz+1=zx+yzxy \begin{aligned} & |z - x| + |z - y| \geq |x - y| \geq 1 \\ \implies & |z| + |z - x| + |z - y| \geq |z| + 1 = |zx| + |y| \geq |zx - y| \end{aligned}

b) The given inequality implies triangle OxyOxy has three angles, all less than or equal to 2π3\frac{2\pi}{3}, so its first Fermat point does not lie outside of it. The expression z+zx+zy|z| + |z - x| + |z - y| is the sum of distances from point zz to the vertices of Oxy\triangle Oxy. This sum is minimized when zz is the Fermat point. So it's needed to calculate the given sum for the Fermat point. Let pp be the clockwise rotation of xx with respect to the origin point and angle π3\frac{\pi}{3}, i.e. p=cis(π3)x=12+32ixp = \text{cis}(\frac{\pi}{3})x = \left|\frac{1}{2} + \frac{\sqrt{3}}{2}i\right| x. Due to the properties of Fermat point, the desired value is the distance between yy and pp, which is
yp=yipi=yi(12i32)x=32x+(y12)i, |y - p| = |yi - pi| = \left|yi - \left(\frac{1}{2}i - \frac{\sqrt{3}}{2}\right)x\right| = \left|\frac{\sqrt{3}}{2}x + \left(y - \frac{1}{2}\right)i\right|,
hence the desired inequality holds.

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

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.