在齐次坐标中演示文稿.pptxVIP

引入目的 实现数、形结合，用解析法研究射影几何 基本要求 既能刻画有穷远点，也能刻画无穷远点 基本途径 从笛氏坐标出发，对通常点与笛氏坐标不矛盾 主要困难 来自传统笛氏坐标的干扰 必须注意 齐次坐标与笛氏坐标的根本区别在于齐次性，因此，学习诀窍是在齐次性的前提下灵活运用线性代数知识。 尽管针对拓广平面, 但是今后通用 齐次性问题 几乎无处不在的非零比例常数和比例关系 二、齐次点坐标 定义1.25 有穷远点 无穷远点 非齐次 齐次坐标 关系 注 对一维齐次点坐标定义的进一步理解 § 2 齐次坐标 1. 一维齐次点坐标 (x1, x2) (x2≠0) x x= x1 / x2 (x1, 0) (x1≠0) (1). 都有齐次坐标 反之， 都对应唯一一点 (0, 0)不是任何点的齐次坐标. (2). 与 是同一点的齐次坐标. 因此， 直线上每个点都有无穷多个齐次坐标，同一点的任意两个齐次坐标之间相差一个非零比例常数. (3). 原点：(0, x2), 特别地，(0, 1). 无穷远点：(x1, 0), 特别地，(1, 0). (4). 一维齐次点坐标的集合为(2维实向量类的集合)： 此即射影直线的线束模型. 二、齐次点坐标 § 2齐次坐标 1. 一维齐次点坐标 注：定义1.25没有解决无穷远直线的问题. 引入 可视为 P为 通常点 无穷远点 设 li: Ai x+Bi y+Ci=0 (i=1, 2). 记 |AB| 表示 (1). P为通常点， 设 P(x, y). 则 令|BC|=x1, |CA|=x2, |AB|=x3. 则 从而 x : y : 1=x1 : x2 : x3. 于是, 可以把与(x, y, 1)成比例的任何有序实数组(x1, x2, x3)作为点P的齐次坐标. 2. 二维齐次点坐标 § 2 齐次坐标 同样有|BC|, |CA|. 引入 (2). P=P∞, l1 // l2. 即P∞为l1, l2方向上的无穷远点. 目标： 构造P∞的齐次坐标，使之仅与l1, l2的方向(斜率)有关. 因l1 // l2. 故前述x3=0.考虑取(x1, x2, 0)为P∞的齐次坐标. 只要证明x1, x2仅与li的方向(斜率)有关. 当li不平行于y轴时，即x1≠0. 不难证明 其中λ为li的斜率, 即(x1, x2, 0)表示方向为λ的无穷远点. 特别地, 若x2=0, 则表示x轴上的无穷远点. 当li平行于y轴时， λ=∞. 可合理地取(0, x2, 0) (x2≠0)为y轴上无穷远点的齐次坐标. 引出定义 2. 二维齐次点坐标 §2 齐次坐标 定义1.26 有穷远点 方向为λ =x2/x1的无穷远点 非齐次 齐次坐标 关系 注 对二维齐次点坐标定义的进一步理解 y轴上的无穷远点 2. 二维齐次点坐标 § 2 齐次坐标 (x, y) x = x1 / x3, y = x2 / x3 (x1, x2, x3) (x3≠0) (x1, x2, 0) (x1≠0) (λ=x2/x1) (0, x2, 0) (x2≠0) 无穷远点 (1). 对任意的P∈π, 都有齐次坐标(x1, x2, x3). 对于通常点x3≠0；对于无穷远点x3=0, 但x12+x22≠0. 反之, 任给(x1, x2, x3) (x12+x22+x32≠0), 都对应惟一一点P∈π. (0, 0, 0)不是任何点的齐次坐标. (2). 对任意的0≠ρ∈R, (x1, x2, x3)与(ρx1,ρx2,ρx3)是同一点的齐次坐标. 因此, 平面上每个点都有无穷多个齐次坐标, 同一点的任意两个齐次坐标之间相差一个非零比例常数. (3). 原点：(0, 0, x3), 特别地(0, 0, 1); 无穷远点(x1, x2, 0), 若x1≠0, 则可表为(1, λ, 0), 其中λ为该无穷远点的方向. 特别地, x轴上的无穷远点为(1, 0, 0), y轴上的无穷远点为(0, 1, 0). (4). 平面上点的齐次坐标的集合为(3维实向量类的集合) ： 此即射影平面的线丛模型. 2. 二维齐次点坐标 § 2齐次坐标 二、二维齐次点坐标 例 1 求下列各点的齐次坐标. (1). 齐次坐标(一般形式) 特定一组 (2). 求直线 上的无穷远点. 斜率 代入 所求无穷远点为 也就是(4, 3, 0). 上的无穷远点为 § 2 齐次坐标 三、直线的齐次坐标方程 定理 1.17 在齐次坐标下，直线的方程为 (1.14) 反之，(1.14)表示直线. 称(1.14)为直线的齐次方程. 注： 定理1.17不仅给出了拓广平面上直线的齐次方程，还对通常直线提供了