Maths Olympiad Prep

Library / HMMT November /516 of 672

HMMT November

Algebra Difficulty 5.2 AIME, harder Find the answer

Let zz be a complex number and kk a positive integer such that zkz^{k} is a positive real number other than 1. Let f(n)f(n) denote the real part of the complex number znz^{n}. Assume the parabola p(n)=an2+bn+cp(n)=an^{2}+bn+c intersects f(n)f(n) four times, at n=0,1,2,3n=0,1,2,3. Assuming the smallest possible value of kk, find the largest possible value of aa.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Let r=∣z∣,θ=arg⁡zr=|z|, \theta=\arg z, and C=ℜz∣z∣=cos⁡θ=cos⁡2πjkC=\frac{\Re z}{|z|}=\cos \theta=\cos \frac{2\pi j}{k} for some jj with gcd⁡(j,k)=1\operatorname{gcd}(j, k)=1. The condition of the four consecutive points lying on a parabola is equivalent to having the finite difference f(3)−3f(2)+3f(1)−f(0)=0f(3)-3f(2)+3f(1)-f(0)=0 This implies f(3)−f(0)=3[f(2)−f(1)]⟺r3cos⁡(3θ)−1=3(r2cos⁡(2θ)−rcos⁡(θ))⟺r3(4C3−3C)−1=3(r2(2C2−1)−rC).\begin{aligned} f(3)-f(0) & =3[f(2)-f(1)] \\ \Longleftrightarrow r^{3}\cos (3\theta)-1 & =3\left(r^{2}\cos (2\theta)-r\cos (\theta)\right) \\ \Longleftrightarrow r^{3}\left(4C^{3}-3C\right)-1 & =3\left(r^{2}\left(2C^{2}-1\right)-rC\right). \end{aligned} Now we simply test the first few possible values of kk. k=1k=1 implies C=1C=1, which gives r3−1=3(r2−r)⟹(r−1)3=0⟹r=1r^{3}-1=3\left(r^{2}-r\right) \Longrightarrow(r-1)^{3}=0 \Longrightarrow r=1. This is not allowed since r=1r=1 implies a periodic function. k=2k=2 implies C=−1C=-1, which gives −r3−1=3r2+r⟹(r+1)3=0-r^{3}-1=3r^{2}+r \Longrightarrow(r+1)^{3}=0, again not allowed since r>0r>0. k=3k=3 implies C=−12C=-\frac{1}{2}. This gives r3−1=−32(r2−r)⟹(r−1)(r+12)(r+2)=0r^{3}-1=\frac{-3}{2}\left(r^{2}-r\right) \Longrightarrow(r-1)\left(r+\frac{1}{2}\right)(r+2)=0. These roots are either negative or 1, again not allowed. k=4k=4 implies C=0C=0. This gives −1=−3r2⟹r=±13⋅r=13-1=-3r^{2} \Longrightarrow r= \pm \frac{1}{\sqrt{3}} \cdot r=\frac{1}{\sqrt{3}} is allowed, so this will generate our answer. Again by finite differences (or by any other method of interpolating with a quadratic), we get 2a=2a= f(0)+f(2)−2f(1)=23f(0)+f(2)-2f(1)=\frac{2}{3}, so a=13a=\frac{1}{3}.

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.