2021 AMC 12A Fall Problem 25

Below is the professionally curated solution for Problem 25 of the 2021 AMC 12A Fall, from LIVE by Po-Shen Loh. You can also try the full timed exam, view all 2021 AMC 12A Fall solutions, or check the answer key.

All of the real AMC 8, AMC 10, AMC 12, and AIME problems in our complete solution collection are used with official legal permission of the Mathematical Association of America (MAA).

Concepts:modular arithmeticroots of unitypolynomial

Difficulty rating: 2650

25.

Let m5m \ge 5 be an odd integer, and let D(m)D(m) denote the number of quadruples (a1,a2,a3,a4)(a_1, a_2, a_3, a_4) of distinct integers with 1aim1 \le a_i \le m for all ii such that mm divides a1+a2+a3+a4.a_1 + a_2 + a_3 + a_4. There is a polynomial q(x)=c3x3+c2x2+c1x+c0 q(x) = c_3x^3 + c_2x^2 + c_1x + c_0 such that D(m)=q(m)D(m) = q(m) for all odd integers m5.m \ge 5. What is c1?c_1?

6-6

1-1

44

66

1111

Solution:

Counting ordered quadruples of distinct residues with sum 0(modm)\equiv 0 \pmod m (via a roots-of-unity filter, using that mm is odd) gives D(m)=(m1)(m2)(m3). D(m) = (m - 1)(m - 2)(m - 3). Direct computation confirms D(5)=24,D(5) = 24, D(7)=120,D(7) = 120, D(9)=336,D(9) = 336, matching this cubic.

Expanding, D(m)=m36m2+11m6,D(m) = m^3 - 6m^2 + 11m - 6, so c1=11.c_1 = 11.

Thus, the correct answer is E.

Problem 25 in Other Years