ホフスタッター点

ユークリッド幾何学において、 ホフスタッター点（ほふすたったーてん、Hofstadter points）とは三角形の中心の集合の一つである。そのうち二つはホフスタッター1点、ホフスタッター0点と呼ばれる有名点で、クラーク・キンバリングの「Encyclopedia of Triangle Centers」ではそれぞれX(359)、X(360)として登録されている。X(360)は、1992年、ダグラス・ホフスタッターによって発見された。 △ABC と実数rがある。 点Aのある方向へ、線分BCを点Bを中心にrB回転した線をLBC、点Cを中心にrC回転した点をL'BCとし、その二直線の交点をA(r)とする。同様にB(r)、C(r)も定義する。A(r), B(r), C(r) の成す三角形は△ABCのホフスタッターr三角形（またはrホフスタッター三角形）と呼ばれる。 ホフスタッター 1/3三角形は、第一モーリーの三角形と呼ばれる正三角形である。 ホフスタッター 1/2三角形は、単に内心となる。 ホフスタッター 2/3三角形は、第一モーリーの付属三角形である。 ホフスタッターr三角形の各頂点の三線座標は以下の様に与えられる。 A ( r ) = 1 : sin ⁡ r B sin ⁡ ( 1 − r ) B : sin ⁡ r C sin ⁡ ( 1 − r ) C B ( r ) = sin ⁡ r A sin ⁡ ( 1 − r ) A : 1 : sin ⁡ r C sin ⁡ ( 1 − r ) C C ( r ) = sin ⁡ r A sin ⁡ ( 1 − r ) A : sin ⁡ ( 1 − r ) B sin ⁡ r B : 1 {\displaystyle {\begin{array}{ccccccc}A(r)&=&1&:&{\frac {\sin rB}{\sin(1-r)B}}&:&{\frac {\sin rC}{\sin(1-r)C}}\\[2pt]B(r)&=&{\frac {\sin rA}{\sin(1-r)A}}&:&1&:&{\frac {\sin rC}{\sin(1-r)C}}\\[2pt]C(r)&=&{\frac {\sin rA}{\sin(1-r)A}}&:&{\frac {\sin(1-r)B}{\sin rB}}&:&1\end{array}}} 実数rについて△ABCに対するホフスタッターr三角形の頂点をA(r), B(r), C(r)とする。このときAA(r), BB(r), CC(r)は共点で、その点を△ABCのホフスタッターr点と言う。 ホフスタッター1/2点は内心 ホフスタッター2点は外心 ホフスタッター-1点は垂心 ホフスタッター1/3点は第一モーリー・テイラー・マール心X357 ホフスタッター2/3点は第二モーリー・テイラー・マール心X358 ホフスタッターr点の三線座標は以下の様に与えられる。 sin ⁡ r A sin ⁡ ( A − r A )   :   sin ⁡ r B sin ⁡ ( B − r B )   :   sin ⁡ r C sin ⁡ ( C − r C ) {\displaystyle {\frac {\sin rA}{\sin(A-rA)}}\ :\ {\frac {\sin rB}{\sin(B-rB)}}\ :\ {\frac {\sin rC}{\sin(C-rC)}}} ホフスタッターr点とホフスタッター1-r点は等角共役である。rが0,1,2でない整数の場合、ホフスタッター2-r点とホフスタッターr点は外接円に対する反転の関係にある。 rが0または1であるとき、単に上の式にそれを代入しても三線座標を得ることはできない。 ホフスタッター0点はホフスタッターr点を0に極限まで近づけたときに得られる三線座標の値が表す点として定義される。 lim r → 0 sin ⁡ r A sin ⁡ ( A − r A ) : sin ⁡ r B sin ⁡ ( B − r B ) : sin ⁡ r C sin ⁡ ( C − r C ) ⟹ lim r → 0 sin ⁡ r A r sin ⁡ ( A − r A ) : sin ⁡ r B r sin ⁡ ( B − r B ) : sin ⁡ r C r sin ⁡ ( C − r C ) ⟹ lim r → 0 A sin ⁡ r A r A sin ⁡ ( A − r A ) : B sin ⁡ r B r B sin ⁡ ( B − r B ) : C sin ⁡ r C r C sin ⁡ ( C − r C ) {\displaystyle {\begin{array}{rccccc}\displaystyle \lim _{r\to 0}&{\frac {\sin rA}{\sin(A-rA)}}&:&{\frac {\sin rB}{\sin(B-rB)}}&:&{\frac {\sin rC}{\sin(C-rC)}}\\[4pt]\implies \displaystyle \lim _{r\to 0}&{\frac {\sin rA}{r\sin(A-rA)}}&:&{\frac {\sin rB}{r\sin(B-rB)}}&:&{\frac {\sin rC}{r\sin(C-rC)}}\\[4pt]\implies \displaystyle \lim _{r\to 0}&{\frac {A\sin rA}{rA\sin(A-rA)}}&:&{\frac {B\sin rB}{rB\sin(B-rB)}}&:&{\frac {C\sin rC}{rC\sin(C-rC)}}\end{array}}} lim r → 0 sin ⁡ r A r A = lim r → 0 sin ⁡ r B r B = lim r → 0 sin ⁡ r C r C = 1 {\displaystyle \lim _{r\to 0}{\tfrac {\sin rA}{rA}}=\lim _{r\to 0}{\tfrac {\sin rB}{rB}}=\lim _{r\to 0}{\tfrac {\sin rC}{rC}}=1} より ⟹ A sin ⁡ A   :   B sin ⁡ B   :   C sin ⁡ C = A a   :   B b   :   C c {\displaystyle \implies {\frac {A}{\sin A}}\ :\ {\frac {B}{\sin B}}\ :\ {\frac {C}{\sin C}}\quad =\quad {\frac {A}{a}}\ :\ {\frac {B}{b}}\ :\ {\frac {C}{c}}} ホフスタッター1点も同様にホフスタッターr点を1に極限まで近づけたときに得られる三線座標の値が表す点として定義される。 lim r → 1 sin ⁡ r A sin ⁡ ( A − r A ) : sin ⁡ r B sin ⁡ ( B − r B ) : sin ⁡ r C sin ⁡ ( C − r C ) ⟹ lim r → 1 ( 1 − r ) sin ⁡ r A sin ⁡ ( A − r A ) : ( 1 − r ) sin ⁡ r B sin ⁡ ( B − r B ) : ( 1 − r ) sin ⁡ r C sin ⁡ ( C − r C ) ⟹ lim r → 1 ( 1 − r ) A sin ⁡ r A A sin ⁡ ( A − r A ) : ( 1 − r ) B sin ⁡ r B B sin ⁡ ( B − r B ) : ( 1 − r ) C sin ⁡ r C C sin ⁡ ( C − r C ) {\displaystyle {\begin{array}{rccccc}\displaystyle \lim _{r\to 1}&{\frac {\sin rA}{\sin(A-rA)}}&:&{\frac {\sin rB}{\sin(B-rB)}}&:&{\frac {\sin rC}{\sin(C-rC)}}\\[4pt]\implies \displaystyle \lim _{r\to 1}&{\frac {(1-r)\sin rA}{\sin(A-rA)}}&:&{\frac {(1-r)\sin rB}{\sin(B-rB)}}&:&{\frac {(1-r)\sin rC}{\sin(C-rC)}}\\[4pt]\implies \displaystyle \lim _{r\to 1}&{\frac {(1-r)A\sin rA}{A\sin(A-rA)}}&:&{\frac {(1-r)B\sin rB}{B\sin(B-rB)}}&:&{\frac {(1-r)C\sin rC}{C\sin(C-rC)}}\end{array}}} lim r → 1 ( 1 − r ) A sin ⁡ ( A − r A ) = lim r → 1 ( 1 − r ) B sin ⁡ ( B − r B ) = lim r → 1 ( 1 − r ) C sin ⁡ ( C − r C ) = 1 {\displaystyle \lim _{r\to 1}{\tfrac {(1-r)A}{\sin(A-rA)}}=\lim _{r\to 1}{\tfrac {(1-r)B}{\sin(B-rB)}}=\lim _{r\to 1}{\tfrac {(1-r)C}{\sin(C-rC)}}=1} より ⟹ sin ⁡ A A   :   sin ⁡ B B   :   sin ⁡ C C = a A   :   b B   :   c C {\displaystyle \implies {\frac {\sin A}{A}}\ :\ {\frac {\sin B}{B}}\ :\ {\frac {\sin C}{C}}\quad =\quad {\frac {a}{A}}\ :\ {\frac {b}{B}}\ :\ {\frac {c}{C}}} ^ a b c Kimberling. “Hofstadter points”. 11 May 2012閲覧。 ^ Weisstein. “Hofstadter Triangle”. MathWorld--A Wolfram Web Resource. 11 May 2012閲覧。 ^ Weisstein, Eric W.. “First Morley Adjunct Triangle” (英語). mathworld.wolfram.com. 2024年3月19日閲覧。 ^ C. Kimberling (1994). “Hofstadter points”. Nieuw Archief voor Wiskunde 12: 109–114.  ^ a b “ENCYCLOPEDIA OF TRIANGLE CENTERS”. faculty.evansville.edu. 2024年3月16日閲覧。 ^ “三角形の心”. taurus.ics.nara-wu.ac.jp. 2024年7月7日閲覧。