方針
立方体の一辺を1に正規化し、等体積条件から球の半径 を求める。 が使うべき大きさの比較である。(1)では隣り合う2頂点は入れられるが、任意の3頂点には距離 以上の2点が含まれるため不可能。(2)では、辺と球の内部が交わる条件を「球の中心からその辺までの距離が より小さい」と言い換える。5本の構成は辺の中点を中心に取ればよい。6本不可能は、球中心を立方体内へ射影し、対称性で として、6本の辺までの距離がすべて 未満になることが矛盾することを示す。
解答
立方体の一辺の長さを1とする。このとき立方体の体積は1である。等体積の球の半径を とすると であるから である。 より である。実際、 は 、すなわち から従い、 は 、すなわち から従う。また である。
(1)
隣り合う2頂点を考え、その中点に球の中心を置けば、2頂点までの距離は である。 なので、この2頂点は球の内部に入る。したがって2個は可能である。
一方、立方体の任意の3頂点を取ると、その中には距離が少なくとも である2点が含まれる。実際、1つの頂点に隣接する頂点は3つしかなく、3頂点をすべて互いに隣接させることはできないので、少なくとも面対角線以上に離れた2点が現れる。
2点間の距離が 以上なら、その2点をともに球の内部に入れるには、球の半径は より大きくなければならない。しかし である。したがって3頂点を球の内部に入れることは不可能である。よって最大個数は である。
(2)
まず5本が可能であることを示す。立方体を と置き、球の中心を辺 の中点 に置く。この辺そのものは球の内部と共通点をもつ。また、この辺の両端から出る他の4本の辺については、中心からその端点までの距離が である。 なので、これら4本の辺も球の内部と共通点をもつ。したがって合計5本は可能である。
次に6本以上は不可能であることを示す。球の中心が立方体の外にある場合、その点を立方体に最も近い点へ座標ごとに射影しても、立方体上の各点までの距離は増えない。したがって、6本の辺と交わる可能性を調べる上では、球の中心が立方体内にあるとしてよい。
さらに立方体の対称性により、球の中心を とし、 としてよい。この点から12本の辺までの距離を考える。2つの固定座標がともに1である辺までの距離は少なくとも である。また、対称性と から、6番目までに小さくなり得る距離の2乗は、次の6つに含まれる。である。
もし6本の辺が球の内部と共通点をもつなら、中心からそれら6本の辺までの距離はすべて より小さい。 なので、上の6つはすべて より小さくなければならない。
特に かつ である。これらを足すと である。ところが だから となり、 を得る。
一方、上の6つのうち も必要である。左辺は 以上なので であり、 より すなわち となる。これは と矛盾する。
したがって、6本以上の辺が球の内部と共通点をもつことは不可能である。5本は可能で、6本は不可能なので、求める最大本数は である。
別解
解法2(第6近接辺の距離補題)
方針
一辺1の座標立方体に正規化して球半径を評価する。
(1)は頂点間距離、(2)は第6近接辺までの距離の補題と5本の構成で処理する。
解答
球の半径を とする。
と から(1)
1本の辺の中点に球の中心を置けば、その両端までの距離は
なので2頂点を内部に入れられる。立方体の任意の3頂点には、面対角線以上、
すなわち距離 以上離れた2頂点が含まれる。この2点を同じ球の
内部に入れるには が必要で、上の評価に反する。
従って最大は(2)
辺の中点に球の中心を置けば、その辺と両端から出る4辺、合計5辺が
球の内部と共通点をもつので、5本は可能である。
6本が可能だと仮定する。球の中心は立方体内へ射影しても各辺までの距離が
増えないため、立方体内にあるとしてよい。対称性により中心をとする。この点から近い方の6本の辺までの距離の2乗は、順序を除いて以下の組から選ばれる。6本すべてが球内部と交わるなら、特に両式を加え、を使うと を得る。
一方、6本目までを含めるにはも必要で、これは を与える。矛盾である。
従って6本は不可能であり、最大は 本である。
総評
難度8、計算量7。 を先に確定。
(1)は頂点間距離、(2)は辺との距離に直す。6本不可能は
とし、
の矛盾を導く。