方針
平面 の球側を向く単位法線ベクトル を導入する。(1) は の中心を平面に関して反射し、距離和を直線距離へ変える。(2) は中心平面の法線成分を0にし、(3) は接平面内の射影を直線へ正射影する。
解答
平面 の球がある側を向く単位法線ベクトルを とする。3球の中心を とすればである。位置関係の概略は次の通りである。
(1) を に関して反射した点を とするとである。平面上の点 では なので、三角不等式の等号が成り立つ、すなわち線分 と の交点で距離和が最小になる。
線分を からの比 で表すと、法線成分はである。これが0となる を用いてを得る。
(2) 平面 上の点はと表せる。これが 上にある条件はである。、 と置けば交線 はとなる。
(3) から までの法線距離 は一定なので、 内では接点 と直線 の距離を最小にすればよい。直線上の点との差の平面内成分はである。ここでなので、距離の2乗を最小にする値はである。したがってを得る。
別解
解法2
方針
接平面内で 方向を第1軸に取り、と座標化する。(1) は反射後の線分比、(2) は法線成分、(3) は1変数二次式の頂点で求める。
解答
平面 内の正規直交基底を とし、と置く。これは長さ 、なす角 を満たす。
(1) の反射点は平面の下側 、 は上側 にある。両点を結ぶ線分は、下側から全体の 進んだところで平面と交わる。したがって平面内の座標はであり、となる。
(2) を基準に平面 をと表す。法線座標が0となる条件 に を代入するとを得る。
(3) 上の座標ではである。直線 上の点から接点 への平面内距離の2乗はとなる。この二次式はで最小である。よってとなる。
総評
3球の中心を、接平面内の成分と法線成分に分ける空間ベクトル問題である。目安時間は28〜34分。概略図で接点・中心・法線の対応を確認してから式へ入る。(1) は反射による三角不等式の等号、(2) は中心平面の法線成分0、(3) は接点から交線への正射影が本質である。解法1は内積、解法2は平面内の直交座標で二次式を作り、どちらも を与える。