アルベロスの円列の中心は楕円上にあることが知られている。メビウス変換を使ってその軌跡を求めてみたい。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】接円定理と反転法

　１次分数変換（メビウス変換）

　　ｗ＝（ａｚ＋ｂ）／（ｃｚ＋ｄ）

は円を円に変換する．（この変換は円は円に移り，直線も円へ移るという性質を併せもつ．）

　メビウス変換

　　ｗ＝ｆ（ｚ）＝（ａｚ＋ｂ）／（ｃｚ＋ｄ）

は複素数球面上で考えると１つの回転に対応していて，たとえば，数ｚを

　　（ｚ−１）／（ｚ＋１）

に置き換えるには，北極と南極が赤道のところにくるように球を９０°回転させればよい（０を−１に，１を０に，∞を１に移す座標変換）．この写像は等角写像になる．

　また，［０，ｉ，−ｉ］を［１，−１，０］に移す変換は

　　ｗ＝−（ｚ＋ｉ）／（３ｚ−ｉ）

となるが，少しだけ補足しておきたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】シュタイナーの定理におけるメビウス変換

　シュタイナーの定理は最初の２円が同心円になるような反転を考えると容易に証明できる．

　　１＝（ａ＋ｂ）／（ｃ＋ｄ）

　　−１＝（−ａ＋ｂ）／（−ｃ＋ｄ）

　　α＝ｂ／ｄ

を解くと

　　ｗ＝（ｚ＋α）／（αｚ＋１）

は半径１の円板をそれ自身に移し，［−１，０，１］はそれぞれ［−１，α，１］に移されることがわかる．（円板の中心が円板の中心に移されるわけではない）．

　メビウス変換

　　ｗ＝（ｚ＋α）／（αｚ＋１）

の逆変換は

　　ｚ＝（−ｗ＋α）／（αｗ−１）

であるが，一般には

　　ｗ＝（ａｚ＋ｂ）／（ｃｚ＋ｄ）

の逆変換は

　　ｚ＝（ｄｗ−ｂ）／（−ｃｗ＋ａ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】シュタイナーの円

　シュタイナーは反転法によって，鎖の間の連結する小円の半径やはじめの２つの円の中心間距離などの条件を求めた．

　メビウス変換

　　ｗ＝（ｚ＋ａ）／（ａｚ＋１）

したがって，ｗ＝０に写されるのはｚ＝−ａ．ｚ→∞に対する極限は１／ａ．ｚ→−１／ａに対する極限は∞．すなわち，ｚ＝−ａは０に写り，ｚ＝−１／ａは∞に写る．ゆえに，ｗ平面の原点を通る直線はｚ＝−ａとｚ＝−１／ａを通る円の像である（−１＜ａ＜０）．

　円の中心は，ｘ＝−（ａ＋１／ａ）／２上にあるから，

　　（ｘ＋（ａ＋１／ａ）／２）^2＋（ｙ−ｙ0）^2＝｛（ａ−１／ａ）／２｝^2＋ｙ0^2

　また，その逆変換は

　　ｚ＝（−ｗ＋ａ）／（ａｗ−１）

であるから，ｚ＝０に写されるのはｗ＝ａである．ｗ→∞に対する極限は−１／ａ．ｗ→１／ａに対する極限は∞．

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　他方，原点を中心とする同心円｜ｗ｜＝ｋは

　　｜（ｚ＋ａ）／（ａｚ＋１）｜＝ｋ

で定義される円の像である．これはｚ＝−ａとｚ＝−１／ａの２点を極限点とするアポロニウスの円である．つまり，ｚ＝−ａとｚ＝−１／ａの２点からの距離の比が一定な点の軌跡である．

　　｜（ｚ＋ａ）／（ａｚ＋１）｜＝｜（ｚ＋ａ）｜／｜（ａｚ＋１）｜＝｜（ｚ＋ａ）｜／｜ａ｜｜（ｚ＋１／ａ）｜＝ｋ

より，２点

　　（−ａ，０），（−１／ａ，０）

からの距離の比が｜ａ｜ｋ：１のアポロニウスの円となる．

　　（ｘ＋ａ）^2＋ｙ^2：（ｘ＋１／ａ）^2＋ｙ^2＝ａ^2ｋ^2：１

　　（ｘ−ａ（１−ｋ^2）／（１−ａ^2ｋ^2））^2＋ｙ^2＝｛ｋ^2（１−ａ^2ｋ^2）＋ａ^2（１−ｋ^2）^2｝／（１−ａ^2ｋ^2）^2

　こうして，ｗ＝０を通る直線は（ｙ軸に平行な直線上に中心をもつ）ｚ＝−ａ，ｚ＝−１／ａを通る円に，｜ｗ｜＝ｋはその円に直交する円となる．このような円の族が作る図形を２点−ａと−１／ａで決まるシュタイナーの円という．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝