相似の中心のソースを表示

{{翻訳直後|1=[https://en.wikipedia.org/w/index.php?title=Homothetic_center&oldid=1223609589&#124; en:Homothetic center,oldid=1223609589]|date=2024年8月}}
{{more footnotes|date=May 2024}}
[[ファイル:Homothetic_transformation.svg|右|サムネイル|2つの[[三角形]]の外部の相似の中心{{Mvar|O}}。{{Mvar|O}}と各頂点の距離と、図形の辺長は比例の関係にある。]]
[[幾何学]]において、'''相似の中心'''（そうじのちゅうしん、{{Lang-en-short|homothetic center, center of similarity, center of similitude}}）は、二つの[[図形]]が[[図形の相似|相似]]であるとき、その点を中心として{{仮リンク|スケーリング (幾何学)|en|Scaling (geometry)|label=拡大縮小}}によって、一方の図形をもう一方の図形へ重ねることができる[[点 (数学)|点]]である。  単に'''相似中心'''ともいう<ref name=":2">{{Cite book|和書 |title=実力養成幾何学問題集 |year=1926 |publisher=有朋堂書店 |page=55 |author=[[中村慶次郎]] |doi=10.11501/921090}}</ref><ref>{{Cite book|和書 |title=新撰幾何学教科書 平面之部 訂10版 |year=1912 |publisher=開成館 |page=26 |author=[[林鶴一]] |doi=10.11501/828763}}</ref><ref>{{Cite book|和書 |title=平面幾何学講義 下巻 訂3版 |year=1905 |publisher=[[金刺芳流堂]] |pages=566,655 |author=[[原浜吉]] |doi=10.11501/828859}}</ref><ref>{{Cite book|和書 |title=重心座標による幾何学 |url= |publisher=現代数学社 |date=2014 |language=ja |first=信 |last=一松 |first2=和生 |last2=畔柳 |author-link=一松信 |page=43}}</ref>。相似の中心は、外相似点<ref>{{Cite book|和書 |title=平面幾何学 2版 |year=1888 |publisher=敬業社 |page=290 |author=多々羅恕平 |doi=10.11501/828827}}</ref>または外心<ref>{{Cite book|和書 |title=幾何学続編 |year=1909 |publisher=有朋堂 |page=105 |author=ジョン・ケージ |doi=10.11501/828521}}</ref><ref>{{Cite book|和書 |title=普通幾何学 : 中等教育 平面ノ部 |year=1895 |publisher=積善館 |pages=266,302 |author=[[井田継衛]] |doi=10.11501/828803}}</ref>（External center;相似外心<ref name=":3">{{Cite book|和書 |title=幾何学 下 |year=1901 |publisher=春陽堂 |pages=173,176,184 |author=[[宮本久太郎]] |doi=10.11501/828425}}</ref>）と、内相似点（Internal center; 相似内心）または内心に分けられる。外相似点での相似比は正、内相似点での相似比は負になる。
[[ファイル:Geom_podobnost_stejnolehlest.svg|左|サムネイル|2すの図形の外相似点{{Mvar|S}}。{{Math|∠''ABC'', ∠''A'B'C' ''}}は等しい。]]

{{clear}}

== 一般の図形 ==
[[ファイル:Kreise_streckzentrum.svg|サムネイル|円の相似の中心。上は外側の相似中心、下は内側の相似中心。]]

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

== 円 ==
任意の[[円 (数学)|円]]はすべて[[図形の相似|相似]]である。[[一般の位置]]にあり、同半径でない二つの円には内側と外側の相似中心が存在する。二つの相似中心は2円の中心と[[共線]]（''line of centers''）である<ref>{{Cite book|和書 |title=幾何学講義 : 初等幾何学教科書随伴 第2巻 |year=1906 |publisher=大日本図書 |author=[[菊池大麓]] |doi=10.11501/828493 |page=139}}</ref>。点円（半径0の円）の円や虚円（半径が負の円）相似中心を定義できる。

=== 相似中心の計算 ===
[[ファイル:Circles_homothetic_centers.svg|右|サムネイル|300x300ピクセル|図3:2円の相似中心。内相似点{{Mvar|I}}と外相似点{{Mvar|E}}。 二円の半径{{Math|''r''<sub>1</sub>, ''r''<sub>2</sub>}}、相似中心の距離{{Mvar|d}}、相似の位置にある点の組{{Math|''A''<sub>1</sub>, ''A''<sub>2</sub>}}と{{Math|''B''<sub>1</sub>, ''B''<sub>2</sub>}}。]]
与えられた2円について、様々な方法で相似中心を見つけることができる。[[解析幾何学]]の観点は、内相似点は{{仮リンク|加重算術平均|en|Weighted arithmetic mean|label=重み付き平均}}（重みはもう一方の円の半径）として定義できる。内相似点と円の中心との距離の比はもう一方の円の半径の比となる。それぞれ中心{{Math|(''x''{{sub|1}}, ''y''{{sub|1}}), (''x''{{sub|2}}, ''y''{{sub|2}})}}、半径{{Math|''r''{{sub|1}}, ''r''{{sub|2}}}}である円{{Math|''C''{{sub|1}}, ''C''{{sub|2}}}}の内相似点{{Math|(''x''{{sub|0}}, ''y''{{sub|0}})}}は<math display="block">(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).</math>である。外相似点は同様の比で外分した点となる。<math display="block">(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).</math>一般に、内分点は内相似点、外分点は外相似点に対応する。ただし、同半径の外相似点は、[[ユークリッド平面]]では[[0除算]]となり定義できない。[[射影平面]]では[[無限遠点]]に対応する。

[[総合幾何学]]においては2つの平行な[[直径]]を描き、端点を対応させて線分をそれぞれ{{Math|''A''<sub>1</sub>''B''<sub>1</sub>, ''A''<sub>2</sub>''B''<sub>2</sub>}}とする。{{Math|''A''<sub>1</sub>''A''<sub>2</sub>, ''B''<sub>1</sub>''B''<sub>2</sub>}}の交点は外相似点、{{Math|''A''<sub>1</sub>''B''<sub>2</sub>, ''B''<sub>1</sub>''A''<sub>2</sub>}}の交点は内相似点になる。

限られた場合ではあるが、2円の共通[[接線]]が引ける場合、2つの共通内接線の交点は内相似点、2つの共通外接線の交点は外相似点となる<ref>{{Cite book|和書 |title=数学問題集 : 新制高等学校用 初等幾何の部 |year=1949 |publisher=牧書店 |page=34 |author=[[森本清吾]] |doi=10.11501/1369272}}</ref>。上の図でいえば{{Math|''A''<sub>1</sub>''A''<sub>2</sub>, ''B''<sub>1</sub>''B''<sub>2</sub>}}が共通接線となるときに当たる。

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

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

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

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

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

=== 相似と逆相似 ===
[[ファイル:Two_circles_anti-homologous_points_radical_axis.svg|サムネイル|507x507ピクセル|図4:対応する逆相似の位置にある点通る直線はは2円の根軸上で交わる。点{{Mvar|Q, P'}}と{{Mvar|S, R'}}はそれぞれ逆相似。 4点は[[共円]]である。さらにこの円と元の二円の[[根心]]は先述の2直線の交点である。 ]]
一般に、相似中心を通る直線はそれぞれの円と二点で交わる。これら四点において、二点が対応している（''homologous''; 相応、相当）とは、相似中心を通る直線とその点における半径が成す角が等しいときのことを指す<ref name=":1">{{Cite book|和書 |title=幾何学辞典 : 問題解法 続 訂補10版 (数学辞典叢書) |year=1912 |publisher=長沢亀之助 |author=[[長沢亀之助]] |doi=10.11501/952919 |page=491}}</ref><ref>{{Cite book|和書 |title=幾何教科書 上巻 |year=1894 |publisher=開新堂 |page=44 |author=ショヴネー |translator=真田兵義 |doi=10.11501/828448}}</ref>。図4では{{Mvar|Q, Q'}}が対応する点となる。相似中心とは共線であるが、対応していない点を反相応（''antihomologous''; 反相当）という<ref name=":0">{{Citation|title=Antihomologous Points|last=Weisstein|first=Eric W.|url=http://mathworld.wolfram.com/AntihomologousPoints.html|publisher=[[MathWorld]]--A Wolfram Web Resource}}</ref><ref>{{Cite book|和書 |title=英和数学新字典 |year=1902 |publisher=[[開新堂]] |doi=10.11501/826188 |page=19}}</ref>。図4では{{Mvar|Q, P'}}のことを指す<ref name=":0" />。

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

図4の様に三角形{{Math|△''EQS'', △''EQ'S' ''}}を想定する。<math display="block">\angle QES = \angle Q'\!ES', \quad \frac{\overline{EQ}}{\overline{EQ'}} = \frac{\overline{ES}}{\overline{ES'}},</math>であるから2つの三角形は相似である。相似の中心は{{Mvar|E}}である。相似性より<math display="block">\angle ESQ = \angle ES'\!Q' = \alpha.</math>[[円内接四角形|内接四角形]]の定理より<math display="block">\angle EP'\!R' = \angle ES'\!Q'.</math> [[四角形]]{{Mvar|QSR'P'}}について、<math display="block">\angle QSR' = 180^\circ - \alpha.</math> であるから{{Mvar|QSR'P'}}は[[円に内接する四角形]]である。[[方べきの定理]]より<math display="block">\overline{EQ} \cdot \overline{EP'} = \overline{ES} \cdot \overline{ER'}.</math>同様にして四角形{{Mvar|PRS'Q'}}が円に内接する事が示せるまた、<ref name=":2" /><math display="block">\overline{EP} \cdot \overline{EQ'} = \overline{ER} \cdot \overline{ES'}.</math>

内相似点{{Mvar|I}}に関しても同様に証明できる。<math display="block">\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}</math>線分{{Mvar|{{overline|RQ'}}}}は{{Mvar|P}}と{{Mvar|S'}}において同じ角であるから[[円周角の定理]]（inscribed angle theorem）より{{Mvar|R, P, S', Q'}}の共円が従う。また、[[交弦定理]]から<math display="block">\overline{IP} \cdot \overline{IQ'} = \overline{IR} \cdot \overline{IS'}.</math>同様に四角形{{Mvar|QSP'R'}}の円の内接と次の式が示せる。<math display="block">\overline{IQ} \cdot \overline{IP'} = \overline{IS} \cdot \overline{IR'}.</math>

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

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

=== 接円と反相応点 ===
反相応点で、二つの円と接する円が存在する。逆に、2円に接する円の各接点は反相応である。
[[ファイル:Two_circles_tangent_homothetic_center.svg|サムネイル|296x296px|図5:２円に接するすべての円の接点は反相応]]
図5の様に2円の中心を{{Math|''O''<sub>1</sub>, ''O''<sub>2</sub>}}、外相似点を{{Mvar|E}}とする。{{Mvar|E}}を通る直線により、円との交点{{Mvar|P, Q, P',Q'}}を決める。{{Math|''O''<sub>1</sub>''Q'', ''O''<sub>2</sub>''P' ''}}を延長して、その交点を{{Math|''T''<sub>1</sub>}}とすれば、{{Math|''T''<sub>1</sub>}}は{{Mvar|Q, P'}}で各円と接する円になる。これは{{Math|△''O''<sub>1</sub>''PQ'', △''O''<sub>2</sub>''P'Q' ''}}の相似性と<math>\overline{O_1P} = \overline{O_1Q}</math>より<math display="block">\angle O_1PQ = \angle O_1QP = \angle O_2P'\!Q' = \angle O_2Q'\!P' = \angle T_1QP' = \angle T_1P'\!Q.</math>が成り立ち、{{Math|△''T''<sub>1</sub>''P'Q''}}が、{{Math|''T''<sub>1</sub>}}を頂角とする二等辺三角形、つまり<math display="block">\overline{T_1P'} = \overline{T_1Q}.</math>であるからである。

他の反相応な点{{Mvar|P, Q'}}で同様の性質が成り立つことも、内相似点に対して同様にして証明できる。
[[ファイル:External_Homothetic_center_Tangent_circles_family.svg|左|サムネイル|図6: 双方の円に外接する円の族]]
[[ファイル:Internall_Homothetic_center_Tangent_circles_family.svg|左|サムネイル|図7:一方に外接し、もう一方に内接する円]]
[[ファイル:Two_circles_tangent_radical.svg|右|サムネイル|313x313px|図8:接する円の根軸は根軸を通る。]]
ある2円について、2円に接するすべての円の根心は同一であり。また2円の相似中心と一致する。図8のように、相似中心{{Mvar|E}}を通る2つの直線が与円と交わっているとし、その線上の反相応点を接点とする円{{Math|''T''<sub>1</sub>, ''T''<sub>2</sub>}}を書く。前項では、これら4つの接点が同一円周上にあることを示した。更に、{{Math|''T''<sub>1</sub>, ''T''<sub>2</sub>}}の根軸は相似中心{{Mvar|E}}を通る。

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

=== 3円の相似中心 ===
{{Main|[[モンジュの定理]]}}
3円について、2円の組が3つできるので、相似中心は6つできる。特に6つのうち3つは[[共線]]である<ref name=":3" />。 
[[ファイル:Homothetic_centers_of_three_circles_lie_on_a_line.svg|サムネイル|324x324px|図9:3円と相似中心。3つの外相似点は[[同一直線上にある|一直線上]]。 ]]
図9の様に3つの円が書かれた平面を用意する。3円の半径の比と同じ分、対応する中心から垂直に上に上がった点{{Mvar|A',B',C'}}を書く。この3点のうち2点を通る直線と元の平面の交点を{{Mvar|H<sub>AB</sub>, H<sub>BC</sub>, H<sub>AC</sub>}}とする。 {{Math|△''H<sub>AB</sub>AA','' △''H<sub>AB</sub>BB' ''}}の相似からが分かる。<math display="block">\frac{\overline{H\!_{AB}B}}{\overline{H\!_{AB}A}} = \frac{r_B}{r_A}</math> ( {{Mvar|r<sub>A</sub>, r<sub>B</sub>}} は円の半径)。したがって{{Mvar|H<sub>AB</sub>}}は2円の相似の中心である。同様に{{Mvar|H<sub>BC</sub>}}と{{Mvar|H<sub>AC</sub>}}も他の2円の相似中心であることが分かる。
[[ファイル:Homothetic_centers_of_three_circles.svg|サムネイル|300x300ピクセル|図10:6つの相似中心は4つの直線上にある。]]
ここで、{{Mvar|H<sub>AB</sub>, H<sub>BC</sub>, H<sub>AC</sub>}}は元の面と{{Mvar|A',B',C'}}を通る面の交線上にあるから、これを元の平面において見れば、{{Mvar|H<sub>AB</sub>, H<sub>BC</sub>, H<sub>AC</sub>}}の共線が示される。同様にして、他の相似中心の組においても共線が分かる。
[[ファイル:Tangent_circles_to_three_circles_radical_axis.svg|サムネイル|300x300ピクセル|図11:青い線は赤い円{{Math|''C''<sub>1</sub>, ''C''<sub>2</sub>}}の根軸。{{Math|''C''<sub>1</sub>, ''C''<sub>2</sub>}}に接する円らの一つの相似中心は根軸上にある。 つまり根軸は相似中心の共線としての意味を持つ。]]
{{Math|''C''<sub>1</sub>, ''C''<sub>2</sub>}}を与えられた3円に接する共役な円とする（図11）。ただしここで共役とは、2円が与円に対して同じ族にあることを意味する。前項の議論より2円に接する円のすべての根軸は2円の相似中心を通る。よって、与えられた3円の2円の組の相似中心の一つは{{Math|''C''<sub>1</sub>, ''C''<sub>2</sub>}}の根軸上に位置する。

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

== 関連項目 ==
{{div col}}
* [[三角形と比の定理]]
* [[相似 (幾何学)]]
* [[相似変換]]
* [[根軸]], [[根心 (幾何学)|根心]]
* [[アポロニウスの問題]]
{{div col end}}

== 出典 ==
{{Reflist}}

*  {{Cite book|和書 |title=Advanced Euclidean Geometry: An Elementary treatise on the geometry of the Triangle and the Circle |year=1960 |publisher=Dover Publications |author=[[ロジャー・アーサー・ジョンソン|Johnson R.A]]}}
* {{Cite journal|last=Kunkel|first=Paul|year=2007|title=The tangency problem of Apollonius: three looks|url=http://whistleralley.com/tangents/bshmkunkel.pdf|journal=BSHM Bulletin: Journal of the British Society for the History of Mathematics|volume=22|issue=1|doi=10.1080/17498430601148911}}

== 外部リンク ==

* {{高校数学の美しい物語|1733|相似変換}}
{{DEFAULTSORT:そうしのちゆうしん}}
[[Category:円 (数学)]]
[[Category:ユークリッド幾何学]]
[[Category:数学に関する記事]]