点P(x0,y0),直线方程Ax+By+C=0
点到直线的距离公式
d=|Ax0+By0+C|/[√(A^2+B^2)]
√(A^2+B^2)表示根号下A平方加上B平方
给你个DOC文件的下载地址吧,里面有四种证明方法.
http://www.baidu.com/s?cl=3&wd=%D6%A4%C3%F7%B5%E3%CF%DF%BE%E0%C0%EB%B9%AB%CA%BD