HMMT 二月 2012 · 几何 · 第 37 题

37 . 5 Geometry Test 3 Answer: We claim that the lit region is the entire cage except for a circle of half the radius 4 of the cage in the center, along with some isolated points on the boundary of the circle and possibly minus a set of area 0. Note that the region is the same except for a set of area 0 if we disallow the light paths at the very edge of the beam. In that case, we can see that the lit region is an open subset of the disk, as clearly the region after k bounces is open for each k and the union of open sets is again open. We will then show that a dense subset of the claimed region of the cage is lit. First, let us show that no part of the inner circle is lit. For any given light path, each chord of the circle is the same length, and in particular the minimum distance from the center of the circle is the same on each chord of the path. Since none of the initial chords can come closer than half the cage’s radius to the center, the circle with half the cage’s radius is indeed dark. Now we need to show that for each open subset of the outer region, there is a light path passing through it, which will imply that the unlit region outside the small circle contains no open set, and thus has area 0. To do this, simply consider a light path whose angle away from the center is irrational such that the distance d from the center of the cage to the midpoint of the first chord is sufficiently close to the distance from the center of the cage to a point in the open set we’re considering. Each successive chord of the light path can be seen as a rotation of the original one, and since at each step it is translated by an irrational angle, we obtain a dense subset of all the possible chords. This means that we obtain a dense subset of the circumference of the circle of radius d centered at the center of the cage, and in particular a point inside the open set under consideration, as desired. Therefore, the lit region of the cage is the area outside the concentric circle of half the radius plus or 3 minus some regions of area 0, which tells us that of the cage is lit. 4