極と極線

極（きょく、英: Pole）と極線（きょくせん^[1]、英: polar, polar line）は、幾何学において、円錐曲線に関する点と直線を指す用語^[2]^[3]^[4]^[5]。極は点であることを強調するため極点とも言われる^[6]^[7]。

与円による極と極線の相反変換（Polar reciprocation）は、点を直線に、直線を点に変換する。

性質

極と極線はいくつかの有用な性質を持つ。

点 $P$ が直線 $l$ 上にあるとき、 $l$ の極 $L$ は、 $P$ の極線上にある（ラ・イールの定理、La Hire's theorem）^[2]^[8]。
点 $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）と呼ばれる^[9]。

極系は対合として知られる相互関係でもある。

任意の点 $P$ とその極線 $p$ について、 $p$ 上の他の点 $Q$ は $P$ を通る直線 $q$ の極である。これは相互的な関係を構築し、その逆の操作も相互的になる^[10]。

円錐曲線への一般化

極と極線の概念は円から円錐曲線（楕円、双曲線、放物線等）へ拡張できる。接続関係（英語版）や複比、射影変換などに関わる性質は、一般化しても同様に成り立つ。

極線の計算

一般化された円錐曲線は平面直交座標系 $(x, y)$ で、二次曲線として次の式で表すことができる。

$A_{xx}x^{2}+2A_{xy}xy+A_{yy}y^{2}+2B_{x}x+2B_{y}y+C=0$

ただし $A_{xx},A_{xy},A_{yy},B_{x},B_{y},C$ は定数とする。点 $(ξ, η)$ の極線の方程式は次の形で与えられる。

$Dx+Ey+F=0\,$

ただし

${\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}}$

極の計算

直線 $Dx+Ey+F=0$ の非退化円錐曲線 $A_{xx}x^{2}+2A_{xy}xy+A_{yy}y^{2}+2B_{x}x+2B_{y}y+C=0$ に関する極は次の2つの過程で求まる。

まず次の式のx,y,zを求める。

${\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}}$

$\left({\frac {x}{z}},{\frac {y}{z}}\right)$ が与えられた直線の極となる。

極と極線の関係の表

円錐曲線	円錐曲線の方程式	$P=(x_{0},y_{0})$ の極線
円	$x^{2}+y^{2}=r^{2}$	$x_{0}x+y_{0}y=r^{2}$
楕円	$\left({\frac {x}{a}}\right)^{2}+\left({\frac {y}{b}}\right)^{2}=1$	${\frac {x_{0}x}{a^{2}}}+{\frac {y_{0}y}{b^{2}}}=1$
双曲線	$\left({\frac {x}{a}}\right)^{2}-\left({\frac {y}{b}}\right)^{2}=1$	${\frac {x_{0}x}{a^{2}}}-{\frac {y_{0}y}{b^{2}}}=1$
放物線	$y=ax^{2}$	$y+y_{0}=2ax_{0}x$

円錐曲線	円錐曲線の方程式	直線 $u x + v y = w$ の極
円	$x^{2}+y^{2}=r^{2}$	$\left({\frac {r^{2}u}{w}},\;{\frac {r^{2}v}{w}}\right)$
楕円	$\left({\frac {x}{a}}\right)^{2}+\left({\frac {y}{b}}\right)^{2}=1$	$\left({\frac {a^{2}u}{w}},\;{\frac {b^{2}v}{w}}\right)$
双曲線	$\left({\frac {x}{a}}\right)^{2}-\left({\frac {y}{b}}\right)^{2}=1$	$\left({\frac {a^{2}u}{w}},\;-{\frac {b^{2}v}{w}}\right)$
放物線	$y=ax^{2}$	$\left(-{\frac {u}{2av}},\;-{\frac {w}{v}}\right)$

完全四辺形

射影幾何学では、平面上の任意の2直線は必ず交わるとされる。 4つの直線は完全四辺形（英語版）と呼ばれる四角形を成す。また4点を結ぶ直線の交点は対角点（diagonal point）と呼ばれる。

円錐曲線 $C$ 上にない点 $Z$ を与え、 $Z$ を通る2つ $C$ の割線を作る。割線と $C$ の交点 $A,B,D,E$ から完全四辺形を作る。すると $Z$ はこの完全四辺形の対角点の一つとなる。他の二つの対角点を結ぶ直線は $Z$ の極線となる（ブロカールの定理、Brocard's theorem）^[2]^[11]。

応用

極と極線は、元はジョセフ・ジェルゴンヌがアポロニウスの問題を解くために定義したものである^[12]。

平面力学においてpole（極）は回転の中心、polarは力線、conicは慣性の質量行列の役割を果たす^[13]。poleとpolarの関係は剛体の打撃の中心（英語版）の定義で使用される。極がhinge pointならば、極線はスクリュー理論（英語版）におけるpercussion lineとなる。

出典

^ 「極線」『デジタル大辞泉、精選版日本国語大辞典』。コトバンクより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
^ “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
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
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

外部リンク

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
『極線の方程式の証明と応用』 - 高校数学の美しい物語

[1] 「極線」『デジタル大辞泉、精選版日本国語大辞典』。コトバンクより2024年8月3日閲覧。

[:1-2] エヴァン・チェン『数学オリンピック幾何への挑戦ユークリッド幾何学をめぐる船旅』森田康夫監訳、兒玉太陽、熊谷勇輝、宿田彩斗、平山楓馬訳、日本評論社、2023年2月。ISBN 978-4-535-78978-4。

[:02-3] ジョン・ケージー『幾何学続編』山下安太郎、高橋三蔵、有朋堂、1909年、56-57,187-196頁。NDLJP:828521。

[4] 中川銓吉『近世綜合幾何学演習』共立出版、1948年、219頁。NDLJP:1063414。

[5] 森本清吾『初等幾何学』朝倉書店、1953年。NDLJP:1372292。

[6] 窪田忠彦『近世幾何学』岩波書店、1947年、35-71,103,130頁。NDLJP:1063410。

[:0-7] ショヴネー（英語版）『ショヴネー氏幾何教科書』下巻、乙部兵義訳、開新堂、1891年、144,147頁。NDLJP:828565。

[8] 林鶴一『軌跡問題初等幾何學』（第4版）大倉書店〈數學叢書〉、1910年。NDLJP:1082013。

[9] 吉川実『近世総合幾何学』大日本図書〈数学叢書〉、1907年、275頁。NDLJP:828610。

[10] Edwards, Lawrence; Projective Geometry, 2nd Edn, Floris (2003). pp. 125-6.

[11] Halsted, George Bruce (1906). Synthetic projective geometry. Gerstein - University of Toronto. New York Wiley

[12] “Apollonius' Problem: A Study of Solutions and Their Connections”. 2013年6月4日閲覧。

[13] John Alexiou Thesis, Chapter 5, pp. 80–108 Archived 2011-07-19 at the Wayback Machine.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

性質