原始ピタゴラス数

原始ピタゴラス数（げんしピタゴラスすう、）とは、ピタゴラス数のうち3つの数が互いに素であるものをいう。つまり、自然数の3つ組  であって、
 （ピタゴラス数の条件）
 （原始性の条件）
をともに満たすもののことである。

 概要 
3個の自然数の組  がピタゴラス数であることは、その最大公約数を  として  と表すと、 がピタゴラス数であることと同値である。ゆえに、ピタゴラス数には  のみに着目し、これは原始ピタゴラス数と呼ばれている。

ピタゴラス数が原始的（あるいは素 () とも言う）であることと、3個の自然数のうちある2個が互いに素であることは同値である（一般に、ピタゴラス数  について  が成り立つ）。

原始ピタゴラス数には重複なく生成する式、そしてそれを効率良く列挙するアルゴリズムが知られており、そのアルゴリズムによって原始ピタゴラス数全体を三分木で表すことができる。

 リスト（三分木を含まない） 
原始ピタゴラス数  の3数の表示順は、 を斜辺とするのが一般的であるが、その上で、
  とするもの
 は偶奇が異なる（#生成式参照）ので、
  を偶数辺とするもの
  を偶数辺とするもの
がある。

ユークリッドの式では  を偶数辺、ブラフマグプタの式では  を偶数辺としていることが多い。

ここでは  とし、 の小さい順に並べると、 までは以下の47通りである：
(3, 4, 5)(5, 12, 13)(8, 15, 17)(7, 24, 25)(20, 21, 29)(12, 35, 37)(9, 40, 41)(28, 45, 53)(11, 60, 61)(16, 63, 65)(33, 56, 65)(48, 55, 73)(13, 84, 85)(36, 77, 85)(39, 80, 89)(65, 72, 97)
(20, 99, 101)(60, 91, 109)(15, 112, 113)(44, 117, 125)(88, 105, 137)(17, 144, 145)(24, 143, 145)(51, 140, 149)(85, 132, 157)(119, 120, 169)(52, 165, 173)(19, 180, 181)(57, 176, 185)(104, 153, 185)(95, 168, 193)(28, 195, 197)(84, 187, 205)(133, 156, 205)(21, 220, 221)(140, 171, 221)(60, 221, 229)(105, 208, 233)(120, 209, 241)(32, 255, 257)(23, 264, 265)(96, 247, 265)(69, 260, 269)(115, 252, 277)(160, 231, 281)(161, 240, 289)(68, 285, 293)
このうち、第1項が偶数であるものは22個である。
 斜辺、最小辺、中間長それぞれの昇順列は、、を参照。
 周長が昇順となる原始ピタゴラス数の列はを参照。

 生成式 
原始ピタゴラス数  の生成式は、ユークリッドの式とブラフマグプタの式が知られている。ただし  の順番は流儀によりまちまちである。

ユークリッドの式またはピタゴラスの公式とは、
 または 
の形のことである。ここで、 は自然数で
  は互いに素

  と  の偶奇は異なる（一方が奇数で他方が偶数）
を満たす。

これに対してブラフマグプタの式とは、
 または 
の形のことである。ここで、 は自然数で
  は互いに素

  は奇数
を満たす。

ユークリッド式とブラフマグプタ式には  の関係があり、本質的には同じである。ただし、周長は、ユークリッド式では 、ブラフマグプタ式では  となり、ブラフマグプタ式の方が式が簡単になることがある。

『数学ガール』（結城浩著）では、ユークリッドの式は「ピタゴラ・ジュース・メーカー」とネーミングされて取り上げられている。

 生成式の導出 
ユークリッドの式は、以下のようにして導出できる。

3段構成で証明される。
 と  は偶奇が異なる
 が偶数とすると、 は平方数
 または 

1.  は原始的であるから、 と  の少なくとも1つは奇数である。

 も  も奇数であると仮定すると、

これは  に矛盾。

故に、 と  は偶奇が異なる。

2.  が偶数、 が奇数の場合について証明する（他の場合は  を入れ替えればよい）。

（ は整数）とおく。

ここで  と  は偶奇が一致するから、（ともに奇数だとすると上の等式を満たさないため）
（ は自然数）
とおくことができる。

ここで  は互いに素であるから、 は互いに素であることが導ける。さらに  は偶奇が一致するから  は奇数である。

逆に、 は互いに素で  が奇数ならば、 は互いに素であることも導ける。

 は互いに素だから、（ は互いに素な自然数）とおくことができる。

このとき 

 より 

 は奇数より  は奇数。

3. 2.より 

∴  ■

 生成アルゴリズム 
 タイルの操作 
原始ピタゴラス数全体を分類するために、ピタゴラスの生成式における （ただし ）の「退化」を次で定義する：
2辺が  の長方形と2辺が  の長方形の内、含む方から含まれる方を取り除いて出来る長方形（対称差）の短辺を 、長辺を  とする。
この「退化」は  の値により、3タイプに分類される：
 のとき：（操作u とする）
 のとき：（操作a とする）
 のとき：（操作d とする）

こうして得られた新たな  も満たすべき条件：
 は互いに素

 と  の偶奇は異なる
を満たすことが、ユークリッドの互除法と仮定より従う。しかも、「退化」を1回施すと  は狭義減少する。

この「退化」を繰り返していくと、有限回で  になる。
（なぜなら、 より有限回で  になる。このとき偶奇性より （ は自然数）の形になるから。）

逆に考えると、操作 u, a, d は全単射と分かる。実際に、操作 u, a, d の逆写像「添加」はそれぞれ
操作U：
操作A：
操作D：
となり、それぞれ
長辺を一辺とする正方形2個から、もとの長方形を除く
長辺に正方形を2個くっつける
短辺に正方形を2個くっつける
に対応している（短辺は広義増加、長辺は狭義増加する）。

故に、全ての  は  に「添加」を有限回施すことで、モレ・ダブリがなく得られると分かる。故に、原始ピタゴラス数全体は、 から枝分かれした、モレ・ダブリのない、三分木で分類されると分かる。

上記の議論は、ブラフマグプタの式でも同様にできる。ただしユークリッドの式とブラフマグプタの式では、u, a, d の定義の順序を逆にする必要がある（でないと操作が対応しなくなる）。

細矢治夫は著書で、U は up、D は down、A は across を意味していると述べている細矢治夫『トポロジカル・インデックス―フィボナッチ数からピタゴラスの三角形までをつなぐ新しい数学』初版2012年8月20日、改訂版2021年9月17日。。

（例）

 の  からの「添加」列を求める。

故に、 は、 に操作 D, A, U を順に施したものであると分かる。//

歴史的には、初期値  に
操作U を繰り返して得られる原始ピタゴラス数の列は「ピタゴラス系列」、
操作A からは「フェルマー系列」、
操作D からは「プラトン系列」
と呼ばれている。
各系列の斜辺列は、、を参照。
フェルマー系列はを参照。

 原始ピタゴラス数の変換式 
全ての原始ピタゴラス数 （ は転置を表す）は、 に次の行列  を左から有限回掛ける（作用させる）ことで、一意に得られることが、前節の「添加」より分かる：

ここから次のことが分かる小林吹代『ピタゴラス数を生み出す行列の話』ベレ出版 (2008/7/15)：直角三角形において、
操作U は、斜辺と偶数辺の差を保つ。
操作A は、直角をはさむ2辺の差を 倍にする。
操作D は、2個の奇数の長さの差を保つ。

 分数表示による求値 
 の操作は、（これは既約分数である）と分数表示すると、関数値の計算により求められる。

#タイルの操作で表した「退化」u, a, d を分数表示すると
操作u：
操作a：
操作d：
となる。

（例1）

例えば、 の「退化」列は、

となり、 とおくと

と分かる。

（例2）

となり、

と分かる。

（例3）

となり、

と分かる。//

この分数表示は計算機に入れやすい。これをプログラミング言語Javaのメソッドとして実装すると、
    public static boolean inverseUAD( int m, int n ) {
        if (!(0 < m) || !(m < n)) {
            System.out.println(" m と n の値が 0 < m < n になっていません。");
            return false;
        }

        if (Arithmetic.gcm(m, n) > 1 ) {
            System.out.println(" m と n の値が 互いに素ではありません。");
            return false;
        }

        if (((n - m) % 2) == 0 ) {
            System.out.println(" m と n の偶奇数は異なっていなければなりません。");
            return false;
        }
        System.out.print("( " + m + ", " + n + " ) = ");
        System.out.print("{ " + ((n * n) - (m * m)) + ", " +
                        (2 * m * n) + ", " + ((n * n) + (m * m)) + " } = ");
        return _inverseUAD(m, n);
    }

    private static boolean _inverseUAD( int m, int n ) {
        // e
        if ((m == 1) && (n == 2)) {
            System.out.println("e");
            return true;
        }

        // D
        if (n > (m + m + m)) {
            System.out.print("D");
            return _inverseUAD(m, n - (m + m));
        }

        // A
        if (n > (m + m)) {
            System.out.print("A");
            return _inverseUAD(n - (m + m), m);

        }

        // U
        System.out.print("U");
        return _inverseUAD((m + m) - n, m);
    }
のようになる。これにより例えば

などが求まる。

 由来と歴史 
原始ピタゴラス数の三分木構造は古代バビロニアにおいてすでに発見されていたようであることが、プリンプトン322から窺われる。ギリシャ数学においては、ピタゴラスおよびユークリッドによって興味を持たれていたものの、一部が失われていたようである。三分木に現れる「プラトン系列」「ピタゴラス系列」などは再発見されたようであるが、もう一本の枝（直角をはさむ2辺の差が1である系列）はクラウディオス・プトレマイオスによって発見されていたかもしれないが、17世紀にフェルマーに着目されるまでヨーロッパ数学界では少なくとも周知はされていなかったようである。直角をはさむ2辺の差が1である系列は古代バビロニアでは知られていたようであることがYBC 7289から窺われる。

操作U・D・A により「原始ピタゴラス数全体は重複なく三分木をなす」ことが、1963年にオランダのバーニング (F.J.M.Barning)F.J.M,Barning, Math. Centrum American Afd. Zuivere Wisk. ZW-011 (1963) 37.、1970年にアメリカのホール (A.Hall)A. Hall, "Genealogy of Pythagorean Triads", The Mathematical Gazette, volume 54, number 390, 1970年12月、pp.377-379. 、また1993年頃Focus Gold通信vol06 20130801に日本の亀井喜久男によって独立に発見・発表された。ただし、バーニング、ホール、亀井の何れの発表についても、各操作はどの表現行列に該当するか?という逆問題が未解決だった。実際に細矢治夫は2012年の著書で「バーニングとホールの（中略）理論の大きな泣き所は, 任意の二つの規約ピタゴラスの三角形を選んだときに, その両者を結ぶU, D, A の組合せが存在するかの判定, またもし存在するとしてもその組合せを知る簡単な手だてがないことである」と述べている。

 フィボナッチ数との関連 
フィボナッチ数は幾何学的には、長方形に正方形をくっつけていって出来る長方形の長辺であり、この図形を「（一般の）フィボナッチ螺旋」と呼ぶ（特に初期値が単位正方形の場合は、いわゆるフィボナッチ数列に対応している）。これに対してユークリッドの互除法はフィボナッチ螺旋の逆回しといえる。故に、フィボナッチ数は互いに素である。

ただし、原始ピタゴラス数の生成アルゴリズムについては、（あるいは ）の偶奇性の条件も必要であるため、長方形にくっつける正方形が2個ずつであるという点が異なる。

 脚注 

 外部リンク 


 pythagorean triplets pythagorean triples - 原始ピタゴラス数の値を出力できるサイト

Category:ピタゴラスの定理
Category:数学に関する記事
Category:証明を含む記事