关于射影坐标介绍

[拼音]：sheying zuobiao

[外文]：projective coordinate

在射影几何学中和在研究图形的纯射影性质时，常采用的一种坐标系。它在射影几何中的作用，就象直角坐标系在欧氏几何中和仿射坐标系在仿射几何学中的作用。

这里主要介绍以点为基本元素的平面上的射影坐标系，其他二维基本形或其他维的基本形上的射影坐标系与此相仿。

建立射影坐标系的方法很多，一般说来有几何方法和解析方法。

它以射影几何的基本不变量交比为基础。设在射影平面p2上取四点A0，A1，A2和E，其中每三点不共线；前三点叫做射影坐标系的基点，E叫做幺点(单位点)。

设p为p2上任意点，作交比

式中A0(A1，A2；E，p)表示四条直线A0A1，A0A2，A0E，A0p 的交比，其余两式相仿。不难证明，μ0μ1μ2=1。于是可以令

而(x0，x1，x2)就是p点的齐次射影坐标。A0，A1，A2和E的坐标依次是(1，0，0)，(0，1，0)，(0，0，1)和(1，1，1)。在射影坐标系里，任意直线的方程是含x0，x1，x2的线性齐次方程。特殊地，A1A2，A2A0，A0A1的方程依次是x0=0，x1=0，x2=0。

若用扩大欧氏平面或扩大仿射平面代替射影平面，通过上述方法所得的就是扩大平面上的射影坐标系。在欧氏平面或仿射平面上，先建立笛卡儿坐标系，则在扩大平面上的齐次笛卡儿坐标系可以看作扩大平面上一种特殊的射影坐标系，其基点是笛卡儿坐标系的原点和两条坐标轴上的无穷远点，而幺点则是具有非齐次坐标(1，1)的点。

在射影直线p1上和三维射影空间p3里也可以建立射影坐标系。

在p1上取三个不同的点A0，A1和E。若p为p1上任意点，令交比

，

就得到p的射影坐标(x0，x1)。

在p3里，取五点A0，A1，A2，A3，E，其中每四点不共面。取以A0，A1，A2，A3为顶点的四面体， 令αj为顶点Aj的对面，αij为棱AjAj的对棱，而εij，πij依次为αij和E，p所确定的平面(i，j＝0，1，2，3)。令交比

，

则(x0，x1，x2，x3)是p点的射影坐标。

先给出射影平面p 2的解析定义。取有序非零三数组ξ(ξ0，ξ1，ξ2) 或即三维矢（也称向量）代表p 2的点，而两个非零矢ξ，η，若满足关系ξ=λη，其中λ为非零数量，就代表p 2的同一点。三个线性相关的矢代表p2的共线点。

在p2中取四点A0，A1，A2，E，它们每三个不共线，并选取代表它们的矢量α0，α1，α2，，使=μ(α0+α1+α2)这样，p 2中每一点p的代表矢ξ都可以写成的形状，其中x0，x1，x2不同时为零，而且代表p的任意两个矢都只差一个常数因子。 (x0，x1，x2)就是p点的射影坐标，这个坐标系的基点是 A0，A1，A2，幺点是E。显然(ξ0，ξ1，ξ2)本身也是一项射影坐标。扩大欧氏(或仿射) 平面的齐次笛卡儿坐标是扩大平面上的一种特殊射影坐标系。

以上两种方法可以互相验证。解析方法以及下面的线性变换法更容易推广到其他类型的基本形。

射影坐标变换的解析表示是满秩(非异)齐次线性变换。据此，可以得到射影坐标系的又一种建立方式。设在p（或扩大欧氏平面，或扩大仿射平面）上已建立了齐次坐标(y0，y1，y2)，令

，

则(x0，x1，x2)是射影坐标。 这个坐标系的基点和幺点不难从变换方程求得。

这是欧氏平面上非无穷远点的射影坐标的度量解释。设在欧氏平面上取一个三角形的顶点A0，A1，A2为射影坐标系的基点。若E为三角形重心（即三条中线的汇合点），则一个非无穷远点p的射影坐标和有向三角形pA1A2，pA2A0，pA0A1的面积成比例；若E为三角形内心（内接圆心），则p的射影坐标和它到三角形三边A1A2，A2A0，A0A1的有向距离成比例。

参考书目

1. 梅向明等编：《高等几何》，高等教育出版社，北京，1983。