虚円点

虚円点（きょえんてん、テンプレート:Lang-en-short）または無限遠円点（むげんえんえんてん）は、射影幾何学において、テンプレート:仮リンク上にあるすべての実円が通る2つの無限遠点である。虚点とも言われる。

座標

3組の複素数で表される同次座標系テンプレート:Mathで表すとテンプレート:Mathとなる。

三線座標

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

$-1:\cos C-i\sin C:\cos B+i\sin B,-1:\cos C+i\sin C:\cos B-i\sin B$

または

$\cos C+i\sin C:-1:\cos A-i\sin A,\cos C-i\sin C:-1:\cos A+i\sin A$

または

$\cos B+i\sin B:\cos A-i\sin A:-1,\cos B-i\sin B:\cos A+i\sin A:-1,$

ただし $i=\sqrt{-1}$.

複素化された円

中心をテンプレート:Math、半径をテンプレート:Mvarとする円（テンプレート:Mathはすべて実数）の方程式は次の形で与えられる。

$(x-x_0{)}^2+(y-y_0{)}^2=r^2.$

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

$A{x}^2+A{y}^2+2B_{1}xz+2B_{2}yz-C{z}^2=0.$

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

性質

虚円点はテンプレート:仮リンクと無限遠直線の交点である。また、回転や平行移動によって不変である。

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

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

Sommervilleテンプレート:Enlinkは、原点を通る2直線$u:y=x\tan \theta ,u^{\prime }:y=x\tan {\theta }^{\prime }$ について、2つの虚円点をテンプレート:Mathとして、複比を次のように得た。

$(u{u}^{\prime },\omega {\omega }^{\prime })=\frac{\tan \theta -i}{\tan \theta +i}÷\frac{\tan {\theta }^{\prime }-i}{\tan {\theta }^{\prime }+i},$

$\therefore \varphi ={\theta }^{\prime }-\theta =\frac{i}{2}\log (u{u}^{\prime },\omega {\omega }^{\prime }).$

出典

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