Maths Olympiad Prep

Library / /1047 of 1394

, 2024

Algebra Difficulty 5.5 AIME, harder Prove it United States

Problem:
Let ζ=cos2π13+isin2π13\zeta = \cos \frac{2\pi}{13} + i \sin \frac{2\pi}{13}. Suppose a>b>c>da > b > c > d are positive integers satisfying

ζa+ζb+ζc+ζd=3 \left|\zeta^{a} + \zeta^{b} + \zeta^{c} + \zeta^{d}\right| = \sqrt{3}

Compute the smallest possible value of 1000a+100b+10c+d1000a + 100b + 10c + d.

Solution

Solution:
We may as well take d=1d = 1 and shift the other variables down by dd to get ζa+ζb+ζc+1=3\left|\zeta^{a'} + \zeta^{b'} + \zeta^{c'} + 1\right| = \sqrt{3}. Multiplying by its conjugate gives
(ζa+ζb+ζc+1)(ζa+ζb+ζc+1)=3 \left(\zeta^{a'} + \zeta^{b'} + \zeta^{c'} + 1\right)\left(\zeta^{-a'} + \zeta^{-b'} + \zeta^{-c'} + 1\right) = 3

Expanding, we get
1+x,yS,xyζxy=0 1 + \sum_{x, y \in S, x \neq y} \zeta^{x-y} = 0
where S={a,b,c,0}S = \{a', b', c', 0\}.
This is the sum of 13 terms, which hints that SSS - S should form a complete residue class mod 13. We can prove this with the fact that the minimal polynomial of ζ\zeta is 1+x+x2++x121 + x + x^{2} + \cdots + x^{12}.
The minimum possible value of aa' is 6, as otherwise every difference would be between 5-5 and 55 mod 13. Take a=6a' = 6. If b2b' \leq 2 then we couldn't form a difference of 3 in SS, so b3b' \geq 3. Moreover, 63=306 - 3 = 3 - 0, so 3S3 \notin S, so b=4b' = 4 is the best possible. Then c=1c' = 1 works.
If a=6a' = 6, b=4b' = 4, and c=1c' = 1, then a=7a = 7, b=5b = 5, c=2c = 2, and d=1d = 1, so the answer is 75217521.

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.