[論文レビュー] Pythagorean Triples and a New Pythagorean Theorem

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

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

ひとこと要約

本稿では、直角三角形に内接する2つの特定の正方形の辺と斜辺の逆数を関連付ける、新しいピタゴラス恒等式を提示する。その恒等式は $rac{1}{c^2} + rac{1}{h^2} = rac{1}{s^2}$ であり、$h$ と $s$ はそれぞれ調和的正方形および協和的正方形の辺を表す。この恒等式により、既存の原始的ピタゴラス数の組から新たな原始的ピタゴラス数の組を生成する「協和微分」変換が導入され、数論や数の組の木構造的列挙への応用が可能となる。

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.

研究の動機と目的

• 直角三角形における斜辺および内接正方形の辺の逆数を結ぶ新しい代数的恒等式を確立すること。
• 調和的正方形および協和的正方形の幾何的構成とその代数的性質を調査すること。
• 既存の原始的ピタゴラス数の組から新たな原始的ピタゴラス数の組を生成できる変換「協和微分」を考案すること。
• 元の数の組を導出した数の組から回復する「逆微分」問題を調査すること。
• 与えられた原始的数の組が、主または副の協和微分として表現可能かどうかを特定し、それらが互いに排他的であることを証明すること。

提案手法

• 直角三角形の各辺を $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}$ を確立する。
• 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 1つの原始的ピタゴラス数の組が、同時に主および副の協和微分として得られる可能性はあるか。
• 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]$ もまた有効な原始的ピタゴラス数の組を生成し、2つの変換は互いに排他的である。
• フェルマーの数の組 $[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})$ である。
• 主／副定理により、数の組が同時に主および副の協和微分であることは不可能であることが証明された。これは、関連する二次方程式の根に矛盾する幾何的・代数的制約が生じるためである。