polar-line


極Aや極Aの極線上の極Bを動かして見てください。極Aや極Bを円周上にもってくるとどうなるでしょう。ソフトの都合上、円周上に持ってくるときは円と座標軸との交点に持ってくると合わせやすいです。極Aが円の内部にあるときの話もいろいろあるのですが、まだ取り上げておりません。極Aを原点に持ってくると・・・。


検索用コード
点A$(5,\ 2)$から円\ $x^2+y^2=9$\ に引いた2本の接線の接点をそれぞれ \\[.2zh] \hspace{.5zw}\phantom{(1)}\ P,\ Qとするとき,\ 直線PQの方程式\ $\ell$\ を求めよ. \\[1zh] \hspace{.5zw}(2)\ 直線\ $\ell$\ 上にあり,\ 円の外部にある点Bから円に引いた2本の接線の \\[.2zh] \hspace{.5zw}\phantom{(1)}\ 接点を通る直線が,\ 点A$(5,\ 2)$を通ることを示せ. \\ 真面目に接点の座標を求めてから直線を求めようとすると計算が大変である. \\ この解法をパターンとして覚えておこう. \\[1zh] まず,\ 接点を文字で設定し,\ 接線の方程式を作成する. \\ 円\ x^2+y^2=r^2\ 上の点(s,\ t)における接線の方程式は \bm{sx+ty=r^2} \\ 次に,\ 2つの接線が点\mathRM{A}を通るように条件を立てる. \\ さて,\ 5x+2y=9という直線を考えよう. \\ \bm{点(p_1,\ p_2)が直線\ 5x+2y=9\ 上にあるとき,\ 5p_1+2p_2=9\ が成立する.} \\ 逆に,\ \bm{5p_1+2p_2=9\ ならば,\ 点(p_1,\ p_2)は直線\ 5x+2y=9\ 上にある.} \\ よって,\ \bm{点\mathRM{Pと点Q}は直線\ 5x+2y=9\ 上にある}といえる. \\ ここで,\ \bm{2点が定まれば,\ ただ1本の直線が定まる.} \\ 故に,\ \bm{2点\mathRM{P,\ Q}を通る直線は5x+2y=9に限られ,\ これが求める直線}である. \\[1zh] 本問の構図において,\ \bm{\textcolor{blue}{点\mathRM{Aを円に関する極,\ 直線PQ}を円に関する極線}}という. \\[1zh] 一般化すると,\ 円x^2+y^2=r^2の極(x_1,\ y_1)に関する極線は x_1x+y_1y=r^2 \\ また,\ 接点(x_1,\ y_1)における円\ x^2+y^2=r^2\ の接線の方程式は x_1x+y_1y=r^2 \\ このように,\ この2つは完全に一致している. \\ よって,\ x_1x+y_1y=r^2\ の図形的意味をまとめると次となる. \\ 点(x_1,\ y_1)が円外にある\ \longrightarrow\ x_1x+y_1y=r^2\ は極線 \\ 点(x_1,\ y_1)が円上にある\ \longrightarrow\ x_1x+y_1y=r^2\ は接線 点Bは直線\ $5x+2y=9$\ 上にあるから $\textcolor{cyan}{5a+2b=9}$ \\[.8zh] \phantom{ (1)}\ 接点を\ $\textcolor[named]{ForestGreen}{\mathRM{S(s_1,\ s_2),\ T(t_1,\ t_2)}}$\ とする. \\[.2zh] \phantom{ (1)}\ 接点S,\ Tにおける接線の方程式は  これが点B$(a,\ b)$を通るから  \phantom{ (1)}\ これは,\ $\mathRM{\textcolor{red}{直線ST上に点A(5,\ 2)がある}ことを意味している.}$ \\\\ \centerline{$\therefore \bm{\mathRM{直線STは点A(5,\ 2)を通る. 点\mathRM{Bと接点S,\ Tを全て文字で設定して処理していく.} \\ 次に,\ \mathRM{直線ST}を(1)と同じ方法で求めると,\ ax+by=9\ が導かれる. \\ 試しに\bm{(5,\ 2)を代入してみると,\ 5a+2b=9}\ となり,\ 先の式と一致する. \\ 1つ目の\ 5a+2b=9\ は,\ 直線\mathRM{PQ}上に点\mathRM{B}があることを意味する. \\ 2つ目の\ 5a+2b=9\ は,\ 直線\mathRM{ST}上に点\mathRM{A}があることを意味する. \\[1zh] 結局,\ 次の同値関係を利用して,\ 題意が示されるのである. \\  \bm{5a+2b=9\ \Longleftrightarrow\ 5x+2y=9\ 上に点(a,\ b)がある} \\ 本問は,\ \bm{\mathRM{極Aの極線がBを通るとき,\ 極Bの極線がAを通る}}ことを主張する