pを奇素数とする。以下の条件(i)、(ii)をともに満たす整数a、b、cの組(a,b,c)の個数をN(p)と表す。
(i)a、b、cの最大公約数は1
(ii)a^2+b^2+c^2=p^2
p≡1(mod4)のときN(p)=6(p-1)、p≡3(mod4)のときN(p)=6(p+1)であることを示せ。