2021 AIME I 第 15 题

先试着解答 2021 AIME I 第 15 题,然后核对你的答案与精心整理的解答,解答来自 LIVE by Po-Shen Loh。你也可以参加完整限时模拟考试、查看全部 2021 AIME I 解答,或核对答案

所有题目均经美国数学协会(MAA)官方合法授权使用。

15.

SS 为所有正整数 kk 的集合,使得两条抛物线 y=x2ky = x^2 - kx=2(y20)2kx = 2(y - 20)^2 - k 相交于四个不同的点,并且这四点位于一个半径至多为 2121 的圆上。求 SS 的最小元素与 SS 的最大元素之和。

Let SS be the set of positive integers kk such that the two parabolas y=x2ky = x^2 - k and x=2(y20)2kx = 2(y - 20)^2 - k intersect in four distinct points, and these four points lie on a circle with radius at most 21.21. Find the sum of the least element of SS and the greatest element of S.S.

答案:285
知识点:抛物线多项式极限情形界定
难度评级:3370
小提示:

任何经过全部四个交点的二次曲线都可由两个给定方程组合得到;选择权重使 x2x^2y2y^2 的系数相等

Any conic through all four intersection points is a combination of the two given equations; choose the weights that make the x2x^2 and y2y^2 coefficients equal

大提示:

得到的圆的半径平方随 kk 线性增长,这给出 kk 的上界;对于较小的 kk,检查关于 xx 的四次方程只有两个实根

The resulting circle’s squared radius grows linearly in k,k, which caps kk above; for small k,k, check that the quartic in xx has only two real roots

解答:

将方程 x2yk=0x^2 - y - k = 0 加上 12\frac{1}{2} 倍的 2(y20)2xk=02(y - 20)^2 - x - k = 0,得到一条经过所有交点、且 x2x^2y2y^2 系数相等的二次曲线: x2+y212x41y+4003k2=0 \begin{aligned} &x^2 + y^2 - \tfrac{1}{2}x - 41y \\ &\quad {}+ 400 - \tfrac{3k}{2} = 0 \end{aligned}\text{。} 这是圆心为 (14,412)\left(\frac{1}{4}, \frac{41}{2}\right) 的圆,其半径平方为 116+16814400+3k2\frac{1}{16} + \frac{1681}{4} - 400 + \frac{3k}{2} =32516+3k2= \frac{325}{16} + \frac{3k}{2}。所以只要存在四个不同交点,它们就共圆;并且半径至多 2121 当且仅当 32516+3k2441\frac{325}{16} + \frac{3k}{2} \le 441,也就是对整数而言 k280k \le 280

y=x2ky = x^2 - k 代入第二条抛物线,得到四次方程 f(x)=2(x2c)2xk=0f(x) = 2(x^2 - c)^2 - x - k = 0,其中 c=k+20c = k + 20。当 1k41 \le k \le 4 时:若 xkx \le -k,则 f(x)=2(x2c)2f(x) = 2(x^2 - c)^2 +(xk)>0+ (-x - k) \gt 0;若 k<x0-k \lt x \le 0,则 x2<16x^2 \lt 16c21c \ge 21,所以 f(x)>225k>0f(x) \gt 2 \cdot 25 - k \gt 0。因此在 x0x \le 0 时没有交点。又因为 f(x)=8x38cx1f'(x) = 8x^3 - 8cx - 1 恰有一个正根,ff 至多有两个正根;由 f(0)>0f(0) \gt 0f(c)<0f(\sqrt{c}) \lt 0 可知恰有两个正根。所以 k4k \le 4 不符合。

k5k \ge 5 时,有 k2k+20k^2 \ge k + 20,因此 f(c)=ck0f\left(-\sqrt{c}\right) = \sqrt{c} - k \le 0。在 (,c](-\infty, -\sqrt{c}] 上,f(x)=8x(x2c)1<0f'(x) = 8x(x^2-c)-1 \lt 0,所以其中恰有一个根;该根在 c-\sqrt{c} 处(当 k=5k=5 时)。当 k=5k=5 时,端点处导数为负,故其右侧的 ff 立即变为负;当 k>5k \gt 5 时,端点处的函数值已经为负。由于 f(0)=2c2k>0f(0) = 2c^2-k \gt 0,区间 (c,0)(-\sqrt{c},0) 中有第二个根。最后,f(c)=ck<0f\left(\sqrt{c}\right) = -\sqrt{c}-k \lt 0f(+)=+f(+\infty)=+\infty,所以 (0,c)(0,\sqrt{c})(c,)(\sqrt{c},\infty) 中各有一个根。这四个根互不相同,而四次方程不可能还有其他根。

因此 S={5,6,,280}S = \{5, 6, \ldots, 280\},答案为 5+280=2855 + 280 = 285

Adding the equation x2yk=0x^2 - y - k = 0 to 12\frac{1}{2} times 2(y20)2xk=02(y - 20)^2 - x - k = 0 gives a conic through all intersection points with equal x2x^2 and y2y^2 coefficients: x2+y212x41y+4003k2=0, \begin{aligned} &x^2 + y^2 - \tfrac{1}{2}x - 41y \\ &\quad {}+ 400 - \tfrac{3k}{2} = 0, \end{aligned} a circle centered at (14,412)\left(\frac{1}{4}, \frac{41}{2}\right) with squared radius 116+16814400+3k2\frac{1}{16} + \frac{1681}{4} - 400 + \frac{3k}{2} =32516+3k2.= \frac{325}{16} + \frac{3k}{2}. So whenever four distinct intersection points exist, they are concyclic, and the radius is at most 2121 exactly when 32516+3k2441,\frac{325}{16} + \frac{3k}{2} \le 441, i.e. k280k \le 280 for integers.

Substituting y=x2ky = x^2 - k into the second parabola gives the quartic f(x)=2(x2c)2xk=0f(x) = 2(x^2 - c)^2 - x - k = 0 where c=k+20.c = k + 20. For 1k4:1 \le k \le 4: if xkx \le -k then f(x)=2(x2c)2f(x) = 2(x^2 - c)^2 +(xk)>0,+ (-x - k) \gt 0, and if k<x0-k \lt x \le 0 then x2<16x^2 \lt 16 while c21,c \ge 21, so f(x)>225k>0;f(x) \gt 2 \cdot 25 - k \gt 0; thus there are no intersections with x0,x \le 0, and since f(x)=8x38cx1f'(x) = 8x^3 - 8cx - 1 has exactly one positive root, ff has at most (and, by f(0)>0,f(0) \gt 0, f(c)<0,f(\sqrt{c}) \lt 0, exactly) two positive roots. So k4k \le 4 fails.

For k5,k \ge 5, we have k2k+20,k^2 \ge k + 20, so f(c)=ck0.f\left(-\sqrt{c}\right) = \sqrt{c} - k \le 0. On (,c],(-\infty, -\sqrt{c}], we have f(x)=8x(x2c)1<0,f'(x) = 8x(x^2-c)-1 \lt 0, so there is exactly one root there (at c-\sqrt{c} when k=5k=5). If k=5,k=5, the negative derivative at that endpoint makes ff negative immediately to its right; if k>5,k \gt 5, it is already negative at the endpoint. Since f(0)=2c2k>0,f(0) = 2c^2-k \gt 0, there is a second root in (c,0).(-\sqrt{c},0). Finally, f(c)=ck<0f\left(\sqrt{c}\right) = -\sqrt{c}-k \lt 0 and f(+)=+,f(+\infty)=+\infty, so there is one root in each of (0,c)(0,\sqrt{c}) and (c,).(\sqrt{c},\infty). These four roots are distinct, and a quartic has no others.

Hence S={5,6,,280},S = \{5, 6, \ldots, 280\}, and the answer is 5+280=285.5 + 280 = 285.

第 14 题#14
完整试卷

其他年份的第 15 题