■基本単体の二面角(その72)

 B4~について

  c0=1,c1=2 → L=1

  c1=2,c2=2 → L=1/√2

  c2=2,c3=2 → L=1/√2

  c3=2,c4=√2,α=arccos1/√2 → L=1/√2

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

 C4~について

  c0=1,c1=√2,α=arccos1/√2 → L=1

  c1=√2,c2=√2 → L=1

  c2=√2,c3=√2 → L=1

  c3=√2,c4=1,α=arccos1/√2 → L=1/√2

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

 D4~について

  c0=1,c1=2 → L=1

  c1=2,c2=2 → L=1/√2

  c2=2,c3=2 → L=1/√2

  c3=2,c4=1 → L=1

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

 E6~について

  c0=1,c1=2 → L=1

  c1=2,c2=3 → L=1/√3

  c2=3,c3=2 → L=1/√3

  c3=2,c4=1 → L=1

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

 E7~について

  c0=1,c1=2 → L=1

  c1=2,c2=3 → L=1/√3

  c2=3,c3=4 → L=1/√6

  c3=4,c4=3 → L=1/√6

  c4=3,c5=2 → L=1/√3

  c5=2,c6=1 → L=1/√3

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

 F4~について

  c0=1,c1=2 → L=1

  c1=2,c2=3 → L=1/√3

  c2=3,c3=2√2,α=arccos1/√2 → L=1/√6

  c3=2√2,c4=√2 → L=1/√2

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

 G2~について

  c0=1,c1=2 → L=1

  c1=2,c2=√3,α=arccos√3/2 → L=1/√3

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

[まとめ]これで,無限離散群の基本単体の座標が求まった.

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