アポロニウスの円束

青で書かれた任意のアポロニウス円は赤で書かれた共軛アポロニウス円束の任意の円と垂直に交わる。全ての赤い円が通る二点が存在し、それら二点をすべての青い円が分離する。

射影幾何学におけるアポロニウスの円全体の成す族は、根軸を共有する円束を成し、それに属するすべての円に直交する円全体もまたひとつの円束を成す。これらすべての円の族 (テンプレート:Lang-en-short) の成す直交する二つの束（円把; circle bundle, orthogonal net of circles）は双極座標系の基底を成す。古代ギリシアの著名な幾何学者ペルガのアポロニウスによって発見された。

定義

初めに基準とするふたつの点 テンプレート:Math が与えられているところから始める。テンプレート:Math に関する Apollonian circles は二つのパラメータ テンプレート:Mvar を持つテンプレート:Ill2の族で、各パラメータに対応する二つの円束に分けられる。

一つは、正の実数 テンプレート:Mvar で添字付けられた族（図の(青)）で、各円は線分 テンプレート:Overline の長さ テンプレート:Mvar の テンプレート:Overline の長さ テンプレート:Mvar に対する比が テンプレート:Mvar に等しい点 テンプレート:Math 全体の描く軌跡 $$\{\mathrm{X}\mid \frac{d(\mathrm{X},\mathrm{C})}{d(\mathrm{X},\mathrm{D})}=r\}$$ として与えられる。これはアポロニウスの円からなる双曲型の共軸円束—アポロニウス円束—である。テンプレート:Mvar の値が テンプレート:Math に近づけば テンプレート:Mvar に対応する円は一点 テンプレート:Math に近づき、テンプレート:Mvar の値が テンプレート:Math に近づけば対応する円は一点 テンプレート:Math に近づく。それらの中間にあたる テンプレート:Math では対応する円は直線であり、ちょうど線分 テンプレート:Overline の垂直二等分線になっている。 これらの円を軌跡として定義する等式は、一般化してより大きな重み付けられた点の集合に関するフェルマー–アポロニウスの円も定義できる。

いま一つの円束（図の(赤)）—共軛アポロニウス円束—は、角度 テンプレート:Mvar で添字付けられる楕円型円束で、各円は円周角 テンプレート:Mvar が テンプレート:Mvar に等しい点 テンプレート:Math の軌跡 $$\{\mathrm{X}\mid \mathrm{\angle }CXD=\theta \}$$ として定義される。テンプレート:Mvar を テンプレート:Math から テンプレート:Mvar まで動かせば、二点 テンプレート:Math を通る全ての円からなる集合が生成できる。

共軛アポロニウス円束のすべての円が通過する二点は、アポロニウス円束における円の対のテンプレート:Ill2になっている。

双極座標系

各アポロニウスの円とその共軛なる円は二点で交わるから、それらが座標系（双極座標系）を定めるというためには、それらが「どちら側にある」のかを特定する方法が与えられなければならない。基点 テンプレート:Math を向きまで込めて同じ角に見込む点 テンプレート:Math の軌跡　$$\mathrm{isopt}(\theta )=\{\mathrm{X}\mid \mathrm{\angle }(\overrightarrow{XC},\overrightarrow{XD})=\theta +2k\pi \}$$ は isoptic arc (同視弧) と呼ばれる。このような弧は共軛アポロニウス円束に属する適当な円において、二点 テンプレート:Math を端点とする弧であり、テンプレート:Math と合わせて一つの円を与える（すなわち、対応する円の全体は $\{\mathrm{X}\mid \mathrm{\angle }(\overrightarrow{XC},\overrightarrow{XD})=\theta +k\pi \}$ と書ける）。

ふたつの円束の直交性

テンプレート:Ill2は平面上で定義された変換として、（一般化された）円をべつの円に写し、したがって円束をほかの円束に写すが、このとき束の種類は保たれる（楕円型円束の反転像はやはり楕円型であり、双曲型円束の反転像は双曲型、同様に抛物型の反転像は抛物型の円束を与える）。

アポロニウスのふたつの円束が垂直に交わる（直角を成す）ことは、円に関する反転を用いれば比較的見易い:

アポロニウス円束を、点 テンプレート:Math を中心とする円に関して反転すると、点 テンプレート:Math の反転像を中心とする同心円束に写る。それと同時に、共軛アポロニウス円束は テンプレート:Math の反転像を基点とする直線束に写る。

したがって、この反転変換によって、Apollonian circles の定める双極座標系は極座標系に写ることになる。変換後のふたつの束が直交することは明らかであり、また反転は等角写像—すなわち変換の前後で角度を保つ変換—であるから、もとのふたつの円束も互いに直角に交わることがわかる。

あるいは別の方法として、ふたつの円束の直交性を根軸の定義性質—一つの束 テンプレート:Mvar の根軸上の任意の点 テンプレート:Math から テンプレート:Mvar に属する任意の円への接線の長さは全て等しい—から知ることもできるテンプレート:Sfn。テンプレート:Math を中心としそれら接線の長さに等しい半径を持つ円は、テンプレート:Mvar に属するすべての円と垂直に交わることが、この定義性質から従う。根軸上の点すべてで同じことを行えば テンプレート:Mvar に直交する円からなる円束が得られる。

より一般に、任意の円束に対して、それに属するすべての円と直交する円全てからなる円束が一意に存在する—そのような二つの円束は互いに共軛であるというテンプレート:Sfn 。与えられた円束が楕円型ならばその共軛円束は双曲型であり、逆もまた然り—この場合においてそれら二つの円束は Apollonian circles を成す。抛物型円束の共軛円束はまた抛物型である—この共軛円束は、その共通接点はもとの円束のそれと一致するが、共通接線はもとの円束のそれと共通接点において直交するテンプレート:Sfn。

関連項目

• 複素射影直線 / メビウス変換

参考文献

• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation

外部リンク

• テンプレート:Mathworld
• David B. Surowski: Advanced High-School Mathematics. p. 31
• テンプレート:Citation