Maths Olympiad Prep

Library / /14 of 17

, 2021

Geometry Difficulty 5.6 AIME, harder Prove it United States

Problem:
A light pulse starts at a corner of a reflective square. It bounces around inside the square, reflecting off of the square's perimeter nn times before ending in a different corner. The path of the light pulse, when traced, divides the square into exactly 2021 regions. Compute the smallest possible value of nn.

Solution

Solution:
The main claim is that if the light pulse reflects vertically (on the left/right edges) aa times and horizontally bb times, then gcd(a+1,b+1)=1\gcd(a+1, b+1)=1, and the number of regions is (a+2)(b+2)2\frac{(a+2)(b+2)}{2}. This claim can be conjectured by looking at small values of aa and bb; we give a full proof at the end.

Assuming the claim, we are trying to find the least possible value of a+ba+b when (a+2)(b+2)=22021=24347(a+2)(b+2)=2 \cdot 2021 = 2 \cdot 43 \cdot 47. This happens when (a+2,b+2)=(47,86)(a+2, b+2) = (47, 86), which also satisfies gcd(a+1,b+1)=1\gcd(a+1, b+1)=1, and gives a+b=47+864=129a+b = 47 + 86 - 4 = 129.

We now prove the claim. Imagine that at each reflection, it is the square that gets reflected instead. Then the path pp of the light pulse becomes a straight segment ss from (0,0)(0,0) to (a+1,b+1)(a+1, b+1) of slope +m=a+1b+1+m=\frac{a+1}{b+1}.

- The square starts as 1 region; the light pulse hitting a corner at the end creates 1 more region.
- Each reflection of the light pulse creates a region. These correspond to intersections of ss with a line x=nx=n or y=ny=n for x[a],yx \in [a], y \in **. There are a+ba+b such intersections.
- Each self-intersection of pp creates a region. An intersection on pp corresponds to two on ss, and each intersection of ss happens with a line of slope m-m passing through an even integral point, i.e. a line of the form (b+1)x+(a+1)y=2k(b+1)x + (a+1)y = 2k. The open segment ss intersects these lines for k[ab+a+b]k \in [ab + a + b]. However, the a+ba+b intersections that happen on a gridline xZx \in \mathbb{Z} or yZy \in \mathbb{Z} do not count, so here we have an additional ab/2ab/2 regions.

Therefore, the total number of regions is
2+a+b+ab2=(a+2)(b+2)2 2 + a + b + \frac{ab}{2} = \frac{(a+2)(b+2)}{2}

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.