相似の中心

幾何学において、相似の中心（そうじのちゅうしん、テンプレート:Lang-en-short）は、二つの図形が相似であるとき、その点を中心としてテンプレート:仮リンクによって、一方の図形をもう一方の図形へ重ねることができる点である。単に相似中心ともいう^[1]^[2]^[3]^[4]。相似の中心は、外相似点^[5]または外心^[6]^[7]（External center;相似外心^[8]）と、内相似点（Internal center; 相似内心）または内心に分けられる。外相似点での相似比は正、内相似点での相似比は負になる。

テンプレート:Clear

一般の図形

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

円

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

相似中心の計算

与えられた2円について、様々な方法で相似中心を見つけることができる。解析幾何学の観点は、内相似点はテンプレート:仮リンク（重みはもう一方の円の半径）として定義できる。内相似点と円の中心との距離の比はもう一方の円の半径の比となる。それぞれ中心テンプレート:Math、半径テンプレート:Mathである円テンプレート:Mathの内相似点テンプレート:Mathは $(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つの平行な直径を描き、端点を対応させて線分をそれぞれテンプレート:Mathとする。テンプレート:Mathの交点は外相似点、テンプレート:Mathの交点は内相似点になる。

限られた場合ではあるが、2円の共通接線が引ける場合、2つの共通内接線の交点は内相似点、2つの共通外接線の交点は外相似点となる^[10]。上の図でいえばテンプレート:Mathが共通接線となるときに当たる。

特別の場合

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

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

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

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

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

相似と逆相似

一般に、相似中心を通る直線はそれぞれの円と二点で交わる。これら四点において、二点が対応している（homologous; 相応、相当）とは、相似中心を通る直線とその点における半径が成す角が等しいときのことを指す^[11]^[12]。図4ではテンプレート:Mvarが対応する点となる。相似中心とは共線であるが、対応していない点を反相応（antihomologous; 反相当）という^[13]^[14]。図4ではテンプレート:Mvarのことを指す^[13]。

円上の相応点

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

図4の様に三角形テンプレート:Mathを想定する。 $∠ Q E S = ∠ Q^{'} E S^{'}, \frac{\overline{E Q}}{\overline{E Q^{'}}} = \frac{\overline{E S}}{\overline{E S^{'}}},$ であるから2つの三角形は相似である。相似の中心はテンプレート:Mvarである。相似性より $∠ E S Q = ∠ E S^{'} Q^{'} = α .$ 内接四角形の定理より $∠ E P^{'} R^{'} = ∠ E S^{'} Q^{'} .$ 四角形テンプレート:Mvarについて、 $∠ Q S R^{'} = 18 0^{\circ} - α .$ であるからテンプレート:Mvarは円に内接する四角形である。方べきの定理より $\overline{E Q} \cdot \overline{E P^{'}} = \overline{E S} \cdot \overline{E R^{'}} .$ 同様にして四角形テンプレート:Mvarが円に内接する事が示せるまた、^[1] $\overline{E P} \cdot \overline{E Q^{'}} = \overline{E R} \cdot \overline{E S^{'}} .$

内相似点テンプレート:Mvarに関しても同様に証明できる。 $\begin{matrix} △ P I R ≅ △ P^{'} I R^{'} \\ ⟹ ∠ R P I = ∠ I P^{'} R^{'} = α \\ ⟹ ∠ R S^{'} Q^{'} = ∠ P P^{'} R^{'} = α (inscribed angle theorem) \end{matrix}$ 線分テンプレート:Mvarはテンプレート:Mvarとテンプレート:Mvarにおいて同じ角であるから円周角の定理（inscribed angle theorem）よりテンプレート:Mvarの共円が従う。また、交弦定理から $\overline{I P} \cdot \overline{I Q^{'}} = \overline{I R} \cdot \overline{I S^{'}} .$ 同様に四角形テンプレート:Mvarの円の内接と次の式が示せる。 $\overline{I Q} \cdot \overline{I P^{'}} = \overline{I S} \cdot \overline{I R^{'}} .$

根軸との関係

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

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

接円と反相応点

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

図5の様に2円の中心をテンプレート:Math、外相似点をテンプレート:Mvarとする。テンプレート:Mvarを通る直線により、円との交点テンプレート:Mvarを決める。テンプレート:Mathを延長して、その交点をテンプレート:Mathとすれば、テンプレート:Mathはテンプレート:Mvarで各円と接する円になる。これはテンプレート:Mathの相似性と $\overline{O_{1} P} = \overline{O_{1} Q}$ より $∠ O_{1} P Q = ∠ O_{1} Q P = ∠ O_{2} P^{'} Q^{'} = ∠ O_{2} Q^{'} P^{'} = ∠ T_{1} Q P^{'} = ∠ T_{1} P^{'} Q .$ が成り立ち、テンプレート:Mathが、テンプレート:Mathを頂角とする二等辺三角形、つまり $\overline{T_{1} P^{'}} = \overline{T_{1} Q} .$ であるからである。

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

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

図5の様にすべての接点が共線であるとき、相似性より $\frac{\overline{E P}}{\overline{E P^{'}}} = \frac{\overline{E Q}}{\overline{E Q^{'}}}; \overline{E P} \cdot \overline{E Q^{'}} = \overline{E Q} \cdot \overline{E P^{'}} .$ このとき、テンプレート:Mvarにおける2つの接円に対する方べきが等しいことが分かるので、テンプレート:Mvarが根軸上にあることが分かる。テンプレート:Clear

3円の相似中心

テンプレート:Main 3円について、2円の組が3つできるので、相似中心は6つできる。特に6つのうち3つは共線である^[8]。

図9の様に3つの円が書かれた平面を用意する。3円の半径の比と同じ分、対応する中心から垂直に上に上がった点テンプレート:Mvarを書く。この3点のうち2点を通る直線と元の平面の交点をテンプレート:Mvarとする。テンプレート:Mathの相似からが分かる。 $\frac{\overline{H_{A B} B}}{\overline{H_{A B} A}} = \frac{r_{B}}{r_{A}}$ ( テンプレート:Mvar は円の半径)。したがってテンプレート:Mvarは2円の相似の中心である。同様にテンプレート:Mvarとテンプレート:Mvarも他の2円の相似中心であることが分かる。

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

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

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

出典

テンプレート:Reflist

外部リンク

テンプレート:高校数学の美しい物語

[:2-1] 1.0 ^1.1 テンプレート:Cite book

[2] テンプレート:Cite book

[3] テンプレート:Cite book

[4] テンプレート:Cite book

[5] テンプレート:Cite book

[6] テンプレート:Cite book

[7] テンプレート:Cite book

[:3-8] 8.0 ^8.1 テンプレート:Cite book

[9] テンプレート:Cite book

[10] テンプレート:Cite book

[:1-11] テンプレート:Cite book

[12] テンプレート:Cite book

[:0-13] 13.0 ^13.1 テンプレート:Citation

[14] テンプレート:Cite book

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

相似の中心

目次

一般の図形