反転について

はじめに

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

反転とは

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

定義

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

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

原点の反転

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

図形の反転

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

直線の反転

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

証明

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

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

まとめ

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

円の反転

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

$O$を通る円

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

$O$を通らない円

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

ここまでのまとめ

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

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

最後に

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