2点 $P, Q \in \mathbb{R}^2$ と、正の数 $r_1 > 0, r_2 > 0$ に対して、もし $|P-Q| > r_1 + r_2$ ならば、$U_{r_1}(P) \cap U_{r_2}(Q) = \emptyset$ となることを示す問題です。ここで、$U_r(P)$ は点 $P$ を中心とする半径 $r$ の開円板(あるいは開球)を表します。
2025/7/13
1. 問題の内容
2点 と、正の数 に対して、もし ならば、 となることを示す問題です。ここで、 は点 を中心とする半径 の開円板(あるいは開球)を表します。
2. 解き方の手順
を示すためには、 と の共通部分に点がひとつも存在しないことを示せば良いです。
背理法を使います。
と仮定します。
すると、 かつ なる点 が存在します。
これは、 かつ を意味します。
三角不等式 を用います。
この不等式に と を代入すると、
が得られます。
しかし、これは問題文の仮定 に矛盾します。
したがって、 でなければなりません。
3. 最終的な答え
もし ならば、 となる。