■等面単体の体積(その274)
これまでの検討で斜角柱を置く方向性は関係ないのと思われたので,再計算したところ,(その253)において誤りが見つかって,そのことが確かめられた.
P1(0,0,0,0)
P2(2,0,0,0)
P3(3/2,(√5)/2,(√10)/2,0)
P4(1,√5,0,0)
===================================
P1(0,0,0,0)
P3(3/2,(√5)/2,(√10)/2,0)
P4(1,√5,0,0)
P2(x,y,z,0)
とおいで,
P1P2=P2P3=P3P4=2
P1P3=P2P4=√6
P1P4=√6
を満たすものを探す.
x^2+y^2+z^2=4
(x−3/2)^2+(y−(√5)/2)^2+(z−(√10)/2)^2=4
(x−1)^2+(y−√5)^2+z^2=6
===================================
P2=P1+sP2P3=(0,0,0,0)+s(−1/2,(√5)/2,(√10)/2,0),
P2=P4+tP2P3=(1,√5,0,0)+t(−1/2,(√5)/2,(√10)/2,0),
となる,新たなP2を選ぶ.
s,t=±1になるはずである.
[1]x=−s/2,y=(√5)s/2,z=(√10)s/2
x=−1/2,y=(√5)/2,z=(√10)/2のとき,
(x−3/2)^2+(y−(√5)/2)^2+(z−(√10)/2)^2=4 (OK)
(x−1)^2+(y−√5)^2+z^2=6 (OK)
x=1/2,y=(√5)/2,z=(√10)/2のとき,
(x−3/2)^2+(y−(√5)/2)^2+(z−(√10)/2)^2=4 (NG)
(x−1)^2+(y−√5)^2+z^2=6 (NG)
[2]x=−t/2+1,y=(√5)t/2+√5,z=(√10)t/2
は
x=1/2,y=(√5)/2,z=(√10)/2のとき,
(x−3/2)^2+(y−(√5)/2)^2+(z−(√10)/2)^2=4を満たさない.
x=3/2,y=−(√5)/2,z=−(√10)/2のとき,
x^2+y^2+z^2=4を満たさない.
===================================
[まとめ]長いこと無駄な計算をしてきたことになる.
===================================