調和共役 (幾何学)
![]() | この項目「調和共役 (幾何学)」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。(原文:英語版17:50, 16 March 2024) 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。(2024年6月) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ee/Pappusharmonic.svg/300px-Pappusharmonic.svg.png)
A, D, B, C は調和点列
KLMNは完全四角形
射影幾何学において、調和共役(ちょうわきょうやく、英語: harmonic conjugate)とは 実射影直線における以下の点の関係のことである。
- 同一直線上にある三点 A, B, CについてLをその直線上にない点、M, NをそれぞれあるCを通る直線とLA, LBの交点とする。またANとBMの交点をKとする。LKとABの交点DをCのA,Bに対する調和共役という[1]。平面幾何学では{P,Q}調和共役 ({P,Q}-harmonic conjugate)と書かれることが多い[2]。
Dは複比の不変性やデザルグの定理により、点Lや直線MNの取り方に依らない。
またこのときの複比については (A, B; C, D) = −1が成り立つ。
複比の基準[編集]
A, D, B, Cは調和点列(Harmonic range)と呼ばれている。ABに対するDの内分比とCの外分比は常に等しい。つまり以下が成り立つ。線分比について符号付き距離を導入すると複比は以下の式で表される。
調和点列の複比は常に-1である。
複比を取る4点の選びは6通りあり、選び方によって複比の値は変わってしまう。しかし、調和点列の場合、{−1, 1/2, 2}のいずれかとなる。これらは調和複比(harmonic cross-ratio)と呼ばれる。
実数直線状の点a, bについて点xのdivision ratioは以下の式で表される[3]。a < x < bならば、t(x)は負の値を取る。逆にa, bの外であれば正の値を取る。複比はdivision ratioを用いて と書くことができる。t(c) + t(d) = 0ならば、cとdはa,bに対する調和共役である。
調和共役の関係にある2つの点との距離が、調和点列の分比である点の軌跡はアポロニウスの円と呼ばれる。
中点の調和共役[編集]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Real_projective_line.svg/150px-Real_projective_line.svg.png)
aとbの中点xに対してのdivision ratioは-1である。複比の基準によれば、中点xの調和共役点yはt(y) = 1を満たさなければならない。しかし無限の概念を使わねば、yを定義することができない。中点xの調和共役点は実数直線上の無限遠点として定義される。
調和四角形[編集]
調和共役と完全四辺形KLMNは深い関係にある。完全四角形の調和共役による表現はH. S. M.コクセターによって提唱された。
最初に調和共役を用いたカール・フォン・シュタウトは著作「Geometrie der Lage」の中で、調和共役を初等幾何の概念から射影幾何の概念へ発展させた[5]。
![parallelogram with diagonals](http://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Fano_parallelogramm.svg/220px-Fano_parallelogramm.svg.png)
J. W. Youngによれば、調和三角形によって中点を定義することができる。
- 2直線 AQ, AS についてそれぞれ平行な直線,BS, BQ を描く。 AQ, SB の交点は無限遠点R、AS, QBの交点無限遠点Pである。調和四角形PQRS の対角線は直線ABと、AB上の無限遠点Mである。平行四辺形の対角線の交点は対角線を二等分することより、 Mの調和共役点はABの中点である[6]。
円錐曲線[編集]
円錐曲線CとC上にないPについて、Pを通る直線とCの交点をそれぞれA,Bとする。直線が動くとき、 PのA,Bに対する調和共役点は、ある直線上を動く。この時Pを極(pole)、調和共役点の動く直線をPの極線(polar line)と言う。
反転幾何学[編集]
特に円の場合、調和共役は円による反転と等しい。これはSmogorzhevskyの定理の一つである[7]。
- 円k, q が垂直に交わっているときk,qの中心を結ぶ直線とqの2つの交点はkについて、反転の関係にある。また、kの中心,kと直線のq側の交点に対してk,qの中心を結ぶ直線とqの2つ交点は調和共役の関係にある。
円錐曲線とJoachimthalの等式[編集]
を以下の式で表される楕円とする。
楕円の外にある点 について、を通る直線が楕円と,で交わっている。 の座標を とする。上の点を、がを:に内分する、楕円の内部に位置する点とすると、以下が成り立つ。
- .
これらの方程式を𝜉と𝜂について解く代わりに、以下の式が解であることを代入によって調べることができる。
が上にあることは以下の式から確かめられる。
この等式はのJoachimthal's equationと呼ばれる。Joachimthal's equationの2つの根は,に対する,の位置を決定する。
上の等式の両辺がと等しいならば
このとき に対する の内分比との外分比は等しい。すなわちこれは調和複比である。
この等式は を極とする極線を表す。
出典[編集]
- ^ R. L. Goodstein & E. J. F. Primrose (1953) Axiomatic Projective Geometry, University College Leicester (publisher). This text follows synthetic geometry. Harmonic construction on page 11
- ^ “GLOSSARY, a support page for ENCYCLOPEDIA TRIANGLE CENTERS”. faculty.evansville.edu. 2024年3月23日閲覧。
- ^ Dirk Struik (1953) Lectures on Analytic and Projective Geometry, page 7
- ^ H. S. M. Coxeter (1942) Non-Euclidean Geometry, page 29, University of Toronto Press
- ^ B.L. Laptev & B.A. Rozenfel'd (1996) Mathematics of the 19th Century: Geometry, page 41, Birkhäuser Verlag ISBN 3-7643-5048-2
- ^ John Wesley Young (1930) Projective Geometry, page 85, Mathematical Association of America, Chicago: Open Court Publishing
- ^ A.S. Smogorzhevsky (1982) Lobachevskian Geometry, Mir Publishers, Moscow
- Juan Carlos Alverez (2000) Projective Geometry, see Chapter 2: The Real Projective Plane, section 3: Harmonic quadruples and von Staudt's theorem.
- Robert Lachlan (1893) An Elementary Treatise on Modern Pure Geometry, link from Cornell University Historical Math Monographs.
- Bertrand Russell (1903) Principles of Mathematics, page 384.
- Russell, John Wellesley (1905). Pure Geometry. Clarendon Press