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

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

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

１・８＝８

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

０・８＋１・２４＝２４

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

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

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

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

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

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

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