■サマーヴィルの等面四面体(その389)
P1(0,0,0)
P2(1/√2,√3/√2,0)
P3(2/√2,0,0)
は
P1P2=P2P3=√2
P1P3=√2
を満たす.
P1(0,0,0)
P2(m/√2,m√3/√2,0)
P3(2m/√2,0,0)
は
P1P2=P2P3=m√2
P1P3=m√2
を満たす.
P0(0,0,0)
P1(0,0,3h)
P2(m/√2,m√3/√2,h)
P3(2m/√2,0,2h)
P0P1^2=9h^2
P0P2^2=2m^2+h^2
P0P3^2=2m^2+4h^2
P1P2^2=2m^2+4h^2
P1P3^2=2m^2+h^2
P2P3^2=2m^2+h^2
ここで,△3が内接するためには
9h^2=2m^2+h^2,m^2=4h^2
ならばよい.
9h^2=2m^2+h^2=3
2m^2+4h^2=4,h^2=1/3,m^2=4h^2=1/4
h^2=1/3,3h=√3 (△3の最短辺)
→断面の1辺の長さは2m/√2で計算できる.
===================================