■ＤＥ群多面体の面数公式（その４０２）
３21の基本単体の頂点は，ρについて
Ｐ0（０，０，０，０，０，０，０）
Ｐ1（１，０，０，０，０，０，０）
Ｐ2（１，１／√３，０，０，０，０，０）
Ｐ3（１，１／√３，１／√６，０，０，０，０）
Ｐ4（１，１／√３，１／√６，１／√１０，０，０，０）
Ｐ5（１，１／√３，１／√６，１／√１０，１／√１５，０，０）
Ｐ7（１，１／√３，１／√６，１／√１０，１／√１５，１／√２１，√（９／７））
３21の基本単体の頂点は，σについて
Ｐ0（０，０，０，０，０，０，０）
Ｐ1（１，０，０，０，０，０，０）
Ｐ2（１，１／√３，０，０，０，０，０）
Ｐ3（１，１／√３，１／√６，０，０，０，０）
Ｐ4（１，１／√３，１／√６，１／√１０，０，０，０）
Ｐ5（１，１／√３，１／√６，１／√１０，１／√１５，０，０）
Ｐ7（１，１／√３，１／√６，１／√１０，１／√１５，１／√３，１）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
１／２１＋９／７＝２８／２１
１／３＋１＝２８／２１ （一致）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
