■正定値2次形式とエルミートの定数(その17)

【1】4平方和定理4平方和定理(オイラー・ラグランジュの定理)

 任意の自然数は4つの平方数の和の形に表せる。

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

 4平方和定理,すなわち,任意の自然数はx^2+y^2+z^2+w^2の形に書くことができることをミンコフスキーの定理を用いて証明したい.

 x^2+y^2+z^2+w^2がpの倍数となるすべての点は格子をなすが,その平行八胞体の体積はpである.

 原点を中心とする半径1.01√pの球を描くと,その体積は

  π^2r^4/2=0.52π^2p^2=5.13p^2>4p

 ミンコフスキーの定理より,この球は原点以外の格子点(x,y)を少なくともひとつ含む.

  0<x^2+y^2+z^2+w^2<1.02p

 すなわち,0と1.02pの間にある0以外のpの倍数はp自体であることより,x^2+y^2+z^2+w^2=pが従う.

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

π^(n/2)r^n/Γ(n/2+1)=2^d

n=2のとき、πr^2=4,r=(4/π)^1/2

n=3のとき、π^(3/2)/(3√π/4) ・r^3=8,r=(6/π)^1/3

n=4のとき、π^(2)/(2) ・r^4=16,r=(32/π^2)^1/4

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