从点到直线的距离公式的推导谈起.PDFVIP

2002 年 　第 11 期 　数学通报 27 从点到直线的距离公式的推导谈起 ( ) 武树理 　 山西省灵石一中 　031300 　　在全 日制普通高级中学教科书( ) | A x + By + C | 试验本 《数 0 0 ( ) ( ) 2 2 学》第二册 上 1997 年 12 月第 1 版 中, 用向量 A + B 方法推导了点到直线的距离公式. 本文用向量方 即:直线 l 上任意一点与点 P0 的最小距离为 法给出两种新的推导方法, 并由此引发了对教材 | A x 0 + By 0 + C | 编写的一点建议, 供讨论. d = 2 2 A + B 1 　公式的推导 此即点 P0 到直线 l 的距离公式 已知 : P ( x , y ) , 直线 l :A x + By + C = 0 , 求 2 　一点建议 0 0 点 P 到直线 l 的距离 d 以上两种解法, 在明确了 n = (A , B) 是直线 解法1 　设点 P 在l 上的射影为Q ( x , y ) , 则 1 1 l :A x + By + C = 0 的法向量的条件下是不难被学 → PQ ⊥l , 因为直线 PQ 的方向向量为 v = (A , B) , 生独立发现的. 建议把阅读材料中的“点法式”前 → → 移到“直线方程 ”一节按 “点斜式 ———两点式 ( ) ( ) 所以 PQ = t v 　 t ∈R 因此 x 1 - x 0 , y 1 - y 0 = ———参数式 ———点法式 ———一般式”编排; 甚至 t (A , B) , 进一点把“直线的方向向量”概念移到“斜率”概 念之前, 这样有利于用向量推导“点斜式”, 并由 x 1 = x 0 + A t 即