相似の中心

幾何学において、**相似の中心**（そうじのちゅうしん、）は、二つの図形が相似であるとき、その点を中心としてによって、一方の図形をもう一方の図形へ重ねることができる点である。  単に**相似中心**ともいう。相似の中心は、外相似点または外心（External center;相似外心）と、内相似点（Internal center; 相似内心）または内心に分けられる。外相似点での相似比は正、内相似点での相似比は負になる。

## 一般の図形

2つの図形が相似の中心を持つには、相似の中心において、対応する頂点との成す角が一致し、対応する点が同じ距離の比になければならない。2つの図形及びその相似の中心は、同一平面上にある必要はない。

## 円
任意の円はすべて相似である。一般の位置にあり、同半径でない二つの円には内側と外側の相似中心が存在する。二つの相似中心は2円の中心と共線（*line of centers*）である。点円（半径0の円）の円や虚円（半径が負の円）の相似中心も定義できる。

### 相似中心の計算

与えられた2円について、様々な方法で相似中心を見つけることができる。解析幾何学の観点では、内相似点は（重みはもう一方の円の半径）として定義できる。内相似点と円の中心との距離の比はもう一方の円の半径の比となる。それぞれ中心、半径である円の内相似点は(x_0, y_0) = \frac{r_2}{r_1 + r_2}(x_1, y_1) + \frac{r_1}{r_1 + r_2}(x_2, y_2).である。外相似点は同様の比で外分した点となる。(x_e, y_e) = \frac{-r_2}{r_1 - r_2}(x_1, y_1) + \frac{r_1}{r_1 - r_2}(x_2, y_2).一般に、内分点は内相似点、外分点は外相似点に対応する。ただし、同半径の外相似点は、ユークリッド平面では0除算となり定義できない。射影平面では無限遠点に対応する。

総合幾何学においては2つの平行な直径を描き、端点を対応させて線分をそれぞれとしたとき、の交点が外相似点、の交点が内相似点になる。

限られた場合ではあるが、2円の共通接線が引ける場合、2つの共通内接線の交点は内相似点、2つの共通外接線の交点は外相似点となる。上の図でいえばが共通接線となるときに当たる。

#### 特別の場合
先述の様に、同半径の場合、共通外接線は平行になり、アフィン平面上では外相似点は存在しない。しかし射影平面では極限の場合として無限遠点になる。

異なる半径で、同心円である2円の相似中心は、双方その円の中心になる。同半径の場合も含めて、解析的手法でも、極限の場合でも、このことを確認できる。また、この場合 line of centersは存在せず、共通接線による構築もできない。

一方が点円でもう一方が実円の場合、2つの相似中心は点円と一致する。

2つの円が完全に一致する場合、内相似点は円の中心であるが外相似点は定義できない。正確に言えば母数空間で、外相似点を与える関数は、除去不能な不連続な点をもつ。同半径の2円を極限まで近づけた場合は、line of centers上の無限遠点になる。

異なる二つの点円に関しては、その外相似点はline of centers上の無限遠点となるが、内相似点は定義できない。

### 相似と逆相似

一般に、相似中心を通る直線はそれぞれの円と二点で交わる。これら四点において、二点が対応している（*homologous*; 相応、相当）とは、相似中心を通る直線とその点における半径が成す角が等しいときのことを指す。図4ではが対応する点となる。相似中心とは共線であるが、対応していない点を反相応（*antihomologous*; 反相当）であるという。図4ではのことを指す。

### 円上の相応点
同じ相似中心を通る2つの直線について、反相応な点は共円である。

図4の様に三角形を想定する。\angle QES = \angle Q'\!ES', \quad \frac{\overline{EQ}}{\overline{EQ'}} = \frac{\overline{ES}}{\overline{ES'}},であるから2つの三角形は相似である。相似の中心はである。相似性より\angle ESQ = \angle ES'\!Q' = \alpha.内接四角形の定理より\angle EP'\!R' = \angle ES'\!Q'. 四角形について、\angle QSR' = 180^\circ - \alpha. であるからは円に内接する四角形である。方べきの定理より\overline{EQ} \cdot \overline{EP'} = \overline{ES} \cdot \overline{ER'}.同様にして四角形が円に内接する事が示せるまた、\overline{EP} \cdot \overline{EQ'} = \overline{ER} \cdot \overline{ES'}.

内相似点に関しても同様に証明できる。\begin{align}
  & \triangle PIR \cong \triangle P'\!IR' \\
  & \implies \angle RPI = \angle IP'\!R' = \alpha \\
  & \implies \angle RS'\!Q' = \angle PP'\!R' = \alpha \quad \text{(inscribed angle theorem)}
\end{align}線分はとにおいて同じ角であるから円周角の定理（inscribed angle theorem）よりの共円が従う。また、交弦定理から\overline{IP} \cdot \overline{IQ'} = \overline{IR} \cdot \overline{IS'}.同様に四角形の円の内接と次の式が示せる。\overline{IQ} \cdot \overline{IP'} = \overline{IS} \cdot \overline{IR'}.

### 根軸との関係
2円の根軸とは、その直線上の点の二円への接線長が等しくなるような直線である。また、線上の点の2円への方べきが等しくなるような点とも定義される。根軸は line of centersと直交し、2円が交わる場合はその割線と一致する。3円について、2円に定義できるのべ3つの根軸は共点である。この点は根心と呼ばれる。根心の各円への接線長は等しい（根円を成す）。

任意の反相応点は根軸を用いて見つけられる。図4の様に外相似点を通る2直線を作る。この2線がそれぞれ反相応な点とで交わるとする。この4点は共円である。さらにその定義より直線,は新たな円と元の円の根軸になる。したがって,の交点は3円の根心である。

### 接円と反相応点
反相応点で、二つの円と接する円が存在する。逆に、2円に接する円の各接点は反相応である。

図5の様に2円の中心を、外相似点をとする。を通る直線により、円との交点を決める。を延長して、その交点をとすれば、はで各円と接する円になる。これはの相似性と\overline{O_1P} = \overline{O_1Q}より\angle O_1PQ = \angle O_1QP = \angle O_2P'\!Q' = \angle O_2Q'\!P' = \angle T_1QP' = \angle T_1P'\!Q.が成り立ち、が、を頂角とする二等辺三角形、つまり\overline{T_1P'} = \overline{T_1Q}.であるからである。

他の反相応な点で同様の性質が成り立つことも、内相似点に対して同様にして証明できる。

ある2円について、2円に接するすべての円の根心は同一であり、また2円の相似中心と一致する。図8のように、相似中心を通る2つの直線が与円と交わっているとし、その線上の反相応点を接点とする円を書く。前項では、これら4つの接点が同一円周上にあることを示した。更に、の根軸は相似中心を通る。

図5の様にすべての接点が共線であるとき、相似性より\frac{\overline{EP}}{\overline{EP'}} = \frac{\overline{EQ}}{\overline{EQ'}}; \quad \overline{EP} \cdot \overline{EQ'} = \overline{EQ} \cdot \overline{EP'}.このとき、における2つの接円に対する方べきが等しいことが分かるので、が根軸上にあることが分かる。

### 3円の相似中心

3円について、2円の組が3つできるので、相似中心は6つできる。特に6つのうち3つは共線である。 

図9の様に3つの円が書かれた平面を用意する。3円の半径の比と同じ分、対応する中心から垂直に上に上がった点を書く。この3点のうち2点を通る直線と元の平面の交点をとする。 の相似からが分かる。\frac{\overline{H\!_{AB}B}}{\overline{H\!_{AB}A}} = \frac{r_B}{r_A} (  は円の半径)。したがっては2円の相似の中心である。同様にとも他の2円の相似中心であることが分かる。

ここで、は元の面とを通る面の交線上にあるから、これを元の平面において見れば、の共線が示される。同様にして、他の相似中心の組においても共線が分かる。

を与えられた3円に接する共役な円とする（図11）。ただしここで共役とは、2円が与円に対して同じ族にあることを意味する。前項の議論より2円に接する円のすべての根軸は2円の相似中心を通る。よって、与えられた3円の2円の組の相似中心の一つはの根軸上に位置する。

この性質を活用して、ジェルゴンヌはアポロニウスの問題の一般解を求めた。3つの与円について、 解円の根軸は相似中心の共線にある。勿論、共軸な円は無数に存在するので、相似中心による議論のみでは、証明は完結しないことに注意する。

## 関連項目

* 三角形と比の定理
* 相似 (幾何学)
* 相似変換
* 根軸、根心
* アポロニウスの問題

## 出典

## 参考文献
* 
* 

## 外部リンク

*