はじめに
解説に入る前に問題のおさらいです。問題は以下のようなものでした。
幾何の問題【1】 平面上に原点を通り軸にも軸にも接しない円がある. 円,軸,軸すべてに接する円がちょうどつあることを示せ.
ここでは素直に計算する方法(解答1)と,反転をつかった方法(解答2)の二つを紹介します.
解答1
円の中心をは実数とします.このとき,条件より円の半径はです.また,軸にも軸にも接しないことから,かつです.対称性より,かつとしても一般性を失いません.
円,軸,軸すべてに接する円があるとします.軸と軸両方に接するので,円の半径をとするとその中心の座標は(復号はすべての場合についてとる)と表されます.かつより点とならないことと円と円が内接するのは点のときであることは明らかです.
円と円が内接し,点のとき
円と円の中心間の距離を考えると
より
かつよりこれはをみたす
円と円が外接し,点のとき
と同様に考えると
かつよりこれはをみたす
円と円が外接し,点のとき
と同様に考えると
かつよりこれはをみたす
円と円が外接し,点のとき
と同様に考えると
かつよりこれはをみたす
1)~4)で求めたと点に対応する円は明らかにどれも異なるので,これらが問題の条件をみたすつの円となります.
解答2
原点中心半径の円で反転します.すると,軸は軸に,軸は軸に,円は原点を通らず,軸にも軸にも平行でない直線これを とするに移ります.
軸,軸,直線によって囲まれる領域は三角形となり,これの内接円つと傍接円つはどれも軸,軸,直線すべてに接します.また,三角形の頂点のひとつが原点であることから明らかに原点を通りません.よってこれらのつの円を原点中心半径の円で反転させた先が問題の条件をみたすつの円となります.
おわりに
素直にやると面倒なものが簡単に示せるのは反転のすごいところですね
読んでくださりありがとうございました