反転（円に関する鏡像変換）

原点Oと異なる点P$(x,\ y)$に対し,\ Oを端点とするPを通る半直線上にあり, $OP･ OQ}=4$を満たす点Q$(X,\ Y)$を考える. 点P$(x,\ y)$の座標を$X,\ Y$を用いて表せ反転（円に関する鏡像変換） \\ 　　定点Oを中心とする半径$r$の円がある. 　　$Oと異なる点Pを,\ 半直線OP上にあり,\ OP･ OQ=r^2\,を満たす点Qに移す.$ 　　このとき,\ 「点Pと点Qはこの円に関して対称である」という. 　　このような変換を「反転」といい,\ $O}を反転の中心,\ rを反転の半径}$という. まず,\ OP･ OQ=r^2}\,より,\ OP=rのときOQ=rである.} これは,\ 円周上の点は円周上の点に移る(同一の半直線上なので結局動かない)}ことを意味する. 直線に関する対称移動において対称軸上の点が移動しないのと同じである. また,\ OP=r^2}{OQ\ より,\ 線分OPと線分OQの長さは反比例の関係にある.} よって,\ 点Pと点Qは,\ 一方が円の内部にあれば,\ 他方は円の外部にある. さらに,\ 点Pと点Qは,\ 一方が原点に近づくほど他方は無限遠まで離れていく. つまり,\ 円の中心は,\ 円の外部の無限遠に対応する.} 点Q}が半直線OP}上にある条件はベクトルで考えるとわかりやすい. もしもこの条件を\ →OQ}=k→OP}\,とすると,\ (X,\ Y)=(kx,\ ky)となる. こうすると,\ 後で(x,\ y)=に変形する必要があり,\ 二度手間になる. よって,\ →OP}=k→OQ\,としたわけである. 後は,\ OP･ OQ=4}からkを求めると,\ (x,\ y)が(X,\ Y)で表される. このときX^2+Y^2\,で割ることになるので,\ (X,\ Y)≠(0,\ 0)をあらかじめ確認しておく必要がある. 最初の段階で成分で表して考えたが,\ 実は最後までベクトルのまま処理するのがスマートである. →OP}=(OP}の長さ)×(→OQ}\,の単位ベクトル)\ として計算する. ベクトルを未学習でも,\ OP:OQ=k:1}と設定して立式すれば同じことである.　OP=kOQ} \\原点Oを中心とする半径2の円に,\ 円外の点P$(a,\ b)$から2本の接線を引く. 2つの接点の中点をQ$(X,\ Y)$とするとき,\ $OP･ OQ}=4$が成り立つことを示せ. また,\ 点Q$(X,\ Y)$の座標を$a,\ b$を用いて表せ. \\ 　　接点S,\ Tにおける接線の方程式は　$s_1x+s_2y=4,\ \ t_1x+t_1y=4$ 　　これが点P$(a,\ b)$を通るから　　　\ \ \,$s_1a+s_2b=4,\ \ t_1a+t_1b=4　･･････\,①$ 　　これは,\ 2点S,\ Tが直線$ax+by=4$上にある}ことを意味する. 　　点Qは,\ 直線OP：$ay-bx=0$と直線ST：$ax+by=4$の交点}である. 点bf Pが円の外部にあるとき,\ 点bf Qは直線OP}と点bf Pの極線(2接点を通る直線)の交点}となる. 反転の問題は,\ このような図形的観点から出題されることも多い. まず,\ 以下のような基本的な図形の性質から,\ 点P,\ Q}が上図のような位置関係となることがわかる. 　「\,PS=PT\,}」「円の接線は接点を通る半径と垂直」「円の弦の垂直二等分線が円の中心を通る」 三角形の相似}を利用して,\ OP･ OQ=4}が導かれる.\ \ (直角かつ∠ POS=∠ SOQ}より2角が等しい) 点 Qの座標を2接点の座標を求めた後にその中点として求めようとすると面倒なことになる. 直線OP}と極線の交点として求めるとよい. 極線には非常にうまい求め方があり,\ この図形と方程式分野で学習済みである. 2接点を文字でおいて接線の方程式を求め,\ 点 Pを通る条件を立式する. 円x^2+y^2=r^2\,上の点(x_0,\ y_0)における接線の方程式　x_0x+y_0y=r^2 ①は,\ ax+by=4に(s_1,\ s_2),\ (t_1,\ t_2)を代入した式とみなす}ことができる. 図形的には,\ 2点 S(s_1,\ s_2),\ T(t_1,\ t_2)が直線ax+by=4上にあることを意味する. 2点を通る直線はただ1本なので,\ 直線ST}の式はax+by=4以外ありえない}というわけである. 直線OP}の方程式は,\ a≠0のときy= bax\,である.\ \ a=0のときはx=0となる. 分母をはらった形ay-bx=0にしておくことで,\ 場合分けが必要なくなるのであった. 点 P(a,\ b)は円外の点であるから(a,\ b)≠(0,\ 0),\ つまりはa^2+b^2≠0である. 原点と異なる点P$(x,\ y)$に対し,\ 点Q$4x}{x^2+y^2},\ \ 4y}{x^2+y^2}$を対応させる. 点Pが次の図形上を動くとき,\ 点Qの軌跡を求めよ. 　(1)\ \ 原点を通る直線　　　　$y=12x　(原点を除く)$ 　(2)\ \ 原点を通らない直線　　$2x+y-6=0$ 　(3)\ \ 原点を通る円　　　　　$x-23^2+y-13^2=5}{9}　(原点を除く)$ 　(4)\ \ 原点を通らない円　　　$(x-1)^2+y-12^2=14$ 　(1)\ \ 求める軌跡は,\ 以下を満たす実数$(x,\ y)$が存在するような点$(X,\ Y)$の集合}である 「反転」といっても,\ 所詮は座標平面上の変換}にすぎない. (x,\ y)を消去して条件を満たす点(X,\ Y)の集合を求めれば,\ それが点(X,\ Y)の描く軌跡である. 問題で(X,\ Y)=の形の式が与えられた場合,\ (x,\ y)=に変形するところから始める必要がある. このとき,\ 一旦X^2+Y^2\,を計算する}という処理方法を覚えておかなければ面倒なことになる. 最後,\ A= CB\ ⇔\ AB=C\ は成り立たないので,\ 安易に分母のX^2+Y^2\,をはらってはならない. 正しくは,\ A= CB\ ⇔\ AB=C\ \ かつ\ \ B≠0}\ である. B≠0がなければ,\ ←\ の方向に変形できないからである. 一般に,\ 原点を通る直線は,\ 反転により原点を通る直線(自分自身)に移される}(原点は除く). 一般に,\ 中心を通らない直線は,\ 反転により中心を通る円に移される.} 直線の無限遠が円の中心に向かって丸まってくるのをイメージできるだろうか. 円の中心は,\ 円の外部の無限遠と対応している. 一見複雑だが,\ うまく処理すればそこまで面倒ではない. 一般に,\ 原点を通る円は,\ 反転により原点を通らない直線に移される.} 本問の反転前の円は,\ (2)の反転後の円である. OP･ OQ=r^2}\,という変換において,\ 点P,\ Q}は対等である. よって,\ 点Pが点Qに移るとき,\ 点Qは点Pに移る.} ゆえに,\ 本問は(2)の逆の変換を行ったことになる. 一般に,\ 原点を通らない円は,\ 反転により原点を通らない円に移される.} 本問は円x^2+y^2=4の内部の円であるから,\ 円x^2+y^2=4の外部の円に移る. 反転の前後の点がどのように対応しているかをよく確認しておいてほしい(相似拡大ではない). 反転図形は以下のようにまとめられる. 原点を通る直線}　　　\to　原点を通る直線(自分自身)} \ 原点を通らない直線　\to　\uwave{原点を通る円 \ \uwave{原点を通る円　　　　\to　原点を通らない直線 \ 原点を通らない円}　　\to　原点を通らない円} 　　直線と円が紛らわしいが,\ 直線を半径が無限大の円とみなす考え方がある. 　　この考え方の下では,\ 反転は常に円を円に移す(円円対応である)といえる.