α4：ａ1＝１，ａ2＝１／√３，ａ3＝１／√６，ａ4＝１／√１０

β4：ａ1＝１，ａ2＝１／√３，ａ3＝１／√６，ａ4＝１／√２

γ4：ａ1＝１，ａ2＝１，ａ3＝１，ａ4＝１

Ｆ4：ａ1＝１，ａ2＝１／√３，ａ3＝√２／３，ａ4＝√２

　　Ｐ1（２，０，０，０）

　　Ｐ2（１，１，０，０）

　　Ｐ3（１，１，１，１）

　　Ｐ4（１，１，１，−１）

がβ4の基本単体に分解されるかどうかを調べてみたい．

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

　それぞれの頂点間距離は

√２，２，２

√２，√２

２

　これらはβ4，Ｆ4に近いようにみえる．

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