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