問題はこちら（画像をクリックするとPDFファイルで開きます。）
ベクトルの三角不等式を題材とした問題です。
(1) , (2) までは基本的な内容の確認ですが、最後の (3) は難しいと思います。
ただ、ありふれた材料をもとにコクのある味わいに仕上げた名作です。
活路を見出せると気持ちよさを感じるでしょう。
ただ、限られた時間しかない試験場では撤退せざるを得ない可能性も大いにあります。
（以下ネタバレ注意）
+ クリック（タップ）して続きを読む (1) の (イ) で証明の対象となっている \(|\vec{x}|+|\vec{y}| \geq |\vec{x}+\vec{y}|\) はベクトルの三角不等式と呼ばれます。 図形的には という図において、三角形の成立条件を考えると当然と思える内容です。 「三角不等式」と呼ばれるのも納得でしょう。 今回の証明においては、この図形的方面から証明してもよいのですが、 など特殊なケースも考えて場合分けする必要があります。 なので、解答では式的にぐうの音も出ない形で証明することにします。 ベクトルの大きさについては２乗を考えるのがセオリーであり、 \((|\vec{x}|+|\vec{y}|)^{2} \geq |\vec{x}+\vec{y}|^{2}\) を示す方向で考え、 \((|\vec{x}|+|\vec{y}|)^{2}-|\vec{x}+\vec{y}|^{2} \geq 0\) を目指します。 \(|\vec{x}+\vec{y}|+|\vec{x}-\vec{y}|\) を小さくしようという気持ちで三角不等式を用いていきます。 その気持ちがあれば $$\begin{eqnarray} と手なりに三角不等式によって、\(\vec{x}\) を消していけるでしょう。 \(\vec{z}=t\vec{x}+(1-t)\vec{y}\) を \(|\vec{z}+\vec{p}|+|\vec{z}-\vec{p}|\) に代入すると \(|\vec{z}+\vec{p}|+|\vec{z}-\vec{p}|=|t\vec{x}+(1-t)\vec{y}+\vec{p}|+|t\vec{x}+(1-t)\vec{y}-\vec{p}|\) となります。 ここからどうするかが本問の難しさです。 示すべき \(|\vec{z}+\vec{p}|+|\vec{z}-\vec{p}| \leq R\) という不等式は \(t\) の値に依らないものです。 つまり、 \(t\) が消えてこの形の不等式になると考えると \(R=tR+(1-t)R\) と見て、 \(|\vec{z}+\vec{p}|+|\vec{z}-\vec{p}| \leq tR+(1-t)R\) を目指すように見ることができるとしめたもので、条件を活かすことも睨みながら逆算的に考えると活路が見えると思います。ベクトルの三角不等式
(2) について
|\vec{x}+\vec{y}|+|\vec{x}-\vec{y}| &=& |\vec{y}+\vec{x}|+|\vec{y}-\vec{x}| \\
&\geq& |(\vec{y}+\vec{x})+(\vec{y}-\vec{x})|\\
&=& |2\vec{y}|\\
&=&2|\vec{y}|
\end{eqnarray}$$(3) について