椭圆内接四边形的四极点共线调和分割定理及其简证(东大徐文平)
- 格式:doc
- 大小:542.00 KB
- 文档页数:9
椭圆内接四边形的四极点共线调和分割定理及其简证徐文平(东南大学南京210096)摘要:针对椭圆内接四边形开展极点与极线问题研究,发现了椭圆内接四边形的四极点共线调和分割定理,即椭圆内接四边形的对边延伸线交点调和分割对角线极点。
运用极点与极线的知识,并采用椭圆问题化圆处理方法,进行了新定理的简单证明。
关键词:椭圆切线、内接四边形、极点与极线、调和分割、尺规作图椭圆内接四边形有许多优美的性质,与经典的几何定理有着千丝万缕的渊源,是研究二次曲线射影几何理论的试金石。
作者在研究椭圆切线性质过程中,发现了椭圆内接四边形的四极点共线调和分割定理,深感奇妙,供大家鉴析。
一、新定理的提出新定理1:椭圆内接四边形的对边延伸线两交点调和分割对角线两极点。
如图1,椭圆内接四边形KLMN,对边线KN与LM交于A,对边线KL与NM交于B,对角线KM的极点为C,对角线LN的极点为D,KM与LN交于Q点,则A、B、C、D四点共线,且AB调和分割CD,即1/AC+1/AD=2/AB。
图 1新定理2:椭圆内接四边形的其中一条对角线通过椭圆圆心,则另一条对角线的极点必定平分对椭圆内接四边形的对边延伸线两交点连线。
新定理2是新定理1的一种特殊情况,如图2,椭圆内接四边形KLMN的对角线LN通过椭圆心,则对角线LN的极点在无穷远处,对角线KM的极点C必定平分椭圆内接四边形KLMN的对边延伸线两交点AB连线,即AC=CB。
图 2二、新定理的证明新定理证明思路:圆是椭圆的一种特殊情况,直线与圆的几何位置关系相对简单易证。
采用坐标线性变换方法和坐标旋转方法,可将椭圆转化为圆,那么,直线与椭圆相切的问题就会大大简化。
我们首先证明新定理在圆的情况下成立,然后采用坐标变换和坐标旋转方法,可以快速地证明新定理在椭圆情况下也成立。
如图3,圆⊙O 内接四边形KLMN ,对边KN 与LM 交于A ,对边KL 与NM 交于B ,对角线KM 的极点为C ,对角线LN 的极点为D ,KM 与LN 交于Q 点。
将极点C 、B 关于圆⊙O 的切线延伸交叉,构成圆⊙O 的外切四边形EHFG ,连接F 、Q 、E 、B 四点连线,连接A 、G 、Q 、H 四点连线。
运用经典几何定理以及射影几何的极点极线知识进行新定理证明,具体步骤如下:1) 需证明A 、B 、C 、D 四点共线,即四个极点共线于Q 点的极线上;2) 需证明F 、Q 、E 、B 四点共线,需证明A 、G 、Q 、H 四点共线;3) 需证明GD 、CH 、FB 三线共点于E 点;4) 需证明A 、B 、C 、D 四点是调和点列。
图 3定义1:对于线段AB 的内分点C 和外分点D ,满足DBAD CB AC =,则称点C 、D 调和分割线段AB 或A 、B 、C 、D 是调和点列。
图 4调和点列的等价判定形式:(1)点A 、B 调和分割线段CD ; (2)ABAD AC 211=+ ; (3)BD AC BC AD CD AB ∙=∙=∙22引理1: 从圆⊙O 外一点P ,引圆的两条切线和一条割线,S 、T 为切点,A 、B 点为割线与圆的交点,弦线ST 与PAB 割线交于Q 点,那么PQ 调和分割AB 。
图 5假设N 点为AB 的中点,分析得知,AB ⊥ON ,∴Q 、M 、N 、O 四点共圆,PO PM PN PQ ∙=∙∵ΔPOT 与ΔPMT 是相似三角形,PO PM PT ∙=2∵PB PA PT ∙=2,∴PB PA PN PQ ∙=∙∵()2/PB PA PN +=,∴PB PA PB PA PQ ∙=+∙2)( ∴PQ PB PA 211=+ ;或 BQPB AQ PA = ∴ PQ 调和分割AB 。
定义2:如图5,P 点称为ST 切点弦线关于圆⊙O 的极点,ST 切点弦线称为P 点关于圆⊙O 的极线,极点与极线是相互对应的。
引理2:从圆⊙O 外一点P 引两条切线,得到两个切点S 、T 点,从圆外一点P 引两任意割线,与圆交于 A 、B 与C 、D 四点,交叉连接AD 、BC 交于Q 点,AC 与BD 延伸交于R 点,则 S 、T 、Q 、R 四点共线。
图 6如图6,联结AS 、SB 、BD 、DT 、TC 、CA 直线,得圆内接的凸六边形ASBDTC 。
欲证S 、Q 、T 三点共线,只需证明AD 、BC 、ST 三线共点。
对于圆内接凸六边形ASBDTC ,利用塞瓦定理, 只须证明 1=⋅⋅⋅⋅SBCA DT AS TC BD ∵ ΔPBD ∽ΔPCA ,ΔPTC ∽ΔPDT ,ΔPAS ∽ΔPSB ,则PC PB CA BD =, PT PC DT TC =, PBPS SB AS = 又 ∵ PT PS =,∴ 1=⋅⋅=⋅⋅PBPS PT PC PC PB SB AS DT TC CA DB ∴ 1=⋅⋅SB AS CA TC DT DB 因此,BC 、AD 、ST 三线共点,S 、Q 、T 三点共线,Q 点在以P 点为极点的ST 极线上。
在三角形ΔRCD 中,假设M 点为RQ 与CD 的交点,由赛瓦定理得: 1=⋅⋅ACRA BR DB MD CM ∵ΔRCD 被直线PB 所截,由梅涅劳斯定理得:1=⋅⋅AR CA PC DP DB RB 将上面两个式子相乘得:1=⋅PCDP MD CM 即: DP PC MD CM = 或DMDP CM PC = ∴CD 被PM 调和分割,同时PM 也被CD 也调和分割。
依据引理1可知,M 点在极线ST 上,所以M 、R 、S 、T 四点共线,∴M 、S 、T 、Q 、R 五点共线,因此S 、T 、Q 、R 四点共线。
定义3:如图6,依据射影几何知识,可以证明三角形ΔPQR 每个顶点是其对边的极点。
即:P 点是QR 的极点,R 点是QP 的极点,Q 点是PR 的极点,ΔPQR 称为自配极三角形。
引理3(帕斯卡定理):设六边形ABCDEF 内接于椭圆,直线AB 与DE 交于点X ,直线CD 与FA 交于点Z ,直线EF 与BC 交于点Y ,则X 、Y 、Z 三点共线。
如图7,当椭圆内接六边形ABCDEF 在两处各有2个顶点重合,即当B (C )点重合,E (F )点重合,椭圆内接六边形ABCDEF 退化为椭圆内接四边形AB (C )DE (F ),BY 与EY 退化为切线,帕斯卡定理仍然成立,即圆内接四边形的对边两交点与对角线极点共线。
图 7引理4(布列安桑定理):布列安桑定理是一个射影几何中的著名定理,是帕斯卡定理的对偶定理,它断言圆锥曲线外切的六边形的三条对角线共点。
图 8引理5(牛顿定理3):圆的外切四边形的对角线的交点和以切点为顶点的四边形对角线交点重合。
图 9证明一:牛顿定理3是布列安桑定理的一个特殊情况,即当圆的外切六边形的一组对角顶点的内角为180°时,这一组对角点转化为两个切点,牛顿定理3成立。
证明二:如图9,AD 与QS 交于M 点,设AD 与PR 交于M '点,证明点M 与点M '重合。
由切线性质,知∠ASM =∠BQM ,则 QMSM DQ AS S S DM SM QM AM DMQ AMS ⋅==⋅∆∆ 即: DQAS DM AM = 同理可得:DR AP M D M A ='' ∵ AS AP = ,DQ DR =∴M D M A DM AM ''= 由合比定理得,M 与点M '重合。
即知AD 、PR 、QS 三线共点。
同理可知BF 、PR 、QS 三线共点,所以直线AD 、BF 、PR 、QS 四线共点,牛顿定理3成立。
引理6:如图10,MA 和MB 是圆⊙O 的切线,M 点是AB 弦线的极点,P 是直线AB 上的一点,则PA PB MA PM ∙+=22。
图 10联接MO 交AB 于点K ,则有:222PK MK PM +=∵ BK AK =∴ ()()BK PK AK PK PB PA -+=∙22AK PK -=即 PB PA AK PK∙+=22 则 PB PA AK MK PM ∙++=222PB PA MA ∙+=2引理7:如图11,圆⊙O 的外切四边形ABCD ,外切点为E 、F 、G 、H 四点,EH 、FG 相交于P 点,则OP ⊥AC ,即AC 是P 点的极线。
图 11证明一:AE 、AH 是A 点关于圆⊙O 的切线,EH 是A 点的极线,所以P 、A 两点共轭,同理P 、C 两点共轭,故AC 是P 点的极线,所以OP ⊥AC 。
证明二:要证明OP ⊥AC ,依据等差幂线定理,只需证明2222OC OA PC PA -=- 由引理6得: PE PH AE PA ∙+=22PF PG FC PC ∙+=22∵ PF PG PE PH ∙=∙2222FC AE PC PA -=-∵ 222r OA AE -= , 222r OC FC -=∴ 2222OC OA PC PA -=-∴ OP ⊥AC ,即AC 是P 点关于圆⊙O 的极线。
引理8 (麦克马林定理):如图12, 假设K 、L 、M 、N 四点是圆⊙O 的外切四边形FGEH 的4个切点,圆⊙O 的内接四边形KLMN 的对角线KM 、LN 相交于Q 点,则F 、Q 、E 、B 四点共线,A 、G 、Q 、H 四点共线。
图 12证明:由牛顿定理3可知,LN 、KM 、FE 三线共点于Q ,则F 、Q 、E 三点共线。
依据引理6、7可知,FQE 是A 点关于圆⊙O 的极线。
依据引理2和定义3可知,QB 也是A 点关于圆⊙O 的极线。
因此,F 、Q 、E 、B 四点共线,麦克马林定理成立。
同理可知,A 、G 、Q 、H 四点也共线。
新定理证明:依据前面的引理的推导分析,可以构造出图13,新定理证明如下:图 13如图13,椭圆内接四边形KLMN 的对角线KM 、LN 交于Q 点,KN 、LM 对边延伸线交于A 点,KL 、NM 对边延伸线交于B 点,C 点为对角线KM 的极点,D 点为对角线LN 的极点。
K 、L 、M 、N 四点为椭圆外切四边形EHFG 的四个切点,椭圆外切四边形EHFG 的对角线连EF 、GH 交于Q 点。
由帕斯卡定理,依据引理3,可知A 、B 、C 、D 四点共线,四极点共线成立。
由牛顿定理,依据引理5可知,椭圆的外切四边形的对角线的交点和以切点为顶点的四边形对角线交点重合。
椭圆外切四边形EHFG 的对角线EF 、GH 交点Q 和以K 、L 、M 、N 四个切点为顶点的椭圆内接四边形KLMN 的对角线KM 、LN 交点Q 重合。
由麦克马林定理,依据引理6、7、8可知,椭圆外切四边形EHFG 的对角线EQF 为A 点关于椭圆的极线。