■基本単体の二面角(その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
===================================
[まとめ]これで,無限離散群の基本単体の座標が求まった.
===================================