Maths Olympiad Prep

Track / Stage 4 / 200 of 340 #940 of 2444

Problem 940

AMC 12 late, AIME early
Combinatorics Difficulty 4.8 Find the answer HMMT · United States · 2013

For how many unordered sets {a,b,c,d}\{a, b, c, d\} of positive integers, none of which exceed 168168, do there exist integers w,x,y,zw, x, y, z such that (1)wa+(1)xb+(1)yc+(1)zd=168(-1)^{w} a + (-1)^{x} b + (-1)^{y} c + (-1)^{z} d = 168? If your answer is AA and the correct answer is CC, then your score on this problem will be 25e3CAC\left\lfloor 25 e^{-3 \frac{|C-A|}{C}}\right\rfloor.

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

Next problem →

Official solution

Solution:

Answer: 761474

As an approximation, we assume a,b,c,da, b, c, d are ordered to begin with (so we have to divide by 2424 later) and add to 168168 with a unique choice of signs; then, it suffices to count e+f+g+h=168e + f + g + h = 168 with each e,f,g,he, f, g, h in [168,168][-168, 168] and then divide by 2424 (we drop the condition that none of them can be zero because it shouldn't affect the answer that much).

One way to do this is generating functions. We want the coefficient of t168t^{168} in the generating function (t168+t167++t167+t168)4=(t169t168)4/(t1)4\left(t^{-168} + t^{-167} + \ldots + t^{167} + t^{168}\right)^{4} = \left(t^{169} - t^{-168}\right)^{4} / (t-1)^{4}.

Clearing the negative powers, it suffices to find the coefficient of t840t^{840} in
(t3371)4(t1)4=(14t337+6t674)1(t1)4. \frac{\left(t^{337} - 1\right)^{4}}{(t-1)^{4}} = \left(1 - 4 t^{337} + 6 t^{674} - \ldots\right) \frac{1}{(t-1)^{4}}.
To do this we expand the bottom as a power series in tt:
1(t1)4=n0(n+33)tn \frac{1}{(t-1)^{4}} = \sum_{n \geq 0} \binom{n+3}{3} t^{n}
It remains to calculate (840+33)4(840337+33)+6(840674+33)\binom{840+3}{3} - 4 \cdot \binom{840-337+3}{3} + 6 \cdot \binom{840-674+3}{3}. This is almost exactly equal to 16(843345063+61693)1.83×107\frac{1}{6}\left(843^{3} - 4 \cdot 506^{3} + 6 \cdot 169^{3}\right) \approx 1.83 \times 10^{7}.

Dividing by 2424, we arrive at an estimation 762500762500. Even if we use a bad approximation 1624(850345003+61503)\frac{1}{6 \cdot 24}\left(850^{3} - 4 \cdot 500^{3} + 6 \cdot 150^{3}\right) we get approximately 933000933000, which is fairly close to the answer.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.