求点到直线的距离公式?

是需要证明吧
(m,n),Ax+By+C=0 d=|Am+Bn+C|/√(A^2+B^2)
B=0 or A=0 时证明省略
y=-A/Bx-C/B
y-n=B/A(x-m) 求得交点（X,Y)
d=√(X-m)^2+(y-n)^2=|Am+Bn+C|/√(A^2+B^2)