■数の図形数分割(その10)

【1】2平方和定理(フェルマーの定理)

 特別な素数である2を除外して,素数は4で割ると余りが1になるもの(5,13,17,29,37,41,・・・)と3になるもの(3,7,11,19,23,31,・・・)の2種類に分けられます.このうち,4n+1の形の素数は2つの整数の平方の和として表されます.たとえば,

  5=1^2+2^2,

  13=2^2+3^2,

  17=1^2+4^2,

  29=2^2+5^2,

 このように,4で割ると1余る素数ならば,p=x^2+y^2となる自然数が存在します.

 4で割ったときの余りは,その数の最後の2桁にのみ依存していますから,素数16561は2つの平方数の和であることがわかります.実際,

  16561=100^2+81^2

しかし,4n+3の形の素数は1つもこのようには表せないのです.

 この定理はフェルマーの定理と呼ばれ,フェルマーは無限降下法でこれを証明しましたが,その証明は不十分で,100年後のオイラーによって完全な証明がなされています(フェルマー・オイラーの定理).

===================================