問題
座標空間内の4点
を考える。
とする。点 が線分 上を動くとき、点 を中心とする半径 の球(内部を含む)が通過する部分を、それぞれ とする。
(1)平面 が の双方と共有点をもつような の範囲を求めよ。さらに、この範囲の に対し、平面 と の共通部分、および平面 と の共通部分を同一平面上に図示せよ。
(2) と の共通部分が に含まれるための、 についての条件を求めよ。
(3) は (2) の条件を満たすとする。 の体積を 、 と の共通部分の体積を とする。 を合わせて得られる立体 の体積を を用いて表せ。
(4)引き続き は (2) の条件を満たすとする。 を求め、 の体積を決定せよ。
方針
解法1
を、それぞれ線分 から距離 以下の点全体とみなす。(1)は平面 で切り、半径 、 の2つのカプセル形断面を描く。(2)は断面内で の点から までの最大距離を求める。(3)は包含関係により包除原理を簡単にする。(4)は1本の管の体積 と、直交する2本の管の共通体積 を角点まわりの象限に分けて計算する。
解法2
各立体を線分への距離不等式で表し、(1)(2)を座標的に処理する。(4)の共通体積 は、2重積分ではなく を固定した断面積で求める。高さ で とおくと、断面は第1象限の正方形と残り3象限の円板部分に分かれ、1変数積分だけで計算できる。
解答
解法1
(1)
は線分 から距離 以下の点全体である。したがって平面 が と共有点をもつ条件は
同様に、線分 は平面 上にあるから、平面 が と共有点をもつ条件は
より、双方と共有点をもつ範囲は
この範囲の を固定し、平面 上を 平面とみなす。
とおく。 の断面は線分
から距離 以下のカプセル形である。 の断面は線分
から距離 以下のカプセル形である。
(2)
では である。したがって平面 と の共通部分は、 平面上の中心 、半径 の円板である。
とおく。 がこの円板からはみ出す可能性があるのは の角の内側である。そこでは
したがって中心 からの距離の2乗 の最大値は
これが 以下となる条件は
この不等式が のすべてで成り立つ必要がある。右辺は で最小値 をとり、 はこの区間に含まれる。よって必要十分条件は
もとの範囲と合わせて
である。
(3)
3つの立体は合同なので、それぞれの体積は である。また
包除原理より
(2) の条件のもとでは だから、最後の2項は打ち消し合う。したがって
(4)
は長さ1、半径 の円柱と、両端の半球2個からなる。よって
次に を求める。点 を原点とし、 方向を 軸、 方向を 軸、それらに垂直な方向を 軸とする。 の部分では
この部分の体積は、正方形 を対角線で二分して
残る3象限では、共通部分は点 を中心とする半径 の球の4分の3に当たる。その体積は
したがって
(3) に代入すると
解法2
(1)
平面 から線分 までの最短距離は 、線分 までの最短距離は である。したがって
両方を満たす範囲は
断面は、それぞれ長さ1の水平線分、垂直線分を半径
だけ太らせた図形である。
(2)
では、点 から線分 までの距離は
においてその2乗が最も大きくなる角では
これが 以下である条件は
右辺の区間 における最小値は での なので
(3)
により
包除原理でこの2項が相殺されるから
(4)
1本の線分の半径 近傍は、円柱と球1個分の端部をもつので
を別の断面で求める。点 を原点とする 座標を解法1と同様にとり、 を固定する。
とおく。この断面で の部分は一辺 の正方形となる。残り3象限の部分は半径 の円板の4分の3となる。したがって断面積は
よって
以上から