根軸のソースを表示

[[File:Radical axis orthogonal circles.svg|thumb|300px|right|図 1. 与えられた2つの円（黒）に対する根軸（赤い線）。根軸上の任意の点 '''P'''（青）はこの点を中心とし2つの円に直交する固有の円（点線）を持つ。 '''P''' を通り各円に接する線分の長さは等しいので、2円に対する[[方べきの定理|方べき]]も等しくなる。]]

[[初等幾何学]]における2つの円の'''根軸'''（こんじく、{{Lang-en-short|radical axis}}）とは、2つの円に[[接線]]を引いたときその長さが等しくなる点の[[軌跡 (数学)|軌跡]]である。根軸は2つの円の中心を通る直線に垂直な直線である。2つの円が交わるときには根軸はその交点を通る直線となり、2つの円が接するときには根軸は接点を通る共通接線となる。

根軸上の任意の点 '''P''' に対して、'''P''' を中心として2円に直交する円が存在する。逆に言えば、2円に直交する円の中心は根軸上にある。他の言い方をすると、根軸上の点 '''P''' における2つの円の[[方べきの定理|方べき]]は等しい<ref>Johnson (1960), pp. 31&ndash;32.</ref>、すなわち以下の式が成り立つ。

:<math>R^{2} = d_{1}^{2} - r_{1}^{2} = d_{2}^{2} - r_{2}^{2}</math>

ここで ''r''<sub>1</sub> と ''r''<sub>2</sub> は2つの円の半径、''d''<sub>1</sub> と ''d''<sub>2</sub> は '''P''' と2つの円の中心との距離であり、''R'' は '''P''' を中心として2円に直交する円の半径である。

一般的に、2つの離れた円は[[双極座標系]]の基底となる。このとき根軸は y軸である。2つの焦点を通る円はy軸上に中心を持ち2つの円に[[直交]]するため、その半径は接線の長さに等しいことからy軸が根軸であることがわかる。根軸を共有する円群は[[アポロニウスの円束]]と呼ばれる。

== 定義と性質 ==
[[File:Radical axis intersecting circles.svg|thumb|left|200px|2つの円が交わるとき、根軸はその交点を通る[[割線]]となる。]]

[[File:Radical center.svg|thumb|right|300px|図 2. 与えられた3円に直交する円（橙の円）の中心を根心（橙の点）という。]]

== 3つの円の根心 ==
どの2つも同心円でない3つの円 '''A''', '''B''', '''C''' があるとする。'''根軸定理'''とは、3組の円の根軸が1点で交わるかすべて平行であるという定理である<ref>Johnson (1960), pp. 32&ndash;33.</ref>。

簡単な証明は以下のとおりである<ref>Johnson (1960), p. 32.</ref>。'''A''' と '''B''' の根軸上の点から2円に引いた接線の長さは等しい ''a''=''b''。'''B''' と '''C''' の根軸上の点においても同様の関係が成り立つ。よってこの2直線の交点では ''a''=''b''=''c'' が成り立つ。この交点を '''r''' とすると ''a''=''c'' が成り立つので '''A''' と '''C''' の根軸も '''r''' を通る。'''r''' を'''根心'''（radical center）と呼ぶ。

根心を中心として3円に直交する円（'''根円'''<ref>鍋島 (1952)</ref>、radical circle）が存在する。なぜなら、3つの根軸の交点であるためどの2円に対しても直交する円の半径が等しくなるからである。

== 幾何学的な作図法 ==
[[File:Radical-Axis-Construction.png|alt=|left|thumb|216x216px|根軸の作図法]]
2つの円 '''A''', '''B''' の根軸を作図するためには根軸上の2点がわかればよい。2つの円に交わる円 '''C''' を描けば、 '''A''' と '''C''' の根軸と '''B''' と '''C''' の根軸は容易に作図できる。この交点を '''J''' とすれば[[#3つの円の根心|上の節の結果]]より '''J''' は根心であり '''A''', '''B''' の根軸上にある。同様に2つの円に交わる円 '''D''' を描き根心 '''K''' を求めれば、'''J''' と '''K''' を通る直線が求める根軸となる。

[[File:Two circles antihomothetic points.svg|thumb|right|300px|図 3. 与えられた2つの円（'''C''' と '''D''' を中心とする緑と青の円）と相似の中心から引いた線が交わる点を '''P''', '''Q''' および '''S''', '''T''' とするとこの4点は同一円周上にある。]]

この作図の特殊な例として図3がある。外部にある2つの円の相似の中心 '''E''' をとる。'''E''' から2つの円に交わる直線を引き、内側の2つを '''P''', '''Q''' とし、同様に '''S''', '''T''' をとる。この4点は同一円周上にある<ref>Johnson (1960), pp. 20&ndash;21.</ref>ため、'''P''' と '''S''' を通る直線と '''Q''' と '''T''' を通る直線の交点は根軸上にある<ref name="Johnson 1960, p. 41">Johnson (1960), p. 41.</ref>。また、'''P''' と '''Q''' を通るそれぞれの円の接線を引くと、その交点と '''P''' と '''Q''' は二等辺三角形となるためこれも根軸上にある<ref>Johnson (1960), p. 21.</ref>。これによって根軸が作図できる。

== 代数的な作図 ==

[[File:Radical axis algebraic.svg|thumb|right|300px|図 4. 根軸の位置を計算によって求める。''L'' を '''J''' と '''K''' の距離とする。''x''<sub>1</sub> と ''x''<sub>2</sub> を '''K''' と '''B''' および '''K''' と '''V''' の距離とする。また、''d''<sub>1</sub> と ''d''<sub>2</sub> は '''J''' と '''B''' および '''J''' と '''V''' の距離とする。]]

図4によれば、根軸（赤い線）は2つの円の中心 '''B''' と '''V''' を通る直線（青い線）に垂直である。2つの線の交点 '''K''' は '''B''' と '''V''' の間にある。''x''<sub>1</sub> と ''x''<sub>2</sub> は '''K''' から '''B''' と '''V''' への距離なので ''x''<sub>1</sub>+''x''<sub>2</sub>=''D'' と置くと ''D'' は '''B''' と '''V''' の距離となる。

根軸上に '''J''' を取り '''B''' と '''V''' への距離を ''d''<sub>1</sub>, ''d''<sub>2</sub> とすると、[[方べきの定理]]より以下が成り立つ。

:<math>d_{1}^{2} - r_{1}^{2} = d_{2}^{2} - r_{2}^{2} </math>

ここで ''r''<sub>1</sub> と ''r''<sub>2</sub> は2つの円の半径である。[[ピタゴラスの定理]]を利用して ''d''<sub>1</sub> と ''d''<sub>2</sub> を ''x''<sub>1</sub>, ''x''<sub>2</sub> および '''J''' と '''K''' の距離 ''L'' 置き換えると以下のようになる。

:<math>L^{2} + x_{1}^{2}  - r_{1}^{2} = L^{2} + x_{2}^{2}  - r_{2}^{2} </math>

両辺にある ''L''<sup>2</sup> を消して整理する。

:<math>x_{1}^{2}  - x_{2}^{2} = r_{1}^{2}  - r_{2}^{2} </math>

両辺を ''D''&nbsp;=&nbsp;''x''<sub>1</sub>+''x''<sub>2</sub> で割る。

:<math>x_{1}  - x_{2} = \frac{r_{1}^{2}  - r_{2}^{2}}{D} </math>

両辺に ''x''<sub>1</sub>+''x''<sub>2</sub>&nbsp;=&nbsp;''D'' を足すと ''x''<sub>1</sub> を求める式ができる。

:<math>2x_{1} = D + \frac{r_{1}^{2}  - r_{2}^{2}}{D} </math>

同様に ''x''<sub>2</sub> の式も作ることができる。

:<math>2x_{2} = D - \frac{r_{1}^{2}  - r_{2}^{2}}{D} </math>

== 行列による計算 ==

円の式を[[三線座標]]で表すと根心の位置を行列式で表すことができる。三角形 ''ABC'' 上の点  ''X'' を ''X'' = ''x''&nbsp;:&nbsp;''y''&nbsp;:&nbsp;''z'' とし、三辺の長さを ''a'' = |''BC''|, ''b'' = |''CA''|, ''c'' = |''AB''| とする。3つの円は以下の形で表される。

:(''dx + ey + fz'')(''ax + by + cz'') + ''g''(''ayz + bzx + cxy'') = 0

:(''hx + iy + jz'')(''ax + by + cz'') + ''k''(''ayz + bzx + cxy'') = 0

:(''lx + my + nz'')(''ax + by + cz'') + ''p''(''ayz + bzx + cxy'') = 0

この時三円の根心の三線座標は以下の式で表される。

:<math> \det \begin{bmatrix}g&k&p\\
e&i&m\\f&j&n\end{bmatrix} : \det \begin{bmatrix}g&k&p\\
f&j&n\\d&h&l\end{bmatrix} : \det \begin{bmatrix}g&k&p\\
d&h&l\\e&i&m\end{bmatrix}.</math>

== 多次元への拡張 ==

3次元空間上の2つの球に対して 同様に'''根平面'''<ref>西内 (1924), pp.  152.</ref>（根軸面<ref>長澤 (1892), pp. 116.</ref>、根面<ref>宮本 (1911), pp. 133.</ref>、radical plane） を定義することができる<ref>[https://www.merriam-webster.com/dictionary/radical%20plane Merriam–Webster online dictionary] 参照</ref>。これが平面になることは根軸が直線であることと軌跡が2つの球を結ぶ線で対称なことからわかる。

さらに高次元の空間において同様の超平面を定義することができる。

== 脚注 ==
{{reflist|1}}

== 出典 ==

*{{cite book | author = R. A. Johnson | authorlink = Roger A. Johnson | year = 1960 | title = Advanced Euclidean Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle | edition = reprint of 1929 edition by Houghton Miflin | publisher = Dover Publications | location = New York | isbn = 978-0-486-46237-0 | pages = 31&ndash;43 }}
*{{Cite book|和書 |title=幾何学研究 |publisher=池田書店 |year=1952 |page= |author=鍋島信太郎 |author-link=鍋島信太郎 |id={{NDLJP|1371532}}}}
*{{Cite book|和書 |title=初等解析幾何学 |publisher=数書閣 |year=1892 |author=[[長沢亀之助]] 編 |author2=[[川北朝鄰]] 閲 |id={{NDLJP|828688}}}}
*{{Cite book|和書 |title=非ゆうくりつど幾何学 |publisher=成象堂 |year=1924 |author=西内貞吉 |author-link=西内貞吉 |id={{NDLJP|942856}}}}
*{{Cite book|和書 |title=立体解析幾何学 : 高等数学講義 |publisher=博文館 |year=1911 |author=宮本藤吉 |author-link=宮本藤吉|id={{NDLJP|828949}}}}

== 参考文献 ==
* {{Cite book | author = [[C. Stanley Ogilvy]] | year = 1990 | title = Excursions in Geometry | publisher = Dover | isbn = 0-486-26530-7 | pages = 17&ndash;23}}
*{{cite book | title = Geometry Revisited | author = [[ハロルド・スコット・マクドナルド・コクセター]], [[S. L. Greitzer]]| year = 1967 | publisher = [[Mathematical Association of America]] | location = [[ワシントンD.C.]] | isbn = 978-0-88385-619-2 | pages = 31&ndash;36, 160&ndash;161}}
* Clark Kimberling, "Triangle Centers and Central Triangles," ''Congressus Numerantium'' 129 (1998) i–xxv, 1–295.

== 外部リンク ==

{{commons cat|Radical axes}}

* {{mathworld|RadicalLine|Radical line}}
* {{mathworld|ChordalTheorem|Chordal theorem}}
* [http://www.cut-the-knot.org/Curriculum/Geometry/IncircleInSegment1.shtml Animation] at [[Cut-the-knot]]

{{DEFAULTSORT:こんしく}}
[[Category:円 (数学)]]
[[Category:初等幾何学]]
[[Category:数学に関する記事]]