[论文解读] Line tangents to four triangles in three-dimensional space

Hervé Brönnimann, Olivier Devillers+2 more|arXiv (Cornell University)|Feb 27, 2005

Mathematics and Applications被引用 1

一句话总结

本文研究了三维空间中与四个三角形相切的直线数量，证明最多可存在162条这样的公共切线，当三角形互不相交时最大数量减少至156条。研究证明，当三角形处于代数一般位置时，公共切线的数量始终为偶数，并通过构造法得到一个含62条切线的配置，同时借助计算搜索发现了最多含40条切线的配置。

ABSTRACT

We investigate the lines tangent to four triangles in R^3. By a construction, there can be as many as 62 tangents. We show that there are at most 162 connected components of tangents, and at most 156 if the triangles are disjoint. In addition, if the triangles are in (algebraic) general position, then the number of tangents is finite and it is always even.

研究动机与目标

• 确定在R³中与四个三角形相切的直线的最大数量。
• 分析此类切线的连通分支数量。
• 在一般位置和互不相交约束下，建立公共切线数量的上下界。
• 研究公共切线数量是否始终为偶数。
• 通过计算方法探索存在大量公共切线的配置的可能性。

提出的方法

• 通过代数几何方法，将三角形的边替换为复射影空间CP³中的直线，以分析横截线。
• 应用经典结论：在CP³中，四条直线在一般位置下有两条横截线，由此得出81 × 2 = 162种潜在解。
• 采用拓扑论证，证明公共切线以成对方式产生和消失，从而证明其数量始终为偶数。
• 通过将横截线按边四元组分组，并结合先前关于线段的研究结果，分析切线的连通分支。
• 对超过500万个随机三角形配置进行大规模计算搜索，以经验性评估切线数量。
• 使用几何扰动技术构造出一个含62条公共切线的配置。

实验结果

研究问题

• RQ1 在R³中，与四个三角形相切的直线最多有多少条？
• RQ2 公共切线集合的连通分支最多有多少个？
• RQ3 当三角形处于一般位置时，公共切线的数量是否总是偶数？
• RQ4 是否存在超过40条公共切线的配置？
• RQ5 三角形互不相交对公共切线数量上界有何影响？

主要发现

• 在R³中，与四个三角形相切的公共切线的最大数量不超过162条。
• 若四个三角形互不相交，则公共切线的上界减少至156条。
• 存在一个由四个互不相交三角形构成的配置，其包含62条公共切线。
• 当三角形处于代数一般位置时，公共切线的数量始终为偶数。
• 对500万个随机三角形配置的计算搜索未发现任何含超过40条公共切线的配置。
• 即使三角形不互不相交，公共切线的连通分支数量上界162条仍然成立，而在互不相交条件下该上界减少至156条。