■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
奇数が一致している
===================================