■整数の平方和分割(その4)

 コラム「オイラーと約数の和関数」「オイラーと整数の分割関数」で述べたことは,それらと「整数の平方和分割」の仕方に対応がみられるということであった.

[1]オイラーの定理

 4n+1型の素数はただひとつの2つの平方数の和で表される.

 p=□+□

 一方,4n+3型の素数はひとつも2つの平方数の和で表されない.

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

 p=x^2+y^2であれば,pは4n+1型素数であるが,

 p^2=(x^2+y^2)^2=(x^2−y^2)+(2xy)^2=X^2+Y^2

である.

 また,(4n+1)^2=4(n^2+n)+1=4N+1

がしたがう

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