一维射影变换详解.pptVIP

§ 6.1 一维基本形的射影对应 一、透视对应(中心射影) 定义 以下三种对应称为一维基本形之间的透视对应 (1). 点列?线束. 对应元素是关联的. (2). 点列?点列. 对应点连线共点. (S) 透视中心 § 6.1 一维基本形的射影对应 (3). 线束?线束. 对应直线交点共线. (s) 透视轴 注 (2) 透视对应是一个保交比的双射. (3) 连续两次透视对应的结果不一定仍是透视对应 . (1)透视关系具有对称性，但它不具有传递性. § 6.1 一维基本形的射影对应 二、一维基本形射影对应的综合法定义 1. Poncelet定义 设[?], [?]为两个一维基本形. 若存在n个一维基本形[?i] (i=1,2,…,n), 使得 … 则称由此决定的[?]到[?]的对应为一个一维射影对应, 记作 § 6.1 一维基本形的射影对应 2. Steiner定义 如果两个一维基本形之间的一个对应 满足 (1) ?为一个双射； (2) ?使得任意四对对应元素的交比相等, 则称?为[?]到[?]的一个一维射影对应, 记作 § 6.1 一维基本形的射影对应 注1 显然 注2 为一个保交比的双射. 注3 有限多个射影对应的乘积仍然是一个射影对应. 所以透视对应是射影对应的特例. 由定义不难看出，射影对应具有以下性质： (1) 保持一一对应关系； (3)对称性： (4)传递性： § 6.1 一维基本形的射影对应 定理2.1 Poncelet定义?Steiner定义. 证明. “?”. 显然. “?”. 用同一法证明点列?点列. 设?: l(P)→l(P)为满足Steiner定义的射影对应. 只要证?可以表示为有限次透视对应的积. 设P0, P1, P2为l(P)上相异三点, P为l(P)上任意一点, 连P0P1, P0P2; P0P1, P0P2. 设P0P1?P0P1=Q1, P0P2?P0P2=Q2. § 6.1 一维基本形的射影对应 (P0) (P0) 连 Q1Q2=m. 连P0P交m于Q, 连P0Q交l于P, 设P0P0交m于Q0, 则 § 6.1 一维基本形的射影对应 (1) 利用截的方法, 可证两个线束的情况. 也可证明一个点列与一个线束的情况. 注：对本定理的进一步思考. (2) 推论 两个相异的同类一维基本形之间的任一射影对应都可表为不超过两个透视对应的积. (3) 推论 任何两个一维基本形之间的射影对应都可表为不超过三个透视对应的积. § 6.1 一维基本形的射影对应 (4) Steiner作图法 已知两点列间射影对应的三对相异的对应元素, 求作任一元素的对应元素. (5) 思考：将(4)中 “点列” 改为 “一维基本形”. (6) 定理2.2 两个一维基本形间的射影对应可由已知相异的三对对应元素唯一确定. § 6.1 一维基本形的射影对应 三、射影对应成为透视对应的条件 定理2.3 两个同类的一维基本形之间的射影对应成为透视对应?公共元素自对应. 证明 由对偶原则, 只要考虑点列. “?” 设点列l(P)与l(P)透视对应, S为透视中心, l ? l=X. 由于直线SX交l, l于同一点X, 所以X自对应. “?” 设f: l(P)→ l(P)为射影对应, 使得f(X)=X. 设f(P)=P. § 6.1 一维基本形的射影对应 在l(P)上取异于X的两相异点A, B. 设f(A)=A, f(B)=B. 则A, B相异且不同于X. 设AA ? BB=S, 并设SP ? l=P. 设?是以S为透视中心l(P), l‘(P’)间的透视对应. 则因为射影对应?与f有相异的三对对应点重合, 即A, A; B, B; X, X, 从而?=f. 于是P=P. 即f是透视对应. § 6.1 一维基本形的射影对应 注：由定理2.3想到 证诸点共线 证其为某两透视线束对应直线的交点. 证诸线共点 证其为某两透视点列对应点的连线. § 6.1 一维基本形的射影对应 三、射影对应成为透视对应的条件 例1 (Pappus定理)在共面的相异二直线li上各取相异三点Ai, Bi, Ci(i=1,2). 设 则L, M, N三点共线. 分析 L, M, N共线?LM, A2C1, A1C2三线共点. 　以两个有公共点的点列截上述三对直线. 比如A1B2与C1B2. § 6.1 一维基本形的射影对应 三、射影对应成为透视对应的条件 目标 证明A1B2(B2, D, N, A1)与C