■サマーヴィルの等面四面体(その115)
頂点と底面の重心Jを結ぶ直線は重心Gを通ることを確かめておきたい.
===================================
[2]4次元単体を
P0(1/2,(√5)/2,0,(√10)/2)(頂点)
P1(0, 0, 0, 0)
P2(2, 0, 0, 0)
P3(3/2,(√5)/2,(√10)/2,0)
P4(1, √5, 0, 0)
[1]P0P1P2P3P4の中心
G(1,2(√5)/5,(√10)/10,(√10)/10)
[2]P1P2P3P4の中心
J(9/8,3(√5)/8,(√10)/8,0)
H(1/2,(√5)/2,0, 0)
I(1/2,(√5)/2,0,(√10)/10)
P0,Jを通る直線
(x−1/2)/(9/8−1/2)
=(y−(√5)/2)/(3(√5)/8−(√5)/2))
=(z−0)/((√10)/8−0)
=(w−(√10)/2)/(0−(√10)/2))
1/2/(5/8)
=−√5/10/(−√5/8)
=(√10)/10/(√10)/8)
=(−4√10)/10/ (−(√10)/2))
→Gを通る.
===================================