Maths Olympiad Prep

Library / /717 of 740

, 2014

Algebra Difficulty 5.8 AIME, harder Prove it United States

Problem:

Let zz be a complex number and kk a positive integer such that zkz^{k} is a positive real number other than 11. Let f(n)f(n) denote the real part of the complex number znz^{n}. Assume the parabola p(n)=an2+bn+cp(n) = a n^{2} + b n + 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.

Solution

Solution:

Answer: 13\boxed{\frac{1}{3}}

Let r=zr = |z|, θ=argz\theta = \arg z, and C=zz=cosθ=cos2πjkC = \frac{\Re z}{|z|} = \cos \theta = \cos \frac{2\pi j}{k} for some jj with gcd(j,k)=1\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)=0 f(3) - 3 f(2) + 3 f(1) - f(0) = 0
This implies
f(3)f(0)=3[f(2)f(1)]r3cos(3θ)1=3(r2cos(2θ)rcos(θ))r3(4C33C)1=3(r2(2C21)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(4 C^{3} - 3 C\right) - 1 & = 3 \left(r^{2} (2 C^{2} - 1) - r C\right) \end{aligned}
Now we simply test the first few possible values of kk.

k=1k = 1 implies C=1C = 1, which gives r31=3(r2r)(r1)3=0r=1r^{3} - 1 = 3(r^{2} - r) \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 r31=3r2+r(r+1)3=0-r^{3} - 1 = 3 r^{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 r31=32(r2r)(r1)(r+12)(r+2)=0r^{3} - 1 = \frac{-3}{2}(r^{2} - r) \Longrightarrow (r - 1)\left(r + \frac{1}{2}\right)(r + 2) = 0. These roots are either negative or 11, again not allowed.

k=4k = 4 implies C=0C = 0. This gives 1=3r2r=±13-1 = -3 r^{2} \Longrightarrow r = \pm \frac{1}{\sqrt{3}}. r=13r = \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=f(0)+f(2)2f(1)=232a = f(0) + f(2) - 2 f(1) = \frac{2}{3}, so a=13a = \frac{1}{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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.