トピック一覧へ戻る

ここでは，数学オリンピックの幾何における反転について解説します． このテクニックを使うと，一見すると複雑な問題でもスッキリと解けることがしばしばあります.

なお，この記事は 反転幾何まとめ - 数学徘徊記 のリメイク版となります． また，以降ではすべて平面上で議論を行いますが， より高次の場合も同様の発想が可能です．

無限遠点

反転を考えるうえで重要なのが，平面にどの点とも異なる無限遠点 $\mathrm{\infty }$ が追加されるということです． そして，全ての直線は無限遠点を通り，全ての円は無限遠点を通らないものとします．

無限遠点も含めた平面が球面と一対一に対応することは注記しておくべきでしょう． 平面 $\alpha$ に点 $P$ で接する球 $\mathrm{\Omega }$ をとり， $\mathrm{\Omega }$ の中心に関して $P$ と対称な点を $Q$ とします． このとき，$\alpha$ 上の点 $X$ に対し， 直線 $QX$ と $\mathrm{\Omega }$ の交点のうち $Q$ でないほうを $\varphi (X)$ とし， また $\alpha$ の無限遠点 $\mathrm{\infty }$ に対し $\varphi (\mathrm{\infty })=Q$ とすることで， $\alpha$ から $\mathrm{\Omega }$ への全単射 $\varphi$ が得られます．

すると（証明は少し難しいですが挑戦してみるとよいでしょう）， $\alpha$ 上の直線や円は $\varphi$ で移すと円になります． 直線と円が統一的に扱えるのは嬉しいです．

注意するべきこととして，平行でない $2$ 直線は無限遠点でも交わります． また，平行な $2$ 直線は無限遠点で「接する」とみなします． $2$ つの円が接することと共有点がただ $1$ つであることが同値であることを考えれば， 自然な一般化です． $\varphi$ で移すと $Q$ で接する $2$ つの円になることからも自然な定義だと思えます．

今後，断りのない限り平面と言った場合には無限遠点も含めることとします．

反転の定義と性質

定義

ではさっそく反転の定義をしていきましょう．

「写像」という言葉が難しい人は， 平面の点を，ある平面の点へ移す操作のことだと思っても大丈夫です．

以降，簡単のため円 $\mathrm{\Gamma }$ での反転を $f_{\mathrm{\Gamma }}$ と書くこととしますが， これはこの記事のためにいま導入しただけの記法なので， 答案で使う際は必ず自身で定義してください． また，図形（円や直線や) $D$ に対し， 点 $P$ が $D$ 全体を動くときの $f(P)$ のなす図形を $f(D)$ で表すとします （これは，写像についての一般的な記法なので，断りなしに用いて大丈夫でしょう)．

また，実行している反転が明らかな場合は，特に断りなしに点 $X$ の移り先を単に $X^{\prime }$ などと表すものとします． 多くの場合は $1$ 問に実行される反転はたかだか一度なので，これで差し支えないことがほとんどです． 他に $X^{\ast }$ などが用いられる場合もあり（$X^{\prime }$ は対称点や同一法の過程など幅広く用いられるからでしょう）， これらは界隈では浸透している表記ではあるものの， いずれにせよやはり答案ではひとこと断って用いるようにしましょう．

簡単な性質

以下の性質は定義からただちにわかるので， 確認してみてください．

• どのような反転も，二回すればもとに戻る．
• 中心が同じならば，半径が違っていても相似拡大の違いしかない．
• $f_{\mathrm{\Gamma }}(P)=P$ と， $P$ が $\mathrm{\Gamma }$ 上にあることは同値である．

加えて，中心 $O$ の反転について，次のような性質が成り立ちます：

• $O$ を通らない円は，$O$ を通らない円に移る．
• $O$ を通る円は，$O$ を通らない直線に移る． 逆に，$O$ を通らない直線は，$O$ を通る円に移る．

これらは方べきの定理などを用いて証明できます．

ここで注意です． $O$ を通らない円 $\mathrm{\Omega }$ について， ${\mathrm{\Omega }}^{\prime }$ は $O$ を通らない円ですが， $\mathrm{\Omega }$ の中心は ${\mathrm{\Omega }}^{\prime }$ の中心に移るとは限りません． ここは初心者が間違えやすいポイントだと思うので注意してください． ではどこに移るのか？考えてみるのは良い演習問題だと思います． ただし，$O$，$\mathrm{\Omega }$ の中心，${\mathrm{\Omega }}^{\prime }$ の中心は同一直線上にあります． これは，図が $O$ と $\mathrm{\Omega }$ の中心を結ぶ直線に関して対称なことからすぐにわかります．

• 反転において，接する・接しないという状況は変わらない

という性質もあります． これは，直線または円に関しては， 接することと共有点がただ $1$ つであることが同値なことからわかります （無限遠点を含めた平面に自然に多様体の構造が入ることを示して 反転が微分可能な写像であることを言ってもよい）．

ここで，簡単な演習問題を出しておきます．

ここで述べた性質は答案に断りなしで使ってよいと思います．恐らく．

反転のよくある使い方

円を直線にする

大抵の場合，円より直線の方が扱いやすいです．

$P$ を通る円がたくさんあるので，$P$ を中心に反転するとよさそうです． 半径は何でも良さそうなので $1$ とします．

余談ですが，幾何の証明問題において絶対的な「大きさ」が問題となることはあまりないので， 反転の半径はほとんどの場合は影響しません． 今回は長さを扱う問題なので，簡単のため $1$ として明示していますが， 単に位置関係のみが重要である場合は，特に半径を明示せず単に「点 $X$ で反転する」などと書いて差し支えありません （なお，一つの例外として，ある円を不変に保つことで元の図と合わせ技にするためにあえて反転のもととなる円やその半径を指定することもありますが，これは少しハイレベルなテクニックなので初めは気にしなくてよいです．以下にもいくつか具体的な例があります）．

${\mathrm{\Gamma }}_1^{\prime }$ と ${\mathrm{\Gamma }}_3^{\prime }$ は平行な $2$ 直線となるので， 四角形 $A^{\prime }{B}^{\prime }{C}^{\prime }{D}^{\prime }$ は平行四辺形です． 非常にわかりやすい形になりました．これが反転の威力です．

辺の長さの関係が示すべきことですが， 三角形 $PAB$ と $P{B}^{\prime }{A}^{\prime }$ は相似なので， $$\begin{array}{rl}\frac{AB}{A^{\prime }{B}^{\prime }}& =\frac{PA}{P{B}^{\prime }}\\ AB& =PA\cdot PB\cdot A^{\prime }{B}^{\prime }\end{array}$$ が成り立ちます．$A,B$ でなくほかの点でも同様です． また $A^{\prime }{B}^{\prime }=D^{\prime }{C}^{\prime },B^{\prime }{C}^{\prime }=A^{\prime }{D}^{\prime }$ も成り立つので， $$\begin{array}{rl}\frac{AB\cdot BC}{AD\cdot DC}& =\frac{PA\cdot PB\cdot A^{\prime }{B}^{\prime }\cdot PB\cdot PC\cdot B^{\prime }{C}^{\prime }}{PA\cdot PD\cdot A^{\prime }{D}^{\prime }\cdot PD\cdot PC\cdot D^{\prime }{C}^{\prime }}\\ & =\frac{P{B}^2\cdot A^{\prime }{B}^{\prime }\cdot B^{\prime }{C}^{\prime }}{P{D}^2\cdot D^{\prime }{C}^{\prime }\cdot A^{\prime }{D}^{\prime }}\\ & =\frac{P{B}^2}{P{D}^2}\end{array}$$ が示されました．

上の問題は反転しろと言っているような問題ですが， ここまで反転が見えやすいような問題は実際にはなかなかありません． そうした状況で一見すると非自明だな反転を適切に繰り出せるかが，本当の腕の見せ所です．

反転で動かない円

上にも述べた通りですが，ある円を動かさない反転を考えることはよくあります．

対称性のある図を作る

例題を見てみましょう．

中心 $C$，半径 $CA$ の反転を考えてみましょう． 直線 $MN$ を $\ell$ とすると， ${\ell }^{\prime }$ は $\mathrm{\Omega }$ と中心が等しい円となります． すると，弧 $P^{\prime }{Q}^{\prime }$ の長さが常に等しくなるため，問題が解けます．

ここでポイントなのが，「中心が等しい円」というとても対称性の高い図を作れているところです． 初等幾何で対称性のある図ってかなり強いです． というのも，等しい長さの辺や等しい角度といった関係がたくさんできるからです． また，円と円が接するという状況から， 円と直線が接するという状況になっているところもポイントです．

「反転で動かない円」の例になっていることも確認しておくべきでしょう．

三角形 $OAB$ と $O{B}^{\prime }{A}^{\prime }$ の比較

三角形 $OAB$ と三角形 $O{B}^{\prime }{A}^{\prime }$ は相似でした． この $2$ つの三角形を比較するのもよくある議論です．

$A$ 中心の $\omega$ を固定する反転 $f$ を考えましょう． すると直線 $B^{\prime }{C}^{\prime }$ は $\omega$ に点 $P^{\prime }$ で接することがわかります．

ここで三角形 $A{C}^{\prime }{B}^{\prime }$ に注目してみると， $\omega$ は $\mathrm{\angle }A$ 内の傍接円であることがわかります． したがって，三角形 $ABC$ と三角形 $A{C}^{\prime }{B}^{\prime }$ の相似において， $Q$ と $P^{\prime }$ が対応していることがわかります． よって $\mathrm{\angle }BAP=\mathrm{\angle }{B}^{\prime }A{P}^{\prime }=\mathrm{\angle }CAQ$ となり，示されました．

ちなみに，この円 $\omega$ は mixtilinear incircle とよばれています． たまに出てくることがあるので覚えておきましょう．

方べきと組み合わせる

「$3$ 直線が $1$ 点で交わる」という条件または主張があるとき， 直線が円になるので反転すると嫌になりそうだという直感がありますが， 実は反転しても直線に言い換えられてそんなに嫌じゃない，ということがあります． 使いどころは少ないですが，頭の片隅にでも入れておくとよいでしょう．

内接円の構図

垂心の構図

三角形 $ABC$ において，垂心を $H$， $A,B,C$ から対辺におろした垂線の足をそれぞれ $D,E,F$ とするとき， 中心 $A$，半径 $\sqrt{AB\cdot AF}$ の反転において， $B^{\prime }=F,H^{\prime }=D,C^{\prime }=E$ となります． また，「中心 $H$，半径 $\sqrt{HA\cdot HD}$ の反転をし， 点 $H$ に関して対称移動する」という写像を $g$ とするとき， $g(A)=D,g(B)=E,g(C)=F$ となります．

垂心絡みの構図は，共円やそれらの根心が多く現れるので，反転が効く場合があることを頭に入れておきましょう．

反転の強いところ・弱いところ

強いところ

• 円を直線に変えられる．概ね直線の方が扱いやすい．特に，円どうしが接するという状況よりは， 円と直線が接する状況の方が扱いやすいことが多い．
• 隠れた対称性を見つけることができる．

弱いところ

• （基本的に）直線が円になるので，図が複雑になってしまうことがある．
• 辺の長さに関する情報に基本的に弱い．
  • 例えば，線分 $AB$ を $2:1$ に内分する点を $O$ で反転すると，よくわからなくなる．

とはいえ，基本的にめぼしい点で一度反転してみる分には損はありません． 当然ですが，等価な問題が $2$ つ並んでいた方が嬉しいです． 実際には「反転して解けた！」と思った問題でも，冷静になると反転しなくても同じような議論で解けていた，ということも少なくありませんが， 視界が広がるに越したことはありません． 例えば，反転した図を見たことで初めてある予想が立ち，それを元の図に引き戻すと実は簡単に示せた，といった状況は少なからずあることです．

例題

JMO，JJMO，近年のIMOは演習のため避けています． それらの中にも反転が有効な問題は少なくないので，是非トライしてみてください．

参考になるリンク

IMOmath - inversion

あのEvan Chen氏の書籍の反転の章は無料で公開されています！