平面上の \(2\) 点 P , Q の距離を \(d( \text{P} , \text{Q} )\) と表すことにする.
平面上に点 O を中心とする一辺の長さが \(1000\) の正三角形 \(\triangle \text{A} {} _ 1 \text{A} {} _ 2 \text{A} {} _ 3\) がある.
\(\triangle \text{A} {} _ 1 \text{A} {} _ 2 \text{A} {} _ 3\) の内部に \(3\) 点 \(\text{B} {} _ 1 , \text{B} {} _ 2 , \text{B} {} _ 3\) を,
\(d( \text{A} {} _ n , \text{B} {} _ n ) = 1 \quad ( n=1, 2, 3 ) \) となるようにとる. また,
\[\begin{align}
\overrightarrow{a _ 1} & = \overrightarrow{\text{A} {} _ 1 \text{A} {} _ 2} ,
\quad \overrightarrow{a _ 2} = \overrightarrow{\text{A} {} _ 2 \text{A} {} _ 3} ,
\quad \overrightarrow{a _ 3} = \overrightarrow{\text{A} {} _ 3 \text{A} {} _ 1} , \\
\overrightarrow{e _ 1} & = \overrightarrow{\text{A} {} _ 1 \text{B} {} _ 1} ,
\quad \overrightarrow{e _ 2} = \overrightarrow{\text{A} {} _ 2 \text{B} {} _ 2} ,
\quad \overrightarrow{e _ 3} = \overrightarrow{\text{A} {} _ 3 \text{B} {} _ 3}
\end{align}\]
とおく. \(n=1, 2, 3\) のそれぞれに対して, 時刻 \(0\) に \(\text{A} {} _ n\) を出発し,
\(\overrightarrow{e _ n}\) の向きに速さ \(1\) で直進する点を考え, 時刻 \(t\) におけるその位置を \(\text{P} {} _ n (t)\) と表すことにする.
(1) ある時刻 \(t\) で \(d( \text{P} {} _ 1 (t) , \text{P} {} _ 2 (t) ) \leqq 1\) が成立した.
ベクトル \(\overrightarrow{e _ 1}-\overrightarrow{e _ 2}\) と, ベクトル \(\overrightarrow{a _ 1}\) とのなす角を \(\theta\) とおく.
このとき \(| \sin \theta | \leqq \dfrac{1}{1000}\) となることを示せ.
(2) 角度 \(\theta _ 1 , \theta _ 2 , \theta _ 3\) を \(\theta _ 1 = \angle \text{B} {} _ 1 \text{A} {} _ 1 \text{A} {} _ 2\) ,
\(\theta _ 2 = \angle \text{B} {} _ 2 \text{A} {} _ 2 \text{A} {} _ 3\) ,
\(\theta _ 3 = \angle \text{B} {} _ 3 \text{A} {} _ 3 \text{A} {} _ 1\) によって定義する.
\(\alpha\) を \(0 \lt \alpha \lt \dfrac{\pi}{2}\) かつ \(\sin \alpha =\dfrac{1}{1000}\) をみたす実数とする.
(1) と同じ仮定のもとで, \(\theta _ 1 +\theta _ 2\) の値のとる範囲を \(\alpha\) を用いて表せ.
(3) 時刻 \(t _ 1 , t _ 2 , t _ 3\) のそれぞれにおいて, 次が成立した.
\[
d(\text{P} {} _ 2 (t _ 1) , \text{P} {} _ 3 (t _ 1)) \leqq 1 , \quad d(\text{P} {} _ 3 (t _ 2) , \text{P} {} _ 1 (t _ 2)) \leqq 1 ,
\quad d(\text{P} {} _ 1 (t _ 3) , \text{P} {} _ 2 (t _ 3)) \leqq 1
\]
このとき, 時刻 \(T =\dfrac{1000}{\sqrt{3}}\) において同時に
\[
d(\text{P} {} _ 1 (T) , \text{O}) \leqq 3 , \quad d(\text{P} {} _ 2 (T) , \text{O}) \leqq 3 , \quad d(\text{P} {} _ 3(T) , \text{O}) \leqq 3
\]
が成立することを示せ.
続きを読む →