Laguerre定理应用研究.docVIP

Laguerre定理应用研究 　　摘要：本文叙述了圆点，迷向直线的定义、性质，Laguerre定理和推论。举例加深对圆点、迷向直线性质的理解和初步探讨Laguerre定理在初等几何与解析几何中的应用。 　　关键词：定义 性质 应用 　　 　　1 圆点、迷向直线和Laguerre定理 　　二次曲线的度量性质是研究它在正交变换下的不变性质，正交变换不仅保持无穷远直线不变而且保持无穷远直线上的一对共轭复点I（1，i，0），J（1，-i，0）――圆点保持不变。圆点及相关理论是讨论二次曲线度量性质的理论基础，有了这些理论，使得欧几里得几何和射影几何联系起来,有了共轭虚圆点，就将欧氏几何的垂直观念与射影几何的调和共轭观念联系起来了。也为利用射影几何的观点研究初等几何与解析几何开辟了道路。本文归纳了圆点，迷向直线的概念和性质，Laguerre定理及推论，并举例对圆点、迷向直线的性质进行阐述，初步探讨了Laguerre定理在初等几何和解析几何的应用研究。 　　1．1 圆点与迷向直线 　　1.1.1 圆点 　　（1）定义:共轭复点I（1，i，0），J（1，-i，0）称为圆点(无穷远直线与圆的交点)。 　　（2）性质：二次曲线是圆的充要条件是它经过圆点I（1，i，0），J（1，-i，0）。 　　1.1.2 迷向直线 　　（1）定义:过圆点的非无穷远直线叫迷向直线。 　　（2）性质：①迷向直线是虚直线；②一条直线是迷向直线的充要条件是它上面的任何两点间的距离为零；③过同一圆点的两条迷向直线既平行又垂直；④迷向直线与任一直线交角θ的正切tanθ=±i；⑤每一条迷向直线上有仅有一个实点；⑥两条不过同一圆点的共轭迷向直线交于一个实点；⑦每―个普通实点上有两条迷向直线通过；⑧无穷远直线不是迷向直线。 　　1.1.3 迷向直线的方程 　　（1）过I（1，i，0）点的迷向直线方程是y=ix+b，其中i为斜率，b为实数。 　　（2）过J（1，-i，0）点的迷向直线方程是y=-yx+b，其中-i为斜率，b为实数。 　　1.2 Laguerre定理及推论 　　1.2.1 Laguerre定理 　　设直线L与L的交角为θ，它们上的无穷远点分别为P，P，交比D=（PP，IJ），则在对数函数主值范围内,θ=lnD。 　　1.2.2 推论 　　两条非迷向直线垂直的充要条件是这两条直线与过它们的交点的两条迷向直线调和共轭。 　　2 应用举例 　　例1 平面上不共线的三点A，B，C可以确定一个圆。 　　证明：因为平面上的三点A，B，C再加上两个圆点I，J共五个点而不共线的五个点可以确定一条二阶曲线，又由于这条二阶曲线经过两个圆点I，J，所以由定理：经过两个圆点I，J的二阶曲线一定是圆，因此经过平面上不共线的三点可以确定一个圆。 　　例2 在同一圆内，对同一圆弧的圆周角一定相等。 　　证明：设在同一圆周上对着同一圆弧AB的角为∠ACB和∠ACB。设这两个角的度量分别是和α，α则有 　　α=lnD=ln（CA，CB；CI，CJ）, 　　α=lnD=ln（CA，CB；CI，CJ） 　　但二阶曲线上任一点与其上四个定点A，B，I，J所组成的四条直线的交比为常数，于是有（CA，CB；CI，CJ）=（CA，CB；CI，CJ） 　　所以，可得：α=α 　　例3 证明：在同一平面内垂直于同一直线的二直线互相平行。 　　证明：设一平面上直线l⊥l，l⊥l，直线l，l，l上的无穷远点顺次为P，Q，R。 　　因为l⊥l，所以（PR，IJ）=-1；又l⊥l，所以（QR，IJ）=-1，于是（PR，IJ）=（QR，IJ）。 　　因此，P，Q应为同一点，也就是说二直线l，l有公共的无穷远点，即l||l。 　　例4 试求过原点的二直线ax+2hxy+b=0所成的角。 　　解：设所求的角为α，二直线的斜率分别为m，m，则m，m由方程bm+2hm+a=0给出，于是m+m=-2h/b，mm=a/b。 　　若用解析几何公式就有： 　　tanα== 　　=±。 　　若是应用Laguerre定理，则令P，Q表示二直线上的无穷远点，I,J表示圆点，于是有：α=1nD或D=e。 　　且由欧拉公式tanα===-i=i。 　　又由于D=O（PQ，IJ）=（mm，i，-i） 　　==， 　　应用合分比定理，可得：=-i，因此得到：tanα==。这正是解析几何中两直线的夹角公式。 　　并且从上述推导过程还可得出结论：ax+2hxy+by=0所表示的两条直线互相垂直的条件是a+b=0。此时两条直线与过原点的两条迷向直线调和共轭。 　　例5 利用圆点的性质求二次曲线的焦点公式。 　　解：设二次曲线T： 　　（x，x，x）Axx x=0，A=