2021 AIME I 第 15 题

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

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

15.

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

Let SS be the set of positive integers kk such that the two parabolas y=x2−ky = x^2 - k and x=2(y−20)2−kx = 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^2 与 y2y^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

解答:

将方程 x2−y−k=0x^2 - y - k = 0 加上 12\frac{1}{2} 倍的 2(y−20)2−x−k=02(y - 20)^2 - x - k = 0,得到一条经过所有交点、且 x2x^2 与 y2y^2 系数相等的二次曲线: x2+y2−12x−41y+400−3k2=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+16814−400+3k2\frac{1}{16} + \frac{1681}{4} - 400 + \frac{3k}{2} =32516+3k2= \frac{325}{16} + \frac{3k}{2}。所以只要存在四个不同交点,它们就共圆;并且半径至多 2121 当且仅当 32516+3k2≤441\frac{325}{16} + \frac{3k}{2} \le 441,也就是对整数而言 k≤280k \le 280。

将 y=x2−ky = x^2 - k 代入第二条抛物线,得到四次方程 f(x)=2(x2−c)2−x−k=0f(x) = 2(x^2 - c)^2 - x - k = 0,其中 c=k+20c = k + 20。当 1≤k≤41 \le k \le 4 时:若 x≤−kx \le -k,则 f(x)=2(x2−c)2f(x) = 2(x^2 - c)^2 +(−x−k)>0+ (-x - k) \gt 0;若 −k<x≤0-k \lt x \le 0,则 x2<16x^2 \lt 16 且 c≥21c \ge 21,所以 f(x)>2⋅25−k>0f(x) \gt 2 \cdot 25 - k \gt 0。因此在 x≤0x \le 0 时没有交点。又因为 f′(x)=8x3−8cx−1f'(x) = 8x^3 - 8cx - 1 恰有一个正根,ff 至多有两个正根;由 f(0)>0f(0) \gt 0、f(c)<0f(\sqrt{c}) \lt 0 可知恰有两个正根。所以 k≤4k \le 4 不符合。

当 k≥5k \ge 5 时,有 k2≥k+20k^2 \ge k + 20,因此 f(−c)=c−k≤0f\left(-\sqrt{c}\right) = \sqrt{c} - k \le 0。在 (−∞,−c](-\infty, -\sqrt{c}] 上,f′(x)=8x(x2−c)−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)=2c2−k>0f(0) = 2c^2-k \gt 0,区间 (−c,0)(-\sqrt{c},0) 中有第二个根。最后,f(c)=−c−k<0f\left(\sqrt{c}\right) = -\sqrt{c}-k \lt 0 且 f(+∞)=+∞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 x2−y−k=0x^2 - y - k = 0 to 12\frac{1}{2} times 2(y−20)2−x−k=02(y - 20)^2 - x - k = 0 gives a conic through all intersection points with equal x2x^2 and y2y^2 coefficients: x2+y2−12x−41y+400−3k2=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+16814−400+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+3k2≤441,\frac{325}{16} + \frac{3k}{2} \le 441, i.e. k≤280k \le 280 for integers.

Substituting y=x2−ky = x^2 - k into the second parabola gives the quartic f(x)=2(x2−c)2−x−k=0f(x) = 2(x^2 - c)^2 - x - k = 0 where c=k+20.c = k + 20. For 1≤k≤4:1 \le k \le 4: if x≤−kx \le -k then f(x)=2(x2−c)2f(x) = 2(x^2 - c)^2 +(−x−k)>0,+ (-x - k) \gt 0, and if −k<x≤0-k \lt x \le 0 then x2<16x^2 \lt 16 while c≥21,c \ge 21, so f(x)>2⋅25−k>0;f(x) \gt 2 \cdot 25 - k \gt 0; thus there are no intersections with x≤0,x \le 0, and since f′(x)=8x3−8cx−1f'(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 k≤4k \le 4 fails.

For k≥5,k \ge 5, we have k2≥k+20,k^2 \ge k + 20, so f(−c)=c−k≤0.f\left(-\sqrt{c}\right) = \sqrt{c} - k \le 0. On (−∞,−c],(-\infty, -\sqrt{c}], we have f′(x)=8x(x2−c)−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)=2c2−k>0,f(0) = 2c^2-k \gt 0, there is a second root in (−c,0).(-\sqrt{c},0). Finally, f(c)=−c−k<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 题