点到直线的距离公式证法盘点.doc

向量与点到直线的距离公式的证明 安金龙 （苏州工业园区第二高级中学,江苏 苏州 215006) 摘 要: 关键词: 点到直线距离公式是解析几何中的一个很重要的的公式，应用它可使很多求解面积问题得以简化，因此很多老师和学生更多的是重视它的应用，而对于公式本身的证明却未引起足够的重视，尽管教材中有“请研究一下如何用其他方法推导点到直线的距离公式。”提示语，但依然不能引起广大师生的足够重视，笔者以为：运用教材中知识推导课本上的基本公式，本身就是在做一道很典型的例题。因为对于一个公式的推导比运用这个公式来解决一些问题对我们的思维来讲更具有价值。 对于点到直线距离公式的推导，课本上是通过构造直角三角形利用三角形面积公式推导，这种证明方法的优点是容易想到，但在构造直角三角形需对直线的斜率进行讨论，下面笔者就把自己用平面向量知识推导点到直线距离公式的方法介绍给各位同仁，并列举几种其他的推导方法，供各位同仁参考。 求证：点的距离为：. 1 由向量方法推导点到直线的距离公式 证明：由直线方程：，可得直线方向量为n=(A,B)，设过点作直线垂线，垂足为，则向量n，即，所以且 又因为点在直线l上，所以就有： ， ，又因为A,B不同时为0， 即：. 这样处理，既避开了分类讨论，又体现了平面向量的工具性。当然，解析几何作为一个内涵丰富的数学分支，它和其它数学知识也会有密切的联系，下面笔者列举另外几种推导方法： 2 用习题结论巧推点到直线距离公式 老教材代数课本（人教版，下册.必修）第15页习题十五第6题： 已知：，当即. 上式实为柯西不等式的最简形式，很容易证明.故略去。 下面给出点到直线的距离公式的最简推导。 已知则点到直线的距离即为点P到直线l上任意点所连结的线段中的最短线段.设直线l上任意一点，点P到直线l的距离为，则： ＝ ，时等号成立。 3 用直线的参数方程推导点到直线距离公式 证明：当时易验证公式成立，下证时的情形： （1）B0时,过点P作直线L的垂线，垂足为H，则直线PH的标准参数方程为： 将直线PH的参数方程代入直线L的方程得： ，解之得点H对应的参数 （2）当时，直线PH的标准参数方程为： 可得， 4 构造引理推导点到直线距离公式 引理：如图1，直角三角形MPN中，，则点P到直线MN的距离d满足 证明：由直角三角形的面积公式得：， 即，即，所以 下面就用引理证明点的距离为： 证明：当时易证公式成立. 当时，如图2所示,过点的两条直线,分别交直线 、，则 . ＝所以 参考文献： [1] 全日制普通高级中学教科书（人教版）（试验修订本.必修）第二册（上）第55～56页. [2] 王国平.中学生数学. 用习题结论巧推点线距离公式2001年1月上 [3] 张乃贵、段萍中学生数学.点到直线的距离公式的又一证明.2001年1月上 [4] 陈志新. 点到直线距离公式的又一证法.中学生数学.2001年6月上 第 3 页 共 4 页 O x y P’ P M N P a d b 图1 图2 b d a P N M x Xx y Xx O Xx L Xx