【１】Ｄnの局所幾何学

　　ｆ1＝ｎ（ｎ−１）／４・ｆ0

　　ｆ2＝ｎ（ｎ−１）（ｎ−２）／６・ｆ0，ｎ＞３

　　ｆ3＝ｎ（ｎ−１）（ｎ−２）^2／２４・ｆ0，ｎ＞３

　ｎ−ｋ＝１，２，３が公式通り

　　ｆn-k＝｛ｋ（ｎ，ｋ）／（ｎ−ｋ＋１）＋（ｎ，ｋ）／２^n-k-1｝ｆ0

になっているか確かめてみたい．

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

［１］ｎ−ｋ＝３

　　ｆ3＝｛（ｎ−３）（ｎ，ｎ−３）／４＋（ｎ，ｎ−３）／４｝ｆ0

　　ｆ3＝｛（ｎ−３）（ｎ，３）／４＋（ｎ，３）／４｝ｆ0

＝｛（ｎ−３）ｎ（ｎ−１）（ｎ−２）／２４＋ｎ（ｎ−１）（ｎ−２）／２ｆ0

＝ｎ（ｎ−１）（ｎ−２）／２４｛（ｎ−３）＋１｝ｆ0

＝ｎ（ｎ−１）（ｎ−２）^2／２４・ｆ0　　　（ＯＫ）

［２］ｎ−ｋ＝２

　　ｆ3＝｛（ｎ−２）（ｎ，ｎ−２）／３＋（ｎ，ｎ−２）／２｝ｆ0

　　ｆ3＝｛（ｎ−２）（ｎ，２）／３＋（ｎ，２）／２｝ｆ0

＝｛（ｎ−２）ｎ（ｎ−１）／６＋ｎ（ｎ−１）／４｝ｆ0

＝ｎ（ｎ−１）／２｛（ｎ−２）／３＋１／２｝ｆ0

＝ｎ（ｎ−１）（２ｎ−１）／１２・ｆ0　　　（ＮＧ）

［３］ｎ−ｋ＝１

　　ｆ3＝｛（ｎ−１）（ｎ，ｎ−１）／２＋（ｎ，ｎ−１）／１｝ｆ0

　　ｆ3＝｛（ｎ−１）（ｎ，１）／２＋（ｎ，１）／１｝ｆ0

＝｛（ｎ−１）ｎ／２＋ｎ｝ｆ0

＝ｎ／２｛（ｎ−１）＋２｝ｆ0

＝ｎ（ｎ＋１）／２・ｆ0　　　（ＮＧ）

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

［まとめ］

　　ｆn-k＝｛ｋ（ｎ，ｋ）／（ｎ−ｋ＋１）＋（ｎ，ｋ）／２^n-k-1｝ｆ0

が使えるのは，ｎ−ｋ≧３ということになる．これは予想通りであった．

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