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