[论文解读] The Ballet of Triangle Centers on the Elliptic Billiard

Dan Reznik, Ronaldo Garcia+1 more|arXiv (Cornell University)|Jan 30, 2020

Mathematics and Applications参考文献 18被引用 9

一句话总结

本文研究椭圆台球中三角形中心的动态行为，揭示了3周期轨迹生成复杂轨迹——椭圆、四次曲线及自相交曲线——而某些中心如 $X_{88}$ 和 $X_{162}$ 沿边界表现出非单调运动。主要贡献在于发现这些中心之间存在类似芭蕾舞的联合运动，通过几何与代数分析精确识别出非单调性与自相交的临界阈值。

ABSTRACT

The dynamic geometry of the family of 3-periodics in the Elliptic Billiard is mystifying. Besides conserving perimeter and the ratio of inradius-to-circumradius, it has a stationary point. Furthermore, its triangle centers sweep out mesmerizing loci including ellipses, quartics, circles, and a slew of other more complex curves. Here we explore a bevy of new phenomena relating to (i) the shape of 3-periodics and (ii) the kinematics of certain Triangle Centers constrained to the Billiard boundary, specifically the non-monotonic motion some can display with respect to 3-periodics. Hypnotizing is the joint motion of two such non-monotonic Centers, whose many stops-and-gos are akin to a Ballet.

研究动机与目标

• 研究椭圆台球中3周期轨道上三角形中心（TCs）的几何与动态行为。
• 分析3周期三角形的形状，并将其中心轨迹分类为椭圆、自相交、非紧致或非光滑类型。
• 识别某些TCs沿椭圆边界非单调运动的条件，其行为类似芭蕾舞动作。
• 确定轨迹现象（如非单调运动或自相交）出现的临界长宽比 $a/b$。

提出的方法

• 利用动态几何软件与符号计算，追踪椭圆台球中3周期运动下从 $X_1$ 到 $X_{100}$ 的基尔伯格中心轨迹。
• 应用共焦焦散理论与庞斯勒特闭合定理，表征具有恒定周长的1参数族3周期轨迹。
• 运用代数几何推导定义轨迹转变临界长宽比 $a/b$ 的2至8次多项式方程。
• 通过将TC位置参数化为单参数 $t$ 的函数，分析运动的单调性。
• 使用动画与交互式应用程序（通过 [23]）可视化并验证非单调与自相交行为。
• 比较所推导三角形（如接触三角形、费尔巴哈三角形、中点三角形）及其顶点的轨迹，识别非椭圆模式。

实验结果

研究问题

• RQ1 为何某些三角形中心如 $X_{88}$ 与 $X_{162}$ 在3周期族的椭圆边界上表现出非单调运动？
• RQ2 当长宽比 $a/b$ 达到何临界值时，$X_{88}$ 的轨迹由单调变为非单调运动？
• RQ3 三角形中心的轨迹是否可能与直线相交超过六次？何种条件可实现此类高阶相交？
• RQ4 为何 $X_{59}$ 的轨迹具有四个自相交点？当3周期三角形为直角三角形时，其几何意义为何？
• RQ5 何种因素决定两个台球边界上三角形中心的联合运动呈现芭蕾舞般的特性？哪些中心表现出此行为？

主要发现

• 内心 $X_1$ 的轨迹为椭圆，$X_2$、$X_3$、$X_4$、$X_5$ 及旁心的轨迹亦为椭圆，前100个基尔伯格中心中有29个产生椭圆轨迹。
• $X_9$ 始终静止于椭圆台球的中心，作为具有恒定位置的“黑天鹅”点。
• $X_{11}$（费尔巴哈点）的轨迹位于共焦焦散线上，其运动方向与外切点相反，两者均被约束于焦散线。
• $X_{40}$ 的轨迹在黄金分割比 $\varphi \approx 1.618$ 时与旋转后的椭圆台球完全重合，标志着一次几何巧合。
• $X_{88}$ 与 $X_{162}$ 的非单调运动分别在 $a/b > \alpha_{88} \approx 1.486$ 与 $a/b > \alpha_{162} \approx 1.164$ 时发生，其中 $X_{162}$ 在 $a/b \approx 1.164$ 处发生方向反转。
• $X_{59}$ 的轨迹至少为六次曲线，具有四个自相交点，且自相交现象恰好在 $a/b \approx 1.580$ 时发生，此时3周期三角形为直角三角形。