■正定値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
===================================