相似の中心

幾何学において、相似の中心（そうじのちゅうしん、英: homothetic center, center of similarity, center of similitude）は、二つの図形が相似であるとき、その点を中心として拡大縮小（英語版）によって、一方の図形をもう一方の図形へ重ねることができる点である。 単に相似中心ともいう。相似の中心は、外相似点または外心（External center;相似外心）と、内相似点（Internal center; 相似内心）または内心に分けられる。外相似点での相似比は正、内相似点での相似比は負になる。 2つの図形が相似の中心を持つには、相似の中心において、対応する頂点との成す角が一致し、対応する点が同じ距離の比になければならない。2つの図形及びその相似の中心は、同一平面上にある必要はない。 任意の円はすべて相似である。一般の位置にあり、同半径でない二つの円には内側と外側の相似中心が存在する。二つの相似中心は2円の中心と共線（line of centers）である。点円（半径0の円）の円や虚円（半径が負の円）相似中心を定義できる。 与えられた2円について、様々な方法で相似中心を見つけることができる。解析幾何学の観点は、内相似点は重み付き平均（英語版）（重みはもう一方の円の半径）として定義できる。内相似点と円の中心との距離の比はもう一方の円の半径の比となる。それぞれ中心(x1, y1), (x2, y2)、半径r1, r2である円C1, C2の内相似点(x0, y0)は ( x 0 , y 0 ) = r 2 r 1 + r 2 ( x 1 , y 1 ) + r 1 r 1 + r 2 ( x 2 , y 2 ) . {\displaystyle (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 ) = − r 2 r 1 − r 2 ( x 1 , y 1 ) + r 1 r 1 − r 2 ( x 2 , y 2 ) . {\displaystyle (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つの平行な直径を描き、端点を対応させて線分をそれぞれA1B1, A2B2とする。A1A2, B1B2の交点は外相似点、A1B2, B1A2の交点は内相似点になる。 限られた場合ではあるが、2円の共通接線が引ける場合、2つの共通内接線の交点は内相似点、2つの共通外接線の交点は外相似点となる。上の図でいえばA1A2, B1B2が共通接線となるときに当たる。 先述の様に、同半径の場合、共通外接線は平行になり、アフィン平面上では外相似点は存在しない。しかし射影平面では極限の場合として無限遠点になる。 異なる半径で、同心円である2円の相似中心は、双方その円の中心になる。同半径の場合も含めて、解析的手法でも、極限の場合でも、このことを確認できる。また、この場合 line of centersは存在せず、共通接線による構築もできない。 一方が点円でもう一方が実円の場合、2つの相似中心は点円と一致する。 2つの円が完全に一致する場合、内相似点は円の中心であるが外相似点は定義できない。正確に言えば母数空間で、外相似点を与える関数は、除去不能な不連続な点をもつ。同半径の2円を極限まで近づけた場合は、line of centers上の無限遠点になる。 異なる二つの点円に関しては、その外相似点はline of centers上の無限遠点となるが、内相似点は定義できない。 一般に、相似中心を通る直線はそれぞれの円と二点で交わる。これら四点において、二点が対応している（homologous; 相応、相当）とは、相似中心を通る直線とその点における半径が成す角が等しいときのことを指す。図4ではQ, Q'が対応する点となる。相似中心とは共線であるが、対応していない点を反相応（antihomologous; 反相当）という。図4ではQ, P'のことを指す。 同じ相似中心を通る2つの直線について、反相応な点は共円である。 図4の様に三角形△EQS, △EQ'S' を想定する。 ∠ Q E S = ∠ Q ′ E S ′ , E Q ¯ E Q ′ ¯ = E S ¯ E S ′ ¯ , {\displaystyle \angle QES=\angle Q'\!ES',\quad {\frac {\overline {EQ}}{\overline {EQ'}}}={\frac {\overline {ES}}{\overline {ES'}}},} であるから2つの三角形は相似である。相似の中心はEである。相似性より ∠ E S Q = ∠ E S ′ Q ′ = α . {\displaystyle \angle ESQ=\angle ES'\!Q'=\alpha .} 内接四角形の定理より ∠ E P ′ R ′ = ∠ E S ′ Q ′ . {\displaystyle \angle EP'\!R'=\angle ES'\!Q'.} 四角形QSR'P'について、 ∠ Q S R ′ = 180 ∘ − α . {\displaystyle \angle QSR'=180^{\circ }-\alpha .} であるからQSR'P'は円に内接する四角形である。方べきの定理より E Q ¯ ⋅ E P ′ ¯ = E S ¯ ⋅ E R ′ ¯ . {\displaystyle {\overline {EQ}}\cdot {\overline {EP'}}={\overline {ES}}\cdot {\overline {ER'}}.} 同様にして四角形PRS'Q'が円に内接する事が示せるまた、 E P ¯ ⋅ E Q ′ ¯ = E R ¯ ⋅ E S ′ ¯ . {\displaystyle {\overline {EP}}\cdot {\overline {EQ'}}={\overline {ER}}\cdot {\overline {ES'}}.} 内相似点Iに関しても同様に証明できる。 △ P I R ≅ △ P ′ I R ′ ⟹ ∠ R P I = ∠ I P ′ R ′ = α ⟹ ∠ R S ′ Q ′ = ∠ P P ′ R ′ = α (inscribed angle theorem) {\displaystyle {\begin{aligned}&\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{aligned}}} 線分RQ'はPとS'において同じ角であるから円周角の定理（inscribed angle theorem）よりR, P, S', Q'の共円が従う。また、交弦定理から I P ¯ ⋅ I Q ′ ¯ = I R ¯ ⋅ I S ′ ¯ . {\displaystyle {\overline {IP}}\cdot {\overline {IQ'}}={\overline {IR}}\cdot {\overline {IS'}}.} 同様に四角形QSP'R'の円の内接と次の式が示せる。 I Q ¯ ⋅ I P ′ ¯ = I S ¯ ⋅ I R ′ ¯ . {\displaystyle {\overline {IQ}}\cdot {\overline {IP'}}={\overline {IS}}\cdot {\overline {IR'}}.} 2円の根軸とは、その直線上の点の二円への接線長が等しくなるような直線である。また、線上の点の2円への方べきが等しくなるような点とも定義される。根軸は line of centersと直交し、2円が交わる場合はその割線と一致する。3円について、2円に定義できるのべ3つの根軸は共点である。この点は根心と呼ばれる。根心の各円への接線長は等しい（根円を成す）。 任意の反相応する点は根軸を用いて見つけられる。図4の様に外相似点Eを通る2直線を作る。この2線がそれぞれ反相応な点Q, P'とS, R'で交わるとする。この4点は共円である。さらにその定義より直線QS,P'R'は新たな円と元の円の根軸になる。したがってQS,P'R'の交点Gは3円の根心である。 反相応点で、二つの円と接する円が存在する。逆に、2円に接する円の各接点は反相応である。 図5の様に2円の中心をO1, O2、外相似点をEとする。Eを通る直線により、円との交点P, Q, P',Q'を決める。O1Q, O2P' を延長して、その交点をT1とすれば、T1はQ, P'で各円と接する円になる。これは△O1PQ, △O2P'Q' の相似性と O 1 P ¯ = O 1 Q ¯ {\displaystyle {\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 . {\displaystyle \angle O_{1}PQ=\angle O_{1}QP=\angle O_{2}P'\!Q'=\angle O_{2}Q'\!P'=\angle T_{1}QP'=\angle T_{1}P'\!Q.} が成り立ち、△T1P'Qが、T1を頂角とする二等辺三角形、つまり T 1 P ′ ¯ = T 1 Q ¯ . {\displaystyle {\overline {T_{1}P'}}={\overline {T_{1}Q}}.} であるからである。 他の反相応な点P, Q'で同様の性質が成り立つことも、内相似点に対して同様にして証明できる。 ある2円について、2円に接するすべての円の根心は同一であり。また2円の相似中心と一致する。図8のように、相似中心Eを通る2つの直線が与円と交わっているとし、その線上の反相応点を接点とする円T1, T2を書く。前項では、これら4つの接点が同一円周上にあることを示した。更に、T1, T2の根軸は相似中心Eを通る。 図5の様にすべての接点が共線であるとき、相似性より E P ¯ E P ′ ¯ = E Q ¯ E Q ′ ¯ ; E P ¯ ⋅ E Q ′ ¯ = E Q ¯ ⋅ E P ′ ¯ . {\displaystyle {\frac {\overline {EP}}{\overline {EP'}}}={\frac {\overline {EQ}}{\overline {EQ'}}};\quad {\overline {EP}}\cdot {\overline {EQ'}}={\overline {EQ}}\cdot {\overline {EP'}}.} このとき、Eにおける2つの接円に対する方べきが等しいことが分かるので、Eが根軸上にあることが分かる。 3円について、2円の組が3つできるので、相似中心は6つできる。特に6つのうち3つは共線である。 図9の様に3つの円が書かれた平面を用意する。3円の半径の比と同じ分、対応する中心から垂直に上に上がった点A',B',C'を書く。この3点のうち2点を通る直線と元の平面の交点をHAB, HBC, HACとする。 △HABAA', △HABBB' の相似からが分かる。 H A B B ¯ H A B A ¯ = r B r A {\displaystyle {\frac {\overline {H\!_{AB}B}}{\overline {H\!_{AB}A}}}={\frac {r_{B}}{r_{A}}}} ( rA, rB は円の半径)。したがってHABは2円の相似の中心である。同様にHBCとHACも他の2円の相似中心であることが分かる。 ここで、HAB, HBC, HACは元の面とA',B',C'を通る面の交線上にあるから、これを元の平面において見れば、HAB, HBC, HACの共線が示される。同様にして、他の相似中心の組においても共線が分かる。 C1, C2を与えられた3円に接する共役な円とする（図11）。ただしここで共役とは、2円が与円に対して同じ族にあることを意味する。前項の議論より2円に接する円のすべての根軸は2円の相似中心を通る。よって、与えられた3円の2円の組の相似中心の一つはC1, C2の根軸上に位置する。 この性質を活用して、ジェルゴンヌはアポロニウスの問題の一般解を求めた。3つの与円について、 解円の根軸は相似中心の共線にある。勿論、共軸な円は無数に存在するので、相似中心による議論のみでは、証明は完結しないことに注意する。 三角形と比の定理 相似 (幾何学) 相似変換 根軸, 根心 アポロニウスの問題 ^ a b 中村慶次郎『実力養成幾何学問題集』有朋堂書店、1926年、55頁。doi:10.11501/921090。  ^ 林鶴一『新撰幾何学教科書 平面之部 訂10版』開成館、1912年、26頁。doi:10.11501/828763。  ^ 原浜吉『平面幾何学講義 下巻 訂3版』金刺芳流堂、1905年、566,655頁。doi:10.11501/828859。  ^ 一松, 信、畔柳, 和生『重心座標による幾何学』現代数学社、2014年、43頁。  ^ 多々羅恕平『平面幾何学 2版』敬業社、1888年、290頁。doi:10.11501/828827。  ^ ジョン・ケージ『幾何学続編』有朋堂、1909年、105頁。doi:10.11501/828521。  ^ 井田継衛『普通幾何学 : 中等教育 平面ノ部』積善館、1895年、266,302頁。doi:10.11501/828803。  ^ a b 宮本久太郎『幾何学 下』春陽堂、1901年、173,176,184頁。doi:10.11501/828425。  ^ 菊池大麓『幾何学講義 : 初等幾何学教科書随伴 第2巻』大日本図書、1906年、139頁。doi:10.11501/828493。  ^ 森本清吾『数学問題集 : 新制高等学校用 初等幾何の部』牧書店、1949年、34頁。doi:10.11501/1369272。  ^ 長沢亀之助『幾何学辞典 : 問題解法 続 訂補10版 (数学辞典叢書)』長沢亀之助、1912年、491頁。doi:10.11501/952919。  ^ ショヴネー 著、真田兵義 訳『幾何教科書 上巻』開新堂、1894年、44頁。doi:10.11501/828448。  ^ a b Weisstein, Eric W., Antihomologous Points, MathWorld--A Wolfram Web Resource, http://mathworld.wolfram.com/AntihomologousPoints.html  ^ 『英和数学新字典』開新堂、1902年、19頁。doi:10.11501/826188。   Johnson R.A『Advanced Euclidean Geometry: An Elementary treatise on the geometry of the Triangle and the Circle』Dover Publications、1960年。  Kunkel, Paul (2007). “The tangency problem of Apollonius: three looks”. BSHM Bulletin: Journal of the British Society for the History of Mathematics 22 (1). doi:10.1080/17498430601148911. http://whistleralley.com/tangents/bshmkunkel.pdf.  『相似変換』 - 高校数学の美しい物語