平面上点与直线位置关系再探讨.docVIP

平面上点与直线位置关系再探讨 　　摘要：点与直线位置关系大致分为点在直线上和点不在直线上两类，这种分类方法太粗劣。本文用类比的方法将平面的法式方程、点与平面的离差引入到平面直线中，进一步探讨直线与点的位置关系，从而得到直线的法式方程、点与直线的离差这两个概念，并作恰当推广，同时用之解决二相交直线所成的四个角中指定角的平分线、求解三角形内心坐标等问题。 　　关键词：法式方程 离差 正法线方向 　　中图分类号：G642 文献标识码： A 文章编号：1672-1578（2011)09-0056-02 　　 　　 平面π:Ax+By+Cz+D=0的法式方程为λ(Ax+By+Cz+D)=0点P(x0,y0)与平面π的离差为δ=λ(Ax0+By0+Cz0+D)，其中 　　|λ|=，并且λD≤0。λD的几何意义为原点O到平面π的距离的相反数，δ的几何意义是：|δ|为点P到平面π的距离，δ的符号表明点P和原点O是否位于平面π的同侧。在平面直角坐标系内，我们不难得到直线的法式方程及点P与直线的离差这两个概念。 　　1 定义 　　 定义1：直线l=Ax+By+C=0的法式方程为λ(Ax+By+C)=0，其中|λ|=，并且λC≤0。λC的几何意义为原点O到直线l的距离的相反数。 　　 定义2：点M(x0,y0)与直线l:Ax+By+C=0的离差为δ=λ(Ax0+By0+C)，其中|λ|=。λC≤0 　　 δ的几何意义是|δ|为点M到直线l的距离。 　　 δ的符号表明点M和原点O是否位于直线l的同侧。 　　 当直线不过原点时，用离差可以方便地解决很多问题，但是当直线过坐标原点时，离差的应用将受到很大的限制，原因在于直线的法式方程中的λ的符号可任意选取。我们不妨将直线的法式方程和点与直线的离差这两个概念作适当推广。 　　2 定义的推广 　　 定理1，设直线l在直角坐标系xoy下的方程为：Ax+By+C=0,O′(x0,y0)?埸l,作移轴变换f：x=x′+x0y=y′+y0 将直角坐标系xoy变为直角坐标系x′o′y′，则直线l在坐标系x′o′y′下的法式方程经f-1变换后，表达式为λ(Ax+By+C)=0，其中|λ|=，λ与 　　Ax0+By0+C异号。 　　 证明： 　　 ∵l在坐标系xoy下的方程为:Ax+By+C=0 　　 ∴l在系x′o′y′下的方程为:A(x′+x0)+B(y′+y0)+C=0 　　 即Ax′+By′+Ax0+By0+C=0 　　 ∵(x0,y0)?埸l 　　 ∴Ax0+By0+C≠0 　　 ∴ l在系x′o′y′下的方程为:λ(Ax′+By′+Ax0+By0+C=0 　　 其中|λ|=,λ与Ax0+By0+C异号。 　　 ∵ f-1:x′=x-x0y′=y-y0 　　 ∴l在系x′o′y′下的方程经变换后的表达式为 　　 λ[A(x-x0)+B(y-y0)+Ax0+By0+C]=0 　　 即 λ(Ax+By+C)=0,其中|λ|=, λ与Ax0+By0+C异号。 　　 定义3:设l的方程为：Ax+By+C=0，点P（x0,y0）,称λ(Ax+By+C)=0 　　 为直线l对于点P的法式方程。其中|λ|=，λ与Ax0+By0+C异号。 　　 由定理1的推证可知，直线l对于P的法式方程中λ（Ax0+By0+C）是点P到l的距离的相反数。定义3是定义1的一般情形。 　　 定理2：设直线l 在直角坐标系xoy下的方程为：Ax+By+C=0,O′(x0,y0)?埸l,作移轴变换f：x=x′+x0y=y′+y0 将直角坐标系xoy变为直角坐标系x′o′y′，则点M（xm,ym）在坐标系x′o′y′下与直线l的离差为δ=λ(Axm+Bym+C)，其中|λ|=，λ与Ax0+By0+C异号。 　　 证明：由定理1的推证可知，直线l在坐标系x′o′y′下的法式方程为： 　　 λ(Ax′+By′+Ax0+By0+C)=0,其中|λ|=,λ与Ax0+By0+C异号。 　　 点M（xm，ym）在x′o′y′下的坐标为（xm-x0，ym-y0） 　　 此时点M的离差为δ=λ[A（xm-x0）+B（ym-y0）+Ax0+By0+C] 　　 即δ=λ（Axm+Bym+C）=0，其中|λ|=，λ与Ax0+By0+C异号。 　　 定义4：设l的方程为：Ax+By+C=0，点P（x0,y0），M(xm,ym)称 　　δ=λ（Axm+Bym+C）是点M与直线l对于点P的离差。其中 　　|λ|=，λ与Ax0+By0+C异号。 　　 由定理2的推证可知，点M与直线l对于P的离差δ的,几何意义是：|δ|为点M到直线l的距离。 　　 δ的符号表明点M和点P是否位于直线l的同侧。定义4是定