■サマーヴィルの等面四面体(その429)
ハーレーの論文覚え書き.g(λ)の展開から
τ/l=(6/n(n+1)(n+2))^1/2の段.
===================================
Σ(n−2p)^2は,p=0〜[n/2]
nが偶数のとき,n^2,(n−2)^2,・・・,2^2,0^2
nが奇数のとき,n^2,(n−2)^2,・・・,3^2,1^2
したがって,p=0〜n
nが偶数のとき,n^2,(n−2)^2,・・・,2^2,0^2,2^2,・・・,n^2
nが奇数のとき,n^2,(n−2)^2,・・・,3^2,1^2,1^2,・・・,n^2
として,あとから1/2のしてもよい.
===================================
Σ(n−2p)^2,p=0〜n
=Σn^2−4Σnp+4Σp^2
=n^2(n+1)−4n^2(n+1)/2+4n(n+1)(2n+1)/6
=n(n+1){n−2n+2(2n+1)/3}
=n(n+1){n/3+2/3}
=n(n+1)(n+2)/3
===================================