>>882
nが奇数でないと成り立たない気がするんだが…
一応、証明は帰納法でどうかな？
n=1のとき、成り立つ
n=k(奇数)のとき、成り立つと仮定する
n=k+2のとき、成り立つことを示す
k+2個のうちから、距離が最短の宇宙船を2つ取り除けば、仮定より監視されてない宇宙船が存在する
ゆえに、最短である宇宙船2つを元に戻しても監視されてない宇宙船が存在する
よって、題意(奇数の場合)が示された■