返回题库

AIME 1993 · 第 5 题

AIME 1993 — Problem 5

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Let P0(x)=x3+313x277x8P_0(x) = x^3 + 313x^2 - 77x - 8\,. For integers n1n \ge 1\,, define Pn(x)=Pn1(xn)P_n(x) = P_{n - 1}(x - n)\,. What is the coefficient of xx\, in P20(x)P_{20}(x)\,?

解析

Solution 1

Notice that

P20(x)=P19(x20)=P18((x20)19)=P17(((x20)19)18)==P0(x(20+19+18++2+1)).\begin{aligned}P_{20}(x) &= P_{19}(x - 20)\\ &= P_{18}((x - 20) - 19)\\ &= P_{17}(((x - 20) - 19) - 18)\\ &= \cdots\\ &= P_0(x - (20 + 19 + 18 + \ldots + 2 + 1)).\end{aligned} Using the formula for the sum of the first nn numbers, 1+2++20=20(20+1)2=2101 + 2 + \cdots + 20 = \frac{20(20+1)}{2} = 210. Therefore,

P20(x)=P0(x210).P_{20}(x) = P_0(x - 210). Substituting x210x - 210 into the function definition, we get P0(x210)=(x210)3+313(x210)277(x210)8P_0(x-210) = (x - 210)^3 + 313(x - 210)^2 - 77(x - 210) - 8. We only need the coefficients of the linear terms, which we can find by the binomial theorem.

  • (x210)3(x-210)^3 will have a linear term of (31)2102x=630210x{3\choose1}210^2x = 630 \cdot 210x.
  • 313(x210)2313(x-210)^2 will have a linear term of 313(21)210x=626210x-313 \cdot {2\choose1}210x = -626 \cdot 210x.
  • 77(x210)-77(x-210) will have a linear term of 77x-77x.

Adding up the coefficients, we get 63021062621077=763630 \cdot 210 - 626 \cdot 210 - 77 = \boxed{763}.

Solution 2 (Overkill)

Denote the coefficient of term xmx^m of polynomial Pn(x)P_n(x) as cm,nc_{m, n}. We can see that c2,0=313c_{2, 0} = 313, c1,0=77c_{1, 0} = -77, and c0,0=8c_{0, 0} = -8. Note that (xn)3=x33nx2+3n2xn3(x-n)^3 = x^3-3nx^2+3n^2x-n^3 and (xn)2=x22nx+n2(x-n)^2 = x^2-2nx+n^2 When substituting x1x-1 for xx in P0(x)P_0(x), we get that P1(x)=P0(x1)=(x33x2+3x1)+313(x22x+1)77(x1)8P_1(x) = P_0(x-1) = (x^3-3x^2+3x-1) + 313(x^2-2x+1) -77(x-1) -8. Observe that

c2,1=c2,03(1)=3133=310c_{2,1} = c_{2,0} - 3(1) = 313 - 3 = 310 It is evident that

c2,n=c2,n13nc_{2,n} = c_{2,n-1} - 3n Define the generating function C2(X)C_2(X) as

C2(X):=n0c2,nXnC_2(X) := \sum_{n \geq 0} c_{2,n}X^n By multiplying both sides of the previous recurrence relation and taking the sum of the terms n1\forall n\geq 1, we get that

    n1c2,nXn=n1c2,n1Xn+3n1nXn\implies \sum_{n\geq1} c_{2,n}X^n = \sum_{n\geq1}c_{2,n-1}X^n + 3\sum_{n\geq1}nX^n     n0c2,nXnc2,0=Xn0c2,nXn+3n1nXn\implies \sum_{n\geq0} c_{2,n}X^n - c_{2,0} = X\sum_{n\geq0}c_{2,n}X^n + 3\sum_{n\geq1}nX^n     C2(X)313=XC2(X)+3X(1X)2\implies C_2(X) - 313 = XC_2(X) + 3\cdot \frac{X}{(1-X)^2}^*     C2(X)=3131X3X(1X)3\implies C_2(X) = \frac{313}{1-X} - \frac{3X}{(1-X)^3} =313X2629X+313(1X)3=(313X2629X+313)n0(n+22)Xn = \frac{313X^2 - 629X + 313}{(1-X)^3} = (313X^2 - 629X + 313) \cdot \sum_{n\geq0}{n+2 \choose 2}X^n\ ^\dagger     c2,n=313(n+22)629(n+12)+313(n2)=3n23n+6262\implies c_{2,n} = 313{n+2 \choose 2} - 629{n+1 \choose 2} + 313{n \choose 2}^\ddagger = \frac{-3n^2 - 3n + 626}{2} We can perform a similar analysis on c1,nc_{1,n} to get the recurrence relation

c1,n=c1,n1+c2,n1(2n)+3n2c_{1,n} = c_{1, n-1} + c_{2,n-1}\cdot(-2n) + 3n^2 =c1,n1+3n3626n= c_{1, n-1} +3n^3 - 626n Define the generating function C1(X)C_1(X) as

C1(X):=n0c1,nXnC_1(X) := \sum_{n\geq0}c_{1,n}X^n We can then perform this process again on our new recurrence relation:

    n1c1,nXn=n1c1,n1Xn+3n1n3Xn626n1nXn\implies \sum_{n\geq1} c_{1,n}X^n = \sum_{n\geq1}c_{1,n-1}X^n + 3\sum_{n\geq1}n^3X^n - 626\sum_{n\geq1}nX^n     n0c1,nXnc1,0=Xn0c1,nXn+3n1n3Xn626n1nXn\implies \sum_{n\geq0} c_{1,n}X^n - c_{1,0} = X\sum_{n\geq0}c_{1,n}X^n + 3\sum_{n\geq1}n^3X^n - 626\sum_{n\geq1}nX^n     C1(X)+77=XC1(X)+3X(X2+4X+1)(1X)4626X(1X)2\implies C_1(X) + 77 = XC_1(X) + 3\cdot \frac{X(X^2+4X+1)}{(1-X)^4} - 626\cdot \frac{X}{(1-X)^2}     C1(X)=77(1X)4+3X(X2+4X+1)626X(1X)2(1X)5\implies C_1(X) = \frac{-77(1-X)^4 + 3X(X^2+4X+1) - 626X(1-X)^2}{(1-X)^5} =77X4315X3+802X2315X77(1X)5= \frac{-77X^4-315X^3+802X^2-315X-77}{(1-X)^5} =(77X4315X3+802X2315X77)n0(n+55)Xn=(-77X^4-315X^3+802X^2-315X-77) \cdot \sum_{n\geq0}{n+5 \choose 5}X^n     c1,n=77(n+44)315(n+34)+802(n+24)315(n+14)77(n4)\implies c_{1,n} = -77{n+4 \choose 4} - 315{n+3 \choose 4} + 802{n+2 \choose 4} - 315{n+1 \choose 4} -77{n \choose 4} =3n4+6n31249n21252n3084= \frac{3n^4+6n^3-1249n^2-1252n-308}{4} Finally, we can plug n=20n=20 into our new explicit formula to get

c1,20=763c_{1,20} = \boxed{763} ^*This can be calculated by differentiating the generating function of the sequence 1, 1, 1, ... (n0Xn)(\sum_{n\geq0}X^n) and multiplying by XX.

^\daggerThis form can be found by applying Newton's generalized binomial theorem.

^\ddaggerThis formula can be found by convolving the polynomial with the series.

- MathCactus0_0 (don't try this on a test unless you can't think of anything else!!!)