ｒ＝０，１，２，３，４，５，６，７　　（mod８）

を考える。

このときｒ^2＝０，１，４より、

　　ｘ^2＋ｙ^2＋ｚ^2≠８ｍ＋７

さらに４のベキをかけたとき、

　　ｘ^2＋ｙ^2＋ｚ^2≠４^k（８ｍ＋７）

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

　逆に、ｘ^2＋ｙ^2＋ｚ^2＝ｎは

　　ｎ≠４^k（８ｍ＋７）

のときに限って解をもつ。

このことはすべての整数の

　　1/8+1/4・8+1/16・8+・・・=1/6

は、3つの平方数の和で表すことができないことを意味している。

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