Maths Olympiad Prep

Library / HMMT February /1103 of 1302

HMMT February

Algebra Difficulty 5.7 AIME, harder Prove it United States

Problem:
Let b(x)=x2+x+1b(x) = x^{2} + x + 1. The polynomial x2015+x2014+⋯+x+1x^{2015} + x^{2014} + \cdots + x + 1 has a unique "base b(x)b(x)" representation
x2015+x2014+⋯+x+1=∑k=0Nak(x)b(x)k x^{2015} + x^{2014} + \cdots + x + 1 = \sum_{k=0}^{N} a_{k}(x) b(x)^{k}
where
- NN is a nonnegative integer;
- each "digit" ak(x)a_{k}(x) (for 0≤k≤N0 \leq k \leq N) is either the zero polynomial (i.e. ak(x)=0a_{k}(x) = 0) or a nonzero polynomial of degree less than deg⁡b=2\operatorname{deg} b = 2; and
- the "leading digit aN(x)a_{N}(x)" is nonzero (i.e. not the zero polynomial).
Find aN(0)a_{N}(0) (the "leading digit evaluated at 0").

Solution

Solution:
Answer: −1006-1006

Comparing degrees easily gives N=1007N = 1007. By ignoring terms of degree at most 20132013, we see
aN(x)(x2+x+1)1007∈x2015+x2014+O(x2013) a_{N}(x)\left(x^{2} + x + 1\right)^{1007} \in x^{2015} + x^{2014} + O\left(x^{2013}\right)
Write aN(x)=ux+va_{N}(x) = u x + v, so
aN(x)(x2+x+1)1007∈(ux+v)(x2014+1007x2013+O(x2012))⊆ux2015+(v+1007u)x2014+O(x2013) \begin{aligned} a_{N}(x)\left(x^{2} + x + 1\right)^{1007} & \in (u x + v)\left(x^{2014} + 1007 x^{2013} + O\left(x^{2012}\right)\right) \\ & \subseteq u x^{2015} + (v + 1007 u) x^{2014} + O\left(x^{2013}\right) \end{aligned}
Finally, matching terms gives u=1u = 1 and v+1007u=1v + 1007 u = 1, so v=1−1007=−1006v = 1 - 1007 = -1006.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.