[论文解读] Pythagorean Triples and a New Pythagorean Theorem

H. Lee Price, Frank R. Bernhart|ArXiv.org|Jan 19, 2007

Mathematics and Applications参考文献 5被引用 6

一句话总结

本文提出了一种关于直角三角形内接两个特定正方形的新型毕达哥拉斯恒等式，涉及斜边与正方形边长倒数的关系，揭示了 $\frac{1}{c^2} + \frac{1}{h^2} = \frac{1}{s^2}$，其中 $h$ 和 $s$ 分别为调和正方形与和声正方形的边长。该恒等式引出了新的变换——和声导数（Symphonic Derivatives），可从已有本原毕达哥拉斯三元组生成新的本原三元组，在数论及三元组的树状枚举中具有应用价值。

ABSTRACT

Given a right triangle and two inscribed squares, we show that the reciprocals of the hypotenuse and the sides of the squares satisfy an interesting Pythagorean equality. This gives new ways to obtain rational(integer)right triangles from a given one.

研究动机与目标

• 建立一个代数恒等式，将直角三角形中斜边与内接正方形边长倒数之间的关系联系起来。
• 探讨调和正方形与和声正方形的几何构造及其代数性质。
• 开发一种变换——和声导数（Symphonic Derivatives），能够从已有本原毕达哥拉斯三元组生成新的本原三元组。
• 研究反导数问题：利用新变换从导出的三元组中恢复原始三元组。
• 确定给定本原三元组是否可表示为大和声导数或小和声导数，并证明二者互斥。

提出的方法

• 推导在直角边为 $a$、$b$，斜边为 $c$ 的直角三角形中，内接调和正方形（$h = \frac{ab}{a+b}$）与和声正方形（$s = \frac{abc}{ab + c^2}$）的边长。
• 通过代数代入与毕达哥拉斯恒等式 $c^2 = a^2 + b^2$，建立恒等式 $\frac{1}{c^2} + \frac{1}{h^2} = \frac{1}{s^2}$。
• 定义两种变换：大导数 $S: [a,b,c] \to [c(a+b), ab, c^2 + ab]$ 与小导数 $S': [a,b,c] \to [c|a-b|, ab, c^2 - ab]$。
• 证明若 $[a,b,c]$ 为本原毕达哥拉斯三元组，则经 $S$ 或 $S'$ 变换后所得三元组仍为本原三元组。
• 利用导出三元组的主生成元 $\frac{Q}{P}$，通过关于 $a$ 与 $b$ 的二次方程重构原始三元组，从而实现反导数运算。
• 将该方法应用于费马三元组，通过质因数分解及 $4k+3$ 形式质数的性质，证明其既非大和声导数也非小和声导数。

实验结果

研究问题

• RQ1 恒等式 $\frac{1}{c^2} + \frac{1}{h^2} = \frac{1}{s^2}$ 是否对所有存在内接调和正方形与和声正方形的直角三角形均成立？
• RQ2 和声导数 $S$ 与 $S'$ 是否能从已有本原毕达哥拉斯三元组生成新的本原三元组？
• RQ3 是否存在某个本原三元组同时是大和声导数与小和声导数？
• RQ4 是否每个本原三元组均可通过 $S$ 或 $S'$ 的反导数形式表示为另一三元组的导出结果？
• RQ5 判断某三元组是否为和声导数的条件是什么？如何实现算法化检测？

主要发现

• 恒等式 $\frac{1}{c^2} + \frac{1}{h^2} = \frac{1}{s^2}$ 对所有直角三角形成立，其中 $h$ 与 $s$ 分别为调和正方形与和声正方形的边长。
• 变换 $S: [a,b,c] \to [c(a+b), ab, c^2 + ab]$ 可从任意本原三元组 $[a,b,c]$ 生成新的本原毕达哥拉斯三元组，经 $[3,4,5]$ 三元组验证，结果为 $[35,12,37]$。
• 小导数 $S': [a,b,c] \to [c|a-b|, ab, c^2 - ab]$ 生成另一有效的本原三元组，且两种变换互斥。
• 费马三元组 $[4565486027761, 1061652293520, 4687298610289]$ 既非大和声导数也非小和声导数，经质因数分解及 $c$ 中含 $\equiv 3 \pmod{4}$ 的质数可证。
• 即使三元组并非由 $S$ 或 $S'$ 生成，反导数仍存在，可能产生复数或实数无理解；例如 $[15,8,17]$ 的反导数为 $\frac{1}{2}(5 \pm \sqrt{-7})$ 与 $\frac{1}{2}(3 \pm \sqrt{41})$。
• 大/小定理证明：若某三元组同时为大和小和声导数，则其关联二次方程的根将导致几何与代数上的矛盾，故二者互斥。