2010 AIME I 第 8 题

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

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

8.

对实数 aa,令 a\lfloor a \rfloor 表示小于或等于 aa 的最大整数。设 R\mathcal{R} 表示坐标平面中所有满足 x2+y2=25\lfloor x \rfloor^2 + \lfloor y \rfloor^2 = 25 的点 (x,y)(x, y) 组成的区域。区域 R\mathcal{R} 完全包含在一个半径为 rr 的圆盘中(圆盘是圆及其内部的并集)。rr 的最小值可写成 mn\frac{\sqrt{m}}{n},其中 mmnn 是整数,且 mm 不被任何质数的平方整除。求 m+nm + n

For a real number a,a, let a\lfloor a \rfloor denote the greatest integer less than or equal to a.a. Let R\mathcal{R} denote the region in the coordinate plane consisting of points (x,y)(x, y) such that x2+y2=25.\lfloor x \rfloor^2 + \lfloor y \rfloor^2 = 25. The region R\mathcal{R} is completely contained in a disk of radius rr (a disk is the union of a circle and its interior). The minimum value of rr can be written as mn,\frac{\sqrt{m}}{n}, where mm and nn are integers and mm is not divisible by the square of any prime. Find m+n.m + n.

答案:132
知识点:取整函数格点距离公式对称性
难度评级:2840
小提示:

(x,y)(\lfloor x \rfloor, \lfloor y \rfloor) 必须是 1212 个平方和为 2525 的整数对之一,所以 R\mathcal{R}1212 个单位正方形的并集

(x,y)(\lfloor x \rfloor, \lfloor y \rfloor) must be one of the 1212 integer pairs with squares summing to 25,25, so R\mathcal{R} is a union of 1212 unit squares

大提示:

R\mathcal{R} 关于 (12,12)\left(\frac{1}{2}, \frac{1}{2}\right) 对称,所以最佳圆盘以此为圆心;找出离这个圆心最远的正方形顶点

R\mathcal{R} is symmetric about (12,12),\left(\frac{1}{2}, \frac{1}{2}\right), so the best disk is centered there; find the square corner farthest from that center

解答:

因为 x\lfloor x \rfloory\lfloor y \rfloor 是平方和为 2525 的整数,所以数对 (x,y)(\lfloor x \rfloor, \lfloor y \rfloor) 是以下 1212 对之一:(±5,0)(\pm 5, 0)(0,±5)(0, \pm 5)(±3,±4)(\pm 3, \pm 4)(±4,±3)(\pm 4, \pm 3)。因此 R\mathcal{R} 是以这些点为左下角的 1212 个单位正方形的并集。

KKR\mathcal{R} 的闭包。任何包含 R\mathcal{R} 的闭圆盘也包含 KK,所以两者的最小包围半径相同。映射 (x,y)(1x,1y)(x, y) \mapsto (1 - x, 1 - y) 会置换 KK 中的闭单位正方形,所以 KK180180^\circ 旋转下保持不变,旋转中心为 Q=(12,12)Q = \left(\frac{1}{2}, \frac{1}{2}\right)。若 XKX \in K,其对点 X=2QXX' = 2Q-X 也在 KK 中。任何同时包含线段 XX\overline{XX'} 两个端点的圆盘,半径至少为 XX2=XQ\frac{XX'}{2} = XQ。因此任何包围圆盘的半径都不小于 QQKK 的最大距离。

这个最大距离在正方形顶点处取得,例如 A=(4,5)A = (4, 5)B=(5,4)B = (5, 4),检查十二个闭正方形的所有顶点可得 QA=QB=(92)2+(72)2=1302\begin{aligned} QA = QB &= \sqrt{\left(\tfrac{9}{2}\right)^2 + \left(\tfrac{7}{2}\right)^2} \\ &= \frac{\sqrt{130}}{2} \end{aligned}\text{。}QQ 为圆心、以此为半径的圆盘包含每个正方形,所以达到下界。

因此最小半径为 r=1302r = \frac{\sqrt{130}}{2},且 m+n=130+2=132m + n = 130 + 2 = 132

Since x\lfloor x \rfloor and y\lfloor y \rfloor are integers whose squares sum to 25,25, the pair (x,y)(\lfloor x \rfloor, \lfloor y \rfloor) is one of the 1212 pairs (±5,0),(\pm 5, 0), (0,±5),(0, \pm 5), (±3,±4),(\pm 3, \pm 4), (±4,±3).(\pm 4, \pm 3). So R\mathcal{R} is the union of the 1212 unit squares whose lower-left corners are these points.

Let KK be the closure of R.\mathcal{R}. Any closed disk containing R\mathcal{R} also contains K,K, so the two sets have the same minimum enclosing radius. The map (x,y)(1x,1y)(x, y) \mapsto (1 - x, 1 - y) permutes the closed unit squares in K,K, so KK is symmetric under 180180^\circ rotation about Q=(12,12).Q = \left(\frac{1}{2}, \frac{1}{2}\right). If XK,X \in K, its opposite point X=2QXX' = 2Q-X also lies in K.K. Every disk containing both endpoints of XX\overline{XX'} has radius at least XX2=XQ.\frac{XX'}{2} = XQ. Thus no enclosing disk can have radius smaller than the greatest distance from QQ to K.K.

That greatest distance is attained at square corners such as A=(4,5)A = (4, 5) and B=(5,4),B = (5, 4), and checking the corners of all twelve closed squares gives QA=QB=(92)2+(72)2=1302.\begin{aligned} QA = QB &= \sqrt{\left(\tfrac{9}{2}\right)^2 + \left(\tfrac{7}{2}\right)^2} \\ &= \frac{\sqrt{130}}{2}. \end{aligned} The disk centered at QQ with this radius contains every square, so it attains the lower bound.

Hence the minimum radius is r=1302,r = \frac{\sqrt{130}}{2}, and m+n=130+2=132.m + n = 130 + 2 = 132.

第 7 题#7
完整试卷

其他年份的第 8 题