■サマーヴィルの等面四面体(その637)

【1】△5 in △4

【2】F6 in △4

【3】G7 in △4

【4】H8 in △4

のいずれであっても

4m^2+h^2(5)<4m^2+16h^2(2)

6m^2+4h^2(4)<6m^2+9h^2(3)

25h^2(1)

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

【1】△6 in △5

【2】F7 in △5

【3】G8 in △5

【4】H9 in △5

5m^2+h^2(6)<5m^2+25h^2(2)

8m^2+4h^2(5)<8m^2+16h^2(3)

9m^2+9h^2(4)

36h^2(1)

の場合も同様.

したがって,

Σ(−1)^jj(n+1−j)(n+1,j),j=1〜nを調べてみることにしたい.これは

Σ(−1)^jj(n+1−j)(n+1,j),j=0〜n+1としても同値である.

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

(その530)

n次元の場合,(n,1)n−(n,2)2(n−1)+(n,3)3(n−2)−(n,4)4(n−3)+・・・+(n,n)n=0

Σ(1)(−1)^r(n,r)r(n−r+1)=0

(n+1)Σ(1)(−1)^rr(n,r)

Σ(1)(−1)^rr^2(n,r)

(1+x)^n=Σ(0)(n,r)x^r

n(1+x)^n-1=Σ(0)r(n,r)x^r-1

n(n−1)(1+x)^n-2=Σ(1)r(r−1)(n,r)x^r-2

x=−1を代入すると

0=Σ(1)r(r−1)(n,r)(−1)^r

Σ(1)r^2(n,r)(−1)^r=Σ(1)r(n,r)(−1)^r

岩波公式集よりΣ(1)r(n,r)(−1)^r=0

したがって,

Σ(1)r^2(n,r)(−1)^r=0

(n+1)Σ(1)(−1)^rr(n,r)=0

Σ(1)(−1)^r(n,r)r(n−r+1)=0

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