■ルジャンドルの定理とガウスの定理(その11)
[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]に反する.
===================================