Abstract:We study the geometry of billiard orbits on rectangular billiards. A truncated billiard orbit induces a partition of the rectangle into polygons. We prove that thirteen is a sharp upper bound for the number of different areas of these polygons.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **On a rectangular billiard table, after the truncated billiard trajectory divides the rectangle into polygons, what is the upper limit of the different numbers of areas of these polygons?** Specifically, the author studied the billiard trajectories launched from one corner of the rectangular billiard table and considered the different numbers of areas of the polygonal regions formed after truncating the trajectory at a certain boundary point.
### Core Problems of the Paper
1. **Geometric Division and Area Difference**
- By studying the movement of the billiard trajectory on the rectangular billiard table, the author found that the truncated trajectory will divide the rectangle into multiple polygons.
- The areas of these polygons may be different, and the author's goal is to determine the upper limit of the number of these different areas.
2. **Theoretical Basis**
- The author utilized the "Three Gap Theorem" and the "Four Gap Theorem". These theorems describe the upper limit of the number of intervals after division under specific conditions.
- Through these theorems, the author proved that for any launch angle and truncation point, the number of different areas is at most 13, and this upper limit is optimal.
### Formulas and Conclusions
- **Three Gap Theorem**
\[
\text{Theorem 1 (The Three Gap Theorem)}: \text{Let } n \in \mathbb{N} \text{ and } \alpha \in (0,1). \text{ The numbers }
0, \{\alpha\}, \{2\alpha\}, \{3\alpha\}, \ldots, \{n\alpha\}
\]
divide the interval \([0,1]\) into sub - intervals, and the lengths of these sub - intervals have at most three different values. If there are three lengths, the largest length is equal to the sum of the other two lengths.
- **Main Results**
\[
\text{Theorem 2}: \text{For any } \alpha > 0 \text{ and } M > 0 \text{ such that } (\|M\|, \|\alpha M\|) \in [0, \frac{1}{2}]^2 \setminus (0, \frac{1}{2})^2, \text{ the billiard orbit } B_\alpha^{[0,M]} \text{ induces a partition of } [0, \frac{1}{2}]^2 \text{ into polygons for which }
A_\alpha^{[0,M]} \leq 13 \text{ and } S_\alpha^{[0,M]} \leq 16.
\]
where \(A_\alpha^{[0,M]}\) represents the number of different areas, and \(S_\alpha^{[0,M]}\) represents the number of different shapes. These upper limits are optimal.
### Summary
The main contribution of the paper is to prove that on a rectangular billiard table, there is a definite upper limit for the different numbers of areas of the polygons generated by the truncated billiard trajectory, that is, at most 13. In addition, the paper also explored special cases under rational and irrational launch angles, further verifying the optimality of this conclusion.