■x^2+ny^2型素数(その33)

[6]8n+7型素数の2倍はx^2+y^2+z^2に分解される.

  7・2=14=1^2+2^2+3^2

  23・2=46=1^2+3^2+6^2

  31・2=62=1^2+5^2+6^2

  47・2=94=2^2+3^2+9^2

[7]平方数でない奇数はx^2−y^2に分解される.

  45=7^2−4^2=9^2−6^2=23^2−22^2

  P=ab,

  x=(a+b)/2,y=(a−b)/2とおくと,P=x^2−y^2

  45=5・9=3・15=1・45

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

「素数」を除外して考えてみたい。

x^2=0,1,4 (mod 8)

x^2+y^2=0,1,2,4,5

x^2+y^2+z^2=0,1,2,3,4,5,6

x^2-y^2=0,1,3,4,5,7

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

8n+7=7 (mod8)

2(8n+7)=6 (mod8)

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