■置換多面体の空間充填性（その４６５）
４次元正単体のデータをもとにして，５次元正単体の場合を調べたい．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
［１］｛３，３，３，３｝（１００００）
｛３，３，３｝（００００）→（１，０，０，０，０），６個
｛３，３｝（０００）×｛｝（１）→（１，０，０，０，０），１５個
｛３｝（００）×｛３｝（１０）→（１，０，０，０，０），２０個
｛｝（０）×｛３，３｝（１００）→（１，０，０，０，０），１５個
｛３，３，３｝（１０００）→（１，０，０，０，０），６個
６
０，１５
０，０，２０
０，０，０，１５
０，０，０，０，６
３列目より，正三角形２０
４列目より，正四面体１５
５列目より，５胞体６
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
［２］｛３，３，３，３｝（０１０００）
｛３，３，３｝（１０００）→（５，１０，１０，５，１，０），６個
｛３，３｝（０００）×｛｝（０）→（１，０，０，０，０），１５個
｛３｝（００）×｛３｝（０１）→（１，０，０，０，０），２０個
｛｝（０）×｛３，３｝（０１０）→（１，０，０，０，０），１５個
｛３，３，３｝（０１００）→（１，０，０，０，０），６個
３０，−１５
６０，０
６０，０，２０
３０，０，０，１５
６，０，０，０，６
１列目より正三角形６０，３列目より正三角形２０
１列目より正四面体３０，４列目より正八面体１５
１列目より｛３３３｝（１０００）６，５列目より｛３，３，３｝（０１００）６
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
［３］｛３，３，３，３｝（００１００）
｛３，３，３｝（０１００）→（１０，３０，３０，１０，１），６個
｛３，３｝（１００）×｛｝（０）→（４，６，４，１，０），１５個
｛３｝（００）×｛３｝（００）→（１，０，０，０，０），２０個
｛｝（０）×｛３，３｝（００１）→（１，０，０，０，０），１５個
｛３，３，３｝（００１０）→（１，０，０，０，０），６個
６０，−６０，２０
１８０，−９０，０
１８０，−６０，０
６０，−１５，０，１５
６，０，０，０，６
１列目より正三角形１８０，２列目より正三角形−６０
（その４２０）より
ｆ2＝（１８／３）・ｆ0＝１２０ （ＯＫ）
１列目より正四面体３０，正八面体３０，２列目より正四面体−１５，４列目より正四面体１５
（その４２０）より
ｆ3＝（６／４＋９／６）・ｆ0＝６０ （ＯＫ）
ｆ0＝２０→正四面体３０，正八面体３０
１列目より｛３，３，３｝（００１０）６
５列目より｛３，３，３｝（０１００）６
ｆ4＝（６／１０）・ｆ0＝１２ （ＯＫ）
ｆ0＝２０→ｆ4＝１２
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
［４］｛３，３，３，３｝（０００１０）
｛３，３，３｝（００１０）→（１０，３０，３０，１０，１），６個
｛３，３｝（０１０）×｛｝（０）→（６，１２，８，１，０），１５個
｛３｝（１０）×｛３｝（００）→（３，３，１，０，０），２０個
｛｝（０）×｛３，３｝（０００）→（１，０，０，０，０），１５個
｛３，３，３｝（０００１）→（１，０，０，０，０），６個
６０，−９０，６０
１８０，−１８０，６０
１８０，−１２０，２０
６０，−１５，０，０
６，０，０，０，６
１列目：正三角形１８０
２列目：正三角形−１２０
３列目：正三角形２０
１列目：正四面体３０，正八面体３０
２列目：正八面体−１５
１列目：｛３，３，３｝（００１０）６
５列目：｛３，３，３｝（０００１）６→［２］と一致
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
［５］｛３，３，３，３｝（００００１）
｛３，３，３｝（０００１）→（５，１０，１０，５，１），６個
｛３，３｝（００１）×｛｝（０）→（４，６，４，１，０），１５個
｛３｝（０１）×｛３｝（００）→（３，３，１，０，０），２０個
｛｝（１）×｛３，３｝（０００）→（２，１，０，０，０），１５個
｛３，３，３｝（００００）→（１，０，０，０，０），６個
３０，−６０，６０，−３０
６０，−９０，６０，−１５
６０，−６０，２０，０
３０，−１５，０，０
６，０，０，０，６
１列目：正三角形６０
２列目：正三角形−６０
３列目：正三角形２０
１列目：正四面体３０
２列目：正四面体−１５
１列目：５胞体６→［１］と一致
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
