ｘ^2−ｎ＝ｙ^2，ｘ^2＋ｎ＝ｚ^2を同時に満たす有理数ｘ，ｙ，ｚが存在するような整数ｎを合同数とよぶ．

　言い換えると，面積が１，２，３，４となる３辺が有理数である直角三角形は存在しないのである．最小の合同数は直角三角形（３／２，２０／３，４１／６）の面積５である．

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

【１】フィボナッチの合同数

　　ｘ^2−５＝ｙ^2，ｘ^2＋５＝ｚ^2

すなわち，ある有理数の平方に５を引いても５を足しても平方数となる有理数を見つけよという問題に，フィボナッチは解ｘ＝４１／１２を与えた．

　　（４１／１２）^2−５＝（３１／１２）^2

　　（４１／１２）^2＋５＝（４９／１２）^2

　フィボナッチの等式としてよく知られている恒等式

　　（ａ^2＋ｂ^2）（ｃ^2＋ｄ^2）＝（ａｃ−ｂｄ）^2＋（ａｄ＋ｂｃ）^2

立方数の和と和の平方は等しい

　　Σｋ^3＝｛ｎ（ｎ＋１）／２｝^2

も，フィボナッチに帰されるが，合同数により彼は有名になったといわれている．

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

［Ａ］ピタゴラスの三角形（ａ，ｂ，ｃ）を考える．

　　ａ^2＋ｂ^2＝ｃ^2

　　ｃ^2＋２ａｂ＝（ａ＋ｂ）^2

　　ｃ^2−２ａｂ＝（ａ−ｂ）^2

　したがって，２ａｂ＝５ｋ^2となる（ａ，ｂ，ｃ，ｋ）を探せばよい．または

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

となるので，

　　２（ｍ^2−ｎ^2）（２ｍｎ）＝５ｋ^2

となる（ｍ，ｎ，ｋ）を探せばよい．

　ｎ＝１として，ｍ＝２→３→４→・・・を代入すると

　　（ｍ，ｎ，ｋ）＝（９，１，２４）

　　（ａ，ｂ，ｃ，ｋ）＝（８０，１８，８２，２４）

　これより，答えのひとつはｃ／ｋ＝８２／２４＝４１／１２

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

　ｘ＝４１／１２の次の解は

　　ｘ＝１１１８３４１２７９２９２１／２２３４１１６１３２４１６

となる．

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