[论文解读] On the generation of Heronian triangles

Sascha Kurz|arXiv (Cornell University)|Jan 11, 2014

Analytic Number Theory Research参考文献 19被引用 7

一句话总结

本文提出高效算法，用于生成直径不超过 $ n $ 的所有整数赫罗尼安三角形（边长为整数、面积为有理数的三角形），采用一种改进的参数化方法以消除分母，从而实现快速计算。作者实现 $ \/mathcal{O}(n^{2+\varepsilon}) $ 时间复杂度，并对 $ n \leq 600000 $ 的所有此类三角形进行了枚举，为相关几何问题（包括完美四面体和面积与周长相等的赫罗尼安三角形）提供了新见解。

ABSTRACT

We describe several algorithms for the generation of integer Heronian triangles with diameter at most $n$. Two of them have running time $\mathcal{O}\left(n^{2+\varepsilon} ight)$. We enumerate all integer Heronian triangles for $n\le 600000$ and apply the complete list on some related problems.

研究动机与目标

• 开发快速算法，用于生成所有直径不超过 $ n $ 的整数赫罗尼安三角形，其中直径指最大边长。
• 通过一种新型参数化方法消除布拉马普特拉原始参数公式中的分母，克服其计算效率低下的问题。
• 对 $ n = 600000 $ 以内的所有此类三角形进行枚举，以支持丢番图几何中开放问题的经验研究。
• 将完整列表应用于相关问题，包括完美四面体的存在性，以及面积与周长相等的赫罗尼安三角形集合。

提出的方法

• 引入一种新型赫罗尼安三角形参数化方法，使用两两互素的整数 $ w_1, w_2, w_3, w_4 $ 及无平方因子参数 $ s, u $，以消除布拉马普特拉公式中的分母。
• 证明 $ w_4 \leq 8n $，从而对分母因子的搜索空间进行限制，实现高效枚举。
• 利用恒等式 $ w_4 \mid 2(i+h) $ 和 $ w_4 \mid 8c $ 约束 $ w_4 $ 的可能取值，进一步缩小搜索空间。
• 实现算法 3.1，遍历 $ a $、$ w_4 $ 及 $ a w_4 $ 的因数分解，然后对每个 $ z $ 求解 $ x^2 + y^2 = z $。
• 通过嵌套循环遍历整数因数分解，恢复参数 $ p, \alpha, u, x, y, \beta, w_1, v, \gamma, s, t $，并计算边长 $ a, b, c $。
• 基于 $ ab $ 的因数个数，应用第二个算法，利用 $ \mathcal{L}_{\varphi(b_1,b_2)}(j) $ 高效生成候选三角形。

实验结果

研究问题

• RQ1 生成所有直径不超过 $ n $ 的整数赫罗尼安三角形的最高效方法是什么？是否可在 $ \mathcal{O}(n^{2+\varepsilon}) $ 时间内完成？
• RQ2 是否存在完美四面体（边长为整数、面面积为有理数、体积为有理数）且表面积相等或体积相等？
• RQ3 是否存在 $ N \geq 11 $ 个两两不相似的赫罗尼安三角形，其面积与周长相等？
• RQ4 是否存在具有三个有理中线的赫罗尼安三角形？若存在，其最小直径是多少？

主要发现

• 作者成功枚举了所有直径不超过 $ n = 600000 $ 的整数赫罗尼安三角形，生成了可用于进一步分析的完整列表。
• 开发了两种时间复杂度为 $ \mathcal{O}(n^{2+\varepsilon}) $ 的算法，显著优于暴力枚举方法。
• 在开放问题中，未发现具有三个有理中线的赫罗尼安三角形，表明此类三角形的直径可能超过 600000。
• 验证了关于边长成等差数列且一个面面积为有理数的唯一有理四面体（在缩放意义下）的猜想，其范围扩展至直径 600000。
• 发现了六种不同的本原完美四面体，其表面积相等，但未发现表面积与体积均相等的四面体，直至直径 600000。
• 面积与周长相等的 11 个三角形组成的最小组合，其周长超过 1,200,000，证实了此类构造的困难性。