第三章一维射影几何学

合集下载

射影几何公理

射影几何公理

射影几何公理【实用版】目录1.射影几何的定义与基本概念2.射影几何公理的基本内容3.射影几何公理的应用4.射影几何的发展历程与意义正文射影几何是一种数学几何学,主要研究空间中直线、平面以及它们的射影。

射影几何公理是射影几何的基本理论,它为射影几何的研究和发展奠定了基础。

本文将从射影几何的定义与基本概念、射影几何公理的基本内容、射影几何公理的应用以及射影几何的发展历程与意义四个方面进行介绍。

首先,射影几何的定义与基本概念。

射影几何起源于光学和摄影测量学,它的基本概念包括射影、射影空间、射影直线、射影平面等。

射影是指从一个点向一个平面投射的过程,射影空间是指由射影和平面构成的空间。

射影几何的研究对象是射影空间中的直线、平面以及它们的射影。

其次,射影几何公理的基本内容。

射影几何公理包括以下三个基本原理:1)直线确定一个平面;2)两个不共线的点确定一条直线;3)三个不共线的点确定一个平面。

这些基本原理为射影几何的研究提供了理论基础。

接着,射影几何公理的应用。

射影几何公理在实际应用中具有广泛的应用价值,例如在计算机图形学、摄影测量学、空间探测等领域都有重要的应用。

射影几何公理在解决实际问题中起到了关键作用。

最后,射影几何的发展历程与意义。

射影几何公理的发展历程可以追溯到古希腊时期,欧几里得和阿里士多德等数学家都对射影几何做出了重要贡献。

随着科学技术的发展,射影几何在现代数学、物理学、工程学等领域发挥着越来越重要的作用,它为许多实际问题的解决提供了理论支持。

总之,射影几何公理是射影几何的基本理论,它为射影几何的研究和发展奠定了基础。

射影几何公理在实际应用中具有广泛的应用价值,它为许多实际问题的解决提供了理论支持。

射影几何学

射影几何学

射影几何学射影几何是研究图形的射影性质,即它们经过射影变换后,依然保持不变的图形性质的几何学分支学科。

一度也叫做投影几何学,在经典几何学中,射影几何处于一种特殊的地位,通过它可以把其他一些几何学联系起来。

发展简况十七世纪,当笛卡儿和费尔马创立的解析几何问世的时候,还有一门几何学同时出现在人们的面前。

这门几何学和画图有很密切的关系,它的某些概念早在古希腊时期就曾经引起一些学者的注意,欧洲文艺复兴时期透视学的兴起,给这门几何学的产生和成长准备了充分的条件。

这门几何学就是射影几何学。

基于绘图学和建筑学的需要,古希腊几何学家就开始研究透视法,也就是投影和截影。

早在公元前200年左右,阿波罗尼奥斯就曾把二次曲线作为正圆锥面的截线来研究。

在4世纪帕普斯的著作中,出现了帕普斯定理。

在文艺复兴时期,人们在绘画和建筑艺术方面非常注意和大力研究如何在平面上表现实物的图形。

那时候,人们发现,一个画家要把一个事物画在一块画布上就好比是用自己的眼睛当作投影中心,把实物的影子影射到画布上去,然后再描绘出来。

在这个过程中,被描绘下来的像中的各个元素的相对大小和位置关系,有的变化了,有的却保持不变。

这样就促使了数学家对图形在中心投影下的性质进行研究,因而就逐渐产生了许多过去没有的新的概念和理论,形成了射影几何这门学科。

射影几何真正成为独立的学科、成为几何学的一个重要分支,主要是在十七世纪。

在17世纪初期,开普勒最早引进了无穷远点概念。

稍后,为这门学科建立而做出了重要贡献的是两位法国数学家——笛沙格和帕斯卡。

笛沙格是一个自学成才的数学家,他年轻的时候当过陆军军官,后来钻研工程技术,成了一名工程师和建筑师,他很不赞成为理论而搞理论,决心用新的方法来证明圆锥曲线的定理。

1639年,他出版了主要著作《试论圆锥曲线和平面的相交所得结果的初稿》,书中他引入了许多几何学的新概念。

他的朋友笛卡尔、帕斯卡、费尔马都很推崇他的著作,费尔马甚至认为他是圆锥曲线理论的真正奠基人。

高等几何讲义 第三章 射影变换____§1 一维射影变换

高等几何讲义 第三章  射影变换____§1   一维射影变换
{ a, b, c, d,} a/ //{a//, b//, c//, d//, } 与 //{a//, b//, c//, d//, } a /{a/, b/, c/, d/, }
的乘积.
➢ 注意:定理6的证明表明,虽然射影对应可传递, 但透视一般是不可传递的.
高 等 几 何 ( Higher Geometry )
1 1
u1 u2
t1 t2
v1 v2
1 2
u1 u2
1 2
v1 v2
t1 t2
x vI x/ v/ II
高 等 几 何 ( Higher Geometry )
§1 一维射影变换

u1 u2
t1 t2
v1 v2
t1 t2
,则
/1 /2
v21 u21
v12, u12
从而
u21 u12 /2
v21 v12 /1
c
证明:如图,设
p
(ab/)(a/b),q
(bc/)(b/c),
b a
s
t
q
r (ca/)(c/a), s (ac/)(ba/), p r
t (bc/)(ca/),d /. d
因 {a/, p, s, b} a {a/, b/, c/, d} c {t, q, c/, b}a,/ b/ / c/
§1 一维射影变换
且设 I 上的动点 x 对应 II 上
的点 x/,则 (u/v/; t/x/) (uv; tx).
u
t
设各点射影坐标分别为 u(u1,
u2)、v(v1, v2)、t(t1, t2)、 x(1,
u/
t/
2)、x/(/1, /2),则得

高等几何讲义 第三章 射影变换____§1 一维射影变换

高等几何讲义 第三章  射影变换____§1   一维射影变换

高 等 几 何 ( Higher Geometry )
§1 一维射影变换
➢ 例1 设 abcd 为平行四边形,过顶点 a 作直线
ae 与对角线 bd 平行.证明:直线 ab、ad
与直线 ac、ae 成调和共轭.
证明:因 ae 与 bd 平行,故 a
设二者交点为无穷远点 p.
o
p e
d
记(ac)(bd) o.则
的线性变换:
T:
//12 aa1211
a12 a22
12,det(aij)
0.
(3.1)
证明:不妨设两个一维基本形 I 与 II 均为点列.
在 I 上取定三点 u、v、t,使其在 II 上的对应点依
Hale Waihona Puke 次为 II 的坐标系 / [u/, v/; t/] 中的基点和单位点.
高 等 几 何 ( Higher Geometry )
高 等 几 何 ( Higher Geometry )
高 等 几 何 ( Higher Geometry )
§1 一维射影变换
➢ 同类一维基本形间的透视:
若两个点列是同一线束的 若两个线束是同一点列的
截影,则称这两个点列是 投影,则称这两个线束是
透视的.
透视的.
线束的心称为透视中心. 点列的底称为透视轴.
§1 一维射影变换
且设 I 上的动点 x 对应 II 上
的点 x/,则 (u/v/; t/x/) (uv; tx).
u
t
设各点射影坐标分别为 u(u1,
u2)、v(v1, v2)、t(t1, t2)、 x(1,
u/
t/
2)、x/(/1, /2),则得
11 0 0 11

高等几何3.3—3.4节

高等几何3.3—3.4节

注 上述定义、定理表明线束的交比与点列的交比 具有完全相同的形式.
5
云南师范大学
3.3 线束的交比
二、线束交比的几何意义
1. 斜率表示 如图, 在以S(x0,y0)为束心的线束 中,取定二直线x=x0, y=y0. 则直线的 (负)斜率k可以作为参数来表示线束. 由定理3. 8,可得
对于通常线束中以ki为斜率的四直线pi (i=1,2,3,4), 有
定理3.9的证明(留作练习)
15
云南师范大学
3.4 一维射影对应
二、一维射影几何基本定理:
定理3.10 设两个一维基本图形成射影对应, 则对应四元素的交比相等。
证明思路分析:由于四元素的交比等于对应 参数的交比,因此,若设两个一维几何图 形的对应参数分别为:
1、2、3、4, 1、2、3、4, 则证明:(12,3 4)=(12,3 4).
上式也可写为: x1 ' a11 a12 x1 , x2 ' a21 a22 x2 或
X ' AX ,
| A | 0.
22
云南师范大学
3.4 一维射影对应
例1. 求射影对应式, 使l上的点(1, 0), (2, 1), (4, 1)依次 对应于l'上的点(1, 0), (–1, 1), (1, 1). 解. 设所求对应式为
17
云南师范大学
3.4 一维射影对应
二、一维射影几何基本定理:
定理3.11 若两个一维基本图形对应四元素的 交比相等,则必成射影对应。 (证明见教材P.34-35)
定理3.10和定理3.11 说明:两个一维基本图 形成射影的充要条件是:对应元素的交比 相等。同时,这两个定理说明了:交比是 射影不变量。

第三章一维射影几何学

第三章一维射影几何学
设以一直线S截此四线于点A,B,C,D,则这四点的坐标顺序为:
O
a s, b s, c s a s 1 b s d s a s 2 b s
1 2 B,C D 1 A 2
A a
A
C
D
C B
B D b d a 2b
所以,点列上任意一点M的坐标可表为:
(a1 ub1 , a 2 b2 , a3 b3 )
的形式,当时,
0 可表为
(a1 b1 , a 2 b2 , a3 b3 )
的形式.为
M 1 , M 2 点列的基点

u

AC BD 定义:设A、B、C、D为共线的四点,把 定义为这四点 AD BC
sin Q3 cos Q1 sin Q1 cos Q3 sin Q4 cos Q2 sin Q2 cos Q4 sin Q4 cos Q1 sin Q1 cos Q4 sin Q3 cos Q2 cos Q3 sin Q2 sin Q3 Q1 sin Q4 Q2 sin Q4 Q1 sin Q3 Q2
第三章 一维射影几何学
§3.1 点列与线束
维的概念:平面内的点与直线都有两个坐标,平面内的点几 何学和线几何学都是二维的。 定义1 点列:动点在一条直线上移动产生的图形称为点列。那 条定直线称为点列的底,设 M 1 a1 a2 a2 ,M 2 b1 b2 b2
M 为定直线上二点, x1 , x2 , x3 为点列的动点,则:
1, ,0
四点中也只当某两点重合时,六个交比值才能有等于
第二种情况
1
AC AD BC BD

一维射影几何学

一维射影几何学

一、点列中四点的交比
例1(习题3.4):求四点(2,1,-1),(1,-1,1), (1,0,0),(1,5,-5)顺这次序的交比。
解:取(2,1,-1),(1,-1,1)为基点,将其余两点表为它 们的线性组合。易求 (1,0,0) ∝ (2,1,-1)+ (1,-1,1),
(1,5,-5)∝ (2,1,-1)- 3/2(1,-1,1),
( ABC ) ( AB, CD) . ( ABD)
8
西南大 学
一、点列中四点的交比 定理3.1. 设取A,B为基底,将这四点的齐次坐标顺次 表为a, b, a 1b, a 2b 则 ( AB, CD) 1 . (3.2)
2
3.2 点列的交比
证明思路分析:由于交比是简比的比,而简比又是分 割比的相反数,可以先将这四点的齐次坐标化为非齐 次坐标,再用A,B的非齐次坐标线性表示C,D的非齐次 坐标,利用定比分割公式,易求点C、D分割A、B的 分割比分别是: b b
3
本章内容
3.1
一、一维基本图形
点列和线束
(1) 点列(同一直线上点 的集合)
(1)' 线束(平面上过同一 点的直线的集合)
记号 l(A,B,C,…) 或 l(P) 底 元素
记号 L(a,b,c,…) 或 L(p) 束心 元素
4
3.1 一、一维基本图形
西南大 学
点列和线束
(2)点列和线束统称为一维几何图形(流 形),它们互为对偶图形。 (3)取定直线l上的两点A(a)、B(b)[a= (a , a b= (b , b , b )],则l上任一点M(x)可表为:
1
3
a3
2
3
a3
( ABC ) 1 因此, ( AB, CD) . ( ABD) 2

射影几何入门

射影几何入门

(一) 1-1对应 11. 1-1对应的定义 12. 1-1对应的意义和性质 23. 1-1对应在数学中的应用44. 无穷集之间的1-1对应 45. 部分和整体的1-1对应, 无穷集的定义 96. 无穷远点. 点列和线束107. 轴束. 基本形 118. 三种基本形的六种透视对应129. 射影关系 1410. 1到无穷或无穷到1的对应1611. 平面点的无穷阶数 1712. 一阶与二阶无穷集 1713. 通过空间一点的所有直线1714. 通过空间一点的所有平面1815. 平面上所有的直线 1816. 平面系和点系 1917. 空间中的所有平面 1918. 空间中的所有点 2019. 空间系 2020. 空间中的所有直线 2021. 点与数之间的对应 2022. 无穷远元素 22(二)1-1对应基本形之间的关系 2523. 七种基本形 2524. 射影性 2525. Desargues 定理 2626. 关于二个完全四边形的基本定理 2727. 定理的重要性 2828. 定理的重述 2829. 四调和点概念 2930. 调和共轭的对称性 3031. 概念的重要性 3032. 四调和点的投影不变性3133. 四调和线 3134. 四调和平面. 3135. 结果的概要性总结 3236. 可射影性的定义 3337. 调和共轭点相互之间的对应3338. 调和共轭的元素的隔离3439. 无穷远点的调和共轭 3440. 射影定理和度量定理, 线性作图法 3541. 平行线与中点 3642. 将线段分成相等的n个部分3743. 数值上的关系 3744. 与四调和点关联的代数公式3745. 进一步的公式 3846. 非调和比(交比) 39(三)射影相关基本形的结合4147. 叠加的基本形, 自对应元素4148. 无自对应点的情况 4249. 射影对应的基本定理, 连续性假设 4350. 定理应用于线束和平面束4451. 具有一公共自对应点的射影点列 4452. 无公共自对应点的射影相关点列 4553. 透视对应的两个射线束4754. 透视对应的面束(轴束)4755. 二阶点列 4756. 轨迹的退化 4857. 两阶线束 4858. 退化情况 4859. 二阶圆锥面 49(四) 二阶点列 4960. 二阶点列与二阶线束 4962. 切线 5063. 轨迹生成问题的陈述 5064. 基本问题的解决 5165. 图形的不同构作法 5266. 将轨迹上四点连到第五点的直线 5267. 定理的另一种陈述形式5368. 更为重要的定理 5469. Pascal定理 5470. Pascal定理中点的名称的替换 5471. 在一个二阶点列上的调和点5672. 轨迹的确定 5673. 作为二阶点列的圆和圆锥线5674. 通过五点的圆锥曲线 5775. 圆锥线的切线 5876. 内接四边形 5977. 内接的三角形 6078. 退化圆锥线 61(五)二阶线束 6379. 已定义的二阶射线束 6380. 圆的切线 6381. 圆锥曲线的切线 6582. 系统的生成点列线 6583. 线束的确定 6584. Brianchon定理 6785. Brianchon定理中线的替换6886. 用Brianchon定理构造线束6887. 与一圆锥曲线相切的点6888. 外切四边形 6989. 外切三边形 7090. Brianchon定理的应用7091. 调和切线 7192. 可射影性和可透视性 7193. 退化情况 7294. 对偶律 72(六) 极点和极线 7595. 关于圆的极点和极线 7596. 圆锥曲线的内点的共轭点的轨迹 7797. 更多的性质 7898. 极点极线的定义 7899. 极点与极线的基本定理78100. 共轭点与共轭直线 79102. 自配极三角形 79 103. 射影相关的极点与极线80104. 对偶性 81105. 自对偶定理 81106. 其他对应关系 82 (七) 圆锥曲线的度量性质83107. 直径与中心 83108. 相关的几个定理 83 109. 共轭直径 84110. 圆锥曲线的分类 84 111. 渐近线 84112. 有关的几个定理 85 113. 关于渐近线的定理 85115. 由双曲线及其渐近线切割的弦 86116. 定理的应用 86117. 由二条渐近线和一条切线形成的三角形 87118. 用渐近线来表示一个双曲线的方程 88119. 抛物线方程 88120. 参引共轭直径的有心圆锥线的方程 91(八) 对合(Involution) 9512 1. 基本定理 95122. 线性作图法 96123. 直线上点的对合的定义97124. 对合中的二重点 97125. 有关通过四点的圆锥曲线的Desargues定理 99126. 退化圆锥线 100127. 通过四点并与一已知直线相切的圆锥线 100128. 二重对应 100129. Steiner的作图方法101130. Steiner作图法在重对应中的应用 102131. 二阶点列中点的对合103132. 射线的对合 104133. 二重射线 105134. 通过一固定点与四线相切的圆锥线 105135. 双重对应 105136. 处于对合下的二阶射线束106137. 有关对合二阶射线束的定理 106138. 由一圆锥曲线确定的射线的对合 106139. 定理的陈述 106140. 定理的对偶 107 (九) 对合的度量性质 109 141. 无穷远点的引入; 对合的中心 109142. 基本度量定理 109 143. 二重点的存在 110 144. 二重射线的存在 112 145. 通过圆来构筑对合 112146. 圆点 113147. 对合中的正交射线对, 圆对合 114148. 圆锥线的轴 114149. 由一圆锥线确定的对合的点是圆点 115150. 圆点的性质 115151. 圆点的位置 116152. 寻找圆锥曲线的焦点117153. 圆和抛物线 117154. 圆锥线焦点性质 118 155. 抛物线的情况 119 156. 抛物面反射镜 119 157. 准线.主轴.顶点 119158. 圆锥线的另一种定义120159. 离心率 120160. 焦距之和与差 121 (十) 综合射影几何的历史123161. 早期成果 123162. 统一性原理 124163. Desargues 124164. 极点与极线 125165. 通过4点的二阶曲线的Desargues 定理 125166. 推广到空间的极点与极线理论 126167. 描述圆锥曲线的Desargues方法 126168. Desargues 工作的被接纳127169. Desargues时代的保守性127170. Desargues的写作风格128171. Desargues工作缺乏欣赏129172. Pascal与他的定理 129 173. Pascal的短评 130174. Pascal的独创性 130 175. De La Hire和他的工作131176. Descartes和他的影响132177. Newton和Maclaurin 133178. Maclaurin的证法 133 179. 画法几何与综合几何的二次复兴 134180. 对偶性, 同调性, 连续性, 偶然性联系 135181. Poncelet和Cauchy 135 182. Poncelet的工作 136 183. 解析几何妥欠综合几何的债 137184. Steiner和他的工作137185. Von Staudt和他的工作138186. 近期的发展 139附录 140参考文献148索引 151第1章 1-1对应1. 1-1 对应的定义【定义】任意给定两个集合,如果在它们之间能够建立一种对应,使得任意一个集合中的每一个元素,都对应到另一集合中的一个且仅一个元素,那么,这两个集合就称为能够建立1-1对应的集合,简称两个集合为1-1对应(One-to-One Correspondence)。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

例1:三角形的内角平分线与外角平分线 A
AB BD = AC DC
AB BE = AC EC
∴ D E
( BC , DE ) = −1
B C 定理6:设 ( AB, CD ) = −1 0为CD的中点,则 0C 2 = 0 A ⋅ 0 B 例1:已知点A(1,4,1),B(0,1,1),C(2,3,-3)在一 条直线上,试求在这条直线上的第四点D的齐次坐标,使交比 (AB,CD)=-4 解:将A,B两点取为基点,C点表为A,B两点的线性组合
α
1 α = 1−α ⇒ α = 2
α −1 1 3 2 令 α= ⇒ α −α +1 = 0 ⇒ α = ± i α 2 2
1 α= ⇒ α 2 −α +1 = 0 1−α
α= ±
1 2
3 i 2
α α= ⇒ α 2 − 2α = 0 ⇒ α = 0或2 若 α −1
(1)当 α 当α (2)当
∧ ∧ sin ac sin bd ( ab, cd ) = ∧ ∧ sin ad sin bc
d a c b
∠ (b ⋅ d ) = + ∠ (b ⋅ c ) ∴∠ ( a ⋅ c ) = −∠ ( b ⋅ c ) 2 π ∠(a ⋅ d ) = + ∠(a ⋅ c) 2 ∧ ∧ ∧ ∧ sin ∠ a ⋅ c con bc − sin bc cos bc = = −1 ∴ ( ab, cd ) = cos ∠ ( a ⋅ c ) sin ( bc ) ∧ ∧ cos bc sin bc
u1 a1 b1
由代数知识,必有数
u2 a2 b2
Hale Waihona Puke u3 a3 = 0 b3λ , u 使得 x = λa + ub
{
x1 = λa1 + ub1 x 2 = λa 2 + µb2 x3 = λa3 + µb3
{
u1 = λa1 + ub1 u 2 = λa 2 + µb2 u 3 = λa3 + µb3
5 ∴ λ2 = 8
作业:
P54
1,4,5,6
§3.3线束的交比 线束的交比
设a,b,c,d为一线束中的四直线,取a和b作为基线,把它们的齐次坐 标依次表示为 a, b, c = a + λ1b, d = a + λ2b (a,b既代表直线,又代表它 们的坐标向量)
设以一直线S截此四线于点A,B,C,D,则这四点的坐标顺序为:
x1 a1 b1
x2 a2 b2
x3 a3 = 0 b3
x =u a +v b A B
C
定义2 线束:动直线绕一个定点旋转所产生的图形称为线束。 那个定点称为线束的心。
设 L1 [a1 , a 2 , a3 ], L2 [b1 , b2 , b3 ] 为过定点的直线 L [u1 , u 2 , u3 ] 为线束的动直线,则
1, ∞, 0
∴ 四点中也只当某两点重合时,六个交比值才能有等于
第二种情况
α = −1
AC AD = BC BD
AC ⋅ BD ABC = −1 = ( AB, CD ) = AD ⋅ BC ABD
说明C点分割线段AB 的值与D点分割线段AB的值只差一个符号, 一个是内分点,一个是内外分点 定义3:当 ( AB, CD ) = −1 时,则称C,D两点调和分割A,B两点 或者称为A,B两点所成的点偶与C,D两点所成的点偶 成调和共轭
第三章 一维射影几何学 §3.1 点列与线束
维的概念:平面内的点与直线都有两个坐标,平面内的点几 何学和线几何学都是二维的。 定义1 点列:动点在一条直线上移动产生的图形称为点列。那 条定直线称为点列的底,设 M 1 ( a1 a2 a2 ) ,M 2 ( b1 b2 b2 )
M 为定直线上二点, ( x1 , x2 , x3 )为点列的动点,则:
所以,点列上任意一点M的坐标可表为:
(λa1 + ub1 , λa 2 + µb2 , λa3 + µb3 )
的形式,当时,
λ ≠ 0 可表为 (a1 + λ ′b1 , a 2 + λ ′b2 , a3 + λ ′b3 )
M 1 , M 2 点列的基点
的形式.为
λ′ =
u
λ
AC ⋅ BD 定义:设A、B、C、D为共线的四点,把 定义为这四点 AD ⋅ BC
∞ = 1 六组交比值分别为;1,1,0, ,0,∞
=2
α
α
0, 六组交比值分别为: ∞,1,1,∞,0 1 1 2, = −1 六组交比值分别为-1,-1,2,, 2 2 1 1 = 六组交比值分别为 1 ,, ,, 1, 1 2 2− − 2 2 2
1 1 2, , 1, 1, , − − 2 六组交比值分别为 2 2
AC ⋅ BD ∴ ( AB ⋅ CD ) = AD ⋅ BC
(有向线段,而非距离)
a, b, a + λ1b, a + λ2b

λ1 ( AB ⋅ CD ) = λ2
定理2: 设点列上四点A、B、C、D的齐次坐标为P+ µi q ( i = 1, 2,3, 4 ) 则
( u1 − u3 )( u2 − u4 ) ( AB, CD ) = ( u1 − u4 )( u2 − u3 )
sin Q3 sin Q1 sin Q4 sin Q2 − − cos Q3 cos Q1 cos Q4 cos Q2 = sin Q4 sin Q1 sin Q3 sin Q2 − − cos Q4 cos Q1 cos Q3 cos Q2
按顺序点列的交比,用符号来记 ( AB, CD )
§3.2点列的交比 点列的交比
( ABC ) AC ⋅ BD AC 1 ∴ ( AB ⋅ CD ) = = ⋅ AD = AD ⋅ BC BC ( ) ( ABD ) ( BD ) ∴ 交比可由简比求得
定理1 :设取A和B为基点,将这四点的齐次坐标顺序表达为:
O
a × s, b × s, c × s = a × s + λ1 ( b × s ) d × s = a × s + λ2 ( b × s )
∴四点的交比为:AB,CD ) = (
A′
A a C
D′
λ1 λ2 λ ′B′,C ′D′ ) = 1 (A λ2
C ′ B′
B D b d = a + λ2b
1
1−α α −1 (5) ( AD, BC ) = ( BC , AD ) = ( CB, DA) = ( DA, CB ) = α α (6) ( AD, CB ) = ( BC , DA) = ( CB, AD ) = ( DA, BC ) = α −1
讨论三种特殊情况: 1 令 α = ⇒ α = ±1
例2:已知四直线a,b,c,d的方程为
π
2 x − y + 1 = 0,3 x + y − 2 = 0
7 x − y = 0,5 x − 1 = 0 求证:这四直线共点,并求(ab,cd)
ρ1 ( 2,3, −3) = (1, 4,1) + λ1 ( 0,1,1)
2 ρ1 = 1 + λ1 ⋅ 0 5 1 3ρ1 = 4 + λ1 ⇒ ρ1 = 2 , λ1 = − 2 −3ρ = 1 + λ 1 1
−5 λ1 Q ( AB, CD ) = = 2 = −4
λ2
λ2
点的纵坐标为: MA = k1 , MB = k2 , MC = k3 , MD = k4
y
d c D b C B a
AC ⋅ BD ∴ ( ab, cd ) = ( AB, CD ) = AD ⋅ BC ( MC − MA) ⋅ ( MD − MB ) = ( MD − MA)( MC − MB )
∧ ∧ sin ac sin bd = ∧ ∧ sin ad sin bc ∧ 表示把直线a到c的有向转角。 其中 ac
例1:试证一角的两边与其内外角平分线的交比等于-1。 证明:如图,设角的两边为a,b,内外角平分线分别为c,d.
M1 若以 Q1 , Q2 , Q3 , Q4 分别表示四直线的倾角,则:
( k3 − k1 ) ⋅ ( k4 − k2 ) = ( k4 − k1 )( k3 − k2 )
O
A x
( tgQ3 − tgQ1 )( tgQ4 − tgQ2 ) ( ab, cd ) = ( tgQ4 − tgQ1 )( tgQ3 − tgQ2 )
推论:设点列四点A、B、C、D的齐次坐标是ν i p + ui q, i = 1, 2,3, 4 则 ( AB, CD ) = v1 u1 ⋅ v2 u2 ÷ v1 u1 ⋅ v2 u2 v3 u3 v4 u4 v4 u4 v3 u3 点列的交比与四点的排列的顺序有关,四点在一直线上有4!=24种排 列,故有24种交比。这24种交比不是彼此不同的,可以分为六种不 同的组别,每组的值是相同的。 定理3:在点列的交比中将某两点互换,同时互换其余两点,则交 比值不变。 定理4:只限于一对点之间的交换,则交比值转变为其倒数 定理5:交换中间两点,则交比值转变为1与原值之差
由定理3~定理5可知:24个交比一般取六个不同的数值: (1) ( AB, CD ) = ( BA, DC ) = ( CD, AB ) = ( DC , BA ) = α (2)
相关文档
最新文档