Maths Olympiad Prep

Library / /846 of 860

Algebra Difficulty 5.8 AIME, harder Find the answer

Let a=17a=\sqrt{17} and b=i19b=i \sqrt{19}, where i=1i=\sqrt{-1}. Find the maximum possible value of the ratio az/bz|a-z| /|b-z| over all complex numbers zz of magnitude 1 (i.e. over the unit circle z=1|z|=1 ).

A number or a short expression. Spacing and $ signs are ignored.

Solution

Let az/bz=k|a-z| /|b-z|=k. We wish to determine the minimum and maximum value of kk. Squaring and expansion give: az2=bz2k2a22az+1=(b22bz+1)k2a2+1(b2+1)k2=2(abk2)z|a-z|^{2} =|b-z|^{2} \cdot k^{2} |a|^{2}-2 a \cdot z+1 =\left(|b|^{2}-2 b \cdot z+1\right) k^{2} |a|^{2}+1-\left(|b|^{2}+1\right) k^{2} =2\left(a-b k^{2}\right) \cdot z where \cdot is a dot product of complex numbers, i.e., the dot product of vectors corresponding to the complex numbers in the complex plane. Now, since zz has modulus 1 but can assume any direction, the only constraint on the value of kk is a2+1(b2+1)k22abk2\left.|| a\right|^{2}+1-\left(|b|^{2}+1\right) k^{2}|\leq 2| a-b k^{2} \mid. Squaring again and completing the square, the inequality reduces to: (a21)2+(b21)2k4+2(4ab(a2+1)(b2+1))k20((a21)(b21)k2)24ab2k20(a21)(b21)k22abk\left(|a|^{2}-1\right)^{2}+\left(|b|^{2}-1\right)^{2} k^{4}+2\left(4 a \cdot b-\left(|a|^{2}+1\right)\left(|b|^{2}+1\right)\right) k^{2} \leq 0 \left(\left(|a|^{2}-1\right)-\left(|b|^{2}-1\right) k^{2}\right)^{2}-4|a-b|^{2} k^{2} \leq 0 \left|\left(|a|^{2}-1\right)-\left(|b|^{2}-1\right) k^{2}\right| \leq 2|a-b| k. At this stage all the relevant expressions are constant real numbers. Denote, for simplicity, A=a21,B=b21A=|a|^{2}-1, B=|b|^{2}-1, and C=abC=|a-b|. Then, we are looking for kk such that ABk22Ck\left|A-B k^{2}\right| \leq 2 C k. If B=0B=0, then kA2Ck \geq\left|\frac{A}{2 C}\right|, so the minimum value is A2C\left|\frac{A}{2 C}\right| and the maximum value is ++\infty. Otherwise, consider C2+AB=(a22ab+b2)+(a21)(b21)=ab22ab+1=aˉb22(aˉb)+1=aˉb12C^{2}+A B =\left(|a|^{2}-2 a \cdot b+|b|^{2}\right)+\left(|a|^{2}-1\right)\left(|b|^{2}-1\right) =|a b|^{2}-2 a \cdot b+1 =|\bar{a} b|^{2}-2 \Re(\bar{a} b)+1 =|\bar{a} b-1|^{2}. So let D=aˉb1=C2+ABD=|\bar{a} b-1|=\sqrt{C^{2}+A B}. We may assume B>0B>0 (the another case is analogous: just substitute A,BA, B with A,B)-A,-B). Then, kk is determined by the following inequalities: Bk2+2CkA0B k^{2}+2 C k-A \geq 0 and Bk22CkA0B k^{2}-2 C k-A \leq 0. The first inequality gives kCDBk \leq \frac{-C-D}{B} or kC+DBk \geq \frac{-C+D}{B}, and the second gives CDBkC+DB\frac{C-D}{B} \leq k \leq \frac{C+D}{B}. Combining, this gives CDBkC+DB\left|\frac{C-D}{B}\right| \leq k \leq\left|\frac{C+D}{B}\right|, as claimed. To summarize the general answer, let A=a21,B=b21,C=ab,D=aˉb1A=|a|^{2}-1, B=|b|^{2}-1, C=|a-b|, D=|\bar{a} b-1|. Then, if b=1|b|=1, min is A2C\left|\frac{A}{2 C}\right| and max is ++\infty; otherwise, min\min is CDB\left|\frac{C-D}{B}\right| and max\max is C+DB\left|\frac{C+D}{B}\right|. In the special case a=17a=\sqrt{17} and b=19ib=\sqrt{19} i, we have A=16,B=18,C=1719i=36=6A=16, B=18, C=|\sqrt{17}-\sqrt{19} i|=\sqrt{36}=6, and D=1719+1=18D=\sqrt{17 \cdot 19+1}=18. Thus the answer is C+DB=6+1818=43\frac{C+D}{B}=\frac{6+18}{18}=\frac{4}{3}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.