■DE群多面体の面数公式(その895)

 D5において,

  arccos3/4+2arccos1/√8

 =arccos3/4+arccos(−3/4)

 =π

===================================

 D6において,

  arccos6/√63+2arccos1/√28

=arccos2/√7+arccos(−13/14)

=arccos(−13/7√7−√(3/7)√(27/196))

=arccos(−13/7√7−9/14√7)≠±π

  2arccos6/√63+arccos1/√28

=2arccos2/√7+arccos(1/√28)

=arccos(−3/7)+arccos(1/√28)

=arccos(−3/7√28−√(40/49)√27/28))≠±π

===================================

 D4において,

  arccos1/√2+2arccos1/√2≠±π

===================================