シュタイナーの円鎖

幾何学において、**シュタイナーの円鎖**（シュタイナーのえんさ、）または **シュタイナー環**、**シュタイナーの円環**、**シュタイナー円鎖**は、個の円がある2つの交わらない円と円鎖の前後の円とに接しているとき、その個の円の集合を指す用語である。ただしは有限の正整数であるとする。特に閉じた円鎖（）とは最初の円と最後（個目の）円が接する状態にあることを指す。逆に  とは、最初と最後の円が接していない場合を表す。

与円（図1の赤と青の円）は交差しないこと以外の制約を受けない。つまり、必ずしも一方の円がもう一方の円の内部にあるとは限らない。シュタイナーの円鎖の円の中心の軌跡は、一方の円がもう一方の円の内部にあるならば楕円を、そうでないならば双曲線を成す。和算では、一方の円がもう一方の円を内包している図において、外側の円を外円、内側の円を内円と呼んでいる。

シュタイナーの円鎖はヤコブ・シュタイナーの名を冠している。シュタイナーの功績の一つに  と呼ばれる次の性質を持つ図形がある。

 

反転幾何学はシュタイナーの円鎖をうまく扱うのに有用である。反転は交点、角、円を一対一対応させる。個の円の成すシュタイナーの円鎖は反転によって別の個の円に移る。特定の円による反転は円を同心円に変換する。この際、シュタイナーの円鎖を構成する全ての円は同じ大きさとなり、玉軸受のようにアニュラス上を"転がる"ことができる。この構成がシュタイナーの円鎖の様々な性質をもたらしている。たとえば、シュタイナーの円鎖の円同士の接点は常に共円である。 シュタイナーの円鎖の派生物には例えばソディの六球連鎖やパップス円鎖がある。

## 定義と接し方の種類

ファイル:Steiner_chain_7mer.svg|7円のシュタイナーの円鎖 (黒)。赤い内部の円に外接し青い外部の円に内接している。
ファイル:Steiner_chain_7mer_all_external.svg|7円のシュタイナーの円鎖 (黒)。青と赤どちらの円にも外接している。
ファイル:Steiner_chain_8mer_all_but_one_external.svg|8円のシュタイナーの円鎖 (黒)。青と赤の円どちらにも内接している、あるいはどちらにも外接している。
2円が交わっていなければの配置は、小さい方の円が大きい方の円の内部にある場合と、外部にある場合のいずれかに限られる。通常、2円はアニュラスのように小さい円が大きい円の内部にある場合で表現される。この構成ではシュタイナーの円鎖は内側の円に外接し、外側の円に内接している。一方、小さい方の円が大きい円の外部にある場合も存在する。この場合も、シュタイナーの円鎖の条件を満たし、元の2円に外接のみ、または内接のみするようになる。

元の2円が接している場合は円鎖は無限となりアルベロスとともに議論されることが多い（パップス円鎖）。

## 円鎖の開閉

ファイル:Steiner_chain_9mer_annular.svg|9つの円の円鎖が閉じている。
ファイル:Steiner_chain_open_9mer.svg|9つの円の円鎖が開いていて、一部が重なっている。
ファイル:Steiner_chain_double_17mer.svg|17つの円が二周することで多環を成している。
2つの円は個の円から成るシュタイナーの円鎖の円と接しているが、個の円の1つはと両隣の円の4つとしか接していない。通常は、シュタイナーの円鎖が閉じている場合を議論するが、そうでない場合、つまりが接さない場合、は3円とだけ接することとなる。多環のシュタイナーの円鎖ではその円鎖が閉じる前にさらに何周かすることとなる。

シュタイナーの円鎖は双角錐のグラフにおける円充填定理の系である。

## アニュラスと条件

ファイル:Steiner_chain_3mer_annular.svg|
ファイル:Steiner_chain_6mer_annular.svg|
ファイル:Steiner_chain_9mer_annular.svg|
ファイル:Steiner_chain_12mer_annular.svg|
ファイル:Steiner_chain_20mer_annular.svg|


最も単純なシュタイナーの円鎖は、2つの円が同心円である場合に生成される。の中心をとする。個の円から成るシュタイナーの円鎖について、2円の大きい方の半径を、小さい方の半径を、隣り合うシュタイナーの円鎖の円の中心をとして対称性より、である。また隣り合うシュタイナーの円鎖の円は接するので、円の中心の距離は円の半径の2倍に等しい。図のようにの角の二等分線は2つの直角三角形をつくるのでとして、その正弦を求めることができる。

よってについて整理して次の式を得る。

シュタイナーの円鎖のある円について、それぞれとの接点と、の中心は明らかに共線であるからが従う。

この等式によって、シュタイナーの円鎖の生成条件が与えられる。 個の円から成るシュタイナーの円鎖ができる条件は、2円の半径が次の式を満たすことである。

次のように、半径の比は2円の反転距離によって、任意の円に拡張することができる。

同心円の場合の解法を使って、一般の位置にある2円に対する 個の円から成るシュタイナーの円鎖ができる条件は以下のようにまとめられる。

個の円から成るシュタイナーの円鎖が多環であるときは、アニュラスを周するとして隣り合うシュタイナーの円鎖の円の中心の成す中心角が次の式を満たせばよい。

換言すれば、シュタイナーの円鎖のできる条件は不変である。

## 反転下での性質

ファイル:Steiner_chain_9mer_annular_angle2.svg|2円（桃と水）は元の円の両方に内接する。それらの円の中心は円の交点の成す中心角がならば、の中心と共線である。
ファイル:Steiner_chain_9mer_annular_angle4.svg|反転した図では、広義の円は広義の円へと移り、交点や角度を保つ。茶色の円はと直交している。
ファイル:Steiner_chain_6mer_tangent_circles.svg|2つのシュタイナーの円鎖の隣り合う円の接点を通る円は最初の2円に直交する。
ファイル:Steiner_chain_6mer_orthogonal_circles.svg|2つのシュタイナーの円鎖と与円の接点を通る円は元の2円に直交する。
円による反転は、シュタイナーの円鎖を同数の円を持つ他の図形に変換する。

円鎖の反転で、隣り合う円が接するという事実は変わらない。また、与円が同心円になるよう反転したとき、シュタイナーの円鎖の隣り合う円の接点は与円を反転したものの中間上にある。したがってシュタイナーの円鎖で、隣り合う円との接点は同一円周上にある。この方法はパップス円鎖にも適応できる。

反転された円鎖では、の中心からシュタイナー円鎖の円への接線は等角度で離れている。これは元の円鎖において反転の中心を通るシュタイナー円鎖の円の接線の成す角が常に等しいことを示している。

円鎖の反転で、元の円とシュタイナーの円鎖を成す円の接点と、その反対側の接点を結ぶ本の直線はすべて一点で交わる。同様に接点における接線もで交わる。反転の中心を通る直線は反転で自身に変換され、また接する・交わるといった状況などは不変であるので、上述した本の直線に反転で対応する図形は一点で交わる。

## 無限個の族

2つの交わらない円について、そのシュタイナーの円鎖を反転させたものをアニュラス上で"転がす"ことにより、別のシュタイナーの円鎖を作ることができる。ゆえに、2つの与円について、シュタイナーの円鎖が一つでも発見されれば、シュタイナーの円鎖は無限個ある。

## 中心の軌跡
シュタイナー円鎖を成す円の中心は常に円錐曲線上にある。例えば元の円の一方の円がもう一方の円の内部にある場合は楕円、外部にある場合は双曲線となる。これはアポロニウスの問題やパップス円鎖にも利用されている。3次元ではソディの六球連鎖に応用されている。 

元の2円を、その半径をそれぞれ、中心をそれぞれとする。ただしはの内部にあるとする。またシュタイナーの円鎖の番目の円の円周、半径、直径、中心をそれぞれ とする。

 + \overline{\mathbf{P}_k \mathbf{B}} = (r_\alpha - r_k) + \left( r_\beta + r_k \right) = r_\alpha + r_\beta}}

とそれぞれの距離の和は常にとなる。したがって、の軌跡は一定の楕円となる。特に、この楕円の焦点はとなることが従う。

更にこの楕円の長軸は次の式を満たす。

をの距離とすると、 楕円の離心率について次の式が成立する。

}}

短軸を、半直弦をとすれば次の式が成り立つ。

したがって軌道の方程式は次のようになる。

ここでは軌跡を成す点が二つの焦点に対して成す角である。

## 円鎖の共役

ファイル:Steiner_chain_4mer_outside3.svg|赤と青の円に対する4円でのシュタイナーの円鎖
ファイル:Steiner_chain_4mer_outside2.svg|左図と同じではあるが最初の円を変えたもの
ファイル:Steiner_chain_4mer_outside.svg|左図と同じではあるが最初の円を変えたもの

偶数個の円で構成されたシュタイナーの円鎖について、元の2円を円鎖の正反対の円としたとき、別の円鎖が構成されていると見なすことができる。元の円鎖が個の円から成り周期、与円を変えた後の円鎖が個の円から成り周期であるとすれば、次の式が成り立つ。 

最も簡単なものは円鎖が4円で構成されていて周期が1の場合である。より一般的に、シュタイナーの円鎖を成す円はすべて4円と接して、与円2つは個の円と接しているが、別の円を与円と見なしたとき、元の与円2つと円鎖を成す4円は、すべて4つの円と接している。したがってなので下の式のように式が成立していることが分かる。

## 一般化

シュタイナーの円鎖の自然な一般化として、与円が交わる場合を考える。一点で交わる、つまり接するときはパップス円鎖となる。パップス円鎖は無限個の円から成る。

ソディの六球連鎖は6円のシュタイナーの円鎖を3次元に一般化したものと考えられる。このとき六球の中心は同一円錐曲線、特に楕円上にある。六球の中心をある平面に固定したとき、六球連鎖の包絡線はと呼ばれる図形となる。その反転はトーラスである。六球は与円にそれぞれ内接、外接するだけでなく他のある二球にも接している。

階層的な方法を用いて、更に別の一般化ができる。普通のシュタイナーの円鎖の2円が入れ子になっている、すなわち一方の円がもう一方の円に完全に内包される場合、シュタイナーの円鎖は大きい方の与円に内接している。階層的なシュタイナーの円鎖では、シュタイナーの円鎖のそれぞれの円はそれ自身が他のシュタイナーの円鎖の円に内接している。この過程を続けていくと、アポロニウスのギャスケットのようなフラクタルを作ることができる。
## 池田の定理
シュタイナーの円鎖に関連する結果に、**池田の定理**がある。池田貞一の名を冠する。

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
* 
* 
* 
* 
* 
* 
* 

## 関連項目
* ポンスレの閉形定理
* フォードの円
* アポロニウスの問題
* デカルトの円定理
## 外部リンク

* 
* Interactive animation of a Steiner chain, CodePen
* nteractive Applet Michael Borcherds によるシュタイナーの円鎖のアニメーション（by GeoGebra）