■数の図形数分割(その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年後のオイラーによって完全な証明がなされています(フェルマー・オイラーの定理).
===================================