Maths Olympiad Prep

Library / /1380 of 1394

Algebra Difficulty 6.3 National Olympiad Prove it United States

Problem:
Let ζ=e2πi/99\zeta = e^{2 \pi i / 99} and ω=e2πi/101\omega = e^{2 \pi i / 101}. The polynomial
x9999+a9998x9998++a1x+a0 x^{9999} + a_{9998} x^{9998} + \cdots + a_{1} x + a_{0}
has roots ζm+ωn\zeta^{m} + \omega^{n} for all pairs of integers (m,n)(m, n) with 0m<990 \leq m < 99 and 0n<1010 \leq n < 101. Compute a9799+a9800++a9998a_{9799} + a_{9800} + \cdots + a_{9998}.

Solution

Solution:
Let bk:=a9999kb_{k} := a_{9999-k} for sake of brevity, so we wish to compute b1+b2++b200b_{1} + b_{2} + \cdots + b_{200}. Let pkp_{k} be the sum of the kk-th powers of ζm+ωn\zeta^{m} + \omega^{n} over all ordered pairs (m,n)(m, n) with 0m<990 \leq m < 99 and 0n<1010 \leq n < 101. Recall that Newton's sums tells us that
p1+b1=0p2+p1b1+2b2=0p3+p2b1+p1b2+3b3=0 \begin{aligned} p_{1} + b_{1} & = 0 \\ p_{2} + p_{1} b_{1} + 2 b_{2} & = 0 \\ p_{3} + p_{2} b_{1} + p_{1} b_{2} + 3 b_{3} & = 0 \end{aligned}
and in general kbk+j=1kpjbkj=0k b_{k} + \sum_{j=1}^{k} p_{j} b_{k-j} = 0. The key idea is that pkp_{k} is much simpler to compute than bkb_{k}, and we can relate the two with Newton's sums.
The roots of unity filter identity tells us that if P(s,t)P(s, t) is a two-variable polynomial, then z(P):=19999P(ζm,ωn)z(P) := \frac{1}{9999} \sum P\left(\zeta^{m}, \omega^{n}\right) over all 0m<990 \leq m < 99 and 0n<1010 \leq n < 101 is exactly the sum of the coefficients of the terms s99at101bs^{99a} t^{101b}. Suppose that Pk(s,t)=(s+t)kP_{k}(s, t) = (s + t)^{k}. Then z(Pk)z\left(P_{k}\right) is precisely pk/9999p_{k} / 9999. So one can check that
- if k99,101,198,200k \neq 99, 101, 198, 200, then (s+t)k(s + t)^{k} has no terms of the form s99at101bs^{99a} t^{101b} and so pk=0p_{k} = 0.
- if k=99,101,198k = 99, 101, 198, then z(Pk)=1z\left(P_{k}\right) = 1 and pk=9999p_{k} = 9999.
- if k=200k = 200, then z(Pk)=(20099)z\left(P_{k}\right) = \binom{200}{99} and pk=9999(20099)p_{k} = 9999 \binom{200}{99}.
We can now compute bkb_{k} using Newton's sums identities:
- we have bk=0b_{k} = 0 for k99,101,198,200k \neq 99, 101, 198, 200.
- since p99+99b99=0p_{99} + 99 b_{99} = 0, we have b99=101b_{99} = -101;
- since p101+101b101=0p_{101} + 101 b_{101} = 0, we have b101=99b_{101} = -99;
- since p198+p99b99+198b198=0p_{198} + p_{99} b_{99} + 198 b_{198} = 0, we have
b198=1198(p198p99b99)=1198(9999+9999101)=5050. b_{198} = \frac{1}{198}\left(-p_{198} - p_{99} b_{99}\right) = \frac{1}{198}(-9999 + 9999 \cdot 101) = 5050 .
- since p200+p101b99+p99b101+200b200=0p_{200} + p_{101} b_{99} + p_{99} b_{101} + 200 b_{200} = 0, we have
b200=1200(p200p101b99p99b101)=1200(9999(20099)+9999101+999999)=99999999200(20099) \begin{aligned} b_{200} & = \frac{1}{200}\left(-p_{200} - p_{101} b_{99} - p_{99} b_{101}\right) \\ & = \frac{1}{200}\left(-9999\binom{200}{99} + 9999 \cdot 101 + 9999 \cdot 99\right) \\ & = 9999 - \frac{9999}{200}\binom{200}{99} \end{aligned}
Hence, we have
b1+b2++b200=10199+5050+99999999200(20099)=148499999200(20099) \begin{aligned} b_{1} + b_{2} + \cdots + b_{200} & = -101 - 99 + 5050 + 9999 - \frac{9999}{200}\binom{200}{99} \\ & = 14849 - \frac{9999}{200}\binom{200}{99} \end{aligned}

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.