調和共役 (幾何学)
射影幾何学における重要な概念の一つに、調和共役があります。これは、同一直線上に並ぶ四つの点の間に成り立つ特別な位置関係を示すものです。具体的には、四点A, B, C, Dがこの関係にあるとき、「点Dは点Cの、点Aと点Bに対する調和共役点である」と表現されます。この調和共役の関係を持つ四点の並びを、調和点列とも呼びます。
調和共役の定義は、幾何学的な作図によって理解することができます。同一直線L上に三点A, B, Cがあるとします。直線L上にない点Lを任意に選び、点Cを通る別の直線を引き、この直線と直線LA, LBの交点をそれぞれM, Nとします。さらに、直線ANと直線BMの交点をKとします。このとき、点Lと点Kを結ぶ直線LKが直線AB（直線L）と交わる点Dが、CのA, Bに対する調和共役点となります。この点Dは、点Lや直線MNの選び方によらず一意に定まることが、デザルグの定理などによって保証されています。
この四点A, B, C, Dが調和共役の関係にあることの最も本質的な特徴は、それらの複比が常に−1となることです。複比(A, B; C, D)は、四点の相対的な位置を示す量であり、特に以下のように定義されます。
$$ (A, B; C, D) = \frac{\overline{AC}}{\overline{AD}} \left/ \frac{\overline{BC}}{\overline{BD}}\right. $$
ここで、$\overline{XY}$は符号付き距離を表します。調和点列の場合、この複比は必ず−1となります。これは、線分ABに対する点Dの内分比と点Cの外分比の絶対値が等しいという古典的な性質、すなわち $\overline{AC}:\overline{BC} = \overline{AD}:\overline{BD}$ を符号付きで表現し直したものです。
複比は四点の順序によって値が変わりますが、調和点列を構成する四点の複比は、順序の変更によっても値が −1, 1/2, 2 のいずれかになります。これらを調和比と呼びます。
実数直線上の点a, bに対する点xの分割比 $t(x) = \frac{x-a}{x-b}$ を用いると、複比は $(c, d; a, b) = {\tfrac{t(c)}{t(d)}}$ と表されます。この表現において、cとdがa, bに対する調和共役であることは、$t(c) + t(d) = 0$、すなわち $\frac{c-a}{c-b} + \frac{d-a}{d-b} = 0$ と同値になります。
調和共役の関係は、特別なケースにも適用されます。例えば、線分ABの中点Mの調和共役点は、実数直線上の無限遠点として定義されます。中点Mの分割比は−1ですが、調和共役点の分割比は1となる必要があり、これは無限遠点でのみ実現されます。
また、調和共役は他の様々な幾何学的概念と関連しています。四つの点がどの三点も同一直線上にない場合にそれらを結んでできる六つの直線からなる図形を完全四角形と呼びますが、完全四角形は調和共役の関係を自然に作り出します。19世紀の数学者カール・フォン・シュタウトは、この調和共役の概念を初等幾何学から射影幾何学の中心的な位置へと発展させました。ジョン・ウェスレー・ヤングは、完全四角形を利用して中点を定義できることを示唆しました。
円錐曲線の理論においても、調和共役は重要な役割を果たします。円錐曲線Cと、その外にある点Pを考えます。点Pを通る直線が円錐曲線と二点A, Bで交わるとき、点PのA, Bに対する調和共役点Qの軌跡は、点Pを通らないある定直線となります。この点Pを極と呼び、その調和共役点Qの軌跡となる直線をPの極線と呼びます。
反転幾何学においても、調和共役は現れます。特に円に関する反転の場合、ある円kとその中心を結ぶ直線が別の円qと交わる二点が、円kの中心に対して反転の関係にあるとき、それらの点は円kの中心ともう一つの円qの中心に対して調和共役の関係にあります。
円錐曲線上の点の座標を解析的に扱う際に用いられるヨアヒムスタールの方程式も、調和共役を記述するために利用されます。例えば、楕円$\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$上の点Aと、その外にある点P$(x_0, y_0)$について、点Pを通る直線上の点Q$(x, y)$がPAを1:λに内分するときのAの座標は、λを用いて表されます。点Aが楕円上にあるという条件から導かれるλに関する二次方程式（ヨアヒムスタールの方程式）の二つの解λ₁とλ₂は、直線PQと楕円の二つの交点A, Bの位置を決定します。このとき、QがP, Qに対するA, Bの調和共役点となる条件（PQに対するAの内分比とBの外分比が等しい）は、λ₁とλ₂の関係として記述でき、その結果として点Qの軌跡、すなわち極線の方程式 $\frac{xx_0}{a^2} + \frac{yy_0}{b^2} = 1$ が導かれます。
このように、調和共役は単なる点の配置関係にとどまらず、射影幾何学、代数、解析学、他の幾何学分野にわたる広範な理論と結びついた、基本的ながらも奥深い概念です。
調和共役の定義は、幾何学的な作図によって理解することができます。同一直線L上に三点A, B, Cがあるとします。直線L上にない点Lを任意に選び、点Cを通る別の直線を引き、この直線と直線LA, LBの交点をそれぞれM, Nとします。さらに、直線ANと直線BMの交点をKとします。このとき、点Lと点Kを結ぶ直線LKが直線AB（直線L）と交わる点Dが、CのA, Bに対する調和共役点となります。この点Dは、点Lや直線MNの選び方によらず一意に定まることが、デザルグの定理などによって保証されています。
この四点A, B, C, Dが調和共役の関係にあることの最も本質的な特徴は、それらの複比が常に−1となることです。複比(A, B; C, D)は、四点の相対的な位置を示す量であり、特に以下のように定義されます。
$$ (A, B; C, D) = \frac{\overline{AC}}{\overline{AD}} \left/ \frac{\overline{BC}}{\overline{BD}}\right. $$
ここで、$\overline{XY}$は符号付き距離を表します。調和点列の場合、この複比は必ず−1となります。これは、線分ABに対する点Dの内分比と点Cの外分比の絶対値が等しいという古典的な性質、すなわち $\overline{AC}:\overline{BC} = \overline{AD}:\overline{BD}$ を符号付きで表現し直したものです。
複比は四点の順序によって値が変わりますが、調和点列を構成する四点の複比は、順序の変更によっても値が −1, 1/2, 2 のいずれかになります。これらを調和比と呼びます。
実数直線上の点a, bに対する点xの分割比 $t(x) = \frac{x-a}{x-b}$ を用いると、複比は $(c, d; a, b) = {\tfrac{t(c)}{t(d)}}$ と表されます。この表現において、cとdがa, bに対する調和共役であることは、$t(c) + t(d) = 0$、すなわち $\frac{c-a}{c-b} + \frac{d-a}{d-b} = 0$ と同値になります。
調和共役の関係は、特別なケースにも適用されます。例えば、線分ABの中点Mの調和共役点は、実数直線上の無限遠点として定義されます。中点Mの分割比は−1ですが、調和共役点の分割比は1となる必要があり、これは無限遠点でのみ実現されます。
また、調和共役は他の様々な幾何学的概念と関連しています。四つの点がどの三点も同一直線上にない場合にそれらを結んでできる六つの直線からなる図形を完全四角形と呼びますが、完全四角形は調和共役の関係を自然に作り出します。19世紀の数学者カール・フォン・シュタウトは、この調和共役の概念を初等幾何学から射影幾何学の中心的な位置へと発展させました。ジョン・ウェスレー・ヤングは、完全四角形を利用して中点を定義できることを示唆しました。
円錐曲線の理論においても、調和共役は重要な役割を果たします。円錐曲線Cと、その外にある点Pを考えます。点Pを通る直線が円錐曲線と二点A, Bで交わるとき、点PのA, Bに対する調和共役点Qの軌跡は、点Pを通らないある定直線となります。この点Pを極と呼び、その調和共役点Qの軌跡となる直線をPの極線と呼びます。
反転幾何学においても、調和共役は現れます。特に円に関する反転の場合、ある円kとその中心を結ぶ直線が別の円qと交わる二点が、円kの中心に対して反転の関係にあるとき、それらの点は円kの中心ともう一つの円qの中心に対して調和共役の関係にあります。
円錐曲線上の点の座標を解析的に扱う際に用いられるヨアヒムスタールの方程式も、調和共役を記述するために利用されます。例えば、楕円$\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$上の点Aと、その外にある点P$(x_0, y_0)$について、点Pを通る直線上の点Q$(x, y)$がPAを1:λに内分するときのAの座標は、λを用いて表されます。点Aが楕円上にあるという条件から導かれるλに関する二次方程式（ヨアヒムスタールの方程式）の二つの解λ₁とλ₂は、直線PQと楕円の二つの交点A, Bの位置を決定します。このとき、QがP, Qに対するA, Bの調和共役点となる条件（PQに対するAの内分比とBの外分比が等しい）は、λ₁とλ₂の関係として記述でき、その結果として点Qの軌跡、すなわち極線の方程式 $\frac{xx_0}{a^2} + \frac{yy_0}{b^2} = 1$ が導かれます。
このように、調和共役は単なる点の配置関係にとどまらず、射影幾何学、代数、解析学、他の幾何学分野にわたる広範な理論と結びついた、基本的ながらも奥深い概念です。
もう一度検索
【記事の利用について】
タイトルと記事文章は、記事のあるページにリンクを張っていただければ、無料で利用できます。
※画像は、利用できませんのでご注意ください。
【リンクついて】
リンクフリーです。