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

[1]4n+1型素数は2つの平方数の和x^2+y^2に分解される.

  5=1^2+2^2

  13=2^2+3^2

  17=1^2+4^2

  29=2^2+5^2

  37=1^2+6^2

  41=4^2+5^2

[2]3n+1型素数(必然的に3n+1型素数)はx^2+3y^2に分解される.

  7=2^2+3・1^2

  13=1^2+3・2^2  (4n+1型素数でもある)

  19=4^2+3・1^2

  21=2^2+3・3^2

  37=5^2+3・2^2  (4n+1型素数でもある)

  47=4^2+3・3^2

[3]8n+1型素数,8n+3型素数はx^2+2y^2に分解される.

  3=1^2+2・1^2

  11=3^2+2・1^2

  17=3^2+2・2^2  (4n+1型素数でもある)

  19=1^2+2・3^2

  41=3^2+2・4^2  (4n+1型素数でもある)

  43=5^2+2・3^2

[4]8n+1型素数,8n+7型素数はx^2−2y^2に分解される.

  17=5^2−2・2^2

  23=5^2−2・1^2

  31=7^2−2・3^2

  41=7^2−2・2^2

[5]20n+3型素数,20n+7型素数の積はx^2+5y^2に分解される.

  7・23=161=9^2+5・4^2

  43・67=2881=1^2+5・24^2

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

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

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

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

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

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

x^2-2y^2=0,1,2,4,6,7

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

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

4n+1=1,5,1,5,1,5,1,5 (mod8)

3n+1=1,4,7,2,5,0,3,6 (mod8)

8n+1=1 (mod8)

8n+3=3 (mod8)

8n+7=7 (mod8)

20n+3=3,7,3,7,3,7,3,7 (mod8)

20m+7=7,3,7,3,7,3,7,3 (mod8)

(20n+3)(20m+7)=1,5

奇数が一致している

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