nＴk＝Σ(0,k)（−１）^k-jkＣjｊ^n

　　nＴk＝ｋn-1Ｔk-1＋n-1Ｔk

とデーン・サマービル関係式

　　ｆk＝Σ(0,k)（−１）^j（ｎ−ｊ，ｎ−ｋ）ｆj

を比較してみよう．

　このままでは比べにくいから，前者のパラメータをｊ→ｋ−ｊに変えてみると

　　nＴk＝Σ(0,k)（−１）^jkＣj（ｋ−ｊ）^n

となる．これより

　　kＣj（ｋ−ｊ）^n＝（ｎ−ｊ，ｎ−ｋ）ｆj

となるかどうかは疑問であるが，ともあれ比較しやすい形にはなったわけである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　以上は多面体的組み合わせ論の結果であるが，幾何学的には

　　ｆk＝Σ(0,k)（ｎ＋１，ｊ＋１）ｆ(k-j)^(n-1ｰj)

の形で求められるから，これも

　　（−１）^jkＣj（ｋ−ｊ）^n＝（ｎ＋１，ｊ＋１）ｆ(k-j)^(n-1ｰj)

　　ｆ(k-j)^(n-1ｰj)＝（−１）^jkＣj（ｋ−ｊ）^n／（ｎ＋１，ｊ＋１）

あるいは

　　（−１）^j（ｎ−ｊ，ｎ−ｋ）ｆj＝（ｎ＋１，ｊ＋１）ｆ(k-j)^(n-1ｰj)

となるかどうかは疑問であるが，ともあれ比較しやすい形にはなったわけである．

　　ｆk＝Σ(0,k)（ｎ＋１，ｊ＋１）ｆ(k-j)^(n-1ｰj)

と比較するならば，

　　nＴk＝ｋ・n-1Ｔk-1＋n-1Ｔk

であろう．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［注］ 空間充填2(2^n-1)胞体面数と第2種スターリング数*k!が等しい件

空間充填2(2^n-1)胞体の面数は

5次元:(f0,f1,f2,f3,f4)=(720,1800,1560,540,62)

であるが，Triangle of numbers T(n,k)

T(5,k)={1, 62, 540, 1560, 1800, 720}

http://oeis.org/A019538

T(n,k) = k! * S(n,k), S(n,k): 第2種スターリング数

では順序が逆になっている．すなわち，

　　ｆk＝T(n,n-k+1)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝