ジョンソン円

|サムネイル|250x250ピクセル
ジョンソン円（ジョンソンえん、）は、幾何学において共通の点で交わり、同じ半径を持つ3つの円である。この図ではの他、3円のうち各2円のでない方の交点が1つずつ、計3つ存在する（ただし、いずれかの2円が接する場合、その2円の交点はとする。いずれかの2円が完全に一致する場合は、その交点をの対蹠点とする）。この3点は基準三角形（）と呼ばれる三角形を定義する。ジョンソン円はロジャー・アーサー・ジョンソンに因んで命名されたRoger Arthur Johnson, Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle, Houghton, Mifflin Company, 1929Roger Arthur Johnson, "A Circle Theorem", American Mathematical Monthly 23, 161–162, 1916.Roger Arthur Johnson (1890–1954) 。 

 性質 

|サムネイル|256x256ピクセル

 ジョンソン円の中心は、中心、半径の円上にある。また、ジョンソン円の中心はジョンソン三角形（Johnson triangle）をなす。
 中心,半径の円、すなわち逆補円はジョンソン円に接する。3つの接点はをジョンソン三角形の頂点で鏡映した点となる。
 ジョンソン円と逆補円の接点は、基準三角形の逆補三角形を成す。これはを中心にジョンソン三角形を2倍拡大した図形である。
 ジョンソンの定理:3つのジョンソン円のうち2つの（でない）交点（基準三角形の頂点）は半径の円周上にある。この定理はルーマニアではゲオルゲ・ツィツェイカのThe 5 lei coin problemで知られている。
 基準三角形はジョンソン三角形と合同である。
 点は基準三角形の垂心、ジョンソン三角形の外心になる。
 ジョンソン三角形と基準三角形の相似の中心は、ジョンソン三角形と基準三角形の共通の（九点円の中心）であり、九点中心に倍拡大の関係にある。

 証明 
性質1はジョンソン円の定義から自明。性質2は中心,半径の円上に点を中心とする半径の円は元の円に接することから分かる。性質3は性質2と相似性より証明できる。

性質4,5は、2つのジョンソン円が割線（接する場合は共通内接線）で鏡映の関係にあること、この鏡映で逆補三角形の2頂点も入れ替わることより示される。2つのジョンソン円の交点は逆補三角形の辺の中点であり、はその垂直二等分線上にある。つまり、基準三角形は逆補三角形の中点三角形であるからその相似と相似比が分かる（相似中心は重心）。ところで、逆補円の半径はなので、基準三角形の外接円の半径はとなる。

性質6は逆補三角形の辺の垂直二等分線が基準三角形の頂垂線となることから分かる。

性質7は性質6より即座に示される。基準三角形とジョンソン三角形の相似比が−1なので、相似中心は基準三角形の外心とジョンソン三角形の垂心の中点である。九点円の中心は外心と垂心の中点であるという有名事実よりその中点は双方の九点中心と一致する。

ジョンソンの定理の証明は代数的な処理も存在する。長さの3つのベクトルを用意し、ジョンソン円の中心は と表せる。このとき2つのジョンソン円の交点はそれぞれである。点は点と 離れていることより示される。

 更なる性質 
サムネイル|ジョンソン外接円錐曲線
サムネイル|ジョンソン三角形の頂点を通る外接三次曲線
ジョンソン円は基準三角形の外接円を3辺で鏡映したものとしてみることができる。更に、鏡映においては基準三角形の外接円上に移る。の3辺による鏡映点が成す三角形は circum-orthic triangleと呼ばれる。基準三角形の外心の3辺による鏡映点はジョンソン三角形の頂点になる。オイラー線の鏡映は、キーペルト放物線の焦点で交わる。
ジョンソン三角形と基準三角形は共通の九点円を持つ。またこの2三角形の頂点は同一円錐曲線上、ジョンソン外接円錐曲線（）上にある。中心は九点中心で などを曲線上に持つ。外接円との第四交点はである。

また、ジョンソン三角形と基準三角形の頂点、そして外心、垂心、九点中心を通る外接三次曲線が2つ存在する。1つ目は first Musselman cubic, である。この三次曲線はジョンソン三角形の中点三角形の頂点も通る。2つ目は、Euler central cubic, である。この三次曲線はジョンソン三次曲線の垂心三角形の頂点も通る。
 脚注 

出典

 外部リンク 

 F. M. Jackson and 
 F. M. Jackson and 



 Bernard Gibert Circumcubic K026
 Bernard Gibert Circumcubic K044
 Clark Kimberling, "Encyclopedia of triangle centers". (Lists some 3000 interesting points associated with any triangle.)

Category:円 (数学)
Category:数学のエポニム
Category:数学に関する記事