■ガウス・ルジャンドルの定理(その3)

[Q]x^2+y^2+z^2=4^k(8n+7)を満たすx,y,zは存在しない.

[A]k=0のとき,

x^2+y^2+z^2=8n+7を満たすx,y,zは存在しない.

[1]kのとき,

x^2+y^2+z^2=4^k(8n+7)を満たすx,y,zは存在しないとして,

[2]k+1のとき,

x^2+y^2+z^2=4^k+1(8n+7)を満たすx,y,zは存在しないことを示したいのであるが,右辺は偶数であるから,x=2p,y=2q,z=2rとおくことができる.

4p^2+4q^2+4r^2=4^k+1(8n+7)

p^2+q^2+r^2=4^k(8n+7)

これは仮定[1]に反する.

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