直角三角形では，斜辺をｃ，他の二辺をａ，ｂとすると，ピタゴラスの定理「ａ^2＋ｂ^2＝ｃ^2」が成り立つことはよく知られています．特に，三辺の長さが整数である直角三角形をピタゴラス三角形といいます．３元２次の不定方程式ａ^2＋ｂ^2＝ｃ^2の整数解を求める問題をピタゴラスの問題といいますが，（ａ，ｂ，ｃ）＝（３，４，５），（５，１２，１３），（８，１５，１７），・・・などがその解です．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ピタゴラス三角形

　ピタゴラス三角形は無限にあり，その一般形にはいくつかの変形がありますが，ｍ，ｎを整数，ｋを相似係数として

　　ａ＝ｋ（ｍ^2−ｎ^2），ｂ＝２ｋｍｎ，ｃ＝ｋ（ｍ^2＋ｎ^2）

が形も簡単で広く用いられています．

　　｛（ｎ^2−１）／２｝^2＋ｎ^2＝｛（ｎ^2＋１）／２｝^2

　　（ｎ^2−１）^2＋（２ｎ）^2＝（ｎ^2＋１）^2

のように文字を一つだけ使ったのでは，ピタゴラス三角形全部をもれなく表す公式は作れませんが，二つの文字を使った公式

　　（ｍ^2−ｎ^2）^2＋（２ｍｎ）^2＝（ｍ^2＋ｎ^2）^2

では全部を表すことができます．逆に，この式から４より大きい平方数は常に２つの自然数の平方の差として表されることがわかります．

　４０００年も前の紀元前二千年頃に，エジプトでは（ａ，ｂ，ｃ）＝（３，４，５），（５，１２，１３），（８，１５，１７）などのピタゴラス三角形が知られていたことがパピルスに記録されています．また，同じ頃のバビロニアの粘土板プリンプトン３２２にはピタゴラスの定理が成り立つような３数の組が１５組刻まれているのですが，その中のきわめつけが（１２７０９，１３５００，１８５４１）です．この数値は試行錯誤で得られるような代物ではなく，バビロニア人たちはすでに一般的なピタゴラスの定理を知っていたのではないかと想像されます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［補］（ａ，ｂ，ｃ）＝（ｍ^2−ｎ^2，ｍｎ，ｍ^2＋ｎ^2）において，

　　ｔ＝ｎ／ｍ，ｘ＝（１−ｔ^2）／（１＋ｔ^2），ｙ＝２ｔ／（１＋ｔ^2）

とおくと，ピタゴラス数は方程式ｘ^2＋ｙ^2＝１に有理数解があるかどうかを考える問題に対応します．

　原点を中心とする半径１の円：ｘ^2＋ｙ^2＝１の円周上のひとつの有理点が（−１，０）です．この点を通る直線ｙ＝ｔ（ｘ＋１）と単位円との交点は，代入して因数分解すれば

　　ｘ^2＋ｔ^2（ｘ＋１）^2＝１

　　（ｔ^2＋１）ｘ^2＋２ｔ^2ｘ＋ｔ^2−１＝０

より

　　ｘ＝（１−ｔ^2）／（１＋ｔ^2）

　　ｙ＝ｔ（ｘ＋１）＝（２ｔ）／（１＋ｔ^2）

と表すことができます．これによって，円周上の点（ｘ，ｙ）が有理点であるためには，ｔが有理数であることが必要十分条件であることがわかります．すなわち，単位円上のすべての有理点はｔの関数

　　ｘ＝（１−ｔ^2）／（１＋ｔ^2），ｙ＝±（２ｔ）／（１＋ｔ^2）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝