■サマーヴィルの等面四面体(その627)

 もっと一般的な形で,ゴールドバーグの一般化ができないだろうか?

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

【1】△3 in △2

  P0(0,0,0)

  P1(0,0,3h)

  P2(m/√2,m√3/√2,2h)

  P3(2m/√2,0,h)

とおくと

  P0P1^2=9k^2h^2=a^2

  P0P2^2=2m^2+4k^2h^2=b^2

  P0P3^2=2m^2+k^2h^2=c^2

  P1P2^2=2m^2+k^2h^2=a^2

  P1P3^2=2m^2+4k^2h^2=b^2

  P2P3^2=2m^2+k^2h^2=a^2

a^2=9k^2h^2=2m^2+k^2h^2

b^2=2m^2+4k^2h^2

c^2=2m^2+k^2h^2

2m^2=8k^2h^2

a^2=9k^2h^2

b^2=12k^2h^2

c^2=9k^2h^2

a^2/9=b^2/12=c^2/9

4a^2=3b^2=4c^2

 しかし,これでは等面四面体と同じことになるので,これから直接的に

  3a^2−3b^2+c^2=0

には結びつかない.

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