>>249 >>252

x = (1/2)(X -1/2) + (√3)/2・Z,
y = Y,
z/√3 = 1/2 + (1/2)(X -1/2) - Z/(2√3),
とおく。
円錐面から
 0 ≧ xx + yy - (z/√3 -1/2)^2
  = (2/√3)Z(X-1/2) + (2/3)ZZ + YY,  (放物線)
底面から
 0 ≦ z = (√3)/2・(X +1/2 -Z/√3),  (直線)
よって Z断面は
 Z/√3 - 1/2 ≦ X ≦ 1/2 - Z/√3 - (√3)/(2Z)・YY,