等力点

ユークリッド幾何学において、等力点 (とうりきてん^[要出典]、英: Isodynamic point) あるいは、等力中心^[1]とは三角形の中心の一つである^[2]。この点を中心とする反転は元の三角形を正三角形に変換する性質を持つ。また等力点と頂点の距離の比は対辺の逆数の比と等しい。ほかの中心とは異なりメビウス変換で不変である。正三角形の場合、等力点は重心や外心と一致するが、正三角形でない場合は2つ存在する。等力点はノイベルグによって研究・命名された^[3]。

距離の比

等力点は、もともと2点間の距離の比（あるいは積）のある等式から定義されていた。 $S$ または $S'$ を三角形 $ABC$ の等力点とし $AS:BS:CS={\frac {1}{BC}}:{\frac {1}{CA}}:{\frac {1}{AB}}$ が成り立つ。 $S'$ についても同様の等式が成り立つ^[4]。

$S$ と $S'$ は三角形 $ABC$ の一つの頂点を通り、ほか2つの頂点との距離の比が等しいアポロニウスの円の交点である^[5]。したがって直線 $SS'$ は3つのアポロニウスの円の根軸である。線分 $SS'$ の垂直二等分線はルモワーヌ線で3つのアポロニウスの円の中心を通る。

変換

等力点 $S$ 、 $S'$ は三角形 $ABC$ に対する点対称やメビウス変換によって定義することもできる。三角形 $ABC$ を等力点で反転すると正三角形となる^[6]。外接円による反転は、等力点をもう一方の等力点に変換する^[5]。より一般にそれぞれの等力点は、 $ABC$ の内側を三角形の外接円の内側に写すメビウス変換で不変であり、外接円の内側と外側を交換する変換によって入れ替わる^[7]。

角度

三角形の頂点で外接円と60°で交わる円の交点は第一等力点である。

等力点はアポロニウスの円とは他の円の交点でもある。第一等力点は三角形 $ABC$ の外接円と頂点で120°のレンズを作る3つの円の交点である。同様に,第二等力点は三角形 $ABC$ の外接円と頂点で60°のレンズを作る3つの円の交点である。

第一等力点と三角形の頂点が成す角は次の等式を満たす。

$\angle ASB=\angle ACB+\pi /3,$ $\angle ASC=\angle ABC+\pi /3,$ $\angle BSC=\angle BAC+\pi /3.$

同様に、第二等力点も次の等式を満たす。

$\angle AS'B=\angle ACB-\pi /3,$ $\angle AS'C=\angle ABC-\pi /3,$ $\angle BS'C=\angle BAC-\pi /3.$ ^[7]

等力点の垂足三角形は正三角形で^[8]、等力点を各辺で鏡映した点も当然正三角形である^[6]^[9]。

また三角形 $ABC$ に内接する正三角形の中で最も小さいのは第一等力点の垂足三角形である^[10]。

その他の性質

等力点の等角共役点はフェルマー点である^[11]。二つの等力点はブロカール軸、ノイベルグ三次曲線上にある^[12]^[13]。

作図方法

頂点をその対辺で鏡映した点と、三角形の辺を一辺とする内側の正三角形の頂点を結んだ直線の交点は第一等力点。

等力点を作図する方法の一つに、二等分線を用いるものがある。 $AB$ , $AC$ の内角及び外角の二等分線と $BC$ の交点は $A$ を通る $BC$ のアポロニウスの円の直径となる。したがって、アポロニウスの円を作図することができ他二つのアポロニウスの円も同様にして描くことで等力点を見つけることができる^[5]。

もう一つの作図方法に鏡映を用いるものがある。 $A'$ を $A$ を $BC$ で鏡映したもの、 $A''$ を $BC$ を一辺とする内側の正三角形の $B$ , $C$ でない点とする。 $A'A''$ と同様に $B'B''$ , $C'C''$ を作図し、この3直線は第一等力点で交わる。内側から外側に手順を変えると、第二等力点が作図できる^[14]。

第一等力点の三線座標は以下の式の様になる^[15]。

$\sin(A+\pi /3):\sin(B+\pi /3):\sin(C+\pi /3)$

第二等力点の三線座標も $\pi /3$ を $-\pi /3$ とすることで得られる。

脚注

[脚注の使い方]

^ るーしえ、こんふるーす著、小倉金之助訳『初等幾何学第1巻平面之部』山海堂書店、1913年、574頁。NDLJP:930885。
^ ジョン・ケージ著、山下安太郎, 高橋三蔵訳『幾何学続編』有朋堂、1909年、247頁。NDLJP:828521。
^ For the credit to Neuberg, see e.g. Casey (1893) and Eves (1995).
^ Neuberg (1885) states that this property is the reason for calling these points "isodynamic".
^ ^a ^b ^c Bottema (2008); Johnson (1917).
^ ^a ^b Casey (1893); Johnson (1917).
^ ^a ^b Rigby (1988).
^ 『Sekai dai hyakka jiten』Heibonsha、1964年、303頁。
^ Carver (1956).
^ Moon (2010).
^ Eves (1995); Wildberger (2008).
^ Wildberger (2008).
^ Weisstein, Eric W.. “Brocard Axis” (英語). mathworld.wolfram.com. 2024年5月4日閲覧。
^ Evans (2002).
^ Kimberling (1993).

参考文献

BottemaOene『Topics in elementary geometry』（2nd）Springer、2008年、108頁。ISBN 9780387781303。 .
CarverWalter B.「Some geometry of the triangle」『American Mathematical Monthly』第63巻、第9号、32–50頁、1956年。doi:10.2307/2309843。JSTOR 2309843。https://jstor.org/stable/2309843。 .
CaseyJohn『A treatise on the analytical geometry of the point, line, circle, and conic sections: containing an account of its most recent extensions, with numerous examples』Hodges, Figgis, & Co.〈Dublin University Press series〉、1893年、303頁。 .
EvansLawrence S.「A rapid construction of some triangle centers」『Forum Geometricorum』第2巻、67–70頁、2002年。MR1907780。 .
EvesHoward Whitley『College geometry』Jones & Bartlett Learning、1995年、69–70頁。ISBN 9780867204759。 .
HäggChristian; ShapiroBoris; ShapiroMichael「Introducing isodynamic points for binary forms and their ratios」『Complex Anal Synerg』第9巻、第2号、2023年。arXiv:2207.01658。doi:10.1007/s40627-022-00112-4。 .
IannacconeAndrew; WaldenByron『The Conformal Center of a Triangle or a Quadrilateral』Harvey Mudd College Department of Mathematics、2003年。 .
JohnsonRoger A.「Directed angles and inversion, with a proof of Schoute's theorem」『American Mathematical Monthly』第24巻、第7号、313–317頁、1917年。doi:10.2307/2973552。JSTOR 2973552。https://jstor.org/stable/2973552。 .
KimberlingClark「Functional equations associated with triangle geometry」『Aequationes Mathematicae』第45巻、2–3、127–152頁、1993年。doi:10.1007/BF01855873。MR1212380。 .
MoonTarik Adnan「The Apollonian circles and isodynamic points」『Mathematical Reflections』第6号、2010年。オリジナルの2013年4月20日時点におけるアーカイブ。2012年3月22日閲覧。 .
NeubergJ.「Sur le quadrilatère harmonique」（French）『Mathesis』第5巻、202–204, 217–221, 265–269頁、1885年。 . The definition of isodynamic points is in a footnote on page 204.
RigbyJ. F.「Napoleon revisited」『Journal of Geometry』第33巻、1–2、129–146頁、1988年。doi:10.1007/BF01230612。MR963992。 . The discussion of isodynamic points is on pp. 138–139. Rigby calls them "Napoleon points", but that name more commonly refers to a different triangle center, the point of concurrence between the lines connecting the vertices of Napoleon's equilateral triangle with the opposite vertices of the given triangle.
WildbergerN. J.「Neuberg cubics over finite fields」『Algebraic geometry and its applications』 5巻、World Sci. Publ., Hackensack, NJ〈Ser. Number Theory Appl.〉、2008年、488–504頁。arXiv:0806.2495。doi:10.1142/9789812793430_0027。MR2484072。 . See especially p. 498.

外部リンク

Isodynamic points X(15) and X(16) in the Encyclopedia of Triangle Centers, by Clark Kimberling
Weisstein, Eric W. "Isodynamic Points". mathworld.wolfram.com (英語).
“等力点”. 新ユークリッド幾何学. 2024年10月28日閲覧。

[1] るーしえ、こんふるーす著、小倉金之助訳『初等幾何学第1巻平面之部』山海堂書店、1913年、574頁。NDLJP:930885。

[2] ジョン・ケージ著、山下安太郎, 高橋三蔵訳『幾何学続編』有朋堂、1909年、247頁。NDLJP:828521。

[3] For the credit to Neuberg, see e.g. Casey (1893) and Eves (1995).

[4] Neuberg (1885) states that this property is the reason for calling these points "isodynamic".

[botjo-5] Bottema (2008); Johnson (1917).

[casjo-6] Casey (1893); Johnson (1917).

[rigby-7] Rigby (1988).

[8] 『Sekai dai hyakka jiten』Heibonsha、1964年、303頁。

[9] Carver (1956).

[10] Moon (2010).

[11] Eves (1995); Wildberger (2008).

[wildberger-12] Wildberger (2008).

[13] Weisstein, Eric W.. “Brocard Axis” (英語). mathworld.wolfram.com. 2024年5月4日閲覧。

[14] Evans (2002).

[15] Kimberling (1993).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]