ソディ線

ソディ線$s$、 外(第一)ソディ点$S_{o}$、内(第二)ソディ点$S_{i}$, ジェルゴンヌ点$G$、内心 $I$,内(第二)ソディ円$s_{i}$、外(第一)ソディ点$s_{o}$, フレッチャー点$F$、ド・ロンシャン点 $L$、オイラー線 $e$、ジェルゴンヌ線 $g$

ソディ線（そでぃせん、英:Soddy line）とは、二つのソディ円の中心を結ぶ直線である。フレデリック・ソディが1936年にネイチャーで、ソディ円のような2円に接する円におけるデカルトの定理の特別な場合の証明として発表した。

性質

ソディ線は、オイラー線とはド・ロンシャン点で交わり、ジェルゴンヌ線とはフレッチャー点（Fletcher point）で交わる。また、ソディ線とジェルゴンヌ線は直交する。フレッチャー点の三線座標は以下の式で与えられる。

$f(A,B,C):f(B,C,A):f(C,A,B)$

ただし

$$f(A,B,C)=(\sec ^{2}{\frac {A}{2}})(2\cos ^{2}{\frac {A}{2}}-\cos ^{2}{\frac {B}{2}}-\cos ^{2}{\frac {C}{2}})$$

ソディ線、オイラー線、ジェルゴンヌ線から成る三角形はオイラー・ジェルゴンヌ・ソディ三角形（Euler-Gergonne-Soddy triangle）と言う。特にオイラー線とジェルゴンヌ線の交点はエヴァンズ点（Evans point）と呼ばれ、オイラー・ジェルゴンヌ・ソディ三角形はド・ロンシャン点、フレッチャー点、エヴァンズ点から成る。

ソディ線は以下の点を通る。

• 内心X₁
• ジェルゴンヌ点X₇
• ド・ロンシャン点X₂₀
• ソディ点X₁₇₅,X₁₇₆
• エプシュタイン点X₄₈₁,X₄₈₂
• ロンゲ・ヒギンズ点X₉₆₂
• フレッチャー点X₁₃₂₃
• リグビー点X₁₃₇₁,X₁₃₇₂
• グリフィス点X₁₃₇₃,X₁₃₇₄

Central line

ソディ線はX(657)のCentral lineであり、三線座標α: β: γを用いて以下の式で表される。

${\frac {\gamma -\beta }{(-a+b+c)a}}+{\frac {\alpha -\gamma }{(a-b+c)b}}+{\frac {\beta -\alpha }{(a+b-c)c}}=0$

GEOS円

GEOS円(全体)

GEOS円

ソディ線とオイラー線の交点であるド・ロンシャン点、オイラー線と垂軸の交点であるX(468)、垂軸とジェルゴンヌ線の交点であるX(650)、ジェルゴンヌ線とソディ線の交点であるフレッチャー点は共円である。この円をGEOS円と言う。名称は4線の頭文字をとったものである。GEOS円とオイラー・ジェルゴンヌ・ソディ三角形の外接円（オイラー・ジェルゴンヌ・ソディ円）の根軸はソディ線である。

垂軸とオイラー線は直交することから、GEOS円の中心X(8142)は、X(650)とド・ロンシャン点の中点にあたり、その三線座標はコンウェイの記法を用いて以下の式で与えられる。

$${\frac {a^{2}S_{A}-S_{B}S_{C}}{S^{2}}}-{\frac {as_{a}}{(a-b)(a-c)}}:{\frac {b^{2}S_{B}-S_{C}S_{A}}{S^{2}}}-{\frac {bs_{b}}{(b-c)(b-a)}}:{\frac {c^{2}S_{C}-S_{A}S_{B}}{S^{2}}}-{\frac {cs_{c}}{(c-a)(c-b)}}$$

ここでs_a,s_b,s_cはそれぞれ半周長をsとしてs-a,s-b,s-cである。これらのことから、ド・ロンシャン点、エヴァンズ点、X(650)、ソディ線と垂軸の交点X(3012)は垂心系を成す。

参考文献

• Zuming Feng: Why Are the Gergonne and Soddy Lines Perpendicular? A Synthetic Approach. In: Mathematics Magazin, Band 81, Nr. 3, Juni 2008, S. 211-214 (JSTOR)
• ロジャー・チャールズ・アルペリン: The Gergonne and Soddy lines. In: Elemente der Mathematik,. Band 70, Nr. 1, 2015, S. 1-6 (online)

外部リンク

• Weisstein, Eric W. "Soddy line". mathworld.wolfram.com (英語).