ＪＫＬＨが正四面体の８等分体であることを確かめておきたい．

　　Ｊ（−１／２，−１／２，０）

　　Ｋ（１／２，−１／２，０）

　　Ｌ（１／２，１／２，０）

　　Ｈ（１，０，−√２／２）

　｛１，√２，√３，１，１，１｝

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

　　Ｊ（−１／２，−１／２，０）

　　Ｌ（１／２，１／２，０）

　　Ｈ（１，０，−√２／２）

　　Ｍ（０，０，−√２／２）

の辺の長さは

　　｛√２，√３，１，１，１，１｝

で両者は等しい．

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