Maths Olympiad Prep

Library / /1286 of 1394

Algebra Difficulty 6.0 AIME, harder Prove it United States

Problem:
Let ω1,ω2,,ω100\omega_{1}, \omega_{2}, \ldots, \omega_{100} be the roots of x1011x1\frac{x^{101}-1}{x-1} (in some order). Consider the set
S={ω11,ω22,ω33,,ω100100} S=\left\{\omega_{1}^{1}, \omega_{2}^{2}, \omega_{3}^{3}, \ldots, \omega_{100}^{100}\right\}
Let MM be the maximum possible number of unique values in SS, and let NN be the minimum possible number of unique values in SS. Find MNM-N.

Solution

Solution:
Throughout this solution, assume we're working modulo 101101.

First, N=1N=1. Let ω\omega be a primitive 101101st root of unity. We then let ωn=ω1/n\omega_{n}=\omega^{1 / n}, which we can do because 101101 is prime, so 1/n1 / n exists for all nonzero nn and 1/n=1/mm=n1 / n=1 / m \Longrightarrow m=n. Thus the set contains only one distinct element, ω\omega.

M=100M=100 is impossible. Fix ζ\zeta, a primitive 101101st root of unity, and let ωn=ζπ(n)\omega_{n}=\zeta^{\pi(n)} for each nn. Suppose that there are 100100 distinct such nπ(n)n \pi(n) exponents; then π\pi permutes the set {1,2,,100}\{1,2, \cdots, 100\}. Fix gg, a primitive root of 101101; write n=genn=g^{e_{n}} and π(n)=gτ(en)\pi(n)=g^{\tau\left(e_{n}\right)}. Then {en}={0,1,2,,100}\left\{e_{n}\right\}=\{0,1,2, \ldots, 100\} and τ\tau is a permutation of this set, as is en+τ(en)e_{n}+\tau\left(e_{n}\right). However, this is impossible: n=1100en+τ(en)=5050+50505050(mod100)\sum_{n=1}^{100} e_{n}+\tau\left(e_{n}\right)=5050+5050 \equiv 5050\pmod{100}, which is a contradiction. Thus there cannot be 100100 distinct exponents.

M=99M=99 is possible. Again, let ζ\zeta be a primitive root of unity and let ωn=ζ1/(n+1)\omega_{n}=\zeta^{1 /(n+1)}, except when n=100n=100, in which case let ω100\omega_{100} be the last possible root. Notice that nn+1=mm+1\frac{n}{n+1}=\frac{m}{m+1} if and only if n=mn=m, so this will produce 9999 different elements in the set.

Thus MN=991=98M-N=99-1=98.

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.