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

　　　　　ｍ＝ｎ（ｎ−１）／２

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

　　　　　ｍ＝ｎ（ｎ−１）（ｎ−２）／２

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

　　　　　ｍ＝ｎ（ｎ−１）（ｎ−２）^2／６

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

が使えるのは，ｎ−ｋ≧３ということになる．

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

［１］ｈγ4の局所幾何（１，６，１２，８，１）

［２］ｈγ5の局所幾何（１，１０，３０，３０，５＋５，１）

［３］ｈγ6の局所幾何（１，１５，６０，８０，３０＋１５，６＋６，１）

［４］ｈγ7の局所幾何（１，２１，１０５，１７５，１０５＋３５，４２＋２１，７＋７，１）

［５］ｈγ8の局所幾何（１，２８，１６８，３３６，２８０＋７０，１６８＋５６，５６＋２８，８＋８，１）

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

［５］ｈγ8の局所幾何（１，２８，１６８，３３６，２８０＋７０，１６８＋５６，５６＋２８，８＋８，１）

からｈγ8の大域幾何を求めてみよう．

　ｈγ8の頂点数は２^7＝１２８

　ひとつの頂点に１次元面（α1）が２８個集まるとする．

　　ｆ1＝１２８（２８／２）＝１７９２

　ひとつの頂点に２次元面（α2）が１６８個集まるとする．

　　ｆ2＝１２８（１６８／３）＝７１６８

　ひとつの頂点に３次元面（α3）が３３６個集まるとする．

　　ｆ3＝１２８（３３６／４）＝１０７５２

　ひとつの頂点に４次元面（α4，ｈγ4）がそれぞれ２８０，７０個集まるとする．

　　ｆ4＝１２８（２８０／５＋７０／８）＝７１６８＋１１２０

　ひとつの頂点に５次元面（α5，ｈγ5）がそれぞれ１６８，５６個集まるとする．

　　ｆ5＝１２８（１６８／６＋５６／１６）＝３５８４＋４４８

　ひとつの頂点に６次元面（α6，ｈγ6）がそれぞれ５６，２８個集まるとする．

　　ｆ6＝１２８（５６／７＋２８／３２）＝１０２４＋１１２

　ひとつの頂点に７次元面（α7，ｈγ7）がそれぞれ８個集まるとする．

　　ｆ7＝１２８（８／８＋８／６４）＝１２８＋１６

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

　検してみると，ｈγ8の大域幾何は

（１２８，１７９２，７１６８，１０７５２，７１６８＋１１２０，３５８４＋４４８，１０２４＋１１２，１２８＋１６），Σｆ＝０

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