大学数学基礎解説

反転について

反転

2928

はじめに

この記事では僕が少し授業でやった反転について書きたいと思います。
といっても僕も少しやった程度なのであまり詳しくは書けません。基礎の基礎を書きます。

ここでは、 $A B$ 間の長さを単に $A B$ と表記します。

反転とは

反転は、ある円を基準として点を別の点に移すことを言います。

定義

言葉を定義します。
・反転円：反転を行う基準となる円。
・点 $K$ の反転
反転の定義
「中心 $O$ で半径 $r$ の反転円に対して $K$ を反転させる」とは
$K$ に対して半直線 $O K$ 上の $O K * O K^{'} = r$ となるような $K^{'}$ を対応させる
ということである。

この記事では簡単のため特に注意のない限り反転円の中心を $O$ ,半径を $1$ とする。

この定義からある点を $2$ 回反転させると元に戻ることが分かります。

原点の反転

$O$ を反転させた $O^{'}$ は $O O * O O^{'} = 0 * O O^{'} = 1$ を満たさなければならないが、そのような点は平面上にはないので、 $O$ を反転させると無限遠点になるということにする。
(無限遠点は平行な二直線の交点となるはるか遠くにある点らしいです。僕もよくわかってません…)

図形の反転

僕は直線の反転と円の反転をやったので、その二つについて書いていきます。
反転させる図形が $O$ を通るかが反転をさせた後の図形にかかわってきます。

直線の反転

まずは直線を反転させるとどうなるか考えましょう！
少しイメージすれば原点を通る直線を反転させてもその直線のままだとわかります。
以下は原点を通らない直線の反転について考えます。
直線を反転させるというのは直線上のそれぞれの点を反転させるということです。直線の反転この図を見ると直線を反転させると円ができそうだと考えられますね。
そのことを証明します！

証明

直線の反転
この図で、 $O A^{'}$ を直径とする円に反転されることを示す。( $O A ⊥ l$ )
また、 $B$ は $l$ 上の任意の点とする。
そして、 $A$ , $B$ が反転して移った点を $A^{'}$ , $B^{'}$ とする。

$△ O A B ∽ △ O B^{'} A^{'}$

反転の定義より、 $O A^{'} = \frac{1}{O A}$ 、 $O B^{'} = \frac{1}{O B}$
よって、 $O A^{'} : O B^{'} = \frac{1}{O A} : \frac{1}{O B} = O B : O A$
また、 $△ O A B$ と $△ O B^{'} A^{'}$ は $∠ B O A$ を共通の角として持つので、二辺比狭角相等より相似となる。

二つの相似な三角形において対応する角は等しいので $∠ O B^{'} A^{'} = ∠ O A B = 90^{\circ}$
$⟹$ $B$ は $O A$ を直径とする円の円周上にある！
また、円周上の一点と $O$ を結んだ直線は必ず $l$ と交わるので、円が途切れるところはない。
$⟹$ $l$ を反転させると $O A^{'}$ を直径とする円になる！

まとめ

・ $O$ を通る直線を反転させても変わらない
　・ $O$ を通らない直線を反転させると $O$ を通る円になる。

円の反転

$O$ を通る円、通らない円を反転させましょう！
下に解説が乗っていますので、少し考えてみてからスクロールしてください！
↓

$O$ を通る円

円の反転
このように $O$ を通らない直線になりそうですね！
証明は $O$ を通らない直線の反転の時とほとんど同じなので割愛します。ぜひ考えてみてください

$O$ を通らない円

円の反転
右の円を反転させると左のような点のつまりになり、これもまた円になると考えられ、それは正しいです。証明をしてみましょう。

証明
二点 $A$ , $B$ は円 $Γ$ の直径で、 $O$ , $A$ , $B$ が一直線上になるようにとった点である。
また、Cは $Γ$ 上の任意の点である。
$A$ , $B$ , $C$ が反転して移った点を $A^{'}$ , $B^{'}$ , $C^{'}$ とする。
$∠ C^{'} A^{'} B^{'} = 90^{\circ}$ を示せばよい。
反転の定義より、 $O A^{'} = \frac{1}{O A}$ , $O B^{'} = \frac{1}{O B}$ , $O C^{'} = \frac{1}{O C}$
よって、二辺比狭角相等より、 $△ O A C^{'} ∽ △ O C A$ , $△ O B^{'} C^{'} ∽ △ O C B$ がわかり、
$∠ C^{'} A^{'} B^{'} + ∠ A^{'} B^{'} C^{'}$
$= ∠ A^{'} O C^{'} + ∠ O C^{'} A^{'} + ∠ A^{'} B^{'} C^{'}$
$= ∠ A^{'} O C^{'} + ∠ C A O + ∠ O C B$
$= (∠ A^{'} O C^{'} + ∠ O C B) + ∠ C A O$
$= ∠ C B A + ∠ C A O$
$= 90^{\circ}$
なので $∠ C^{'} A^{'} B^{'} = 180^{\circ} - (∠ C^{'} A^{'} B^{'} + ∠ A^{'} B^{'} C^{'}) = 90^{\circ}$ となる。
よって、 $C^{'}$ は $A^{'} B^{'}$ を直径とする円の周上にあるので、
$O$ を通らない円を反転すると $O$ を通らない円になることがわかった。

ここまでのまとめ

ここまではさらっと書くつもりがまあまあ長くなってしまいました…
簡単にまとめると

\begin{array}{rcl} O を 通 る 直 線 & \overset{反 転}{\to} & 元 の 直 線 \\ O を 通 ら な い 直 線 & \overset{反 転}{\to} & O を 通 る 円 \\ O を 通 る 円 & \overset{反 転}{\to} & O を 通 ら な い 直 線 \\ O を 通 ら な い 円 & \overset{反 転}{\to} & O を 通 ら な い 円 \end{array}

僕はここまでで「だから何？」と思いました。
なのでここで一問反転の威力がわかる問題を出してこの記事は終わりにしようと思います！！
としたかったのですが記事が長くなってしまったので二つに分けることにして今回はここで終わります。

最後に

反転を使うときれいに解ける問題について書いた記事(今回の記事の問題編)はこちらです。
　最後まで読んでくださり本当にありがとうございます！

投稿日：2020年11月16日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

kozy

131

6722

級数をいじったりしてます

他の人のコメント

コメントはありません。

読み込み中

kozy

反転について

はじめに
反転とは
定義
図形の反転
直線の反転
円の反転
ここまでのまとめ
最後に

反転について

はじめに

反転とは

定義

原点の反転

図形の反転

直線の反転

証明

まとめ

円の反転

Oを通る円

Oを通らない円

ここまでのまとめ

最後に

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

$O$ を通る円

$O$ を通らない円