■サマーヴィルの等面四面体(その881)
試行錯誤したが,ここまでくれば1次元ずる次元を下げていって,n−1点を1点に集める方法(その864)〜(その865)は正しいように思える.
===================================
(その818)をみると,n次元空間充填等面単体を1次元低い超平面平面に投影したときは,確かに
(最短辺)^2−(最短辺/n)^2=e^2
になっている.1次元ずつ下げていくと・・・
△6
P0P1=P1P2=P2P3=P3P4=P4P5=P5P6=√6
P0P2=P1P3=P2P4=P3P5=P4P6=√10
P0P3=P1P4=P2P5=P3P6=√12
P0P4=P1P5=P2P6=√12
P0P5=P1P6=√10
P0P6=√6
から始めたい.e^2=6−6/36
5次元空間(6次元超平面)に投影すると
Q1Q2=Q2Q3=Q3Q4=Q4Q5=Q5Q6=e
Q1Q3=Q2Q4=Q3Q5=Q4Q6=e√8/√5
Q1Q4=Q2Q5=Q3Q6=e3/√5
Q1Q5=Q2Q6=e√8/√5
Q1Q6=e
f^2=e^2−e^2/25
4次元空間(5次元超平面)に投影すると
R2R3=R3R4=R4R5=R5R6=f
R2R4=R3R5=R4R6=f√6/2
R2R5=R3R6=f√6/2
R2R6=f
g^2=f^2−f^2/16
3次元空間(4次元超平面)に投影すると
S3S4=S4S5=S5S6=g
S3S5=S4S6=g2/√3
S3S6=g
h^2=g^2−g^2/9
2次元空間(3次元超平面)に投影すると
T4T5=T5T6=h
T4T6=h
===================================
e^2=30/36
f^2=24/25・e^2
g^2=15/16・f^2=15/16・24/25・e^2
h^2=8/9・g^2=8/9・15/16・f^2=8/9・15/16・24/25・e^2
N=Πn^2/(n^2−1)=Πn/(n−1)・n/(n+1)
=2/1・2/3・3/2・3/4・・・n/(n−1)・n/(n+1)
はうまくキャンセルアウトして
N=2/1・n/(n+1)→2
===================================