４次元正軸体系でも確認してみたい．

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

［１］｛３，３，４｝（１，０，１，０）

　　ｆ3＝（１／１２＋２／８＋０／３＋２／１２）ｆ0＝８＋２４＋（３２）＋１６＝４８

　　１２は｛３，４｝（０，１，０）の頂点数

　　８は｛４｝（１，０）×｛｝（１）の頂点数＝４×２＝８

　　３は｛｝（０）×｛３｝（１，０）の頂点数＝１×３＝３

　　１２は｛３，３｝（１，０，１）の頂点数＝１２

［２］｛３，３，４｝（０，１，０，１）

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

　　２４は｛３，４｝（１，０，１）の頂点数

　　１６は｛４｝（０，１）×｛｝（０）の頂点数＝４×１＝４

　　６は｛｝（１）×｛３｝（０，１）の頂点数＝２×３＝６

　　６は｛３，３｝（０，１，０）の頂点数＝６

［３］｛３，３，４｝（１，１，１，０）

　　ｆ3＝（１／２４＋１／８＋０／６＋２／２４）ｆ0＝８＋２４＋（３２）＋１６＝４８

　　２４は｛３，４｝（１，１，０）の頂点数

　　８は｛４｝（１，０）×｛｝（１）の頂点数＝４×２＝８

　　６は｛｝（０）×｛３｝（１，１）の頂点数＝１×６＝６

　　２４は｛３，３｝（１，１，１）の頂点数＝２４

［４］｛３，３，４｝（０，１，１，１）

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

　　４８は｛３，４｝（１，１，１）の頂点数

　　８は｛４｝（１，１）×｛｝（０）の頂点数＝８×１＝８

　　６は｛｝（１）×｛３｝（０，１）の頂点数＝２×３＝６

　　１２は｛３，３｝（０，１，１）の頂点数＝１２

　最初の１と最後の１の位置が等しい場合はファセット数は等しくなる．

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