極と極線

極（きょく、英: Pole）と極線（きょくせん、英: polar, polar line）は、幾何学において、円錐曲線に関する点と直線を指す用語。極は点であることを強調するため極点とも言われる。 与円による極と極線の相反変換（Polar reciprocation）は、点を直線に、直線を点に変換する。 極と極線はいくつかの有用な性質を持つ。 点Pが直線l上にあるとき、lの極Lは、Pの極線上にある（ラ・イールの定理、La Hire's theorem）。 点Pが直線l上を動くとき、Pの極線はlの極を中心に回転する。 極を通る円錐曲線の2つの接線の接点は極線上にある。 円錐曲線上の点の極線は、その点における円錐曲線の接線である。 点が自身の極線上にあるならば、その点は円錐曲線上にある。 どの直線も、退化していない円錐曲線に対して、極を持つ。 円錐曲線が円である場合は反転と深い関係を持つ。もととなる円をCとする。極線Lの極は、Lの円の中心に最も近い点（円の中心を通る垂線の垂足）をCにおいて反転した点となる。逆に、点Qの極線は、QをCにおいて反転した点Pを通り、直線上の点の中で円の中心と最も近い点がPとなるような直線となる。 極と極線の関係は相互的である。点Qの極線q上の点Aの極線aはQを通る。 円の外側に極Pがある場合、その極線は別の定義をすることもできる。Pを通る円の接線（英語版）は高々2個存在する。この2接線の接点を通る直線はPの極線となる。この定義から、退化していない円錐曲線に対する極と極線へ一般化することができる。 極と極線の概念は射影幾何学にも発展できる。例えば、与えられた極と円錐曲線に対する射影調和共役点の集合は極線となる。 点を曲線に置き換える操作、またその逆の操作は極系（polarity）と呼ばれる。 極系は対合として知られる相互関係でもある。 任意の点Pとその極線pについて、p上の他の点QはPを通る直線qの極である。これは相互的な関係を構築し、その逆の操作も相互的になる。 極と極線の概念は円から円錐曲線（楕円、双曲線、放物線等）へ拡張できる。接続関係（英語版）や複比、射影変換などに関わる性質は、一般化しても同様に成り立つ。 一般化された円錐曲線は平面直交座標系(x , y)で、二次曲線として次の式で表すことができる。 A x x x 2 + 2 A x y x y + A y y y 2 + 2 B x x + 2 B y y + C = 0 {\displaystyle A_{xx}x^{2}+2A_{xy}xy+A_{yy}y^{2}+2B_{x}x+2B_{y}y+C=0} ただし A x x , A x y , A y y , B x , B y , C {\displaystyle A_{xx},A_{xy},A_{yy},B_{x},B_{y},C} は定数とする。点(ξ, η)の極線の方程式は次の形で与えられる。 D x + E y + F = 0 {\displaystyle Dx+Ey+F=0\,} ただし D = A x x ξ + A x y η + B x E = A x y ξ + A y y η + B y F = B x ξ + B y η + C {\displaystyle {\begin{aligned}D&=A_{xx}\xi +A_{xy}\eta +B_{x}\\E&=A_{xy}\xi +A_{yy}\eta +B_{y}\\F&=B_{x}\xi +B_{y}\eta +C\end{aligned}}} 直線 D x + E y + F = 0 {\displaystyle Dx+Ey+F=0} の非退化円錐曲線 A x x x 2 + 2 A x y x y + A y y y 2 + 2 B x x + 2 B y y + C = 0 {\displaystyle A_{xx}x^{2}+2A_{xy}xy+A_{yy}y^{2}+2B_{x}x+2B_{y}y+C=0} に関する極は次の2つの過程で求まる。 まず次の式のx,y,zを求める。 [ x y z ] = [ A x x A x y B x A x y A y y B y B x B y C ] − 1 [ D E F ] {\displaystyle {\begin{bmatrix}x\\y\\z\end{bmatrix}}={\begin{bmatrix}A_{xx}&A_{xy}&B_{x}\\A_{xy}&A_{yy}&B_{y}\\B_{x}&B_{y}&C\end{bmatrix}}^{-1}{\begin{bmatrix}D\\E\\F\end{bmatrix}}} ( x z , y z ) {\displaystyle \left({\frac {x}{z}},{\frac {y}{z}}\right)} が与えられた直線の極となる。 射影幾何学では、平面上の任意の2直線は必ず交わるとされる。 4つの直線は完全四辺形（英語版）と呼ばれる四角形を成す。また4点を結ぶ直線の交点は対角点（diagonal point）と呼ばれる。 円錐曲線C上にない点Zを与え、Zを通る2つCの割線を作る。割線とCの交点A,B,D,Eから完全四辺形を作る。するとZはこの完全四辺形の対角点の一つとなる。他の二つの対角点を結ぶ直線はZの極線となる（ブロカールの定理、Brocard's theorem）。 極と極線は、元はジョセフ・ジェルゴンヌがアポロニウスの問題を解くために定義したものである。 平面力学においてpole（極）は回転の中心、polarは力線、conicは慣性の質量行列の役割を果たす。poleとpolarの関係は剛体の打撃の中心（英語版）の定義で使用される。極がhinge pointならば、極線はスクリュー理論（英語版）におけるpercussion lineとなる。 ^ 「極線」『デジタル大辞泉、精選版 日本国語大辞典』。https://kotobank.jp/word/%E6%A5%B5%E7%B7%9A。コトバンクより2024年8月3日閲覧。  ^ a b c エヴァン・チェン『数学オリンピック幾何への挑戦 ユークリッド幾何学をめぐる船旅』森田康夫 監訳、兒玉太陽、熊谷勇輝、宿田彩斗、平山楓馬 訳、日本評論社、2023年2月。ISBN 978-4-535-78978-4。  ^ ジョン・ケージー（英語版）『幾何学続編』山下安太郎、高橋三蔵、有朋堂、1909年、56-57,187-196頁。NDLJP:828521。  ^ 中川銓吉『近世綜合幾何学演習』共立出版、1948年、219頁。NDLJP:1063414。  ^ 森本清吾『初等幾何学』朝倉書店、1953年。NDLJP:1372292。  ^ 窪田忠彦『近世幾何学』岩波書店、1947年、35-71,103,130頁。NDLJP:1063410。  ^ ショヴネー（英語版）『ショヴネー氏幾何教科書』 下巻、乙部兵義 訳、開新堂、1891年、144,147頁。NDLJP:828565。  ^ 林鶴一『軌跡問題 初等幾何學』（第4版）大倉書店〈數學叢書〉、1910年。NDLJP:1082013。  ^ 吉川実『近世総合幾何学』大日本図書〈数学叢書〉、1907年、275頁。NDLJP:828610。  ^ Edwards, Lawrence; Projective Geometry, 2nd Edn, Floris (2003). pp. 125-6. ^ Halsted, George Bruce (1906). Synthetic projective geometry. Gerstein - University of Toronto. New York Wiley. http://archive.org/details/syntheticproject00halsuoft  ^ “Apollonius' Problem: A Study of Solutions and Their Connections”. 2013年6月4日閲覧。 ^ John Alexiou Thesis, Chapter 5, pp. 80–108 Archived 2011-07-19 at the Wayback Machine. Johnson, R.A. (1960). Advanced Euclidean Geometry: An Elementary treatise on the geometry of the Triangle and the Circle. New York: Dover Publications. pp. 100–105. https://archive.org/details/geometryrevisite00coxe/page/n143  Coxeter, HSM; Greitzer, SL (1967). Geometry Revisited. Washington: MAA. pp. 132–136, 150. ISBN 978-0-88385-619-2  Gray, J J (2007). Worlds Out of Nothing: A Course in the history of Geometry in the 19th century. London: Springer Verlag. p. 21. ISBN 978-1-84628-632-2. https://archive.org/details/worldsoutnothing00jgra/page/n42  Korn, GA; Korn, TM (1961). Mathematical Handbook for Scientists and Engineers. New York: McGraw-Hill. pp. 43–45. LCCN 59-14456  The paperback version published by Dover Publications has the ISBN 978-0-486-41147-7. Wells, D (1991). The Penguin Dictionary of Curious and Interesting Geometry. New York: Penguin Books. pp. 190–191. ISBN 0-14-011813-6. https://archive.org/details/penguindictionar0000well/page/190  双対多角形（英語版） 双対多面体 極曲線（英語版） 三線極点 直極点 Interactive animation with multiple poles and polars at Cut-the-Knot Interactive animation with one pole and its polar at the Wayback Machine (archived 2012-07-01) Interactive 3D with coloured multiple poles/polars - open source Weisstein, Eric W. "Polar". mathworld.wolfram.com (英語). Weisstein, Eric W. "Reciprocation". mathworld.wolfram.com (英語). Weisstein, Eric W. "Inversion pole". mathworld.wolfram.com (英語). Weisstein, Eric W. "Reciprocal curve". mathworld.wolfram.com (英語). Tutorial at the Wayback Machine (archived 2008-04-11) at Math-abundance 『極線の方程式の証明と応用』 - 高校数学の美しい物語