Kaleidoscope,p295を形式的に計算．ｔ1,2β4の場合は・・・

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

［１］０次元面→コクセター図形にα3（１１０）＝（１２，１８，８）ができる

１２・８＝９６

［２］１次元面→コクセター図形にα1＝（２，１，０）ができる

１８・８＋２・２４＝１９２

［３］２次元面→コクセター図形は｛｝＝｛１，０）

８・８＋１・２４＋１・３２＝１２０

［４］３次元面→コクセター図形は｛｝＝｛１，０）

１・８＋０・２４＋０・３２＋１・１６＝２４

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

［まとめ］まったく形式的に計算したが，実質的にも合致した．

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