虚円点(きょえんてん、: circular points at infinity, cyclic points, isotropic points)または無限遠円点(むげんえんえんてん)は、射影幾何学において、複素射影平面英語版上にあるすべての実円が通る2つの無限遠点である[1][2][3][4][5]。虚点とも言われる。

座標

編集

3組の複素数で表される同次座標系(x : y : z)で表すと(1 : i : 0),(1 : -i : 0)となる。

三線座標

編集

基準となる三角形ABCの3つの内角の大きさをA,B,Cとして、三線座標において、虚円点は次の式で表される[6]

 

または

 

または

 

ただし  .

複素化された円

編集

中心を(x0 , y0)半径rとする円(x0 , y0 , rはすべて実数)の方程式は次の形で与えられる。

 

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

 

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

性質

編集

虚円点は等方直線英語版無限遠直線の交点である[7]。また、回転平行移動によって不変である。

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

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

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

 
 

出典

編集
  1. ^ 『国際十進分類法』 4巻、全日本科学技術団体聯合会、1948年。doi:10.11501/1122661 
  2. ^ 森本清吾『近世幾何学』積善館、1929年。doi:10.11501/1171033 
  3. ^ 窪田忠彦『幾何学の基礎 (岩波全書)』岩波書店、1946年、70,99頁。doi:10.11501/1371935 
  4. ^ 小倉金之助 訳『初等幾何學 第2卷 空間之部』山海堂、1915年、458-459,523頁。doi:10.11501/1082037 
  5. ^ 数学における可視化への具象的なアプローチ – FujishiroLab”. 2024年8月2日閲覧。
  6. ^ Whitworth William Allen (1866). Trilinear Coordinates and Other Methods of Modern Analytical Geometry of Two Dimensions. Deighton Bell And Company. p. 127. https://archive.org/details/trilinearcoordin029731mbp/page/126/mode/2up 8 December 2021閲覧。 
  7. ^ C. E. Springer (1964) Geometry and Analysis of Projective Spaces, page 141, W. H. Freeman and Company
  8. ^ Sommerville, Duncan M'Laren Young (1914.). The elements of non-Euclidean geometry, by D.M.Y. Sommerville.. https://quod.lib.umich.edu/u/umhistmath/ABN6053.0001.001/1?rgn=works;view=pdf;rgn1=author;q1=Sommerville 
  • Pierre Samuel (1988) Projective Geometry, Springer, section 1.6;
  • Semple and Kneebone (1952) Algebraic projective geometry, Oxford, section II-8.