Lattice triangles whose centers are lattice points

以下是 Christian Aebi 和 Grant Cairns 所著论文《中心为格点的格点三角形》的详细技术总结。

1. 问题陈述

本文研究了格点几何（整数几何）与欧几里得几何的交集。具体而言，它探讨了以下问题：
给定一个特定类型的三角形（锐角、钝角或直角），其顶点位于整数格点 $\mathbb{Z}^2$ 上，如果其经典中心之一（外心 $F$、重心 $G$ 或垂心 $H$）也是格点，那么其*格点周长 $\ell$ 的可能取值是什么？*

定义：

• 格点： $\mathbb{Z}^2$ 中的一个元素。
• 格点长度： 对于连接两个格点的线段，其格点长度定义为该线段上的格点数量减一。
• 格点周长（$\ell$）： 多边形各边格点长度之和。这等价于多边形边界上的格点总数。
• 中心：
  • $F$：外心（垂直平分线的交点）。
  • $G$：重心（中线的交点）。
  • $H$：垂心（高线的交点）。

作者主要关注锐角三角形，因为钝角和直角三角形的条件被证明限制较少。

2. 方法论

作者结合了数论论证、几何构造以及对格点不变量的代数分析。

• 代数公式： 他们利用顶点坐标表示 $F$、$G$ 和 $H$ 的显式坐标公式。使用的一个关键恒等式是欧拉线关系：$2F + H = 3G$。
• 格点不变量：
  • 引理 1： 确立了对于任意格点三角形，任意两边长度的最大公约数（GCD）等于三边长度的最大公约数。
  • 引理 2 和 3： 将三角形的角度与连接顶点到垂心的线段的格点长度联系起来。具体而言，如果 $H$ 是格点，则 $\tan(\theta) = \ell_{\theta}/m$，其中 $\ell_{\theta}$ 是对边长度，$m$ 是从顶点到 $H$ 的线段的格点长度。
  • 奇偶性论证（引理 4 和推论 1）： 分析坐标的奇偶性（偶/奇）以确定外心的约束。如果 $F$ 是格点，顶点必须具有特定的奇偶性属性，从而迫使格点周长为偶数。
  • 模运算（引理 7）： 如果重心 $G$ 是格点且一条边长是 3 的倍数，那么所有边长都必须是 3 的倍数。
• 构造性证明： 为了证明有效 $\ell$ 的存在性，作者明确构造了满足所需条件的顶点为 $O(0,0)$、$A(z,0)$ 和 $B(x,y)$ 的三角形。
• 排除性证明： 为了证明无效 $\ell$ 的不存在性，他们枚举了 $\ell$ 分解为三个边长的所有可能整数分拆，并利用上述引理展示矛盾（例如，证明三角形不可能是锐角三角形，或 GCD 条件不成立）。
• 数值验证： 在定理 2 的证明中，他们使用反正切和的数值计算来表明某些角度组合无法求和为 $\pi$（180 度），从而排除特定的格点周长。

3. 主要贡献与结果

本文确立了对于三个经典中心中的每一个，存在具有格点中心的锐角格点三角形的必要和充分条件。

A. 垂心 ($H$)

• 定理 1： 存在格点周长为 $\ell$ 且具有格点垂心的锐角格点三角形，当且仅当 $\ell = 6$ 或 $\ell \geq 8$。
• 排除值： $\ell \in \{3, 4, 5, 7\}$。
• 洞察： 排除像 7 这样的小整数与关于三个两两互质整数之和的数论奇趣有关。

B. 外心 ($F$)

• 定理 2： 存在格点周长为 $\ell$ 且具有格点外心的锐角格点三角形，当且仅当 $\ell$ 为偶数且（$\ell = 8$ 或 $\ell \geq 12$）。
• 排除值： 偶数 $\ell \in \{2, 4, 6, 10\}$。
• 约束： 格点周长必须为偶数（这是推论 1 的结果）。条件 $\ell \neq 10$ 源自涉及反正切的复杂角度分析。

C. 重心 ($G$)

• 定理 3： 存在格点周长为 $\ell$ 且具有格点重心的锐角格点三角形，当且仅当 $\ell \geq 3$ 且 $\ell \notin \{5, 11\}$。
• 排除值： $\ell \in \{1, 2, 5, 11\}$。
• 洞察： 排除 5 和 11 与涉及与 3 互质的整数之和的数论命题有关。

D. 组合中心

本文还分析了多个中心同时为格点的情况：

• $G$ 和 $H$ 是格点： $\ell$ 必须是 3 的倍数且 $\ell \geq 9$（排除 3 和 6）。
• $F, G, H$ 是格点： $\ell$ 必须是 6 的倍数且 $\ell \geq 12$（排除 6）。
• 注意： 如果 $F$ 是格点，则 $H$ 自动也是格点（通过欧拉线）。

E. 钝角和直角三角形

作者将这些结果与非锐角三角形进行了对比：

• 垂心： 对于钝角/直角三角形，任何 $\ell \geq 3$ 都是可能的。
• 外心： 对于钝角/直角三角形，任何 偶数 $\ell \geq 4$ 都是可能的。
• 重心： 限制 $\ell \notin \{5, 11\}$ 对钝角三角形成立，但对于直角三角形，$\ell$ 必须是 3 的倍数（且 $\geq 9$）。

4. 意义

• ** bridging 领域：** 本文突出了格点几何变换群（$GL(2, \mathbb{Z})$）与欧几里得几何变换群（$O(2, \mathbb{R})$）之间的张力。它展示了基本几何约束如何导致非平凡的数论限制。
• 奇特的排除： 结果揭示了可能格点周长集合中的“间隙”（例如，为什么 7 对于垂心是不可能的，或者为什么 5 和 11 对于重心是不可能的）。这些间隙并非随意，而是源于整数分拆和互质性的深层性质。
• 开放问题： 本文最后提出了关于内心的一个开放问题。虽然作者怀疑存在类似的结果，但内心公式的复杂性（涉及分母中的边长）表明该问题可能显著更难。他们提供了内心是格点但内切圆半径为无理数的例子，说明了该案例的独特挑战。

5. 结论

Aebi 和 Cairns 提供了具有格点中心的锐角格点三角形的格点周长的完整分类。他们的工作将一个几何问题转化为可解的数论问题，确定了周长的精确“禁止”值，并为所有有效情况提供了构造性证明。结果总结在论文的表 3中，该表作为在各种中心约束下可实现的格点周长的综合参考。