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

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

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

5次元の場合,(5,1)5−(5,2)8+(5,3)9−(5,4)8+(5,5)5=0

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

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