［補］互いに素な整数ａ，ｂに対する平方の和ａ^2＋ｂ^2は３で割れない．

　　ａ＝３ｋ　　　→　ａ^2＝９ｋ^2

　　ａ＝３ｋ＋１　→　ａ^2＝９ｋ^2＋６ｋ＋１

　　ａ＝３ｋ＋２　→　ａ^2＝９ｋ^2＋１２ｋ＋４

より，ａ^2を３で割ったときの余りは０か１になります．０になるのはａが３の倍数のときです．

　ｂ^2に対しても同じことが成り立ちますから，ａ^2＋ｂ^2を３で割ると，余りは０＋０，０＋１，１＋０，１＋１にしかなりません．０＋０はａもｂも３の倍数であることに対応していて，仮定に反します．さらにまた，別の例を挙げてみましょう．

［補］４ｎ＋３の数はａ^2＋ｂ^2の形にならない．

　　ａ＝４ｋ　　　→　ａ^2＝０　　（ｍｏｄ　４）

　　ａ＝４ｋ＋１　→　ａ^2＝１　　（ｍｏｄ　４）

　　ａ＝４ｋ＋２　→　ａ^2＝０　　（ｍｏｄ　４）

　　ａ＝４ｋ＋３　→　ａ^2＝１　　（ｍｏｄ　４）

したがって，ａ^2＋ｂ^2を４で割ったときの余りは０＋０，０＋１，１＋０，１＋１にしかならないので，この主張が示されました．

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

誤りがあり訂正

x^2,y^2,z^2,w^2=0,1,4,1,0,1,4,1 (mod8)

これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

3つの組み合わせでは8k+7を作ることはできない。

ｍ＝2→0,2,0,2,0,2,0,2

x^2,y^2,z^2,mw^2、これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

ｍ＝3→0,3,4,3,0,3,4,3

ｍ＝4→0,4,0,4,0,4,0,4

ｍ＝5→0,5,4,5,0,5,4,5

ｍ＝6→0,6,0,6,0,6,0,6

ｍ＝7→0,7,4,7,0,7,4,7

x^2,y^2,z^2,mw^2、これらの4つの組み合わせで8k,8k+1,・・・,8k+7すべて作ることができる

ｍ＝8→0,0,0,0,0,0,0,0

x^2,y^2,z^2,mw^2、これらの4つの組み合わせでは8k+7を作ることはできない。

ｍ＝9→0,1,4,1,0,1,4,1 ・・・元に戻る

ｍ＝10→0,2,0,2,0,2,0,2

ｍ＝11→0,3,4,3,0,3,4,3

ｍ＝12→0,4,0,4,0,4,0,4

ｍ＝13→0,5,4,5,0,5,4,5

ｍ＝14→0,6,0,6,0,6,0,6

ｍ＝15→0,7,4,7,0,7,4,7

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

　（１，１，１，１），（１，１，１，２），（１，１，１，３）

　（１，１，１，４），（１，１，１，５），（１，１，１，６）

　（１，１，１，７）がリストアップされたことになる

mod8では

x^2+y^2+z^2+2w^2

x^2+y^2+z^2+10w^2=x^2+y^2+z^2+2w^2+8w^2

は等しいと考えることができる

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

mod15で考えればどうなるのだろうか？

x^2,y^2,z^2,w^2=0,1,4,9,1,10,6,4,4,6,10,1,9,4,1(mod15)

これらの4つの組み合わせで15k,15k+1,・・・,15k+14すべて作ることができる

3つの組み合わせで15k,15k+1,・・・,15k+14すべて作ることができる

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