[论文解读] The Pythagorean Tree: A New Species

H. Lee Price|arXiv (Cornell University)|Sep 25, 2008

History and Theory of Mathematics参考文献 7被引用 14

一句话总结

本文提出了一种用于生成所有本原毕达哥拉斯三元组（PPTs）的新三叉树结构，与著名的Barning-Hall树不同。该方法使用一组全新的三个整数矩阵作用于PPT的列向量，系统地从根[3,4,5]生成所有PPT，关键结果表明：在该新树中，费马著名的三元组在第32层被达到，而在Barning-Hall树中则需第43层，显示出更高的效率。

ABSTRACT

In 1967 the Dutch mathemetician F.J.M. Barning described an infinite, planar, ternary tree*. Seven years later, A. Hall independently discovered the same tree. Both used the method of uni-modular matrices to transform one triple to another. A number of rediscoveries have occurred more recently. In this article we announce the discovery of an entirely different ternary tree, and show how it relates to the one found by Barning and Hall.

研究动机与目标

• 提出一种结构上不同的新三叉树，用于生成所有本原毕达哥拉斯三元组（PPTs），其根本上不同于Barning-Hall树。
• 建立基于三个固定矩阵的变换系统，用于生成任意PPT的三个后继，确保所有PPT都能被系统且唯一地生成。
• 证明新树相较于Barning-Hall树，能为重要PPT（如费马著名的三元组）提供更短的路径，表明其遍历效率更高。
• 探讨新树的数论性质，与基于几何和圆的Barning-Hall树形成对比。
• 证明新树保留了半角正切值（HATs）及其相关2×2参数框的斐波那契类似结构，同时重新定义了后继生成机制。

提出的方法

• 该方法使用三个3×3整数矩阵M₁、M₂、M₃，其行列式分别为8、-8、-8，用于生成任意PPT（表示为列向量v）的三个后继。
• 每个矩阵通过线性变换Mᵢv将PPT [a,b,c] 映射为一个新的PPT，该变换被验证可保持毕达哥拉斯恒等式a² + b² = c²。
• 变换基于从三元组导出的半角正切值（HAT）参数：q/p = b/(c+a) 和 q′/p′ = a/(c+b)，这些约分后的分数构成一个2×2矩阵。
• 后继生成的关键方程源自HAT变换：对于给定的HAT q/p，三个后继的HAT分别为2q/(p+q)、(p−q)/(2p) 和 (p+q)/(2p)。
• 通过递归地对每个PPT应用这三个矩阵，从根[3,4,5]开始构建树，确保所有PPT被生成且无重复。
• 任意PPT的路径以左（A）、直行（B）或右（C）移动的序列编码，费马三元组在新树中的路径代码为AABAABACABACABAAABABABAAAAAABAAA。

实验结果

研究问题

• RQ1 能否构建一种新三叉树，使用与Barning-Hall方法不同的矩阵变换集，来生成所有本原毕达哥拉斯三元组？
• RQ2 与Barning-Hall树相比，新树是否能为已知的重要PPT（如费马著名的三元组）提供更短的路径？
• RQ3 新树与PPT相关的半角正切值（HATs）和斐波那契框的几何与数论性质有何关联？
• RQ4 尽管两者都生成相同的PPT集合，新树在结构和推导上是否与Barning-Hall树有本质不同？
• RQ5 新树能否用于重建已知的PPT族（如毕达哥拉斯族B(n)和柏拉图族A(n)），并呈现出清晰的层次结构？

主要发现

• 新三叉树使用三个固定的3×3矩阵M₁、M₂、M₃（行列式分别为8、-8、-8）生成所有本原毕达哥拉斯三元组，且在变换下保持毕达哥拉斯恒等式。
• 费马著名的三元组[4565486027761, 1061652293520, 4687298610289]在新树中位于第32层，而在Barning-Hall树中位于第43层，表明效率有显著提升。
• HAT分数的变换遵循精确规则：从q/p出发，三个后继的HAT分别为2q/(p+q)、(p−q)/(2p) 和 (p+q)/(2p)，这些结果源自矩阵对参数框的作用。
• 新树包含一个对应于毕达哥拉斯族B(n)的二叉子树，其中每个三元组的形式为[2n+1, 2n(n+1), 2n(n+1)+1]，且B(n)的中间后继即为柏拉图三元组A(n)。
• 尽管两者都生成相同的PPT集合，新树本质上是数论导向的，与Barning-Hall树强烈的几何与圆（笛沙格圆方程）特性形成鲜明对比。
• 通过使用一个2×2斐波那契框（FB），其元素为q′、q、p、p′，其中q′ = p−q 且 p′ = p+q，可从任意两个连续元素重构三元组，整个树即由此类框构建而成。