反転幾何学

テンプレート:Distinguish 初等幾何学における反転幾何学（はんてんきかがく、テンプレート:Lang-en-short）は、平面幾何学において反転テンプレート:Lang と呼ばれる種類の変換を一般化したものに関して保たれる図形の性質について研究する。

平面上の反転変換は、角を保ち（等角性）、一般化された円を一般化された円に写す（「円円対応」）ような写像になっている。ここで「一般化された円」というのは、円または（無限遠点を中心とする半径無限大の円と見做される）直線のいずれかであることを意味する。初等幾何学における難しい問題が、反転を施すと扱いやすくなるというようなことも少なくない。

このような平面上の反転の概念を、より高次元の場合に一般化することができる。

円に関する反転

点の反転

点テンプレート:Math は点テンプレート:Math を赤い円に関して反転した点である。
点テンプレート:Math を通る円（青）の、赤い円に関する反転は、点テンプレート:Math を通らない直線（緑）になる。逆もまた然り。
点テンプレート:Math を通らない円（青）の、赤い円に関する反転は、点テンプレート:Math を通らない円（緑）になり、逆もまた然り。
円テンプレート:Math の外側にある点テンプレート:Math の、反転点テンプレート:Math の作図方法。円テンプレート:Math の半径をテンプレート:Mvar として、直角三角形テンプレート:Math は相似ゆえ、テンプレート:Math はテンプレート:Math に等しい。
円に関する反転では、円の中心が写る先の円の中心へ写るわけではない。

平面において、中心テンプレート:Math, 半径テンプレート:Mvar の基準円 テンプレート:Lang に関して点テンプレート:Math を反転すると、テンプレート:Math を始点としてテンプレート:Math を通る半直線上で

O P \times O P^{'} = r^{2}

を満たす点テンプレート:Math に写る。反転変換によってテンプレート:Math と異なる各点テンプレート:Math がその像テンプレート:Math へ写るとき、それと同時に点テンプレート:Math はテンプレート:Math に写される。故に、同じ反転変換を二度続けて施した結果として得られる変換は、テンプレート:Math を除く平面上の点全体の成す集合上では恒等変換になる。反転変換を対合とするためには、平面上の全ての直線上に載っている唯一の点として無限遠点を導入し、反転の定義域を拡張して、基準円の中心テンプレート:Math と無限遠点とが入れ替わるようにしなければならない。

定義から従うことに、基準円の内側にある各点は基準円の外側へ、外側の各点は内側へそれぞれ写り、中心と無限遠点とが入れ替わる一方、基準円の周上にある各点は何ら影響も受けない。端的に言えば、円の中心に近ければ近いほど反転変換で遠くに写り、遠ければ遠いほど近くへ写るということである。

性質

平面上の点集合の反転は、それを基準円で分離したときのそれぞれの部分を反転して得られる点集合になる。円反転に関して以下の性質は重要である。

基準円の中心を通る円は、基準円の中心を通らない直線に反転し、逆に基準円の中心を通らない直線は基準円の中心を通る円に反転する。一方、基準円の中心を通る直線は、反転して自分自身に写る。
基準円の中心を通らない円を反転すると、円と基準点の交点は変わらずやはり基準円の中心を通らない円に写る。円（または直線）が反転変換で保たれるための必要十分条件は、それが基準円との交点において基準円と直交することである。

他には以下のような性質がある：

相異なる二点テンプレート:Math を通る円テンプレート:Mvar の、円テンプレート:Mvar に関する反転がテンプレート:Math を入れ替えるならば、二円テンプレート:Mvar は互いに直交する。
二円テンプレート:Mvar が直交するとき、テンプレート:Mvar の中心テンプレート:Math を通りテンプレート:Mvar と交わる直線は、従ってテンプレート:Mvar との交点のテンプレート:Mvar に関する反転点でも交わる。
円テンプレート:Mvar の中心テンプレート:Math を一つの頂点とする三角形テンプレート:Math を取り、テンプレート:Math およびテンプレート:Math のテンプレート:Mvar に関する反転点をそれぞれテンプレート:Math およびテンプレート:Math とすれば、 $∠ O A B = ∠ O B^{'} A^{'} and ∠ O B A = ∠ O A^{'} B^{'}$ が成り立つ。
基準円テンプレート:Mvar に直交する二円テンプレート:Mvar の二交点は、テンプレート:Mvar に関する反転によって互いに入れ替わる。
二点テンプレート:Math が互いに基準円テンプレート:Mvar に関する反転点で、それぞれ曲線テンプレート:Mvar 上に載っていて、曲線テンプレート:Mvar もテンプレート:Mvar に関する反転で互いに入れ替わるとすると、曲線テンプレート:Mvar およびテンプレート:Mvar の点テンプレート:Math およびテンプレート:Math における接線は、直線テンプレート:Math に直交するか、さもなくば線分テンプレート:Math を底辺とする二等辺三角形を成す。
反転変換によって角の大きさはそのまま保たれるが、有向角の向きは逆になる。

応用

ある円の中心、その円を円反転して得られる円の中心、基準円の中心はテンプレート:Ill2を持つ（同一直線上にある）ことに注意する。この事実は、三角形の接触三角形のオイラー線が、その内心テンプレート:Math と外心テンプレート:Math を通る直線テンプレート:Math に一致することを示すのに有用である。

三角形テンプレート:Math の内接円に関する反転変換で、内接三角形の中点三角形は三角形テンプレート:Math に写る。これはつまり、中点三角形の外心は内接三角形の九点心であって、三角形テンプレート:Math の内心および外心と共線であることを意味する。

交わりを持たない任意の二円は同心円に反転され得る、その場合それらの円の間のテンプレート:仮リンクテンプレート:Mvar は、同心な二円の半径の比の自然対数として定義される。

加えて、交わりを持たない任意の二円は、テンプレート:仮リンク上の点を中心とする円に関する反転で、合同な二円に写すことができる。

テンプレート:仮リンクは円反転の機械的実装である。これを使えば、直線運動と円運動との変換という重要な問題の厳密な解が得られる。

三次元内の反転

円反転は、三次元空間における球面反転に一般化される。空間内の点テンプレート:Math の、中心テンプレート:Math, 半径テンプレート:Mvar の基準球面に関する反転点をテンプレート:Math とすると、

O P \times O P^{'} = R^{2}

かつ、二点テンプレート:Math はテンプレート:Math を始点とする一つの半直線上にある。二次元の場合と同様に、球面反転によって球面は球面に写る（ただし、球面が基準球面の中心テンプレート:Math を通る場合は例外で、この場合は平面に写る）。基準円の中心テンプレート:Math を通らない任意の平面は、反転してテンプレート:Math に接する球面に写る。球面と割平面との交点としての円は、同じく円に写るが、やはり例外として円が基準球面の中心テンプレート:Math を通る場合には直線に写る。このことは、割平面が基準球面の中心テンプレート:Math を通る場合には二次元の場合に帰着できるが、通らない場合には三次元特有の現象である。

公理化と一般化

テンプレート:Main ユークリッド平面あるいはより一般に任意のアフィン平面に、ただ一つの無限遠点を各直線に対して追加したものを考えることによって得られるのがメビウス平面あるいは反転平面 (inversive plane) と呼ばれるものである。これらメビウス平面は公理的に記述することができるものであって、有限幾何も無限幾何も両方が存在する。

ユークリッド平面から構成できるメビウス平面の一つのテンプレート:Ill2がリーマン球面である。

エルランゲン目録との関係

テンプレート:Harvtxt に従えば、円に関する反転変換は1831年にマグヌスが考案し、それ以来この写像は高等数学における手段の一つとなったテンプレート:Sfn。円反転変換はいくつかの段階を経て応用されていき、じきに変換幾何学を学ぶ者がクラインのエルランゲン目録の重要性を認め、副産物として双曲幾何学のある種の模型が得られた。

拡縮変換

同心円に関する二つの反転変換の合成は、それらの円の半径同士の比によって特徴付けられるテンプレート:Ill2(similarity, homothety) あるいはテンプレート:仮リンク (dilation) などと呼ばれるものになる。実際に式で書けば、二円の半径を変換を施す順にテンプレート:Mvar として

x \mapsto R^{2} \frac{x}{| x |^{2}} = y \mapsto T^{2} \frac{y}{| y |^{2}} = {(\frac{T}{R})}^{2} x

はテンプレート:Math-倍変換である。

逆数変換

平面上の点を複素数テンプレート:Math と解釈し、複素共軛テンプレート:Math も考えれば、テンプレート:Mvar の逆数は

\frac{1}{z} = \frac{\bar{z}}{| z |^{2}}

で与えられるから、帰結として単位円に関する反転テンプレート:Math は、代数的な形で

w = \frac{1}{\bar{z}} = \overline{(\frac{1}{z})}

と書くことができる。逆数変換 (reciprocation) はメビウス群の生成元として、変換論で重要である。メビウス群の他の生成元は、平行移動と回転で、何れも三次元空間全体において物理的な操作を通してよく知られているものである。（上記円反転に依存した）逆数変換の導入は、（ユークリッド平面の反転幾何と同一視されることもある）メビウス幾何に固有の特性 (peculiar nature) を与えるものであるけれども、しかし反転幾何は（共軛を含めて逆数変換にしていない）生の円反転を含むから、メビウス幾何よりも広汎な研究領域である。反転幾何は共軛写像も含むが、共軛写像も円反転も非等角的である（後述）から、これらは何れもメビウス群の元ではない。メビウス群の元は、数平面全体で定義された解析函数であり、従って等角写像でなければならない。

より高度な幾何学へ

既に述べたとおり、原点（あるいはテンプレート:Math）は円反転写像において特別な注意を要し、テンプレート:Math またはテンプレート:Math で示される無限遠点が添加される。複素数を用いた方法では、逆数変換がはっきりした演算として表され、無限遠点の添加によってリーマン球面としばしば呼ばれる複素射影直線の概念が導かれる。この空間およびその上の変換群の、部分空間及び部分群は、ベルトラミ、ケイリー、クラインらによって双曲幾何の初期の模型を導入するのに利用された。そして、これらの平面幾何におけるロバチェフスキーおよびボヤイに端を発する様々なアイデアを反転幾何は含んでいる。さらにクラインは1872年に発表したエルランゲン目録と言われる声明で、この変換写像群と幾何学的現象とを同一視することにより、大きく事態を打開する。それ以降、多くの数学者は空間にその上の変換写像からなる群を合わせて考えたものに対して「幾何（学）」テンプレート:Lang の語を用いるようになった。この意味での幾何学における図形の有意な性質とは、この変換群に関する不変量テンプレート:Lang のことである。

例えば、スモゴルチェフスキーはロバチェフスキー幾何学の創始以前に反転幾何学の様々な定理を展開している^[1]。

高次元での反転

高次元へ一般化された意味において、反転幾何学とはユークリッド空間上の運動（等距変換）全体と[[超球面| テンプレート:Mvar-次元球面]]に関する反転変換

x_{i} \mapsto \frac{r^{2} x_{i}}{\sum_{j} x_{j}^{2}}

（テンプレート:Mvar は反転の基準球面の半径）とで生成される変換群の研究のことである。

上記の反転を二次元でテンプレート:Math として考えたものは、単位円に関する円反転に他ならない。

既に述べたことと同様、反転幾何学では直線と円（あるいは超平面と超球面）とに区別がなく、ユークリッド幾何に無限遠点を添加したものへ特定の埋め込みを考えれば、直線は単純に一つの円であって、その幾何の中で円を別の円に写したりすることを考えることができる。

高次元の共形写像がテンプレート:Mvar-次元球面または超平面に関する反転とユークリッドの運動から厳密に生じるということは、著しい事実である（テンプレート:仮リンクを参照）。

反等角性

円反転写像は反等角（反共形）、つまり各点において反転は角を保ち、かつ向きを逆にする（等角写像（共形写像）の場合であれば、「向き付けられた」角を保つ）。代数的には、写像が反共形になるのは、各点においてヤコビ行列が行列式の値が負の直交行列のスカラー倍になっている場合に限る（二次元の場合で言えば、ヤコビ行列が各点で鏡映のスカラー倍にならないといけないということ）。式で書けば、ヤコビ行列をテンプレート:Mvar として、テンプレート:Math（テンプレート:Mvar は適当なスカラー、テンプレート:Mvar は単位行列）かつテンプレート:Math と書ける場合ということである。テンプレート:Math —ただしテンプレート:Math— の場合にヤコビ行列を計算すれば、テンプレート:Math (テンプレート:Math) となり、テンプレート:Math が負となることも計算すればわかるから、この反転が反等角であることが確かめられる。

複素数平面において、最も分かり易い円反転写像（つまり原点中心の単位円に関するもの）は、各点テンプレート:Mvar をテンプレート:Math へ写す複素反転写像の複素共軛に等しい。複素解析的反転写像は等角であり、その共軛である円反転は反等角であるということになる。

反転と双曲幾何

(n − 1)-次元球面

x_{1}^{2} + \dots + x_{n}^{2} + 2 a_{1} x_{1} + \dots + 2 a_{n} x_{n} + c = 0

は、テンプレート:Math なる限り正の半径を持ち、反転によって球面

x_{1}^{2} + \dots + x_{n}^{2} + 2 \frac{a_{1}}{c} x_{1} + \dots + 2 \frac{a_{n}}{c} x_{n} + \frac{1}{c} = 0

に写る。従って、先の球面が反転に関して不変となることと、テンプレート:Math は同値となる。しかしこれは単位球面に対する直交条件であって、従って反転不変テンプレート:Math-次元球面

x_{1}^{2} + \dots + x_{n}^{2} + 2 a_{1} x_{1} + \dots + 2 a_{n} x_{n} + 1 = 0

は、単位球面と直交し、かつ単位球面の外側に中心を持つ。このような球面とその部分空間としてそれらを半球面に分離する超平面を合わせて考えたものは、双曲幾何学のポワンカレ円板模型に関する超曲面である。

単位球面に関する反転はそれに直交する球面を不変にするから、反転変換写像は単位円の内側の点を外側へ、外側の点を内側へ写す。従って、このことは一般の直交球面において成り立つのであって、特に単位球面に直交する一つの球面に関する反転は、単位球面を単位球面自身に、かつ単位球面の内部の点を単位球面の内部に写すとともに、直交球面の内側の点を外側へ写し、かつ外側の点を内側へ写すから、この反転変換によりポワンカレ円板模型の鏡映変換が（単位球面の分離半球の直径を通る鏡映も含めるならば）定まる。こうして得られる鏡映変換の全体は、円板模型の等距変換群を生成する、つまりこの模型上の等距変換は等角写像である。従って、この模型内の二曲線のなす角は双曲空間において二曲線の成す角と等しい。

注

テンプレート:脚注ヘルプ

注釈

テンプレート:Notelist2

出典

テンプレート:Reflist

参考文献

外部リンク

テンプレート:Kotobank
Inversion: Reflection in a Circle at cut-the-knot
Wilson Stother's inversive geometry page
IMO Compendium Training Materials practice problems on how to use inversion for math olympiad problems
テンプレート:MathWorld
Visual Dictionary of Special Plane Curves Xah Lee

↑ A.S. Smogorzhevsky (1982) Lobachevskian Geometry, Mir Publishers, Moscow

[1] A.S. Smogorzhevsky (1982) Lobachevskian Geometry, Mir Publishers, Moscow

[1]

反転幾何学

目次

円に関する反転

点の反転

性質

応用

三次元内の反転

公理化と一般化

エルランゲン目録との関係

拡縮変換

逆数変換

より高度な幾何学へ

高次元での反転

反等角性

反転と双曲幾何

注

注釈

出典

関連項目

参考文献

外部リンク

ナビゲーションメニュー

反転幾何学

円に関する反転

点の反転

性質

応用

三次元内の反転

公理化と一般化

エルランゲン目録との関係

拡縮変換

逆数変換

より高度な幾何学へ

高次元での反転

反等角性

反転と双曲幾何

注

注釈

出典

関連項目

参考文献

外部リンク

ナビゲーション メニュー

検索

ナビゲーションメニュー