問題
平面のの部分にあり,軸に接する円の列,を次のように定める.
0以上の整数に対し,は半径1の円であり,はに外接する.
はとに外接し,との弧および軸で囲まれた部分にある.
3以上の整数に対し,はとに外接し,との弧および軸で囲まれた部分にある.
このとき,2以上の整数に対し,との共通外接線が原点を通ることを示せ.*1
反転の性質
中心,半径の円があり,を始点とする半直線上に2点があり,であるとき,をに写す操作をこの円に関する反転といいます.
無限遠点を定義すれば,この写像は厳密に全単射(変換前後の集合の元が一対一に対応していて,重複して対応したり,対応しないものがない)になります.
反転によって,
原点を通る直線は原点を通る直線にうつる
原点を通らない直線は原点を通る円にうつる
原点を通る円は原点を通らない直線にうつる
原点を通らない円は原点を通らない円にうつる
これらは三角形の相似とか方冪の定理とかで証明できます.
また,反転が全単射な写像であることから,図形同士が接している時,反転の前後でそれらの共有点の数は変わらず,
- 反転によって接する,接しないという状況は変わらない
ということがわかります.この問題ではこの性質を用いることになります. まあ同じこと書いてあるからこちらの方を見てくださいな. mathtrain.jp
答え
(軸),とする.
(原点中心,半径2の円)に関する反転写像(とする)を考えると,
,,
である.
ここで,2以上の整数に対し,が成り立つことを示します.
n=2のとき
はに接していて,はに接していることから,
がなりたちますのとき,が成り立つと仮定します.
のとき,はに接していて,はに接していることから,
より,のときもが成立します.
ゆえに,2以上の整数に対し,が成り立ちます.
よって,との共通外接線を考えた時,それらの接点は写像fで互いに写りあうので,原点とそれらの接点は同一直線上にあることがわかります.
したがって,との共通外接線は原点を通ります.
補足など
授業で反転の話が始まってだいたいこんなこと言ってたのである程度整理してまとめてみました.とはいえあの場で多少でも理解できた人は一体どれくらいいるのだろうか...?
ちなみに半径とか中心の座標とかについての漸化式を立てて,原点とそれぞれの円の中心が同一直線上だって示してから相似がどうとかやれば,こんなことはしなくても証明はできます.