問題
座標空間内の三角柱を考え,その平面内の面を,平面内の面をとする.点を内に,点を内にとり,またとする.ただし,点,は原点とは異なるとする.
(1) ベクトルおよびに直交する単位ベクトルを求め,その単位ベクトルとベクトルの内積の絶対値を求めよ.
(2) 四面体の体積を求めよ.ただし,点は同一平面上にないとする.
(3) 点が内を,点が内を動くとする.このときの,四面体の体積の最大値,および最大値を与える点,の位置をすべて求めよ.
方針
上の点 は 、 上の点 は を満たす。(1)では と の両方に垂直なベクトルを外積に相当する成分計算で作る。(2)は を底面と見て、(1)で求めた法線方向への の距離を使うと体積が になる。(3)はこの一次式を制約条件内で最大化し、 の等号条件を端点 も含めて調べる。
解答
(1)
である。両方に直交するベクトルを とすると を満たせばよい。
ここで とすれば かつ であるから、確かに と の両方に直交する。点 は原点とは異なるので、このベクトルは零ベクトルではない。したがって求める単位ベクトルは である。
また であるから、この単位ベクトルと の内積の絶対値は である。
(2)
の面積を求める。 と の両方に垂直なベクトル の長さは である。したがって である。
(1)より、点 から平面 までの距離は である。ここで より であり、 より だから である。
よって四面体 の体積 は
である。
(3)
制約条件は である。(2)より体積を最大にするには を最大にすればよい。 , , , なので である。したがって体積の最大値は高々 である。
実際に等号を達成する条件を調べる。等号にはまず が必要である。このとき であり、さらに となる必要がある。 のときは、 かつ が必要なので である。よって である。 のときは なので、等号には が必要であり、 は任意でよい。よって である。 のときは なので、等号には が必要であり、 は任意でよい。よって である。
以上より、最大値は であり、最大値を与える点は上に挙げた3種類である。