円束 (射影幾何学)のソースを表示

{{複数の問題}}
[[数学]]の特に[[射影幾何学]]において、'''円束'''（えんそく、{{lang-en-short|pencil of circles}}）は、与えられた二つの円（基円あるいは'''生成円'''と呼ばれる）から生成される無限個の円からなる族である。[[初等幾何学]]において、典型的には「与えられた二円の交点を通る円（または直線）全体の成す族」として円束が与えられる。[[解析幾何学]]の手法によれば、生成[[円の方程式]]が与えられたとき、それらの生成する円束に属する全ての円の方程式を、生成円の方程式から知ることができる。同じ定式化のもと、生成円が必ずしも交わらなくともそれらの生成する円束を考えることができる。

一つの円束に属する全ての円は、中心が一つの直線（中心線あるいは'''中心軸'''と呼ばれる）上にある。中心軸および'''[[#焦点|焦点]]'''と呼ばれる二つの特徴点や'''[[根軸]]'''によって円束の様子を知ることができる。

== 円束の方程式 ==
与えられた二円の生成する円束の方程式は、その二円の標準形[[円の方程式|方程式]]{{efn2|name="general"|つまり、円を{{mvar|x, y}} の二次の係数が等しく {{mvar|xy}} の項を含まない二次式の[[零点集合]]と見る。そのような二次式の線型結合がふたたびそのような条件を満たすことは明らかである。}}の線型結合として
: <math>\lambda(x^2 + y^2 + a_1 x + b_1 y + c_1) + \mu(x^2 + y^2 + a_2 x + b_2 y + c_2) = 0</math> 
のように与えられる。この円束に属する各円は助変数の対 {{math|(λ, μ)}} を決めるごとに同定される。もとの二円は、一方の助変数を {{math|{{=}} 0}} と置くことによって得られ、この二円をこの円束の'''基円''' (base circle) または'''生成円''' (generating circle) と呼ぶ。しかし、与えられた円束の生成円の取り方は任意であり、その円束に属する相異なる任意の二円を生成円として用いることができる。両方の助変数を {{math|{{=}} 0}} と置くことは、上記の方程式が自明な関係式 {{math|0 {{=}} 0}} となって意味を成さない。

[[File:Sheaf_of_circles.png|thumb|二点を共有する円束の例: 方程式 {{math|''x''{{exp|2}} + ''y''{{exp|2}} + ''kx'' - (''k'' + 4) {{=}} 0}} の表す円束。]]
一方の助変数が常に非零であるものとするとき、円束の方程式は助変数を一つにすることができる。例えば、{{math|μ &ne; 0}} の仮定のもと {{math|''k'' {{=}} {{fraction|λ|μ}}}} と置けば、方程式は
: <math>k(x^2 + y^2 + a_1 x + b_1 y + c_1) + (x^2 + y^2 + a_2 x + b_2 y + c_2) = 0</math> 
と書ける。しかし、この円束の方程式は {{math|μ {{=}} 0}} に対応する円を表さないから、不完全である。このような性質は、端的に言えば助変数の対 {{math|(λ, μ)}} は[[射影空間|射影的]]な助変数であると言い表される。[[射影幾何学]]の言葉で言えば、一つの助変数 {{mvar|k}} に支配される円束の方程式において {{math|μ {{=}} 0}} に対応する生成円は {{math|''k'' {{=}} ∞}}, すなわち[[無限遠点]]にある。

半径が {{mvar|r}} で中心が {{math|(''p'', ''q'')}} であるような円の方程式は
: <math>(x-p)^2 + (y-q)^2 = r^2</math>
で与えられるが、これを少し変形して標準形{{efn2|name="general"}}
: <math>\alpha(x^2 + y^2) - 2\beta x - 2\gamma y + \delta = 0</math>
の形に書くことができる。実際、{{math|α {{=}} 1, β {{=}} ''p'', γ {{=}} ''q'', δ {{=}} ''p''{{exp|2}} + ''q''{{exp|2}} &minus; ''r''{{exp|2}}}} と置けばよい。このとき、四つ組 {{math|(α, β, γ, δ)}} に対して任意の[[スカラー (数学)|スカラー]]倍を行って得られる別の四つ組もまた同じ円を与えるから、この四つ組を平面上の円全てからなる空間における{{仮リンク|斉次座標|en|homogeneous coordinates}}と看做すことができる{{sfn|Pfeifer|van Hook|1993| pp= 75–86}}。同じ方程式で {{math|α {{=}} 0}} の場合は直線を表すが、これは「退化した」円と考えるべきである（{{ill2|一般化された円|en|generalized circle}}も参照）。{{math|α ≠ 0}} のとき、逆に解いて {{math|''p'' {{=}} {{fraction|β|α}}, ''q'' {{=}} {{fraction|γ|α}}, ''r'' {{=}} {{sqrt|{{fraction|&minus;δ &minus; β{{exp|2}} &minus; γ{{exp|2}}|α{{exp|2}}}}}}}} とできるから円が一つ決まる。注意すべきは、最後の式で {{math|''r'' {{=}} 0}}（'''点円'''、一点に退化した円）となる場合や {{mvar|r}} が純虚数となる場合（この場合、四つ組 {{math|(α, β, γ, δ)}} は'''虚円''' (''imaginary circle'') を表すという）が起こり得ることである。

二円 {{math|(α{{ind|1}}, β{{ind|1}}, γ{{ind|1}}, δ{{ind|1}}), (α{{ind|2}}, β{{ind|2}}, γ{{ind|2}}, δ{{ind|2}})}} の生成する円束は、これらの[[アフィン結合]]、すなわち四つ組
: <math>z(\alpha_1,\beta_1,\gamma_1,\delta_1)+(1-z)(\alpha_2,\beta_2,\gamma_2,\delta_2)</math>
の表す円の（{{mvar|z}} を[[助変数]]と見た）全体の成す集合である。

[[File:Apollonian circles.svg|thumb|right|互いに直交する二つの円束。赤の円束は共通の二点を通り、青の円束はその二点を分離する。]]
[[File:Faisceau pt base.png|thumb|right|楕円型: 根軸は円の二つの交点を通る]]
[[File:Faisceau pt tangent.png|thumb|right|放物型: 根軸は二つの円の接点において二円にともに接する]]
[[File:Faisceau points poncelet.png|thumb|right|双曲型: 二つの焦点は根軸と中心軸との交点を中心とする一つの円上にある]]
== 円束の分類 ==
円束は三種類に分けられる{{sfn|Schwerdtfeger|1979|pp=8–10}}:
* '''楕円型円束''': (図の赤の円束) 二つの生成円がちょうど二つの点で交わる場合。このとき、交点において円束の定義方程式（生成円の方程式）は値が {{math|0}} なのだから、それらの任意の線型結合もその点において値が {{math|0}} であり、従って楕円型円束に属する任意の円はその二点を必ず通る。楕円型円束は虚円を含むことはない。
* '''双曲型円束''': (図の青の円束) 二つの生成円が全く交わらない場合。この場合、円束は実円も虚円も含み、また二つの点円（これを'''ポンスレ点'''あるいは'''{{vanc|焦点}}'''と呼ぶ）も含む。円束が双曲型であるためには、平面上の各点がその円束に属する円のうちちょうど一つのみの上にあることが必要十分である。
* '''放物型円束''': 二つの生成円が一点のみで互いに接する場合。得られる円束は、全ての円が共通の一点において互いに接する実円の族となる（その共有点自身も半径 {{math|0}} の退化した点円としてその円束に属する）。

一つの焦点 {{math|C}} のみを中心とする同心円の族も特別の場合の双曲型円束である（もう一方の焦点は[[複素射影直線]]の無限遠点にあると考える）。これと対応する楕円型円束は {{math|C}} を通る直線の族となるが、それら直線は無限遠点を通る半径無限大の円と解釈すべきである。

== 根軸と中心軸 ==
同心円束、あるいは全ての直線が一致する直線束となる二つの特別の場合を除き、同じ円束に属する二つの円は[[根軸]]を共有し、属する全ての円の中心が共線となる。このような複数（三つ以上）の円の族は'''共軸''' (''coaxal''<ref>{{MathWorld|urlname=CoaxalCircles|title=Coaxal Circles}}</ref>, ''coaxial''{{sfn|Akopyan|Zaslavsky|2007|pp= 57–62}}) であると言う。

* 楕円型円束は、基点（全ての円が必ず通過する二点）{{math|C, D}} を結ぶ直線 {{math|{{overline|CD}}}} を根軸に持つ。その中心軸は、線分 {{math|{{overline|CD}}}} の垂直二等分線に一致する。
* 双曲型円束のポンスレ点が {{mvar|C, D}} とすると、根軸は線分 {{math|{{overline|CD}}}} の垂直二等分線で、中心軸は直線 {{math|{{overline|CD}}}} に一致する。

[[直線束 (射影幾何学)|直線束]]を半径無限大の円からなる円束と解釈すれば、その根軸はその直線束に再び属する直線になる。与えられた三円が、どの二つの円も根軸を共有し、かつ中心が共線となるならば、その三円は必ず共通の円束に属する。

== 注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist2}}
=== 出典 ===
{{reflist}}

== 参考文献 ==
*{{citation | last1= Akopyan | first1= A. V. | last2= Zaslavsky | first2= A. A. | title= Geometry of Conics | publisher= [[American Mathematical Society]] | series= Mathematical World | volume= 26 | year= 2007 | isbn= 978-0-8218-4323-9}}.
*{{citation | doi= 10.2307/2691113 | title= Circles, Vectors, and Linear Algebra | first1= Richard E. | last1= Pfeifer | first2= Cathleen | last2= van Hook | journal= Mathematics Magazine | volume= 66 | issue= 2 | year= 1993 | jstor= 2691113}}.
*{{citation | last= Schwerdtfeger | first= Hans | title= Geometry of Complex Numbers: Circle Geometry, Moebius Transformation, Non-Euclidean Geometry | publisher= Dover | year= 1979}}.

== 関連項目 ==
* [[束 (射影幾何学)]]
* [[直線束 (射影幾何学)]]
* [[アポロニウスの円束]]: 互いに直交するふたつの円束

== 外部リンク ==
* [http://aozoragakuen.sakura.ne.jp/taiwa/taiwaNch03/node25.html 青空学園 数学対話 根軸]
* [http://aozoragakuen.sakura.ne.jp/taiwa/taiwaNch03/enkan/node4.html 青空学園 数学対話 反転と根軸]
* [http://hooktail.maxwell.jp/kagi/0e7e6c4fe963f994daaa8a572d3f142c.html 物理のかぎしっぽ]

{{DEFAULTSORT:えんそく}}
[[Category:初等幾何学]]
[[Category:円 (数学)]]
[[Category:射影幾何学]]
[[Category:数学に関する記事]]