Maths Olympiad Prep

Library / Irish Mathematical Olympiad /32 of 236

Irish Mathematical Olympiad, 2014

Geometry Difficulty 4.7 AIME Prove it Ireland

Let 0<a<10 < a < 1 be a real number. What point zz on the upper half of the unit circle in the complex plane maximises the sum ∣z+a∣+∣z−a∣|z + a| + |z - a|?

Solution

Noting that if x,y>0x, y > 0, then x+y≤2x2+y2x + y \le \sqrt{2} \sqrt{x^2 + y^2}, with equality iff x=yx = y, then for all complex numbers zz satisfying ∣z∣=1|z| = 1
∣z−a∣+∣z+a∣≤2∣z+a∣2+∣z−a∣2=2(z+a)(zˉ+a)+(z−a)(zˉ−a)=2∣z∣2+za+azˉ+a2+∣z∣2−za−azˉ+a2=22+2a2=21+a2, \begin{align*} |z - a| + |z + a| &\le \sqrt{2} \sqrt{|z + a|^2 + |z - a|^2} \\ &= \sqrt{2} \sqrt{(z + a)(\bar{z} + a) + (z - a)(\bar{z} - a)} \\ &= \sqrt{2} \sqrt{|z|^2 + za + a\bar{z} + a^2 + |z|^2 - za - a\bar{z} + a^2} \\ &= \sqrt{2} \sqrt{2 + 2a^2} = 2\sqrt{1 + a^2}, \end{align*}
with equality iff ∣z−a∣=∣z+a∣|z - a| = |z + a|, iff 2ℜ(z)=z+zˉ=02\Re(z) = z + \bar{z} = 0, i.e., z=iz = i.

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.