Maths Olympiad Prep

Library / /608 of 740

, 2019

Algebra Difficulty 5.3 AIME, harder Find the answer United States

Problem:

A polynomial PP with integer coefficients is called tricky if it has 44 as a root.
A polynomial is called kk-tiny if it has degree at most 77 and integer coefficients between k-k and kk, inclusive.
A polynomial is called nearly tricky if it is the sum of a tricky polynomial and a 11-tiny polynomial.
Let NN be the number of nearly tricky 77-tiny polynomials. Estimate NN.
An estimate of EE will earn 20min(NE,EN)4\left\lfloor 20 \min \left(\frac{N}{E}, \frac{E}{N}\right)^{4}\right\rfloor points.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Solution:

A tricky 77-tiny polynomial takes the form
(c6x6++c1x+c0)(x4) \left(c_{6} x^{6}+\ldots+c_{1} x+c_{0}\right)(x-4)
For each fixed value of kk, ck4ck+1c_{k}-4 c_{k+1} should lie in [7,7][-7,7], so if we fix ckc_{k}, there are around 15/415 / 4 ways of choosing ck+1c_{k+1}. Therefore if we pick c0,,c6c_{0}, \ldots, c_{6} in this order, there should be around (15/4)7(15 / 4)^{7} tricky 77-tiny polynomials.

A 11-tiny polynomial takes the form ε6x7++ε1x+ε0\varepsilon_{6} x^{7}+\cdots+\varepsilon_{1} x+\varepsilon_{0} with εi{1,0,+1}\varepsilon_{i} \in\{-1,0,+1\}, so there are 383^{8} 11-tiny polynomials.

A nearly tricky 77-tiny polynomial PP takes the form Q+TQ+T where QQ is roughly a tricky 77-tiny polynomial, and TT is 11-tiny. Furthermore, there is a unique decomposition Q+TQ+T because T(4)=P(4)T(4)=P(4) and each integer nn can be written in the form εk4k\sum \varepsilon_{k} 4^{k} in at most one way. Therefore the number of nearly tricky 77-tiny is around (15/4)73868420920(15 / 4)^{7} \cdot 3^{8} \approx 68420920, which is worth 1616 points.

The exact answer can be found by setting up recurrences. Let t(d,)t(d, \ell) be the number of polynomials of degree at most ii of the form
(xd1+cd2xd2++c0)(x4)+(εd1xd1++ε1x+ε0) \left(\ell x^{d-1}+c_{d-2} x^{d-2}+\cdots+c_{0}\right)(x-4)+\left(\varepsilon_{d-1} x^{d-1}+\cdots+\varepsilon_{1} x+\varepsilon_{0}\right)
which has integer coefficients between 7-7 and 77 except the leading term xd\ell x^{d}. It follows that t(0,0)=1t(0,0)=1, t(0,k)=0t(0, k)=0 for all k0k \neq 0, and t(d+1,)t(d+1, \ell) can be computed as follows: for each value of cd1c_{d-1}, there are t(d,cd1)t\left(d, c_{d-1}\right) ways to pick cd2,,c0,εd1,,ε0c_{d-2}, \ldots, c_{0}, \varepsilon_{d-1}, \ldots, \varepsilon_{0}, and exactly w(cd14)w\left(c_{d-1}-4 \ell\right) ways of picking εd\varepsilon_{d}, where w(k)=min(9k,3)w(k)=\min (9-|k|, 3) for k8|k| \leq 8 and 00 otherwise. Therefore setting c=cd14c=c_{d-1}-4 \ell we have
t(d+1,)=c=88t(d,c+4)w(c) t(d+1, \ell)=\sum_{c=-8}^{8} t(d, c+4 \ell) w(c)
The number of nearly tricky 77-tiny polynomials is simply t(8,0)t(8,0), which can be computed to be 6491234764912347 using the following C code.

```
int w(int a){
if(a<-9 || a > 9) return 0;
else if(a == -8 || a == 8) return 1;
else if(a == -7 || a == 7) return 2;
else return 3;
}
int main()
{
int m=8,n=7,r=4,d,l,c,c4l;
int mid = 2 + n/r;
int b = 2*mid+1;
long int t[500] [500];
for(l=0; l<b; l++){
t[0][l] = (1 == mid) ? 1 : 0;
}
for(d=0; d<m+1; d++){
for(l=0; l<b; l++){
t[d+1][l] = 0;
for(c=-8; c<9; c++){
c4l = c + 4*(l-mid) + mid;
t[d+1][l] += (c4l >= 0 && c4l <= 2*mid) ? t[d][c4l]*w(c) : 0;
}
}
}
printf("%ld",t[8][mid]);
}

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.