GeometryDifficulty 5.4AIME, harderProve itUnited States
Problem:
Aerith and Bob are playing tag at Lake Round, a perfectly circular lake. Aerith tags Bob right next to the lake and dives in. Aerith can swim at a speed of 2mph, while Bob can't swim but runs at a speed of 9mph. Can Aerith leave the lake without getting tagged?
Solution
Solution:
We claim that Aerith can escape, even when Bob plays optimally and always runs towards Aerith's current location. Let a dash (d) be a unit of distance and a tick (t) be a unit of time such that the radius of the lake is 9 dashes and such that one mph is equal to one dash per tick (d/t). Let Ω be the perimeter of the lake, and let ω be a concentric circle with radius 1.98 dashes.1
b)
c)
We outline a four-step strategy for Aerith to escape the lake:
a) First, Aerith swims to the edge of ω.
b) Then, Aerith begins swimming along ω. Her angular velocity is then (2td)/(1.98d)>1t−1 However, Bob's angular velocity is exactly (9td)/(9d)=1t−1, which is slightly less, so Aerith outpaces Bob. Thus after some amount of time, Aerith will eventually be at the furthest point on ω from Bob. At this point in time, let Aerith's current position be A and let Bob's current position be B.
c) Aerith now swims outward on line AB until she reaches the point A′ that is 2d away from the center of the lake. This amount of time this takes is (2d−1.98d)/(2td)=0.01t and in this time Bob travels 0.01t⋅9td=0.09d.
d) Finally, Aerith swims away from Bob along the straight line through A′ perpendicular to line AB. Aerith's angular velocity along this journey is now less than 1t−1 because, as we saw earlier, she has to be within a circle of radius 2 in order to outpace Bob. Therefore, she remains ahead of Bob, so Bob will continue in his direction when chasing her. It takes her ((9d)2−(2d)2)/(2td)=277t to reach the edge, and in this time Bob can travel 277t⋅9td=2977d.
The total distance Bob can travel along the circle in the time it takes Aerith to reach the edge is thus 0.09d+2977d<40d. However, in order to arrive on time to tag Aerith, he would need to travel 9(23π−arcsin(92))>40d, so Aerith will indeed escape before Bob catches up.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.