2013一维射影对应49.pptVIP

例3. 如果三点形ABC的边CB, CA, AB分别通过在同一直线上的三点P, Q, R, 又顶点B, C各在一条定直线上. 求证：顶点A也在一条定直线上. 证明 显然有 (P) (B,B1,B2,…) (C,C1,C2,…) 于是有 R(B,B1,B2,…) Q(C,C1,C2,…) A,A1,A2恰为上述两射影点列对应直线的交点. 下面只需证明上述射影对应为透视对应，为此只需证明QR是自对应直线。设QR与BB1和CC1的交点分别是BC, 则 一维基本形的射影对应 注记. 可用Desargues透视定理证明. R(B,B1,B2,B…) Q(C,C1,C2,C…) 例4. 设两直线l1, l2交于点O, 两定点S1, S2与O共线, 动直线l经过另一定点M, 分别交l1, l2于点A1, A2. 证明：直线S1A1, S2A2的交点轨迹为一条直线. 例5：设两相异定直线l?l=O, 不经过O的定直线m分别交l, l于点U, V. X为m上异于U, V的一点, 过X异于m的两直线与l, l的交点依次为A , B ; B, A. 求证： 证明 因为UV, AB, BA共点于X, 于是由此确定了l(P)到l(P)的以X为透视中心的透视对应, O为自对应的公共元素. 所以 (OU, AB)=(OV, BA) 从而有 (OU, AB)=(VO, AB). 相异 所以有 l(O, U, A, B) l(V, O, A, B). 一维基本形的射影对应 l(O, U, A, B) l(V, O, A, B). 四、射影对应的代数定义 定义. 设在两个点列上各取定齐次坐标系. 称由非奇异线性对应 决定的两点列间的对应为射影对应. 其中(x1, x2)与(x1, x2)为任一对对应点的齐次坐标, ρ为非零比例常数. (*)也常写成 定理 代数定义?Steiner定义. 证明. (不作要求). 注. 相差一个非零比例常数的二阶非异矩阵为同一个一维射影对应的矩阵. 一维基本形的射影对应 注. 由(*)理解定理. 一维基本形的射影对应 例8. 求射影对应式, 使l上的点(1, 0), (2, 1), (4, 1)依次对应于l上的点(1, 0), (–1, 1), (1, 1). 解. 设所求对应式为 将已知三对对应点的坐标分别代入, 得 xi xi (1, 0) (1, 0) (2, 1) (–1, 1) (4, 1) (1, 1) 6个方程, 7个未知数的齐次线性方程组. 一维基本形的射影对应 求解过程：消去?i , 求出aij的一组比值即可. 代入 解得 于是, 所求对应式为 基础解系 一维基本形的射影对应 一维射影对应 (1) 直观的定义 (2) 利用几何特征性质的定义 (3) 代数(解析)的定义 Poncelet定义 Steiner定义 非奇异线性对应 一维基本形的射影对应 * * 一维基本形的射影对应 一、一维透视对应(中心射影) 定义 以下三种对应称为一维基本形之间的透视对应： (1). 点列与线束. 如果一点列与一线束的对应元素是结合的，就称该点列与线束成透视对应，记为： (2). 点列与点列. 如果两点列对应点连线共点，或者说这两点列与同一线束成透视对应，则称这两点列成透视对应，记为： (3). 线束与线束. 如果两线束对应直线交点共线，或者说这两线束与同一点列成透视对应，则称这两线束成透视对应，记为： (s) 透视中心 透视轴 注记 透视对应保交比；两透视对应的复合不必是透视对应。 (S) 二、一维射影对应 1. Poncelet定义 设[?], [?]为两个一维基本形. 若存在有限个一维基本形[?i] (i=1,2,…,n), 使得 … 则称 [?]与[?]成一维射影对应, 记作 注1. 显然 注2. 为一个保交比的双射. 注3. 有限多个射影对应的积仍然是一个射影对应. 2. Steiner定义 如果两个一维基本形之间的一个对应 满足 (1) ?为一个双射； (2) ?使得任意四对对应元素的交比相等, 则称?为从[?]到[?]的一个一维射影对应, 记作 ，所以透视对应是射影对应的特例. 一维基本形的射影对应 定理1. Poncelet定义?Steiner定义. 证明. “?”. 显然. “?”. 只证明点列对应点列的情况. 设?: l(P)→l(P)为满足Steiner定义的射影对应. 只要证?可以表示为有限次透视对应的积. 设P0, P1, P2为l(P)上相异三点, P为l(P)上任意一点