■サマーヴィルの等面四面体(その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

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