虚円点

虚円点（きょえんてん、）または無限遠円点（むげんえんえんてん）は、射影幾何学において、上にあるすべての実円が通る2つの無限遠点である。虚点とも言われる。

 座標 
3組の複素数で表される同次座標系で表すととなる。

 三線座標 
基準となる三角形の3つの内角の大きさをとして、三線座標において、虚円点は次の式で表される。



または



または



ただし .

 複素化された円 
中心を、半径をとする円（はすべて実数）の方程式は次の形で与えられる。



線型方程式系に変形して、解を複素数の範囲まで広げる（）。複素化されたすべての実円は虚円点を通るため、「circular points」という名がつけられている。同次座標において円の方程式は次の式で与えられる。



係数がすべて実数で与えられる場合、実射影平面上のすべての円の方程式をこの形で表せる。2つの虚円点の座標を代入すれば、すべての円が虚円点を通ることを確認できる。一般に、虚円点を通る代数曲線は円的（circular）であると言われる。例えば、ノイベルグ三次曲線は円的三次曲線（circular cubic）である。

 性質 
虚円点はと無限遠直線の交点であるC. E. Springer (1964) Geometry and Analysis of Projective Spaces, page 141, W. H. Freeman and Company。また、回転や平行移動によって不変である。

角度の概念は虚円点、自然対数、複比を用いて定義することができる。

 二つの直線が成す角は、二つの直線と、それらと虚円点で交わるような直線が成す束の複比の自然対数である。

Sommervilleは、原点を通る2直線 について、2つの虚円点をとして、複比を次のように得た。





 出典 

 Pierre Samuel (1988) Projective Geometry, Springer, section 1.6;
 Semple and Kneebone (1952) Algebraic projective geometry, Oxford, section II-8.

Category:無限
Category:複素多様体
Category:射影幾何学
Category:数学に関する記事