Tiling a triangle into a prime number of congruent triangles

技术摘要：将三角形剖分为素数个全等三角形

问题陈述
本文探讨了关于整数 $N$ 的特征化问题，即三角形 $T$ 是否可以被剖分为 $N$ 个全等的三角形 $R$。具体而言，本文研究了 $N$ 为素数时的条件。这项工作建立在先前关于 Erdős 问题 633（涉及非正方形平铺）和 Erdős 问题 634（表征不存在平铺的 $N$）的研究基础之上。核心问题是：除了已知的例外情况外，一个三角形是否可以被剖分为 $N > 3$ 个素数个全等三角形？

方法论
作者采用了一种基于图形分类以及角度与边长可通约性的分类分析法。其方法论如下：

1. 分类讨论： 分析根据三角形 $T$ 是等边、等腰还是不等边，以及其角度是可通约的（$\pi$ 的有理倍数）还是不可通约的，对 $T$ 进行分类。
2. 利用先前结果： 本文依赖于已建立的定理（引用自 Laczich, Beeson 等人的著作），以排除 $T$ 为等边、等腰或具有可通约角度的情况。这些先前的研究已大致确定，对于此类三角形，$N$ 要么不是素数，要么被限制在特定的较小值（$N=2, 3$）。
3. 聚焦不可通约角度： 本文的核心在于处理剩余的困难情况：即 $T$ 具有不可通约的角度，且不是等边或等腰三角形，并由角度为 $(\alpha, \beta, \gamma)$ 的瓦片 $R$ 进行平铺。
   • 根据定理 2，如果 $R$ 具有不可通约的角度且不与 $T$ 相似，则 $R$ 必须具有可通约的边长。这使得 $R$ 的边长可以被视为整数 $(a, b, c)$。
   • 分析集中在“第 2 组”平铺，该组由条件 $3\alpha + 3\beta = \pi$（意味着 $\gamma = 2\pi/3$）定义。第 1 组平铺（$3\alpha + 2\beta = \pi$）此前已被解决。
4. 代数数论： 对于第 2 组中 $T$ 的四种可能形状，作者推导出了将 $N$ 与瓦片边长联系起来的显式公式。
   • 利用正弦定理和面积方程，将 $T$ 的边长表示为瓦片边长的线性组合。
   • 证明了 $T$ 的边长与原始整数三元组之间的比例因子 $\lambda$ 是一个整数（引理 14）。
   • 通过将 $T$ 的面积等于 $N$ 倍的瓦片面积，得到了 $N$ 关于 $\lambda$ 和瓦片边长的因子分解。

主要贡献与结果
本文证明了，如果三角形 $T$ 被 $N$ 个全等三角形 $R$ 平铺（其中 $T$ 不与 $R$ 相似），且 $N > 3$，则 $N$ 不可能是素数。

针对不可通约第 2 组中 $T$ 的四种形状的具体结果如下：

• 情况 1： $T$ 的角度为 $(\alpha, 2\alpha, 3\beta)$。瓦片数量为 $N = 3\lambda^2(a + 2b)(a + b)$。由于 $a, b, \lambda$ 是正整数，因此 $N$ 是合数。
• 情况 2： $T$ 的角度为 $(\alpha, 2\beta, 2\alpha + \beta)$。瓦片数量为 $N = \lambda^2(2a + b)(a + b)$，是合数。
• 情况 3： $T$ 的角度为 $(\alpha, \alpha + \beta, \alpha + 2\beta)$。作者得出 $N = \lambda^2(a + b)/b$。作者证明了 $a+b$ 是合数（引理 15），从而确保 $N$ 不是素数。
• 情况 4： $T$ 的角度为 $(2\alpha, 2\beta, \alpha + \beta)$。瓦片数量为 $N = \lambda^2(a + 2b)(2a + b)$，是合数。

意义与主定理
本文最终得出定理 22，该定理指出：设三角形 $T$ 被一个不与 $T$ 相似的瓦片 $N$ 平铺。若 $N > 3$，则 $N$ 不是素数。

结合关于重复平铺（reptilings，即瓦片与 $T$ 相似的平铺）的先前结果以及已知的例外情况（等腰 $N=2$，等边 $N=3$，以及特定的直角三角形），本文通过推论 23 提供了素数平铺的完整特征描述：

• 某个三角形存在 $N$ 平铺（其中 $N$ 为素数）当且仅当：
  • $N = 2$（任何通过高线切割的等腰三角形）；
  • $N = 3$（一个 30-60-90 三角形）；
  • $N \equiv 1 \pmod 4$（一个两条直角边比例为 $M/K$ 的直角三角形，其中 $N = M^2 + K^2$）。

因此，无法被剖分为 $N$ 个全等三角形的素数 $N$ 的集合，恰好是那些大于 3 且同余于 $3 \pmod 4$ 的素数。

谦逊与范围
本文承认这种“推土机式”的论证涉及检查有限数量的情况。文中指出，此处涉及的数论比相关的 Erdős 问题 633（涉及非正方形平铺并需要椭圆方程）更为简单，因为主要的难点在于处理等腰三角形，而这在先前的文献中已得到解决。本文还特别提到，引理 14 和引理 16 的发现归功于 AI 助手（Claude Fable），强调了计算工具在验证几何证明中特定数论步骤方面的作用。