[论文解读] A new parameterisation of Pythagorean triples in terms of odd and even series

Anthony Overmars, Lorenzo Ntogramatzidis|arXiv (Cornell University)|Apr 1, 2015

Advanced Numerical Analysis Techniques参考文献 6被引用 4

一句话总结

本文提出了一种基于奇数与偶数数列的毕达哥拉斯三元组新参数化方法，通过整数参数 $n$ 和 $μ$ 生成所有本原三元组。它提供了本原性的充要条件，并表明该参数化方法排除了三个元素全为偶数的非本原三元组，与欧几里得公式形成互补，展现出独特的结构洞察。

ABSTRACT

In this paper we introduce a formula that parameterises the Pythagorean triples as elements of two series. With respect to the standard Euclidean formula, this parameterisation does not generate the Pythagorean triples where the elements of the triple are all divisible by 2. A necessary and sufficient condition is also proposed for a Pythagorean triple obtained from this formula to be primitive.

研究动机与目标

• 基于边长的奇偶性模式，发展一种基于奇数与偶数数列的毕达哥拉斯三元组参数化方法。
• 提出一个完整且系统化的公式，通过基于数列的索引生成所有本原毕达哥拉斯三元组。
• 阐明由该数列参数化生成的三元组为本原三元组的条件，提供一种与欧几里得公式不同的判别准则。
• 证明该参数化方法排除了三个元素全为偶数的非本原三元组，而这类三元组在标准欧几里得生成法中是可生成的。

提出的方法

• 该参数化使用两个整数参数 $n$ 和 $\mu$，其中 $n \in \mathbb{N} \setminus \{0\}$，$\mu \in \mathbb{N} \setminus \{0\}$，通过以下公式生成三元组：$a = \mu(2n + \mu)$，$b = 2n(n + \mu)$，$c = 2n^2 + \mu(2n + \mu)$。
• 该方法确保 $a$ 为奇数，$b$ 为偶数，因此 $c - b$ 为奇数，$c - a$ 为偶数，与奇偶数列结构一致。
• 证明：由该公式生成的三元组为本原三元组，当且仅当 $n$ 与 $\mu$ 互质。
• 该参数化方法被证明可生成所有本原三元组，并形成如图3所示的格点结构，其中包含特殊情形，如奇数三元组的毕达哥拉斯家族与偶数三元组的柏拉图家族。
• 该方法与欧几里得公式进行对比，表明尽管两者均可生成本原三元组，但该方法排除了三个边长全为偶数的非本原三元组。

实验结果

研究问题

• RQ1 能否基于边长差值的奇偶数列，系统地对毕达哥拉斯三元组进行参数化？
• RQ2 由该基于数列的参数化方法生成的三元组为本原三元组的充要条件是什么？
• RQ3 为何该参数化方法无法生成三个元素全为偶数的非本原三元组，而欧几里得公式可以？
• RQ4 从该参数化方法中，为何会出现特殊家族——毕达哥拉斯家族（奇数）与柏拉图家族（偶数）？
• RQ5 该参数化方法与标准欧几里得公式在生成三元组集合方面的结构关系如何？

主要发现

• 参数化 $\mathfrak{P}(n, \mu)$ 使用两个正整数 $n$ 和 $\mu$，可生成所有本原毕达哥拉斯三元组，其中 $a = \mu(2n + \mu)$，$b = 2n(n + \mu)$，$c = 2n^2 + \mu(2n + \mu)$。
• 由该参数化生成的三元组为本原三元组，当且仅当 $n$ 与 $\mu$ 互质，提供了清晰的本原性判别准则。
• 该参数化方法排除了所有三个元素 $a$、$b$、$c$ 全为偶数的非本原三元组，而这类三元组可由欧几里得公式生成，但无法由本方法生成。
• 毕达哥拉斯家族的奇数三元组 $(2n+1, 2n^2+2n, 2n^2+2n+1)$ 作为 $\mathfrak{P}(1, n)$ 生成，柏拉图家族的偶数三元组 $(4m^2-1, 4m, 4m^2+1)$ 作为 $\mathfrak{P}(m, 1)$ 生成。
• 同时属于毕达哥拉斯家族与柏拉图家族的唯一三元组是 $(3,4,5)$，对应于 $\mathfrak{P}(1,1)$。
• 图3中的格点结构证实了生成三元组的集合 $\widehat{\mathcal{C}} = \mathcal{E}$，表明该参数化方法完整覆盖了欧几里得三元组。