シュタイナーの円鎖

図 1:シュタイナーの円鎖 。青と赤の円がそれぞれ円鎖を成す円が内接、外接する円。
幾何学において、シュタイナーの円鎖（しゅたいなーのえんさ、Steiner chain）または シュタイナー環、シュタイナーの円環、シュタイナー円鎖は、n個の円がある2つの交わらない円と円鎖の前後の円とに接しているとき、そのn個の円を指す用語である。ただしnは有限の整数であるとする。特に円鎖が閉じる（closed chains）とは最初の円と最後（n個目の円）が接する状態にある、ということである。逆に open chains とは、そうでない場合を表す。シュタイナーの円鎖の2つの円（図1の赤と青の円）の条件は円α, βが交わっていないことだけである。つまり、一方の円がもう一方の円の内部になければならないわけではない。シュタイナーの円鎖の円の中心の軌跡は、一方の円がもう一方の円の内部にあるならば楕円を、そうでないならば双曲線を成す。
シュタイナーの円鎖はヤコブ・シュタイナーに因み名づけられた。彼の功績の一つに Steiner's porism と呼ばれる以下の様に定義される図形がある。
 2つの円α, βに対して、n個の円の閉じているシュタイナーの円鎖が一つでもあれば、n個の円の閉じているシュタイナーの円鎖は無数に見つけることができる。そしてα, βに接する円はすべて、そのようなシュタイナーの円鎖の一つになり得るつまり見つかった任意のシュタイナーの円鎖の円は、元のシュタイナー鎖の円と同様に内接または外接するということ。。 
反転幾何学はシュタイナーの円鎖をうまく扱うのに有用である。反転は交点、角、円を一対一対応させるため、n個の円の成すシュタイナーの円鎖は反転によって別のn個の円に移る。ある円における反転は円α, βを同心円に変換し、その変換によってとシュタイナーの円鎖を構成するすべての円は同じ大きさになり、玉軸受のようにアニュラス上を"転がる"ことができる。この構成がシュタイナーの円鎖の様々な性質をもたらしている。たとえば、シュタイナーの円鎖の円同士の接点は常に共円である。 シュタイナーの円鎖の派生物には例えばソディの六球連鎖やパップス円鎖がある。

**定義と接し方の種類**
ファイル: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つの円α, βはn個のシュタイナーの円鎖の円と接しているが、n個の各円はα, βと両隣の円の4つとしか接していない。普通はシュタイナーの円鎖が閉じている場合を議論するがそうでない場合、つまりが接さない場合、は3円とだけ接することとなる。多環のシュタイナーの円鎖ではその円鎖が閉じる前にさらに何周かすることとなる。
シュタイナーの円鎖は双角錐におけるcircle packing theoremの系である。

**アニュラスと条件**
ファイル: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|
ファイル:Steiner_chain_annular_angle.svg|右|サムネイル|250x250ピクセル|アニュラスの場合のシュタイナーの円鎖の円の半径ρはもとの2円の半径によって決まる。
シュタイナーの円鎖のもっとも簡単な場合は、2つの円α, βが同心円であるときである。α, βの中心をOとする。n個のシュタイナーの円鎖について、2円α, βの大きい方の半径をR、小さい方の半径をr、隣り合うシュタイナーの円鎖の円の中心をとして対称性より、である。また隣り合うシュタイナーの円鎖の円は接するのでその円の中心の距離は円の半径ρの2倍に等しい。図のようにの角の二等分線は2つの直角三角形をつくるのでとして、その正弦を求めることができる。
 
よってρについて整理して以下の式を得る。
 
シュタイナーの円鎖とそれぞれα, βの接点と、α, βの中心は明らかに共線であるからが従う。
この等式は、シュタイナーの円鎖ができる条件を与える。 n個のシュタイナーの円鎖ができる条件は、2円の半径R, rが以下の式を満たすことである。
 
下記の様に、半径の比は2円のinversive distanceによって、任意の円に拡張することができる。
 
同心円上の2円についての解法を使って、一般の位置にある2円に対する n個のシュタイナーの円鎖ができる条件は以下の様にまとめられる。
 
個のシュタイナーの円鎖が多環であるときは、アニュラスをm周するとして隣り合うシュタイナーの円鎖の円の中心の成す中心角が以下を満たせばよい。
 
別の言い方をすれば、シュタイナーの円鎖のできる条件は不変であるということである。

**反転下での性質**
ファイル:Steiner_chain_9mer_annular_angle2.svg|2円（桃と水）は元の円の両方に内接する。それらの円の中心は円の交点の成す中心角が2θならば、α, βの中心と共線である。
ファイル:Steiner_chain_9mer_annular_angle4.svg|反転した図では、広義の円は広義の円へと移り、交点や角度を保つ。茶色の円はα,βと直交している。
ファイル:Steiner_chain_6mer_tangent_circles.svg|2つのシュタイナーの円鎖の隣り合う円の接点を通る円は最初の二2円に直交する。
ファイル:Steiner_chain_6mer_orthogonal_circles.svg|2つのシュタイナーの円鎖と与円の接点を通る円は元の2円に直交する。
円による反転はシュタイナーの円鎖を、同数の円を持つ他の図形に変換する。
円鎖の反転で、隣り合う円が接するという事実は変わらない。また、与円が同心円になるよう反転したとき、シュタイナーの円鎖の隣り合う円の接点は与円を反転したものの中間上にある。したがってシュタイナーの円鎖で、隣り合う円との接点は同一円周上にある。この方法はパップス円鎖にも適応できる。
反転された円鎖では、α, βの中心Oからシュタイナー円鎖の円への接線は等角度で離れている。これは元の円鎖において反転の中心を通るシュタイナー円鎖の円の接線の成す角が常に等しいことを示している。
円鎖の反転で、元の円とシュタイナーの円鎖を成す円の接点と、その反対側の接点を結ぶn本の直線はすべて一点Oで交わる。同様に接点における接線もOで交わる。反転の中心を通る直線は反転で不変でありまた、接したり交わったりするなども不変であるので上で言及した2n本の直線に反転で対応する図形は一点で交わる。

**無限個の族**
2つの円(青)について、1つでも閉じている円鎖が存在すれば、そのような円鎖は無限に存在する。
2つの交わらない円について、そのシュタイナーの円鎖を反転させたものをアニュラス上で"転がす"ことにより、別のシュタイナーの円鎖を作ることができる。故に、2つの与円についてのシュタイナーの円鎖は無限個ある。

**中心の軌跡**
シュタイナー円鎖を成す円の中心は常に二次曲線上にある。例えば元の円の一方の円がもう一方の円の内部にある場合は楕円、外部にある場合は双曲線となる。これはアポロニウスの問題やパップス円鎖にも利用されている。3次元ではソディの六球連鎖に応用されている。 
元の2円をα, β、その半径をそれぞれ、中心をそれぞれA, Bとする。ただしαはβの内部にあるとする。またシュタイナーの円鎖のk番目の円の円周、半径、直径、中心をそれぞれ とする。
は常にある楕円上にある。これは円が接することを式にしたとき下記の様になり、この時の軌跡はよく知られた事実により楕円となるためである。
 
このためとそれぞれA,Bの距離の和は常にとなる。特に、この楕円の焦点はA,Bとなることが従う。
更にこの楕円の長軸aは以下の式を満たす。
 
をA,Bの距離とすると、 楕円の離心率eについて以下の式が成立する。
 
短軸をb、半直弦をLとすれば以下の式が成り立つ。
 
 
したがって軌道の方程式は以下のようになる。
 
ここでθは軌跡を成す点が二つの頂点に対して成す角である。

**円鎖の共役**
ファイル:Steiner_chain_4mer_outside3.svg|赤と青の円に対する4円でのシュタイナーの円鎖
ファイル:Steiner_chain_4mer_outside2.svg|左図と同じではあるが最初の円を変えたもの
ファイル:Steiner_chain_4mer_outside.svg|左図と同じではあるが最初の円を変えたもの
シュタイナーの円鎖は偶数個の円で構成されるならば、同じ図形内で元の2円を円鎖の正反対の円に変えても、他の円で円鎖が起きているとみなすことができる。元の円鎖がn個でm周期、初めの円を変えた後の円鎖がp個でq周期とすれば、以下の式が成り立つ。 
 
もっとも簡単なものは円鎖が4円で構成されていて周期が1の時である。より一般的には、シュタイナーの円鎖を成す円はすべて4円と接して、与円2つはn個の円と接しているが、この場合は与円2つと、円鎖を成す4円は、すべて4つの円と接していることになる。したがって1=m = q = 1, n = q = 4なので下記の様に式が成立していることが分かる。
 

**一般化**
ファイル:Rotating_hexlet_equator_opt.gif|右|サムネイル|300x300ピクセル|ソディの六球連鎖はシュタイナーの円鎖の3次元への拡張である。
シュタイナーの円鎖の自然な一般化は、与円が交わっているときである。一点で交わる、つまり接しているときはパップス円鎖となる。パップス円鎖は無限個の円から成る。
ソディの六球連鎖は6円のシュタイナーの円鎖を3次元に一般化した場合である。このとき六球の中心は同一円錐曲線、特に楕円上にある。六球の中心をある平面に固定したとき、六球連鎖の包絡線はDupin cyclideと呼ばれる図形となり、その反転はトーラスとなる。六球は与円にそれぞれ内接、外接するだけでなく他のある二球にも接している。
階層的に、シュタイナーの円鎖は別の一般化をすることができる。普通のシュタイナーの円鎖の2円が入れ子になっている、すなわち一方の円がもう一方の円に完全に収まっている場合、シュタイナーの円鎖は大きい方の与円に内接することになる。階層的なシュタイナーの円鎖ではシュタイナーの円鎖のそれぞれの円はそれ自身が他のシュタイナーの円鎖の円に内接している。この過程を続けていくと、アポロニウスのギャスケットのようなフラクタルを作ることができる。

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

**脚注**

**注釈**

**論文**
 url=https://archive.org/details/excursionsingeom0000ogil/page/51- Cite book |title=Geometry Revisited |author-link=Harold Scott MacDonald Coxeter |last=Coxeter |first=H.S.M. |author2-link=:en:S. L. Greitzer |last2=Greitzer |first2=S.L. |year=1967 |publisher=MAA |location=Washington |series=New Mathematical Library |volume=19 |isbn=978-0-88385-619-2 |zbl=0166.16402 |pages=123–126, 175–176, 180- pages=113–115- url=https://archive.org/details/penguindictionar0000well/page/244

**参考文献**
 pages=134–135- pages=97–101- pages=31–37

**外部リンク**
 title=Steiner Chain-  Interactive animation of a Steiner chain, CodePen-  nteractive Applet by Michael Borcherds showing an animation of Steiner's Chain with a variable number of circles made with  GeoGebra.