>>411

頂点から 底辺の中点に下ろした垂線の長さは √{(h/2)^2 + a^2},
よって表面積sと体積V 'は
 s = h^2 + 2h√{(h/2)^2 + a^2}
  = 2(1+√3)a^2,    (← h=a√2)

 V ' = (1/3)a・h^2
   = (2/3)a^3,    (← h=a√2)

正八面体の頂点を (±l/√2,0,0) (0,±l/√2,0) (0,0,±l/√2) とおく。
a < l/√2 のとき、
 v = {(√2)/3}l^3 - V '
  = {(√2)/3}l^3 - (2/3)a^3,