■サマーヴィルの等面四面体(その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を通る.

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