フェルマーのクリスマス定理とは 「pが素数のとき p≢3 (mod 4) ⇔ x²+y²=p が整数解をもつ」 という定理のこと。ところで、次の定理が知られている： 定理(1798,ルジャンドル) nが自然数のとき n=4ᵏ(8m+7) (k,mは非負整数) ⇔ x²+y²+z²=n が整数解をもたないこ…