数学台球的三种形式与周期轨迹研究

2024年的一篇文章介绍了数学台球领域的三种主要研究形式及其最新发现。1内台球是指在凸形边界内的理想化台球运动，其中一个长期未解决的问题是所有三角形是否都允许周期轨迹。1外台球则涉及点在几何形状外部的抽象运动，在椭圆形桌面上表现良好，但在某些形状上的轨迹可能发散到无穷。1第三种是外长度台球，由宾州州立大学的Sergei Tabachnikov和海德堡大学STRUCTURES的Peter Albers最近提出。1

关于正多边形的研究取得了重要进展。1在正n边形外台球中，奇点集构成平面的分片，非周期岛区域内的所有起点最终都会回到起点。1在双曲几何中，研究者发现了无穷多个使所有轨迹都周期性的正多边形台球桌。1具体而言，当条件1/n+1/k < 1/2对所有n,k≥3成立时，双曲几何中存在无穷多个这样的正多边形。1此外，对于任意整数k≥7，存在特定边长ℓ(k)使三角形台球的奇点集恰好为三角形和k边形的平面分片。1

这些理论研究通过计算实验得到验证，作者使用Angular Typescript和Three.JS开发的网页台球软件生成了文中的图像。1

A 2024 article explores three distinct mathematical formulations of billiards and their dynamical properties through computational experimentation 1. The three forms—interior billiards within convex boundaries, exterior billiards with motion occurring outside geometric shapes, and exterior length billiards incorporating complex circular tangent constructions—each present different mathematical challenges 1.

Interior billiards remain largely unsolved, with a fundamental open question being whether all triangles admit periodic trajectories 1. Exterior billiards behave well on elliptical tables, though trajectories on certain shapes may diverge to infinity 1. For regular n-gon exterior billiards, the singularity set partitions the plane into regions where all starting points within non-periodic islands eventually return to their origin 1.

The research identifies significant results in hyperbolic geometry: for any integer k≥7, there exist specific edge lengths ℓ(k) such that triangle billiard singularity sets partition the plane precisely between triangles and k-gons 1. More broadly, when the condition 1/n+1/k < 1/2 holds for all n,k≥3, hyperbolic geometry admits infinitely many regular polygons where all trajectories remain periodic 1. The exterior length billiards framework was recently introduced by Sergei Tabachnikov of Penn State University and Peter Albers of Heidelberg University's STRUCTURES program 1. The author employed a web-based billiards simulation developed using Angular Typescript and Three.JS to generate computational visualizations supporting the analysis 1.