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

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