
ユークリッド平面 幾何学において、レスターの定理は、任意の不等辺三角形において、2つのフェルマー点、9点の中心、および外心が 同じ円上にあることを述べています。この結果は、1997年にこれを発表したジューン・レスターにちなんで名付けられ、[1]これらの点を通る円はクラーク・キンバリングによってレスター円と名付けられました。[2]レスターは複素数 の性質を用いてこの結果を証明し、その後の著者らは初等的な証明[3] [4] [5] [6]、ベクトル演算を用いた証明[7]、およびコンピュータによる証明を与えました。[8]レスター円の中心も三角形の中心です。これは、三角形の中心百科事典でX(1116)として指定されている中心です。[9]最近、ピーター・モーゼスは、レスター円上にある他の21個の三角形の中心を発見しました。これらの点は、三角形の中心百科事典ではX(15535) - X(15555)と番号が付けられている。[10]
ジベールの一般化
2000年、ベルナール・ジベールは三角形のキーパート双曲線に関するレスター定理の一般化を提案した。彼の結果は次のように述べられる:「キーパート双曲線の弦の直径を持ち、三角形のオイラー直線に垂直なすべての円は、フェルマー点を通る。 」 [11] [12]
ダオの一般論
ダオの最初の一般化
2014 年、Dao Thanh Oai は Gibert の結果をあらゆる直角双曲線に拡張しました。一般化は以下のとおりです。および を直角双曲線の一方の枝上に置き、 およびを双曲線上で中心に関して対称な 2 点 (対心点) とし、これらの点における接線は直線 に平行とします。および を、接線が直線 上の点で交差する双曲線上の 2 点とします。直線が で交差し、の垂直二等分線が双曲線とおよび で交差する場合、6 点、、 は円上にあります。直角双曲線 が Kiepert 双曲線で、とが2 つのフェルマー点である場合、Dao の一般化は Gibert の一般化になります。[12] [13]
ダオの2番目の一般化
2015 年、Dao Thanh Oai は、今度はノイバーグ三次方程式に関連したレスター円の別の一般化を提案しました。これは次のように述べることができます。をノイバーグ三次方程式上の点とし、 を直線 における反射とし、と を巡回的に定義します。直線、、 は、で示される点で一致することが知られています。4 つの点、、、 は円上にあります。が点 のとき、 であることがわかっているため、Dao の一般化はレスター定理の言い換えになります。[13] [14] [15] [16]
参照
参考文献
- ^ Lester、 June A. (1997)、「三角形。III. 複素三角関数」、Aequationes Mathematicae、53 (1–2): 4–35、doi :10.1007/BF02215963、MR 1436263、S2CID 119667124
- ^ キンバリング、クラーク(1996)、「レスターサークル」、数学教師、89(1):26、JSTOR 27969621
- ^ シャイル、ロン (2001)、「レスターの定理の証明」、数学ガゼット、85 (503): 226–232、doi :10.2307/3622007、JSTOR 3622007、S2CID 125392368
- ^ リグビー、ジョン (2003)、「レスター定理の簡単な証明」、数学ガゼット、87 (510): 444–452、doi :10.1017/S0025557200173620、JSTOR 3621279、S2CID 125214460
- ^ スコット、JA (2003)、「レスターの定理のさらに2つの証明」、数学ガゼット、87 (510): 553–566、doi :10.1017/S0025557200173917、JSTOR 3621308、S2CID 125997675
- ^ ダフ、マイケル(2005)、「レスター定理の短い射影的証明」、数学ガゼット、89(516):505–506、doi:10.1017/S0025557200178581、S2CID 125894605
- ^ ドラン、スタン(2007)、「人間対コンピュータ」、数学ガゼット、91(522):469–480、doi:10.1017 / S0025557200182117、JSTOR 40378420、S2CID 126161757
- ^ Trott, Michael (1997)、「GroebnerBasis を幾何学の 3 つの問題に適用する」、Mathematica in Education and Research、6 (1): 15–28
- ^クラーク・キンバリング、X(1116) = 三角形の中心百科事典のレスター円の中心
- ^ピーター・モーゼス、 三角形の中心の百科事典のX(15535)の前文
- ^ ポール・ユー、「レスター、エヴァンス、パリーの円とその一般化」、フォーラム・ジオメトリコルム、第 10 巻、175 ~ 209 ページ、ISSN 1534-1178
- ^ ab Dao Thanh Oai、「レスター円定理のギベールの一般化の簡単な証明」、フォーラム幾何学、第 14 巻、201 ~ 202 ページ、ISSN 1534-1178
- ^ ab Ngo Quang Duong、「レスター円の一般化」、Global Journal of Advanced Research on Classical and Modern Geometries、第10巻、(2021年)、第1号、49~61ページ、ISSN 2284-5569
- ^ Dao Thanh Oai、「いくつかの有名な古典ユークリッド幾何学定理の一般化」、International Journal of Computer Discovered Mathematics、第1巻、(2016年)、第3号、13~20ページ、ISSN 2367-7775
- ^ キンバーリング、X(7668) = 9点円に対するX(115)X(125)の極、三角形の中心の百科事典
- ^ César Eliud Lozada、 三角形の中心の百科事典のX(42740)の前文
外部リンク
- Weisstein、Eric W.「Lester Circle」。MathWorld。
