■ＤＥ群多面体の面数公式（その８９５）
Ｄ5において，
ａｒｃｃｏｓ３／４＋２ａｒｃｃｏｓ１／√８
＝ａｒｃｃｏｓ３／４＋ａｒｃｃｏｓ（−３／４）
＝π
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
Ｄ6において，
ａｒｃｃｏｓ６／√６３＋２ａｒｃｃｏｓ１／√２８
＝ａｒｃｃｏｓ２／√７＋ａｒｃｃｏｓ（−１３／１４）
＝ａｒｃｃｏｓ（−１３／７√７−√（３／７）√（２７／１９６））
＝ａｒｃｃｏｓ（−１３／７√７−９／１４√７）≠±π
２ａｒｃｃｏｓ６／√６３＋ａｒｃｃｏｓ１／√２８
＝２ａｒｃｃｏｓ２／√７＋ａｒｃｃｏｓ（１／√２８）
＝ａｒｃｃｏｓ（−３／７）＋ａｒｃｃｏｓ（１／√２８）
＝ａｒｃｃｏｓ（−３／７√２８−√（４０／４９）√２７／２８））≠±π
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
Ｄ4において，
ａｒｃｃｏｓ１／√２＋２ａｒｃｃｏｓ１／√２≠±π
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
