ユークリッド幾何学において、 ホフスタッター点(ほふすたったーてん、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点の三線座標

ホフスタッター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点は外接円に対する反転の関係にある。

ホフスタッター0点とホフスタッター1点

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}}}

脚注


ホッパーのポストカード。 野に思う。

ドロッパーホッパーピストン式カウンター回路 / 緑丸 さんのイラスト ニコニコ静画 (イラスト)

ざっくりホフスタッターの法則とは|ブログ|千葉県のホームページ制作 ARECORD エーレコードは維持費・管理費不要!初期費用のみの格安明朗会計!

ホーネット、グラスホッパーのフロントダンパーステーを強化

ホフスタッターの法則 心理学を専攻する