周明旺

(连云港师范高等专科学校 数学与信息工程学院，江苏 连云港 222006)

二维射影变换是高等几何的核心内容之一，由无三点共线的四对对应点唯一确定。然而其射影变换式的求解在教材中采用的是由12 个线性方程求13 个未知量比值的方法，计算量很大。基于上述原因另辟新径，利用矩阵的初等变换知识给出了二维射影变换基本定理的一种新证法，进而给出二维射影变换的矩阵算法。这样以来不单简化了计算，更重要的是对于密切学科间的渗透、思想观念的更新、思维方法的训练、探究能力的培养等方面起着重要作用。［1］

1 预备知识

定义1 设在点场π 与π/上各建立了齐次射影坐标系，x = (x1，x2，x3)，x/= (x/1，x/2，x/3)分别是其上点的射影坐标，如果映射φ:π →π/可以表示成

则称φ 是π 到π/的二维射影对应。特别地，若π/= π，则称φ 是π 上的二维射影变换。［2］

引理1 设A，B，C 为平面上不共线三点，其齐次坐标分别为a，b，c，则平面上任一点的齐次坐标可以表示为la +mb +nc，其中l，m，n ∈R，且l2+m2+ n2≠0 。［2］

定义2 设A，B，C，D 为平面上无三点共线的四点，适当选取其齐次坐标分别为a，b，c，d，若d= a+b+c，则称a，b，c，d 为点A，B，C，D 的规范化齐次坐标。

2 主要结果

其中l，m，n ∈R，且lmn ≠0 ，

则la，mb，nc，d 是A，B，C，D 的规范化齐次坐标。

证明:因为对矩阵施行初等行变换不改变列向量的线性关系。［3］

对于

即d = la+mb+nc，所以la，mb，nc，d 是A，B，C，D 的规范化齐次坐标。

定理2 射影平面上任意的两个四点组(其中各组内均无三点共线)，则存在唯一的二维射影变换。［4］

下证A 的存在性与唯一性。

由φ P( )i = P/i，i = 1，2，3，4。则

由引理1，存在全不为零的λ1，λ2，λ3使得P4= λ1P1+ λ2P2+ λ3P3，同理存在全不为零的使得于是

而对于ρ4的不同取值，结合点的齐次坐标的性质知:射影变换是相同的，即射影变换唯一。……